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 studies obstruction-free software transactional memory systems (OFTMs). These systems are appealing, for they combine the atomicity property of transactions with a liveness property that ensures the commitment of every transaction that eventuall ...
In the presence of choice-based sampling strategies for data collection, the property of Multinomial Logit (MNL) models, that consistent estimâtes of all parameters but the constants can be obtained from an Exogenous Sample Maximum Likelihood (ESML) estima ...
We study property (T) and the fixed point property for actions on Lp and other Banach spaces. We show that property (T) holds when L2 is replaced by Lp (and even a subspace/quotient of Lp), and that in fact it is independent of 1 ≤ p < ∞. We show that the ...
A novel scheme for processing packets in a router is presented that provides load sharing among multiple network processors distributed within the router. It is complemented by a feedback control mechanism designed to prevent processor overload. Incoming t ...
The subject of this thesis is the analysis of discontinuous Galerkin methods for linear partial differential equations of first or second order. Discontinuous Galerkin methods are known to satisfy a local mass conservation property. Taking a closer look on ...
In this work, a systematic molecular simulation study was performed to compare the separation of CO2/N2 and CH4/N2 mixtures in two different classes of nanoporous materials, zeolites, and metal‚àíorganic frameworks (MOFs). For this purpose, three zeolites ...
This paper studies obstruction-free software transactional memory systems (OFTMs). These systems are appealing, for they combine the atomicity property of transactions with a liveness property that ensures the commitment of every transaction that eventuall ...
On June 27–30, 2007, we organized at the Geneva School of Business Administration an International Symposium entitled "Hedonic Methods in Real Estate". During the first day, called the "Swiss hedonic day", Swiss researchers from universities, consulting fi ...
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to precisely define TM semantics, especially their progress guarantees. This pape ...
This thesis is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamen ...