Zobrazeno 1 - 10
of 2 382
pro vyhledávání: '"Trippel, A."'
Autor:
Hsiao, Yao, Nikoleris, Nikos, Khyzha, Artem, Mulligan, Dominic P., Petri, Gustavo, Fletcher, Christopher W., Trippel, Caroline
The Check tools automate formal memory consistency model and security verification of processors by analyzing abstract models of microarchitectures, called $\mu$SPEC models. Despite the efficacy of this approach, a verification gap between $\mu$SPEC
Externí odkaz:
http://arxiv.org/abs/2409.19478
Autor:
Jin, Wuwei, Bromberger, Hubertus, He, Lanhai, Johny, Melby, Vinklárek, Ivo S., Długołęcki, Karol, Samartsev, Andrey, Calegari, Francesca, Trippel, Sebastian, Küpper, Jochen
We report on a new versatile transportable endstation for controlled molecule (eCOMO) experiments providing a combination of molecular beam purification by electrostatic deflection and simultaneous ion and electron detection using velocity-map imagin
Externí odkaz:
http://arxiv.org/abs/2406.16491
Autor:
He, Lanhai, Johny, Melby, Kierspel, Thomas, Długołęcki, Karol, Bari, Sadia, Boll, Rebecca, Bromberger, Hubertus, Coreno, Marcello, De Fanis, Alberto, Di Fraia, Michele, Erk, Benjamin, Gisselbrecht, Mathieu, Grychtol, Patrik, Eng-Johnsson, Per, Mazza, Tommaso, Onvlee, Jolijn, Ovcharenko, Yevheniy, Petrovic, Jovana, Rennhack, Nils, Rivas, Daniel E., Rudenko, Artem, Rühl, Eckart, Schwob, Lucas, Simon, Marc, Trinter, Florian, Usenko, Sergey, Wiese, Joss, Meyer, Michael, Trippel, Sebastian, Küpper, Jochen
A permanently available molecular-beam injection setup for controlled molecules (COMO) was installed and commissioned at the small quantum systems (SQS) instrument at the European x-ray free-electron laser (EuXFEL). A $b$-type electrostatic deflector
Externí odkaz:
http://arxiv.org/abs/2405.06344
Autor:
Lalwani, Abhinav, Chopra, Lovish, Hahn, Christopher, Trippel, Caroline, Jin, Zhijing, Sachan, Mrinmaya
Logical fallacies are common errors in reasoning that undermine the logic of an argument. Automatically detecting logical fallacies has important applications in tracking misinformation and validating claims. In this paper, we design a process to rel
Externí odkaz:
http://arxiv.org/abs/2405.02318
Autor:
Bromberger, Hubertus, Pennicard, David, Ballabriga, Rafael, Trippel, Sebastian, Küpper, Jochen
The event-driven hybrid-pixel detector readout chip, Timepix3, has the ability to simultaneously measure the time of an event on the nanosecond timescale and the energy deposited in the sensor. However, the behaviour of the system when two events are
Externí odkaz:
http://arxiv.org/abs/2403.07184
We present Serberus, the first comprehensive mitigation for hardening constant-time (CT) code against Spectre attacks (involving the PHT, BTB, RSB, STL and/or PSF speculation primitives) on existing hardware. Serberus is based on three insights. Firs
Externí odkaz:
http://arxiv.org/abs/2309.05174
Autor:
Vinklárek, Ivo S., Bromberger, Hubertus, Vadassery, Nidin, Jin, Wuwei, Küpper, Jochen, Trippel, Sebastian
Water dimer $(\text{H}_2\text{O})_2$ -- a vital component of the earth's atmosphere -- is an important prototypical hydrogen-bonded system. It provides direct insight into fundamental chemical and biochemical processes, e.g., proton transfer and ioni
Externí odkaz:
http://arxiv.org/abs/2308.08006
A rigorous formalization of desired system requirements is indispensable when performing any verification task. This often limits the application of verification techniques, as writing formal specifications is an error-prone and time-consuming manual
Externí odkaz:
http://arxiv.org/abs/2303.04864
Publikováno v:
Frontiers in Cardiovascular Medicine, Vol 11 (2024)
Externí odkaz:
https://doaj.org/article/718ab79a2f7e4269adf488554733b5df
Autor:
Helene Schrader, Leif-Hendrik Boldt, Abdul S. Parwani, Florian Blaschke, Julia M. Wiedenhofer, Tobias D. Trippel, Gerhard Hindricks, Christoph Starck, Henryk Dreger, Mohammad Sherif, Uwe Primessnig
Publikováno v:
Frontiers in Cardiovascular Medicine, Vol 11 (2024)
BackgroundIntra-atrial shunts are associated with an elevated risk of embolic stroke of undetermined source (ESUS). Percutaneous occluder implantation is recommended as secondary prevention in younger patients. This study aims to compare the outcome
Externí odkaz:
https://doaj.org/article/2904589e94fd4d799ec8fa24ad5cd6e7