Réduction (complexité)

Science formelle
Informatique théorique
Theory of computation
Théorie de la complexité (i...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (30)

A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks

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

Logic synthesis is a fundamental step in the realization of modern integrated circuits. It has traditionally been employed for the optimization of CMOS-based designs, as well as for emerging technologies and quantum computing. Recently, it found applicatio ...

IEEE2020

Second-order sensitivity in the cylinder wake: Optimal spanwise-periodic wall actuation and wall deformation

François Gallaire, Edouard Boujo, Andrea Fani

Two-dimensional (2D) flows can be controlled efficiently using spanwise "waviness," i.e., a control (e.g., wall blowing and suction or wall deformation) that is periodic in the spanwise direction. This study tackles the global linear stability of 2D flows ...

AMER PHYSICAL SOC2019

Improved decoding of second-order Reed-Muller codes

Rüdiger Urbanke, Kirill Ivanov

In this paper, we consider low-complexity decoding of second-order Reed-Muller codes. A class of polynomial-time algorithms, based on the projections onto first-order codes, is studied. An old representative of this class, originally developed for binary s ...

IEEE2019

Monopulse Beam Synthesis Using a Sparse Single Layer of Weights

Semin Kwak

A conventional monopulse radar system uses three beams, namely, sum beam, elevation difference beam, and azimuth difference beam, which require different layers of weights to synthesize each beam independently. Since the multilayer structure increases the ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits

Giovanni De Micheli, Mathias Soeken, Giulia Meuli

We present a constructive method to create quantum circuits that implement oracles vertical bar x vertical bar y |0 (k) -> vertical bar x vertical bar y circle plus f(x)vertical bar 0 (k) for n-variable Boolean functions f with low T-count. In our method f ...

IEEE2019

Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications

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

Reducing the number of AND gates plays a central role in many cryptography and security applications. We propose a logic synthesis algorithm and tool to minimize the number of AND gates in a logic network composed of AND, XOR, and inverter gates. Our appro ...

ASSOC COMPUTING MACHINERY2019

V-band nanosecond-scale pulse reflectometer diagnostic in the TCV tokamak

Stefano Coda, Laurie Porte, Pedro Andres Molina Cabrera

This article describes the realization of a novel approach to short pulse (∼1 ns) reflectometry (SPR) recently implemented in the tokamak configuration variable tokamak. Taking advantage of a fast arbitrary waveform generator and vector-network-analyzer ex ...

2019

On the complexity of linearizability

Jad Hamza

It was previously shown that the problem of verifying whether a finite concurrent system is linearizable can be done with an EXPSPACE complexity. However, the best known lower bound is PSPACE-hardness, and can be obtained using a reduction from control-sta ...

SPRINGER WIEN2019

An open-loop control scheme to increase the speed and reduce the viscoelastic drift of dielectric elastomer actuators

Samuel Rosset, Alexandre Poulin

We present a simple open-loop method to increase the response speed and suppress the viscoelastic creep of dielectric elastomer actuators. The parameters of the model can be extracted from two simple measurements: a strain vs. voltage ramp, and the strain ...

2019

Numerical methods for option pricing: polynomial approximation and high dimensionality

Francesco Statti

Options are some of the most traded financial instruments and computing their price is a central task in financial mathematics and in practice. Consequently, the development of numerical algorithms for pricing options is an active field of research. In gen ...

EPFL2019

Page 2 sur 2