Zobrazeno 1 - 10
of 5 190
pro vyhledávání: '"A Winterhalter"'
The $\lambda$$\Pi$-calculus modulo theory is an extension of simply typed $\lambda$-calculus with dependent types and user-defined rewrite rules. We show that it is possible to replace the rewrite rules of a theory of the $\lambda$$\Pi$-calculus modu
Externí odkaz:
http://arxiv.org/abs/2402.09024
Publikováno v:
Communications Biology, Vol 7, Iss 1, Pp 1-14 (2024)
Abstract The sophisticated envelope of Gram-negative bacteria modulates the uptake of small molecules in a side-chain-sensitive manner. Despite intensive theoretical and experimental investigations, a general set of pathways underpinning antibiotic u
Externí odkaz:
https://doaj.org/article/4a71e6f973724f2a8c0d238afe3c63d0
Autor:
Mohanty, S., Islam, S. S., Winterhalter-Stocker, N., Jesche, A., Simutis, G., Wang, Ch., Guguchia, Z., Sichelschmidt, J., Baenitz, M., Tsirlin, A. A., Gegenwart, P., Nath, R.
We delineate quantum magnetism in the strongly spin-orbit coupled, distorted honeycomb-lattice antiferromagnet BiYbGeO$_{5}$. Our magnetization and heat capacity measurements reveal that its low-temperature behavior is well described by an effective
Externí odkaz:
http://arxiv.org/abs/2305.10221
Autor:
Andrici, Cezar-Constantin, Ciobaca, Stefan, Hritcu, Catalin, Martínez, Guido, Rivas, Exequiel, Tanter, Éric, Winterhalter, Théo
We introduce SCIO*, a formally secure compilation framework for statically verified partial programs performing input-output (IO). The source language is an F* subset in which a verified program interacts with its IO-performing context via a higher-o
Externí odkaz:
http://arxiv.org/abs/2303.01350
Autor:
Baran, Jakub, Borys, Damian, Brzeziński, Karol, Gajewski, Jan, Silarski, Michał, Chug, Neha, Coussat, Aurélien, Czerwiński, Eryk, Dadgar, Meysam, Dulski, Kamil, Eliyan, Kavya V., Kacprzak, Aleksander Gajos Krzysztof, Kapłon, Łukasz, Klimaszewski, Konrad, Konieczka, Paweł, Kopeć, Renata, Korcyl, Grzegorz, Kozik, Tomasz, Krzemień, Wojciech, Kumar, Deepak, Lomax, Antony J., McNamara, Keegan, Niedźwiecki, Szymon, Olko, Paweł, Panek, Dominik, Parzych, Szymon, del Rio, Elena Perez, Raczyński, Lech, Simbarashe, Moyo, Sharma, Sushil, Shivani, Shopa, Roman Y., Skóra, Tomasz, Skurzok, Magdalena, Stasica, Paulina, Stępień, Ewa Ł., Tayefi, Keyvan, Tayefi, Faranak, Weber, Damien C., Winterhalter, Carla, Wiślicki, Wojciech, Moskal, Pawel, Rucinski, Antoni
Objective: The aim of this work is to investigate the feasibility of the Jagiellonian Positron Emission Tomography (J-PET) scanner for intra-treatment proton beam range monitoring. Approach: The Monte Carlo simulation studies with GATE and PET image
Externí odkaz:
http://arxiv.org/abs/2302.14359
Autor:
Winterhalter, Patrick R.1 (AUTHOR) patrick.winterhalter@uk‐halle.de, Georgevici, Adrian‐Iustin1,2 (AUTHOR), Gharpure, Nitin J.1 (AUTHOR), Szabó, Gábor1,3 (AUTHOR), Simm, Andreas1 (AUTHOR)
Publikováno v:
Aging Cell. Nov2024, Vol. 23 Issue 11, p1-13. 13p.
Autor:
Jesche, A., Winterhalter-Stocker, N., Hirschberger, F., Bellon, A., Bachus, S., Tokiwa, Y., Tsirlin, A. A., Gegenwart, P.
Publikováno v:
Phys. Rev. B 107, 104402 (2023)
Crystal structure, thermodynamic properties, and adiabatic demagnetization refrigeration (ADR) effect in the spin-7/2 triangular antiferromagnet KBaGd(BO3)2 are reported. With the average nearest-neighbor exchange coupling of 44 mK, this compound sho
Externí odkaz:
http://arxiv.org/abs/2212.12483
Autor:
Evans, Donald M., Grendal, Ola G., Prodan, Lilian, Winkler, Maximilian, Winterhalter-Stocker, Noah, Gegenwart, Philipp, Ghara, Somnath, Deisenhofer, Joachim, Kézsmárki, István, Tsurkan, Vladimir
The cubic spinel FeCr2S4 has been receiving immense research interest because of its emergent phases and the interplay of spin, orbital and lattice degrees of freedom. Despite the intense research, several fundamental questions are yet to be answered
Externí odkaz:
http://arxiv.org/abs/2203.00581
Autor:
Tobias Weinberger, Messerer Denise, Markus Joppich, Maximilian Fischer, Clarisabel Garcia Rodriguez, Konda Kumaraswami, Vanessa Wimmler, Sonja Ablinger, Saskia Räuber, Jiahui Fang, Lulu Liu, Wing Han Liu, Julia Winterhalter, Johannes Lichti, Lukas Thomas, Dena Esfandyari, Guelce Percin, Sandra Matin, Andrés Hidalgo, Claudia Waskow, Stefan Engelhardt, Andrei Todica, Ralf Zimmer, Clare Pridans, Elisa Gomez Perdiguero, Christian Schulz
Publikováno v:
eLife, Vol 12 (2024)
Cardiac macrophages are heterogenous in phenotype and functions, which has been associated with differences in their ontogeny. Despite extensive research, our understanding of the precise role of different subsets of macrophages in ischemia/reperfusi
Externí odkaz:
https://doaj.org/article/3aa86a0b10a942d6aee18dad81d2eb56
Autor:
Simone Pelliciari, Salomé Bodet-Lefèvre, Stepan Fenyk, Daniel Stevens, Charles Winterhalter, Frederic D. Schramm, Sara Pintar, Daniel R. Burnham, George Merces, Tomas T. Richardson, Yumiko Tashiro, Julia Hubbard, Hasan Yardimci, Aravindan Ilangovan, Heath Murray
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-14 (2023)
Abstract Genome duplication is essential for the proliferation of cellular life and this process is generally initiated by dedicated replication proteins at chromosome origins. In bacteria, DNA replication is initiated by the ubiquitous DnaA protein,
Externí odkaz:
https://doaj.org/article/a5fd367779764122bcab31ab3cf29dc1