Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
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 ...
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 ...
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 ...
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 ...
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. ...
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 ...
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 ...
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 ...
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 ...
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 ...
