Concept

Relation antisymétrique

Publications associées (6)

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

Combine and conquer: Relating BIP and Reo

Simon Bliudze

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation b ...

Elsevier Science Inc2017

Relating BIP and Reo

Simon Bliudze

2015

Momentum and photon energy dependence of the circular dichroic photoemission in the bulk Rashba semiconductors BiTeX (X = I, Br, Cl)

Marco Grioni, Arnaud Magrez, Oleg Yazyev, Helmuth Berger, Philippe Bugnon, Alberto Crepaldi, Gabriel Albert Autes, Luca Moreschini, Jens Christian Johannsen, Cédric Tournier-Colletta

Bulk Rashba systems BiTeX (X = I, Br, Cl) are emerging as important candidates for developing spintronics devices because of the coexistence of spin-split bulk and surface states, along with the ambipolar character of the surface charge carriers. The need ...

American Physical Society2014

Data coding tools for color-coded vector nanolithography

Andrzej Kulik, Charles Baur, Sébastien Grange, Raphaël Foschia, Saveen Kumar

We propose and demonstrate the ability and efficiency of using a universal file format for a nanolithography pattern. A problem faced by the physicists working in the field of nanolithography is a lack of a flexible pattern design software (possibly open–s ...

2004

The Degenerate Bounded Errors-in-Variables Model

Ali H. Sayed

We consider the following problem:

\min_{x \in {\cal R}^n} \min_{\|E\| \le \eta} \|(A+E)x-b\|

, where A is an

m \times n

real matrix and b is an n-dimensional real column vector when it has multiple global minima. This problem is an errors-in-variables ...

2001

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