Zobrazeno 1 - 10
of 3 504
pro vyhledávání: '"Larsen, Peter A."'
Quantum many-body scars are energy eigenstates which fail to reproduce thermal expectation values of local observables in systems, where the rest of the many-body spectrum fulfils eigenstate thermalization. Experimental observation of quantum many-bo
Externí odkaz:
http://arxiv.org/abs/2410.14613
Publikováno v:
Phys. Rev. Research 6, L042007 (2024)
We propose a type of phase transition in quantum many-body systems, which occurs in highly excited quantum many-body scar states, while most of the spectrum is largely unaffected. Such scar state phase transitions can be realized by embedding a matri
Externí odkaz:
http://arxiv.org/abs/2405.20113
Autor:
Woodcock, Jim, Andersen, Mikkel Schmidt, Aranha, Diego F., Hallerstede, Stefan, Hansen, Simon Thrane, Jakobsen, Nikolaj Kuhne, Kulik, Tomas, Larsen, Peter Gorm, Macedo, Hugo Daniel, Martin, Carlos Ignacio Isasa, Norrild, Victor Alexander Mtsimbe
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) Suppose we have two computing agents. The first agent is the verifier,
Externí odkaz:
http://arxiv.org/abs/2308.15191
Autor:
Talasila, Prasad, Gomes, Cláudio, Mikkelsen, Peter Høgh, Arboleda, Santiago Gil, Kamburjan, Eduard, Larsen, Peter Gorm
Establishing digital twins is a non-trivial endeavour especially when users face significant challenges in creating them from scratch. Ready availability of reusable models, data and tool assets, can help with creation and use of digital twins. A num
Externí odkaz:
http://arxiv.org/abs/2305.07244
A digital twin (DT) monitors states of the physical twin (PT) counterpart and provides a number of benefits such as advanced visualizations, fault detection capabilities, and reduced maintenance cost. It is the ability to be able to detect the states
Externí odkaz:
http://arxiv.org/abs/2305.00252
The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already extensive feature-set of VDM VSCode with support for UML. The link betw
Externí odkaz:
http://arxiv.org/abs/2304.06618
Autor:
Freitas, Leo, Larsen, Peter Gorm
For recursive functions general principles of induction needs to be applied. Instead of verifying them directly using the Vienna Development Method Specification Language (VDM-SL), we suggest a translation to Isabelle/HOL. In this paper, the challeng
Externí odkaz:
http://arxiv.org/abs/2303.17457
The game of chess is well-known and widely played all over the world. However, the rules for playing it are rather complex since there are different types of pieces and the ways they are allowed to move depend upon the type of the piece. In this pape
Externí odkaz:
http://arxiv.org/abs/2303.10381
Autor:
Talasila, Prasad, Crăciunean, Daniel-Cristian, Bogdan-Constantin, Pirvu, Larsen, Peter Gorm, Zamfirescu, Constantin, Scovill, Alea
Digital twin technology is an essential approach to managing the lifecycle of industrial products. Among the many approaches used to manage digital twins, co-simulation has proven to be a reliable one. There have been multiple attempts to create coll
Externí odkaz:
http://arxiv.org/abs/2212.07829
Autor:
Garwood Tyler J., Richards Jessie E., Macchietto Marissa G., Gerhold Richard W., Kania Stephen A., Garbe John R., Fountain-Jones Nicholas M., Larsen Peter A., Wolf Tiffany M.
Publikováno v:
Journal of Nematology, Vol 56, Iss 1, Pp 2114-2120 (2024)
Parelaphostrongylus tenuis causes ungulate morbidity and mortality in eastern and central North America, but no reference genome sequence exists to facilitate research. Here, we present a P. tenuis genome assembly and annotation, generated with PacBi
Externí odkaz:
https://doaj.org/article/071c3d1dad484735817e199700bbff71
