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 ...
The last decades have seen the most important improvements of the safety on the road. But most of the accidents are still coming from the driver when a source of danger is not noticed or when the reaction is not correct during an unusual situation. Two way ...
We present DRIFT --- a total order multicast algorithm for ad hoc networks with mobile or static nodes. Due to the ad hoc nature of the network, DRIFT uses flooding for message propagation. The key idea of DRIFT is virtual flooding --- a way of using unrel ...
Robots are rapidly evolving from factory workhorses to robot-companions. The future of robots, as our companions, is highly dependent on their abilities to understand, interpret and represent the environment in an efficient and consistent fashion, in a ...
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 order to cope with sustainable development policy, buildings should be at least healthy, comfortable and energy efficient. Criteria for assessing individually the occupant's perceived health, the provided thermal, visual, acoustical comfort, the indoor ...
A statistical physics perspective of complex networks: from the architecture of the Internet and the brain to the spreading of an epidemic Statistical physics has revealed itself as the ideal framework to describe large networks appearing in a variety of d ...
This paper reports on four experimental studies concerning regard to how people use space so as to solve problems collaboratively in virtual environments. Prior to presenting the results, it summarizes the wide range of literature concerning social uses of ...
We provide an overview of adaptive estimation algorithms over
distributed networks. The algorithms rely on local collaborations and exploit the space-time structure of the data. Each node is allowed to communicate with its neighbors in order to exploit th ...
An original analytical formula for the torque/emf constant of a slotless brushless DC (BLDC) motor is presented. It is obtained by solving and integrating the permanent magnet field. In addition, formulas for the both stator and rotor iron fields are deriv ...
