Publications related to A Spectral Algorithm for 3-valued Function Equivalence Classification

ROS : Resource Constrained Oracle Synthesis for Quantum Computers

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

We present a complete automatic synthesis framework for oracle functions—a central part in many quantum algorithms. The proposed framework for resource-constrained oracle synthesis (ROS) is an LUT-based hierarchical method where every step is specifically ...

2019

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

Giovanni De Micheli, Mathias Soeken, Eleonora Testa

The equivalence of Boolean functions with respect to five invariance (aka translation) operations has been well considered with respect to the Rademacher-Walsh spectral domain. In this paper, we introduce a hybrid approach that uses both the Reed-Muller an ...

IEEE2019

New insights on Drosophila antimicrobial peptide function in host defense and beyond

Bruno Lemaitre, Mark Austin Hanson

Since the first animal antimicrobial peptides (AMPs) were discovered in insects, Drosophila melanogaster has emerged as a powerful model for their characterization. Drosophila AMPs have been used extensively to monitor the activity of the Toll and Imd NF-κ ...

2019

SAT-based {CNOT, T} Quantum Circuit Synthesis

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

The prospective of practical quantum computers has lead researchers to investigate automatic tools to program them. A quantum program is modeled as a Clifford+T quantum circuit that needs to be optimized in order to comply with quantum technology constrain ...

2018

Pairs of majority-decomposing functions

Giovanni De Micheli, Mathias Soeken, Eleonora Testa

We are interested in decompositions xnf1f2 of the majority function over n odd arguments x1, ...,xnsuch that f1and f2do not depend on xn. In this paper, we derive the conditions for f1and f2that satisfy the decomposition. Such decompositions play a centr ...

2018

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

BDD Minimization for Approximate Computing

Mathias Soeken, Arun Chandrasekharan

We present Approximate BDD Minimization (ABM) as a problem that has application in approximate computing. Given a BDD representation of a multi-output Boolean function, ABM asks whether there exists another function that has a smaller BDD representa ...

IEEE2016

Fast K-Means with Accurate Bounds

François Fleuret, James Peter Newling

We propose a novel accelerated exact

k

-means algorithm, which outperforms the current state-of-the-art low-dimensional algorithm in 18 of 22 experiments, running up to 3

\times

faster. We also propose a general improvement of existing state-of-the-art a ...

Idiap2016

A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain

Martin Vetterli, Robin Scheibler, Saeid Haghighatshoar

In this paper, we design a new iterative low-complexity algorithm for computing the Walsh-Hadamard transform (WHT) of an N dimensional signal with a K-sparse WHT. We suppose that N is a power of two and K = O(N^α), scales sub-linearly in N for some α ∈ (0, ...

Institute of Electrical and Electronics Engineers2015

Ellipse-Preserving Hermite Interpolation and Subdivision

Michaël Unser

We introduce a family of piecewise-exponential functions that have the Hermite interpolation property. Our design is motivated by the search for an effective scheme for the joint interpolation of points and associated tangents on a curve with the ability t ...

Elsevier2015

A Spectral Algorithm for 3-valued Function Equivalence Classification

Graph Chatbot

Chat with Graph Search

ROS : Resource Constrained Oracle Synthesis for Quantum Computers

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

New insights on Drosophila antimicrobial peptide function in host defense and beyond

SAT-based {CNOT, T} Quantum Circuit Synthesis

Pairs of majority-decomposing functions

Hierarchical Reversible Logic Synthesis Using LUTs

BDD Minimization for Approximate Computing

Fast K-Means with Accurate Bounds

A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain

Ellipse-Preserving Hermite Interpolation and Subdivision

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

ROS : Resource Constrained Oracle Synthesis for Quantum Computers

Pairs of majority-decomposing functions

New insights on Drosophila antimicrobial peptide function in host defense and beyond

SAT-based {CNOT, T} Quantum Circuit Synthesis

Hierarchical Reversible Logic Synthesis Using LUTs

A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain

Ellipse-Preserving Hermite Interpolation and Subdivision

BDD Minimization for Approximate Computing

Fast K-Means with Accurate Bounds