A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis

Related publications (24)

About
Privacy
Disclaimer

Graph Chatbot

Learning V1 Simple Cells with Vector Representation of Local Content and Matrix Representation of Local Motion

This paper proposes a representational model for image pairs such as consecutive video frames that are related by local pixel displacements, in the hope that the model may shed light on motion perception in primary visual cortex (V1). The model couples the ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2022

Coxeter Combinatorics For Sum Formulas In The Representation Theory Of Algebraic Groups

Jonathan Gruber

Let G be a simple algebraic group over an algebraically closed field F of characteristic p >= h, the Coxeter number of G. We observe an easy 'recursion formula' for computing the Jantzen sum formula of a Weyl module with p-regular highest weight. We also d ...

AMER MATHEMATICAL SOC2022

Reduced representations of complexes, signals, and multifiltrations

Celia Camille Hacker

The field of computational topology has developed many powerful tools to describe the shape of data, offering an alternative point of view from classical statistics. This results in a variety of complex structures that are not always directly amenable for ...

EPFL2022

Graph Representation Learning with Optimal Transport: Analysis and Applications

Effrosyni Simou

In several machine learning settings, the data of interest are well described by graphs. Examples include data pertaining to transportation networks or social networks. Further, biological data, such as proteins or molecules, lend themselves well to graph- ...

EPFL2022

Irvsp: To obtain irreducible representations of electronic states in the VASP

Quansheng Wu, Ziyi Wang

We present an open-source program irvsp, to compute irreducible representations of electronic states for all 230 space groups with an interface to the Vienna ab-initio Simulation Package. This code is fed with plane-wave-based wavefunctions (e.g. WAVECAR) ...

ELSEVIER2021

Spectra of non-regular elements in irreducible representations of simple algebraic groups

Donna Testerman

We study the spectra of non-regular semisimple elements in irreducible representations of simple algebraic groups. More precisely, we prove that if G is a simply connected simple linear algebraic group and φ : G → GL(V ) is a non-trivial irreducible repres ...

2021

Optimal radial basis for density-based atomic representations

Michele Ceriotti, Sergey Pozdnyakov, Jigyasa Nigam, Félix Benedito Clément Musil, Alexander Jan Goscinski

The input of almost every machine learning algorithm targeting the properties of matter at the atomic scale involves a transformation of the list of Cartesian atomic coordinates into a more symmetric representation. Many of the most popular representations ...

2021

Smaller, Faster & Lighter KNN Graph Constructions

Rachid Guerraoui, Anne-Marie Kermarrec, Olivier Ruas

We propose GoldFinger, a new compact and fast-to-compute binary representation of datasets to approximate Jaccard’s index. We illustrate the effectiveness of GoldFinger on the emblematic big data problem of K-Nearest-Neighbor (KNN) graph construction and s ...

2020

Enhancing discrete choice models with representation learning

Alexandre Massoud Alahi, Virginie Janine Camille Lurkin

In discrete choice modeling (DCM), model misspecifications may lead to limited predictability and biased parameter estimates. In this paper, we propose a new approach for estimating choice models in which we divide the systematic part of the utility specif ...

2020

Linear Flavour-Wave Theory of SU(N) Lattice Models with Arbitrary Irreducible Representations

Francisco Hyunkyu Kim

This thesis explores various approaches of studying the long-range colour order of antiferromagnetic SU(N) Heisenberg models with the linear flavour-wave theory (LFWT). The LFWT is an extension of the well-known SU(2) spin-wave theory to SU(N), and this se ...

EPFL2019

Page 1 of 3