Concept

Automate fini non déterministe

Publications associées (118)

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

Electrofragmentation modeling of conductive coatings on polymer substrates

Yves Leterrier, Luc Rougier, Judith Helen Waller

Damage occurring under tensile loading and the resulting increase of electrical resistance of indium-doped tin oxide and amorphous graphite coatings on various polymer substrates are investigated, using an electro-fragmentation method in situ in an optical ...

American Institute of Physics2009

Generalized from of Telegrapher’s Equations for the Electromagnetic Field Coupling to Buried Wires of Finite Length

In this paper, a generalized form of telegrapher's equations for electromagnetic field coupling to buried wires is derived. The presented approach is based on thin-wire antenna theory. The effect of a dissipative half-space is taken into account via the re ...

2009

An axisymmetric stress analysis in a single fibre composite of finite length under a thermal expansion mismatch

John Botsis, Laurent Humbert, Fabiano Colpo

In this paper, an exact solution is derived for the characterization of thermal stresses in a single-fibre composite of finite length. All the required boundary and interfacial conditions of the thermo-elastic problem are thus satisfied exactly. The propos ...

2009

A Computable Fourier Condition Generating Alias-Free Sampling Lattices

Yue Lu, Minh Do

We propose a Fourier analytical condition linking alias-free sampling with the Fourier transform of the indicator function defined on the given frequency support. Our discussions center around how to develop practical computation algorithms based on the pr ...

Institute of Electrical and Electronics Engineers2009

Interval consensus: from quantized gossip to voting

Martin Vetterli, Patrick Thiran, Florence Bénézit

We design distributed and quantized average consensus algorithms on arbitrary connected networks. By construction, quantized algorithms cannot produce a real, analog average. Instead, our algorithm reaches consensus on the quantized interval that contains ...

2009

Renormalization and blow up for the critical Yang-Mills problem

Joachim Krieger, Daniel Tataru

We consider the Yangs-Mills equations in 4 + 1 dimensions. This is the energy critical case and we show that it admits a family of solutions which blow up in finite time. They are obtained by the spherically symmetric ansatz in the SO(4) gauge group and re ...

2009

Asymmetric information embedding

Mohammad Amin Shokrollahi

In the Information Embedding Problem one is given a piece of data which can be altered only conditionally, for example only at certain places. One is then asked to embed an arbitrary message into the data by only applying admissible changes to the data. Th ...

Springer-Verlag2008

Robust safety of timed automata

Laurent Doyen

Timed automata are governed by an idealized semantics that assumes a perfectly precise behavior of the clocks. The traditional semantics is not robust because the slightest perturbation in the timing of actions may lead to completely different behaviors of ...

Springer US2008

Kinetics of the Bose-Einstein condensation of microcavity polaritons - art. no. 689213

Vincenzo Savona, Davide Sarchi

We adopt a kinetic theory of polariton non-equilibrium Bose-Einstein condensation, to describe the formation of off-diagonal long-range order. The theory accounts properly for the dominant role of quantum fluctuations in the condensate. In realistic situat ...

SPIE-INT SOC OPTICAL ENGINEERING, PO BOX 10, BELLINGHAM, WA 98227-0010 USA2008

Expressiveness and Closure Properties for Quantitative Languages

Laurent Doyen

Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In the case of infinite words, the value of a run is naturally computed as the ma ...

2008