Concept

Calcul réversible

Publications associées (45)

Scaling-up ESOP Synthesis for Quantum Compilation

Giovanni De Micheli, Mathias Soeken, Bruno Schmitt Antunes

Today's rapid advances in quantum computing hardware call for scalable synthesis methods to map combinational logic represented as multi-level Boolean networks (e.g., an and inverter graph, AIG) to quantum circuits. Such synthesis process must yield revers ...

IEEE2019

LUT-Based Hierarchical Reversible Logic Synthesis

Giovanni De Micheli, Mathias Soeken

We present a synthesis framework to map logic networks into quantum circuits for quantum computing. The synthesis framework is based on lookup-table (urn networks, which play a key role in conventional logic synthesis. Establishing a connection between LUT ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

A time-reversible integrator for the time-dependent Schrödinger equation on an adaptive grid

Jiri Vanicek, Seonghoon Choi

One of the most accurate methods for solving the time-dependent Schrödinger equation uses a combination of the dynamic Fourier method with the split-operator algorithm on a tensor-product grid. To reduce the number of required grid points, we let the grid ...

2019

Resource-Aware Distributed Epilepsy Monitoring Using Self-Awareness From Edge to Cloud

David Atienza Alonso, Amir Aminifar, Farnaz Forooghifar

The integration of wearable devices in humans' daily lives has grown significantly in recent years and still continues to affect different aspects of high-quality life. Thus, ensuring the reliability of the decisions becomes essential in biomedical applica ...

2019

Electric-Field-Mediated Reversible Transformation between Supramolecular Networks and Covalent Organic Frameworks

Kay Severin

By using an oriented electric field in a scanning tunneling microscope, one can locally control the condensation of boronic acids at the liquid/solid interface. The phase transition between self-assembled molecular networks and covalent organic frameworks ...

2019

Parameters affecting thermal risk through a kinetic model under adiabatic condition: Application to liquid-liquid reaction system

Thierry Meyer

Risk of thermal runaway for epoxidation is not negligible and should be analyzed and assessed. In industry, epoxidation of vegetable oils is carried out by the oxidation of Prileschajew, involving the in situ production of percarboxylic acid from hydrogen ...

2018

A Best-Fit Mapping Algorithm to Facilitate ESOP-Decomposition in Clifford+T Quantum Network Synthesis

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

Currently, there is a large research interest and a significant economical effort to build the first practical quantum computer. Such quantum computers promise to exceed the capabilities of conventional computers in fields such as computational chemistry, ...

IEEE2018

A Best-Fit Mapping Algorithm to Facilitate ESOP-Decomposition in Clifford plus T Quantum Network Synthesis

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

ASSOC COMPUTING MACHINERY2018

Logic Synthesis for Established and Emerging Computing

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Eleonora Testa

Logic synthesis is an enabling technology to realize integrated computing systems, and it entails solving computationally intractable problems through a plurality of heuristic techniques. A recent push toward further formalization of synthesis problems has ...

2018

Communication: Constrained molecular dynamics for polarizable models

Sara Bonella, Alessandro Coretti

A new algorithm to solve numerically the evolution of empirical shell models of polarizable systems is presented. It employs constrained molecular dynamics to satisfy exactly, at each time step, the crucial condition that the gradient of the potential with ...

2018

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search