Zobrazeno 1 - 10
of 1 106
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 (DoS) attacks. However, it is non-tr
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
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 -
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, Jan1,2 (AUTHOR) j.hoffmann@tu-braunschweig.de, Canders, Wolf-Rüdiger1,2 (AUTHOR) w.canders@tu-braunschweig.de, Henke, Markus1,2 (AUTHOR) markus.henke@tu-braunschweig.de
Publikováno v:
Energies (19961073). Nov2024, Vol. 17 Issue 22, p5652. 23p.
Autor:
Sparks, Tay a, Kuksenko, Viacheslav b, Gorley, Michael b, Hoffmann, Jan c, Chiu, Yu-Lung a, Connolley, Thomas d, Rieth, Michael c, Wang, Yiqiang b, ⁎, Cai, Biao a, ⁎
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
Probabilistic programming languages aim to describe and automate Bayesian modeling and inference. Modern languages support programmable inference, which allows users to customize inference algorithms by incorporating guide programs to improve inferen
Externí odkaz:
http://arxiv.org/abs/2104.03598