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.
In contrast to beta-testing, formal verification can guarantee correctness of a program against a specification. Two basic verification techniques are theorem proving and model checking. Both have strengths and weaknesses. Theorem proving is powerful, but ...
Let k be a field of characteristic = 2, and let G be a finite group. The aim of this article is to give a cohomological criterion for the isomorphism of multiples of trace forms of G-Galois algebras over k. The proof uses results concerning multiples ...
A novel application of vibrational sum frequency generation (VSFG) is developed to study the molecular properties of the surface of submicron particles in suspension. The Rayleigh-Gans-Debye scattering theory is extended to extract the local molecular resp ...
Daughter crystals in orientation relationship with a parent crystal are called variants. They can be created by a structural phase transition (Landau or reconstructive), by twinning or by precipitation. Internal and external classes of transformations defi ...
This work is dedicated to developing algebraic methods for channel coding. Its goal is to show that in different contexts, namely single-antenna Rayleigh fading channels, coherent and non-coherent MIMO channels, algebraic techniques can provide useful tool ...
Applications of thin SixNy membranes may be found in miscellaneous fields such as MEMS and NEMS as well as biotechnology. FIB is an excellent tool in order to realize nano-structures on membranes achieving the ultimate limits and rapid prototyping. ...
In this thesis the Support Vector Machine (SVM)is applied on classification of high resolution satellite images. Sveral different measures for classification, including texture mesasures, 1st order statistics, and simple contextual information were evaluat ...
Optimistic atomic broadcast: a pragmatic viewpoint F.Pedone and A.Schiper This paper presents the Optimistic Atomic Broadcast algorithm (OPT-ABcast) which exploits the spontaneous total-order property experienced in local-area networks in order to allow fa ...
This note gives a high level and informal account of the necessary part of the proof that Ω is the weakest failure detector to implement consensus with a majority of correct processes. The proof originally appeared in a widely cited but rarely understood p ...
The principal subject of this thesis is the study of some Dirichlet problems related to differential inclusions of first and second order. We have studied the two following problems : where E ⊂ R2×2 is a compact isotropic set and where We show some existen ...
