Zobrazeno 1 - 10
of 1 044
pro vyhledávání: '"Hoffmann, Jan"'
Autor:
Pham, Long, Hoffmann, Jan
Worst-case input generation aims to automatically generate inputs that exhibit the worst-case performance of programs. It has several applications, and can, for example, detect vulnerabilities to denial-of-service attacks. However, it is non-trivial
Externí odkaz:
http://arxiv.org/abs/2309.01261
Autor:
Hoffmann, Jan Vincent
SPECT as a representative of molecular imaging allows visualization of metabolic processes in vivo. In clinical practice, single photon emission imaging is an established modality for myocardial perfusion imaging or the diagnosis of adrenal or neuroe
The goal of automatic resource bound analysis is to statically infer symbolic bounds on the resource consumption of the evaluation of a program. A longstanding challenge for automatic resource analysis is the inference of bounds that are functions of
Externí odkaz:
http://arxiv.org/abs/2304.13627
Autor:
Hoffmann, Jan Martin
Publikováno v:
MenschenRechtsMagazin : Informationen | Meinungen | Analysen. - ISSN 1434-2820. - 16 (2011) 2, S. 129 - 148
Inhalt: - I. Einführung - II. Verpflichtung zur Übernahme völkerrechtlicher Verträge in das nationale Recht - III. Pflicht zur Übernahme der EMRK in das nationale Recht - IV. Besonderheit: Spätere Übung als quasi-authentische Interpretation -
Autor:
Sparks, Tay, Kuksenko, Viacheslav, Gorley, Michael, Hoffmann, Jan, Chiu, Yu-Lung, Connolley, Thomas, Rieth, Michael, Wang, Yiqiang, Cai, Biao
Publikováno v:
In Acta Materialia 1 June 2024 271
Autor:
Kahn, David M, Hoffmann, Jan
We present a novel method for working with the physicist's method of amortized resource analysis, which we call the quantum physicist's method. These principles allow for more precise analyses of resources that are not monotonically consumed, like st
Externí odkaz:
http://arxiv.org/abs/2106.13936
Autor:
Santamaria, Morena, Stöcker, Arno, Hoffmann, Jan, Mause, Laura, Ohnhäuser, Tim, Scholten, Nadine
Publikováno v:
In International Dental Journal April 2024 74(2):276-283
Autor:
Ashina, Messoud, Hoffmann, Jan, Ashina, Håkan, Hay, Debbie L., Flores-Montanez, Yadira, Do, Thien Phu, De Icco, Roberto, Dodick, David W.
Publikováno v:
In Mayo Clinic Proceedings February 2024 99(2):285-299