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.
Clinical outcome upon infection with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) ranges from silent infection to lethal coronavirus disease 2019 (COVID-19). We have found an enrichment in rare variants predicted to be loss-of-function (LOF ...
Intrinsic and extrinsic pinning and passivation of m-plane cleavage facets of GaN n- p- n junctions were investigated by cross-sectional scanning tunneling microscopy and spectroscopy. On freshly cleaved and clean p-type GaN( 10 1 0) ...
Classification methods from machine learning are receiving a lot of attention in the transportation modelling community. This is motivated by the access to large databases, and to various success stories reported in this research community. Discrete choice ...
The common placement of thermostats in offices might not reflect the actual thermal environment around occupants and influence the energy use. In this research, it is questioned which type of thermostat at which location better represents the conditions in ...
Grippers, currently used in Industry, are not suited for clean room application. Thus, a novel type of smart gripper is being designed using Shape Memory Alloys (SMA). In the development of this Smart Gripper, the modelling of the material is quite critica ...
We study the multitype contact process on Z(d) under the assumption that one of the types has a birth rate that is larger than that of the other type, and larger than the critical value of the standard contact process. We prove that, if initially present, ...
This chapter presents an overview of techniques used for the analysis, edition, and synthesis of time series, with a particular emphasis on motion data. The use of mixture models allows the decomposition of time signals as a superposition of basis function ...
Electrochemical reduction of carbon dioxide is one of the plausible approaches towards renewable energy carriers. When coupled with electricity, which can be provided by sustainable technologies, it becomes a method of high importance with potential value ...
Assimilating any nanostructure with a fractal, in the most general Mandelbrot's sense, non - differentiable behaviors in their dynamics on the heat transfer phenomena are analyzed. As such, nanostructure dynamics on the heat transfer in the form of Schrodi ...
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...