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.
Our goal is to help people construct software that does what they wish. We develop tools and algorithms that span static and dynamic verification, constraint solving, and program synthesis. I will outline the current state our verification and synthesis sy ...
Recent research on the Alcator C-Mod tokamak has focused on a range of scientific issues with particular emphasis on ITER needs and on detailed comparisons between experimental measurements and predictive models. Research on ICRF (ion cyclotron range of fr ...
The International Fusion Materials Irradiation Facility (IFMIF) Engineering Design and Engineering Validation Activities (EVEDA) are being developed in a joint project in the framework of the Broader Approach (BA) Agreement between EU and Japan. This proje ...
Context: The number of students enrolled in universities at standard and on-line programming courses is rapidly increasing. This calls for automated evaluation of students assignments. Objective: We aim to develop methods and tools for objective and reljab ...
A challenge in automatic speaker verification is to create a system that is robust to the effects of vocal ageing. To observe the ageing effect, a speaker's voice must be analysed over a period of time, over which, variation in the quality of the voice sam ...
This paper presents a Discrete-time Model Predictive-based Control strategy for the voltage regulation of an islanded distributed generation (DG) unit. The DG unit includes a voltage source converter (VSC) interfaced to the grid through a switch and a coup ...
Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011
Safety-critical software systems can only support a limited number of failures. Extensive testing is good at catching errors, however that will never certify their absence. Formal verification is an alternative to testing that can (automatically) provide a ...
Simulations of edge turbulence are particularly challenging due to the presence of large amplitude fluctuations and to the coupling of equilibrium and fluctuating scales. While validating edge simulations is necessary to assess the accuracy of our understa ...
The number of students enrolled in universities at standard and online programming courses is huge. This calls for automated evaluation of students assignments and for automated support for learning. We aim at developing methods and tools for objective and ...
Modern concurrent software is riddled with data races and these races constitute the source of many problems. Data races are hard to detect accurately before software is shipped and, once they cause failures in production, developers find it challenging to ...