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.
In alpine ski racing the relationships between skier kinetics and kinematics and their effect on performance and injury-related aspects are not well understood. There is currently no validated system to determine all external forces simultaneously acting o ...
Civil engineering projects typically involve a number of design phases, such as preliminary design, tender design and executive design. The required degree of accuracy for the analysis of the behaviour and strength of the structural members increases as a ...
SystemC is an IEEE standard system-level language used in hardware/software co-design and has been widely adopted in the industry. This paper describes a formal approach to verifying SystemC designs by providing a mapping to the process algebra mCRL2. Our ...
A general continuum theory for particle size segregation and diffusive remixing in polydisperse granular avalanches is formulated using mixture theory. Comparisons are drawn to existing segregation theories for bi-disperse mixtures and the case of a ternar ...
In deep submicron circuits, high temperatures have created critical issues in reliability, timing, performance, coolings costs and leakage power. Task migration techniques have been proposed to manage efficiently the thermal distribution in multi-processor ...
The possibility of specifying both SW and HW components using the same language is a very attractive design approach. However, despite the efforts spent for implementing such approach using common programming languages such as C and C++, it has not yet sho ...
In alpine ski racing the relationships between skier kinetics and kinematics and their effect on performance and injury-related aspects are not well understood. There is currently no validated system to determine all external forces simultaneously acting o ...
This paper presents COMBINE, a directory-based consistency protocol for shared objects, designed for large-scale distributed systems with unreliable links. Directory-based consistency protocols support move requests, allowing to write the object locally, a ...
Inelastic neutron-scattering experiments on the high-temperature superconductor La1.855Sr0.145CuO4 reveal a magnetic excitation gap Delta that decreases continuously upon application of a magnetic field perpendicular to the CuO2 planes. The gap vanishes at ...
Telomere maintenance by the conventional DNA replication machinery and telomerase is assisted by specialized DNA helicases, nucleases and telomere binding proteins. Here, we identify the THO components at telomeres and define critical roles of this complex ...