Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Marcus Daum"'
Autor:
Marcus Völp, Steffen Märcker, Hendrik Tews, Hermann Härtig, Sascha Klüppelholz, Benjamin Engel, Marcus Daum, Christel Baier, Joachim Klein
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 102, Iss Proc. SSV 2012, Pp 156-166 (2012)
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic
Externí odkaz:
https://doaj.org/article/03b44b4bd4154d72af78fde198658b53
Autor:
Xinshu Zhang, Fahad Mahmood, Marcus Daum, Zhiling Dun, Joseph A. M. Paddison, Nicholas J. Laurita, Tao Hong, Haidong Zhou, N. P. Armitage, Martin Mourigal
Publikováno v:
Physical Review X, Vol 8, Iss 3, p 031001 (2018)
The spin-1/2 triangular lattice antiferromagnet YbMgGaO_{4} has attracted attention recently as a quantum spin-liquid candidate with the possible presence of off-diagonal anisotropic exchange interactions induced by spin-orbit coupling. Whether a qua
Externí odkaz:
https://doaj.org/article/b168b05561e9439981199ad89579ab4f
Autor:
Martin Mourigal, David Graf, Tay-Rong Chang, Ryan Baumbach, Kaya Wei, Marcus Daum, Weiwei Xie, Xin Gui
Publikováno v:
ACS Central Science, Vol 6, Iss 11, Pp 2023-2030 (2020)
ACS Central Science
ACS Central Science
The localized f-electrons enrich the magnetic properties in rare-earth-based intermetallics. Among those, compounds with heavier 4d and 5d transition metals are even more fascinating because anomalous electronic properties may be induced by the hybri
Autor:
Martin Mourigal, Marcus Daum, H. S. La Pierre, Arun Ramanathan, Alexander I. Kolesnikov, Stuart Calder
Publikováno v:
Physical Review B. 103
Thermomagnetic and inelastic neutron-scattering measurements on ${\mathrm{Na}}_{2}\mathrm{Pr}{\mathrm{O}}_{3}$ are reported. This material is an antiferromagnetic honeycomb magnet based on the tetravalent lanthanide ${\mathrm{Pr}}^{4+}$ and has been
Autor:
Henry E. Fischer, Matthew B. Stone, Huibo Cao, Eun Sang Choi, Qing Huang, Jose A. Rodriguez-Rivera, Haidong Zhou, Yaohua Liu, Martin Mourigal, Benjamin A. Frandsen, Zhiling Dun, Raju Baral, Marcus Daum
The transverse-field Ising model on the triangular lattice is expected to host an intermediate finite-temperature Kosterlitz-Thouless (KT) phase through a mapping of the spins on each triangular unit to a complex order parameter. TmMgGaO$_4$ is a can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::979761054b3aa9e1867b8d48dbe54076
http://arxiv.org/abs/2011.00541
http://arxiv.org/abs/2011.00541
Autor:
Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller, Joachim Klein, Christel Baier, Philipp Chrszon
Publikováno v:
International Journal on Software Tools for Technology Transfer. 20:179-194
The popular model checker PRISM has been successfully used for the modeling and analysis of complex probabilistic systems. As one way to tackle the challenging state explosion problem, PRISM supports symbolic storage and manipulation using multi-term
Autor:
Joseph A. M. Paddison, Georg Ehlers, Yaohua Liu, Matthew B. Stone, Martin Mourigal, Marcus Daum, Zhiling Dun, Haidong Zhou
Publikováno v:
Nature Physics. 13:117-122
A quantum spin liquid (QSL) is an exotic state of matter in which electrons' spins are quantum entangled over long distances, but do not show symmetry-breaking magnetic order in the zero-temperature limit. The observation of QSL states is a central a
Autor:
Benjamin Engel, Steffen Märcker, Christel Baier, Marcus Daum, Hermann Härtig, Hendrik Tews, Joachim Klein, Marcus Völp, Sascha Klüppelholz
Publikováno v:
Journal of Computer and System Sciences. 81:258-287
Functional correctness of low-level operating-system (OS) code is an indispensable requirement. However, many applications rely also on quantitative aspects such as speed, energy efficiency, resilience with regards to errors and other cost factors. W
Autor:
Nicholas Laurita, N. P. Armitage, Haidong Zhou, Marcus Daum, Martin Mourigal, Zhiling Dun, Joseph A. M. Paddison, Tao Hong, Xinshu Zhang, Fahad Mahmood
Publikováno v:
Physical Review X, Vol 8, Iss 3, p 031001 (2018)
The spin-1/2 triangular lattice antiferromagnet YbMgGaO$_{4}$ has attracted recent attention as a quantum spin-liquid candidate with the possible presence of off-diagonal anisotropic exchange interactions induced by spin-orbit coupling. Whether a qua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b04623f98b6df30ac01e081684e8b573
Autor:
Christel Baier, Joachim Klein, Clemens Dubslaff, Steffen Märcker, David Müller, Marcus Daum, Sascha Klüppelholz, Philipp Chrszon
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS
TACAS
For modeling and reasoning about complex systems, symbolic methods provide a prominent way to tackle the state explosion problem. It is well known that for symbolic approaches based on binary decision diagrams (BDD), the ordering of BDD variables pla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5091c75a5c86da2a698670baa3d86245
https://tud.qucosa.de/id/qucosa:74267
https://tud.qucosa.de/id/qucosa:74267