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