Learning trajectory patterns by clustering: Experimental studies and comparative evaluation

B Morris, M Trivedi - … IEEE Conference on Computer Vision and …, 2009 - ieeexplore.ieee.org
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 …

Verified compilation of space-efficient reversible circuits

M Amy, M Roetteler, KM Svore - International Conference on Computer …, 2017 - Springer
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 …

Interpretation and programming of the reversible functional language RFUN

MK Thomsen, HB Axelsen - Proceedings of the 27th Symposium on the …, 2015 - dl.acm.org
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 …

: a typed functional reversible core language

PAH Jacobsen, R Kaarsgaard, MK Thomsen - International Conference on …, 2018 - Springer
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 …

[PDF][PDF] Reversible circuit compilation with space constraints

A Parent, M Roetteler, KM Svore - arxiv preprint arxiv:1510.00377, 2015 - microsoft.com
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 …

White Dots do Matter: Rewriting Reversible Logic Circuits

M Soeken, MK Thomsen - … 5th International Conference, RC 2013, Victoria …, 2013 - Springer
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 …

SyReC: A hardware description language for the specification and synthesis of reversible circuits

R Wille, E Schönborn, M Soeken, R Drechsler - Integration, 2016 - Elsevier
Although researchers and engineers originally focused on a preponderantly irreversible
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 …

[HTML][HTML] SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

S Adarsh, L Burgholzer, T Manjunath, R Wille - Software Impacts, 2022 - Elsevier
Reversible circuits form the backbone for many promising emerging technologies such as
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 …