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.
This paper analyses Maillart’s Vessy Bridge from a design point of view using thrust lines. As it has previously been shown that Robert Maillart used graphic statics to design the line and the structural features of his bridges, it proves appropriate to re ...
2014
We prove that, in the category of groups, the composition of a cellularization and a localization functor need not be idempotent. This provides a negative answer to a question of Emmanuel Dror Farjoun. ...
The class of non-autonomous functionals under study is characterized by the fact that the energy density changes its ellipticity and growth properties according to the point; some regularity results are proved for related minimizers. These results are the ...
In recent work of Brock's, the pants graph is shown to be a combinatorial model for the completion of the Weil-Petersson metric on Teichmuller space. We prove that every Farey graph embedded in the pants graph is totally geodesic, in analogy with the extri ...
Despite the large amount of work on Transactional Memory (TM), little is known about how much liveness it could provide. This paper presents the first formal treatment of the question. We prove that no TM implementation can ensure local progress, the analo ...
This paper asks how much liveness a transactional memory (TM) implementation can guarantee. We first devise a formal framework for reasoning about liveness properties of TMs. Then, we prove that the strongest liveness property that a TM can ensure in an as ...
Bent-crystal channeling is a technique with a potential to increase beam-halo collimation efficiency in high-energy colliders. First measurements at the Tevatron in 2005 have shown that using a thin silicon crystal to deflect the 1-TeV proton beam halo ont ...
