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.
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifications, we use the modular language CSP-OZ-DC, which allows us to decouple ve ...
This two-part article reports on the renewal and adaptation of the fixed railway track in the heavily frequented underground train station at Zurich Airport. The fixed track built in 1980 had reached the service duration predicted by the system provider an ...
The geometry of the railway track is degraded under traffic load, and must be maintained periodically. This degradation is due to the arrangement of ballast particles under loads and vibrations, which results into irreversible plastic settlements. Tamping ...
The software alignment of planar tracking detectors using samples of charged particle trajectories may lead to global detector distortions that affect vertex and momentum resolution. We present an alignment procedure that constrains such distortions by mak ...
Magnetism-based microsystems, as those dedicated to immunoaffinity separations or (bio)chemical reactions, take benefit of the large surface area-to-volume ratio provided by the immobilized magnetic beads, thus increasing the sensitivity of the analysis. A ...