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.
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 ...
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 ...
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: 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 ...
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 ...
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 ...
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 ...
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 ...
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
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 ...
