Learning trajectory patterns by clustering: Experimental studies and comparative evaluation
Recently a large amount of research has been devoted to automatic activity analysis.
Typically, activities have been defined by their motion characteristics and represented by …
Typically, activities have been defined by their motion characteristics and represented by …
Verified compilation of space-efficient reversible circuits
The generation of reversible circuits from high-level code is an important problem in several
application domains, including low-power electronics and quantum computing. Existing …
application domains, including low-power electronics and quantum computing. Existing …
Interpretation and programming of the reversible functional language RFUN
rfun is a small first-order reversible functional language introduced by Yokoyama et al. in
2012. The present paper aims to further the understanding of reversible functional …
2012. The present paper aims to further the understanding of reversible functional …
: a typed functional reversible core language
This paper presents CoreFun, a typed reversible functional language, which seeks to reduce
typed reversible functional programming to its essentials. We present a complete formal …
typed reversible functional programming to its essentials. We present a complete formal …
[PDF][PDF] Reversible circuit compilation with space constraints
We develop a framework for resource efficient compilation of higher-level programs into
lower-level reversible circuits. Our main focus is on optimizing the memory footprint of the …
lower-level reversible circuits. Our main focus is on optimizing the memory footprint of the …
White Dots do Matter: Rewriting Reversible Logic Circuits
The increased effort in recent years towards methods for computer aided design of
reversible logic circuits has also lead to research in algorithms for optimising the resulting …
reversible logic circuits has also lead to research in algorithms for optimising the resulting …
SyReC: A hardware description language for the specification and synthesis of reversible circuits
Although researchers and engineers originally focused on a preponderantly irreversible
computing paradigm, alternative models receive more and more attention. Reversible …
computing paradigm, alternative models receive more and more attention. Reversible …
Formal methods in quantum circuit design
M Amy - 2019 - uwspace.uwaterloo.ca
The design and compilation of correct, efficient quantum circuits is integral to the future
operation of quantum computers. This thesis makes contributions to the problems of …
operation of quantum computers. This thesis makes contributions to the problems of …
[HTML][HTML] SyReC Synthesizer: An MQT tool for synthesis of reversible circuits
Reversible circuits form the backbone for many promising emerging technologies such as
quantum computing, low power/adiabatic design, encoder/decoder devices, and several …
quantum computing, low power/adiabatic design, encoder/decoder devices, and several …
On Quantum Programming Languages
B Valiron - arxiv preprint arxiv:2410.13337, 2024 - arxiv.org
This thesis (Habilitation\a diriger des recherches) presents some of my research
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …