Zobrazeno 1 - 10
of 5 157
pro vyhledávání: '"Carette, AS"'
Publikováno v:
Reversible Computation, LNCS 14680:10-27, 2024
Reversible computing is motivated by both pragmatic and foundational considerations arising from a variety of disciplines. We take a particular path through the development of reversible computation, emphasizing compositional reversible computation.
Externí odkaz:
http://arxiv.org/abs/2405.20842
We selected 29 medical imaging projects from 48 candidates, assessed 10 software qualities by answering 108 questions for each software project, and interviewed 8 of the 29 development teams. Based on the quantitative data, we ranked the MI software
Externí odkaz:
http://arxiv.org/abs/2405.12171
We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum
Externí odkaz:
http://arxiv.org/abs/2403.10479
We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical languages for both affinely constrained classical mechanical systems, as w
Externí odkaz:
http://arxiv.org/abs/2401.07914
Publikováno v:
ACM Principles of Programming Languages 8:546--574, 2024
Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps and three equations about them results in a model of quantum computin
Externí odkaz:
http://arxiv.org/abs/2310.14056
Publikováno v:
EPTCS 384, 2023, pp. 220-264
We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-dimensional qudits (i.e. qupits). We derive a simplified rule set that closely resembles the original rules of qubit ZX-calculus. Using these rules, we demonstrate analog
Externí odkaz:
http://arxiv.org/abs/2306.05204
Autor:
Carette, Philippe, Guerry, Marie-Anne
We consider the problem of finding the transition rates of a continuous-time homogeneous Markov chain under the empirical condition that the state changes at most once during a time interval of unit length. It is proven that this conditional embeddin
Externí odkaz:
http://arxiv.org/abs/2305.19887
Quantum reference frames are needed in quantum theory for much the same reasons that reference frames are in classical theories: to manifest invariance in line with fundamental relativity principles and to provide a basis for the definition of observ
Externí odkaz:
http://arxiv.org/abs/2303.14002
We exhibit a strong connection between the matchgate formalism introduced by Valiant and the ZW-calculus of Coecke and Kissinger. This connection provides a natural compositional framework for matchgate theory as well as a direct combinatorial interp
Externí odkaz:
http://arxiv.org/abs/2302.08767
Autor:
Carette, Titouan, Moutot, Etienne
By reformulating the Wang tiles formalism with tensors, we propose a natural generalization to the probabilistic and quantum setting. In this new framework, we introduce notions of tilings and periodicity directly extending their classical counterpar
Externí odkaz:
http://arxiv.org/abs/2302.04503