Zobrazeno 1 - 10
of 4 025
pro vyhledávání: '"Larsen, Peter"'
We propose a type of phase transition in quantum many-body systems, which occurs in highly excited quantum many-body scar states, while the rest of the spectrum is largely unaffected. Such scar state phase transitions can be realized by embedding a m
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