Zobrazeno 1 - 10
of 1 827
pro vyhledávání: '"Barthe, P"'
In this work, we propose a new approach based on positron annihilation spectroscopy to estimate the concentration of vacancy-type defects induced by self-ion irradiation in tungsten at room temperature, 500, and 700{\deg}C. Using experimental and Two
Externí odkaz:
http://arxiv.org/abs/2411.13480
Publikováno v:
Proc. ACM Program. Lang. 9, POPL, Article 42 (January 2025), 33 pages
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the perspective of automated reasoning. We prove two main results: first,
Externí odkaz:
http://arxiv.org/abs/2411.11617
Autor:
Wu, Jintong, Balbuena, Juan-Pablo, Hu, Zhiwei, Jantunen, Ville, Barthe, Marie-France, Caturla, Maria Jose, Granberg, Fredric
Irradiation of materials in nuclear test reactors and power plants is known to alter the properties of the material. The irradiation event happening at pico- or nanosecond time scales are affecting the evolution and properties of the material on macr
Externí odkaz:
http://arxiv.org/abs/2409.15856
We introduce eRHL, a program logic for reasoning about relational expectation properties of pairs of probabilistic programs. eRHL is quantitative, i.e., its pre- and post-conditions take values in the extended non-negative reals. Thanks to its quanti
Externí odkaz:
http://arxiv.org/abs/2407.17127
We introduce a framework for simulating, on an $(n+1)$-qubit quantum computer, the action of a Gaussian Bosonic (GB) circuit on a state over $2^n$ modes. Specifically, we encode the initial bosonic state's expectation values over quadrature operators
Externí odkaz:
http://arxiv.org/abs/2407.06290
Parameterized quantum circuits have been extensively used as the basis for machine learning models in regression, classification, and generative tasks. For supervised learning, their expressivity has been thoroughly investigated and several universal
Externí odkaz:
http://arxiv.org/abs/2402.09848
Autor:
Barthe, Gilles, Böhme, Marcel, Cauligi, Sunjay, Chuengsatiansup, Chitchanok, Genkin, Daniel, Guarnieri, Marco, Romero, David Mateos, Schwabe, Peter, Wu, David, Yarom, Yuval
How will future microarchitectures impact the security of existing cryptographic implementations? As we cannot keep reducing the size of transistors, chip vendors have started developing new microarchitectural optimizations to speed up computation. A
Externí odkaz:
http://arxiv.org/abs/2402.00641
Autor:
Petit, Doriand, Bourgeois, Steve, Pavel, Dumitru, Gay-Bellile, Vincent, Chabot, Florian, Barthe, Loic
Recent advances in Neural Fields mostly rely on developing task-specific supervision which often complicates the models. Rather than developing hard-to-combine and specific modules, another approach generally overlooked is to directly inject generic
Externí odkaz:
http://arxiv.org/abs/2312.03357
Autor:
Barthe, Alice, Pérez-Salinas, Adrián
Publikováno v:
Quantum 8, 1523 (2024)
Quantum re-uploading models have been extensively investigated as a form of machine learning within the context of variational quantum algorithms. Their trainability and expressivity are not yet fully understood and are critical to their performance.
Externí odkaz:
http://arxiv.org/abs/2311.10822
Autor:
Valérie Briois, Jean Paul Itié, Alain Polian, Andrew King, Aliou Sadia Traore, Eric Marceau, Ovidiu Ersen, Camille La Fontaine, Laurent Barthe, Anthony Beauvois, Olga Roudenko, Stéphanie Belin
Publikováno v:
Journal of Synchrotron Radiation, Vol 31, Iss 5, Pp 1084-1104 (2024)
Full-field transmission X-ray microscopy has been recently implemented at the hard X-ray ROCK–SOLEIL quick-EXAFS beamline, adding micrometre spatial resolution to the second time resolution characterizing the beamline. Benefiting from a beam size v
Externí odkaz:
https://doaj.org/article/5f4760b9d56d4404918ced7e8ad31a80
