Zobrazeno 1 - 10
of 87 756
pro vyhledávání: '"Reiner AT"'
Autor:
Gurov, Dilian, Hähnle, Reiner
We present an expressive logic over trace formulas, based on binary state predicates, chop, and least fixed-points, for precise specification of programs with recursive procedures. Both, programs and trace formulas, are equipped with a direct-style,
Externí odkaz:
http://arxiv.org/abs/2411.13125
In order to detect performance changes, measurements are performed with the same execution environment. In cloud environments, the noise from different processes running on the same cluster nodes might change measurement results and thereby make perf
Externí odkaz:
http://arxiv.org/abs/2411.05491
Autor:
Brüning, Reiner, Rózsa, Levente, Conte, Roberto Lo, Kubetzka, André, Wiesendanger, Roland, von Bergmann, Kirsten
The generation of topologically non-trivial magnetic configurations has been a pivotal topic in both basic and applied nanomagnetism research. Localized non-coplanar magnetic defects such as skyrmions or merons were found to interact strongly with cu
Externí odkaz:
http://arxiv.org/abs/2411.04009
Autor:
Fenucci, Marco, Faggioli, Laura, Gianotto, Francesco, Cioci, Davide Bracali, Cano, Juan Luis, Conversi, Luca, Devogèle, Maxime, Di Girolamo, Gianpiero, Drury, Charlie, Föhring, Dora, Gisolfi, Luigi, Kresken, Reiner, Micheli, Marco, Moissl, Richard, Ocaña, Francisco, Oliviero, Dario, Porru, Andrea, Ramirez-Moreta, Pablo, Rudawska, Regina, Bernardi, Fabrizio, Bertolucci, Alessia, Dimare, Linda, Guerra, Francesca, Baldisserotto, Valerio, Ceccaroni, Marta, Cennamo, Ramona, Chessa, Andrea, Del Vigna, Alessio, Koschny, Detlef, Teodorescu, Ana Maria, Perozzi, Ettore
The NEO Coordination Centre (NEOCC) of the European Space Agency is an operational centre that, among other activities, computes the orbits of near-Earth objects and their probabilities of impact with the Earth. The NEOCC started providing informatio
Externí odkaz:
http://arxiv.org/abs/2411.03763
Charge diffusion through desoxyribonucleic acid (DNA) is a physico-chemical phenomenon that on the one hand is being explored for technological purposes, on the other hand is applied by nature for various informational processes in life. With regard
Externí odkaz:
http://arxiv.org/abs/2407.14252
Autor:
Andrich, Carsten, Nowack, Tobias F., Ihlow, Alexander, Giehl, Sebastian, Engelhardt, Maximilian, Sommerkorn, Gerd, Schwind, Andreas, Hofmann, Willi, Bornkessel, Christian, Thomä, Reiner S., Hein, Matthias A.
The upcoming 6G mobile communication standard will offer a revolutionary new feature: Integrated sensing and communication (ISAC) reuses mobile communication signals to realize multi-static radar for various applications including localization. Conse
Externí odkaz:
http://arxiv.org/abs/2407.13749
Autor:
Reiner, Victor, Rhoades, Brendon
The Ehrhart polynomial and Ehrhart series count lattice points in integer dilations of a lattice polytope. We introduce and study a $q$-deformation of the Ehrhart series, based on the notions of harmonic spaces and Macaulay's inverse systems for coor
Externí odkaz:
http://arxiv.org/abs/2407.06511
Autor:
Awais, Muhammad, Hameed, Mehaboobathunnisa Sahul, Bhattacharya, Bidisha, Reiner, Orly, Anwer, Rao Muhammad
Recent advances have enabled the study of human brain development using brain organoids derived from stem cells. Quantifying cellular processes like mitosis in these organoids offers insights into neurodevelopmental disorders, but the manual analysis
Externí odkaz:
http://arxiv.org/abs/2406.19556
Autor:
Cai, Zhipeng, Mueller, Matthias, Birkl, Reiner, Wofk, Diana, Tseng, Shao-Yen, Cheng, JunDa, Stan, Gabriela Ben-Melech, Lal, Vasudev, Paulitsch, Michael
In the current era of generative AI breakthroughs, generating panoramic scenes from a single input image remains a key challenge. Most existing methods use diffusion-based iterative or simultaneous multi-view inpainting. However, the lack of global s
Externí odkaz:
http://arxiv.org/abs/2406.01843
Autor:
Palmiero, Allison, Liu, Kevin, Colnot, Julie, Chopra, Nitish, Neill, Denae, Connell, Luke, Velasquez, Brett, Koong, Albert C., Lin, Steven H., Balter, Peter, Tailor, Ramesh, Robert, Charlotte, Germond, Jean-François, Jorge, Patrik Gonçalves, Geyer, Reiner, Beddar, Sam, Moeckli, Raphael, Schüler, Emil
Background & Purpose: FLASH or ultra-high dose rate (UHDR) radiation therapy (RT) has gained attention in recent years for its ability to spare normal tissues relative to conventional dose rate (CDR) RT in various preclinical trials. However, clinica
Externí odkaz:
http://arxiv.org/abs/2405.15146