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.
Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...
In this report, spectroscopy was used to track the energy of different states in a LiHoF4 sample around its critical temperature. The experimental setup consist of a Cooper cavity with the sample, an antenna and a resonator inside. This cavity is attached ...
A porous medium-based representation of nuclear reactors and complex engineering systems more in general can significantly reduce simulation and modelling costs, while preserving a reasonable degree of accuracy via regime map-based correlations for modelli ...
This paper presents a novel activity-based demand model that combines an optimisation framework for continuous temporal scheduling decisions (i.e. activity timings and durations) with traditional discrete choice models for non-temporal choice dimensions (i ...
Predicting the effects of mutations on protein stability is a key problem in fundamental and applied biology, still unsolved even for the relatively simple case of small, soluble, globular, monomeric, two-state-folder proteins. Many articles discuss the li ...
Background: In alpine ski racing, typical loading patterns of the back include a combined occurrence of spinal bending, torsion, and high peak loads. These factors are known to be associated with high spinal disc loading and have been suggested to be attri ...
Ruthenium(II) arene complexes of 1,4,7-triaza-9-phosphatricyclo[5.3.2.1]tridecane (CAP) were obtained. Cytotoxicity studies against cancer cell lines reveal higher activity than the corresponding PTA analogues and, in comparison to the effects on noncancer ...
Background: A combination of frontal bending, lateral bending, and torsion in the loaded trunk has been suggested to be a mechanism leading to overuse injuries of the back in Alpine ski racing. However, there is limited knowledge about the effect of course ...
Monocentric multi-scale (MMS) lenses are a new approach to high-resolution wide-angle imaging, where a monocentric objective lens is shared by an array of identical rotationally-symmetric secondary imagers which each acquire one overlapping segment of a mo ...
Images are usually represented by features from multiple views, e.g., color and texture. In image classification, the goal is to fuse all the multi-view features in a reasonable manner and achieve satisfactory classification performance. However, the featu ...
Institute of Electrical and Electronics Engineers2013
