Publication

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

Publications associées (32)

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

Geometric deep learning: going beyond Euclidean data

Pierre Vandergheynst, Michael Bronstein

Many signal processing problems involve data whose underlying structure is non-Euclidean, but may be modeled as a manifold or (combinatorial) graph. For instance, in social networks, the characteristics of users can be modeled as signals on the vertices of ...

2017

Hierarchical Reversible Logic Synthesis Using LUTs

Giovanni De Micheli, Mathias Soeken

Today's rapid advances in the physical implementation of quantum computers demand for scalable synthesis methods in order to map practical logic designs to quantum architectures. We present a synthesis algorithm for quantum computing based on k-LUT network ...

IEEE2017

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

Mathias Soeken

Although researchers and engineers originally focused on a preponderantly irreversible computing paradigm, alternative models receive more and more attention. Reversible computation is a promising example which has applications in many emerging technologie ...

2016

Modern techniques and applications for real-time non-rigid registration

Mark Pauly, Hao Li, Sofien Bouaziz, Andrea Tagliasacchi

Registration algorithms are an essential component of many computer graphics and computer vision systems. With recent technological advances in RGBD sensors (color plus depth), an active area of research is in techniques combining color, geometry, and lear ...

2016

Complexity of reversible circuits and their quantum implementations

Mathias Soeken, Nabila Abdessaied

We provide an extensive overview of upper bounds on the number of gates needed in reversible and quantum circuits. As reversible gate libraries we consider single-target gates, mixed-polarity multiple-controlled Toffoli gates, and the set consisting of the ...

2016

Dynamic 2D/3D Registration

Mark Pauly, Sofien Bouaziz, Andrea Tagliasacchi

Image and geometry registration algorithms are an essential component of many computer graphics and computer vision systems. With recent technological advances in RGB-D sensors, such as the Microsoft Kinect or Asus Xtion Live, robust algorithms that combin ...

The Eurographics Association2014

Dynamic 2D/3D registration for the Kinect

Mark Pauly, Sofien Bouaziz

Image and geometry registration algorithms are essential components of many computer graphics and computer vision systems. With recent technological advances in RGB-D sensors, robust algorithms that combine 2D image and 3D geometry registration have become ...

ACM2013

Caustic Art

Mark Pauly

The computation of caustics created by reflection or refraction of light is a well-studied problem in computer graphics. This paper investigates the inverse problem: Given a greyscale intensity image, find the shape of a surface that will cast a caustic th ...

2012

Computing correspondences in geometric data sets

Mark Pauly, Hao Li

Shape registration and, more generally speaking, computing correspondence across shapes are fundamental problems in computer graphics and vision. Problems from this area show up in many diff erent variants such as scan registration, deformable shape matchi ...

2011

An Interdisciplinary VR-Architecture for 3D Chatting with Non-verbal Communication

Daniel Thalmann, Stéphane Gobron, Junghyun Ahn, Quentin Silvestre

The communication between avatar and agent has already been treated from different but specialized perspectives. In contrast, this paper gives a balanced view of every key architectural aspect: from text analysis to computer graphics, the chatting system a ...

Eurographics Association2011