Concept
Théorème d'existence
Publications associées (5)
Emergent Connectivity Principles in the Neocortex
The neocortex makes up over 80% of the mammalian brain and is responsible for higher cognitive functions, processing of sensory inputs and orchestration of complex motor outputs. It is a 6-layered structure composed of billions of morphologically and elect ...
EPFL2010Formulation reproducing the ignition delays simulated by a detailed mechanism: Application to n-heptane combustion
This article is part of the project to model the kinetics of high-temperature combustions, occurring behind shock waves and in detonation waves. The "conventional" semi-empirical correlations of ignition delays have been reformulated, by keeping the Arrhen ...
2008Secrecy for bounded security protocols with freshness check is NEXPTIME-complete
The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...
2008Perfect Simulation and Stationarity of a Class of Mobility Models
Jean-Yves Le Boudec, Milan Vojnovic
We define ``random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random walk with reflection or wrapping, city section, space graph and other models. We use Palm ...
2005Perfect Simulation and Stationarity of a Class of Mobility Models
Jean-Yves Le Boudec, Milan Vojnovic
We define ``random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random walk with reflection or wrapping, city section, space graph and other models. We use Palm ...
2004