Zobrazeno 1 - 10
of 1 275
pro vyhledávání: '"P. Müller, Péter"'
Autor:
Nguyen, Khai, Mueller, Peter
Existing methods to summarize posterior inference for mixture models focus on identifying a point estimate of the implied random partition for clustering, with density estimation as a secondary goal (Wade and Ghahramani, 2018; Dahl et al., 2022). We
Externí odkaz:
http://arxiv.org/abs/2411.14674
Autor:
Stollenwerk, Patrick R., Southworth, Stephen H., Granato, Francesco, Renne, Amy, Mustapha, Brahim, Bailey, Kevin G., Mueller, Peter, Nolen, Jerry, O'Connor, Thomas P., Xie, Junqi, Young, Linda, Dietrich, Matthew R.
We describe a new instrument, the Argonne Auger-Meitner Radioisotope Microscope (ARM), capable of characterizing the Auger-Meitner electron emission of radionuclides, including candidates relevant in nuclear medicine. Our approach relies on event-by-
Externí odkaz:
http://arxiv.org/abs/2410.23103
Autor:
Bello, Hymalai, Geißler, Daniel, Ray, Lala, Müller-Divéky, Stefan, Müller, Peter, Kittrell, Shannon, Liu, Mengxi, Zhou, Bo, Lukowicz, Paul
Artificial Intelligence (AI) methods are powerful tools for various domains, including critical fields such as avionics, where certification is required to achieve and maintain an acceptable level of safety. General solutions for safety-critical syst
Externí odkaz:
http://arxiv.org/abs/2409.08666
Autor:
Müller, Peter
Two finite groups are said to have the same order type if for each positive integer $n$ both groups have the same number of elements of order $n$. In 1987 John G. Thompson asked if in this case the solvability of one group implies the solvability of
Externí odkaz:
http://arxiv.org/abs/2408.07732
Autor:
Dardinier, Thibault, Sammler, Michael, Parthasarathy, Gaurav, Summers, Alexander J., Müller, Peter
Program verification tools are often implemented as front-end translations of an input program into an intermediate verification language (IVL) such as Boogie, GIL, Viper, or Why3. The resulting IVL program is then verified using an existing back-end
Externí odkaz:
http://arxiv.org/abs/2407.20002
Autor:
Flores, Bernardo, Mueller, Peter
We propose a novel nonparametric Bayesian approach for meta-analysis with event time outcomes. The model is an extension of linear dependent tail-free processes. The extension includes a modification to facilitate (conditionally) conjugate posterior
Externí odkaz:
http://arxiv.org/abs/2406.15912
Autor:
Bollmann, Leon, Müller, Peter
We prove a logarithmically enhanced area law for all R\'enyi entanglement entropies of the ground state of a free gas of relativistic Dirac fermions. Such asymptotics occur in any dimension if the modulus of the Fermi energy is larger than the mass o
Externí odkaz:
http://arxiv.org/abs/2405.14356
Most automated program verifiers for separation logic use either symbolic execution or verification condition generation to extract proof obligations, which are then handed over to an SMT solver. Existing verification algorithms are designed to be so
Externí odkaz:
http://arxiv.org/abs/2405.10661
Existing automated verification techniques for safe Rust code rely on the strong type-system properties to reason about programs, especially to deduce which memory locations do not change (i.e., are framed) across function calls. However, these type
Externí odkaz:
http://arxiv.org/abs/2405.08372
Autor:
Pereira, João C., Klenze, Tobias, Giampietro, Sofia, Limbeck, Markus, Spiliopoulos, Dionysios, Wolf, Felix A., Eilers, Marco, Sprenger, Christoph, Basin, David, Müller, Peter, Perrig, Adrian
We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wid
Externí odkaz:
http://arxiv.org/abs/2405.06074