Zobrazeno 1 - 10
of 167
pro vyhledávání: '"LEHMANN, NICO"'
Autor:
Sarabi, Almasa1 (AUTHOR) a.sarabi@uva.nl, Lehmann, Nico2 (AUTHOR) lehmann@ese.eur.nl
Publikováno v:
Administrative Science Quarterly. Dec2024, Vol. 69 Issue 4, p1044-1084. 41p.
We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rus
Externí odkaz:
http://arxiv.org/abs/2207.04034
Publikováno v:
In Energy Policy October 2023 181
Autor:
Lehmann, Nico
In zahlreichen Kontexten wie Leistungs-, Gesundheits-, Freizeit-, Schul- oder Rehabilitationssport werden ständig Fertigkeiten neu gelernt, stabilisiert oder vervollkommnet. Zudem bestehen in den meisten der genannten Anwendungsfelder Anforderungen
Externí odkaz:
https://ul.qucosa.de/id/qucosa%3A17111
https://ul.qucosa.de/api/qucosa%3A17111/attachment/ATT-0/
https://ul.qucosa.de/api/qucosa%3A17111/attachment/ATT-0/
Publikováno v:
In Energy Economics April 2023 120
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Journal of Accounting and Economics November-December 2022 74(2-3)
Autor:
Aye, Norman a, ⁎, Lehmann, Nico a, h, Kaufmann, Jörn b, Heinze, Hans-Jochen b, c, d, e, Düzel, Emrah c, d, f, g, Taubert, Marco a, d, Ziegler, Gabriel c, f
Publikováno v:
In NeuroImage 1 August 2022 256
Publikováno v:
In Energy Policy August 2022 167
Publikováno v:
In Energy Economics June 2022 110