Concept

Axiomes des probabilités

Publications associées (137)

Control synthesis for stochastic systems given automata specifications defined by stochastic sets

Maryam Kamgarpour, John Lygeros, Tony Alan Wood

The problem of control synthesis to maximize the probability of satisfying automata specifications for systems with uncertainty is addressed. Two types of uncertainty are considered; stochasticity in the dynamical system and in the sets defining the specif ...

2017

The Complexity of a Reliable Distributed System

Alexandre David Olivier Maurer

Studying the complexity of distributed algorithms typically boils down to evaluating how the number of messages exchanged (resp. communication steps performed or shared memory operations executed) by nodes to reliably achieve some common task, evolves with ...

2017

The effects of spatial attention on temporal integration

Michael Herzog, Marc Michael Lauffs

Feature fusion reflects temporal integration. Previous studies mostly employed foveal presentations with no attention manipulation. In this study we examined the effects of sustained spatial attention on temporal integration using feature-fusion with perip ...

Sage Publications Ltd2016

Probabilistic Derivation of Spatiotemporal Correlation Functions in the Hydrodynamic Limit

Sara Bonella, Mauro Ferrario

In this paper, we use probability theory to prove in suitable conditions the equivalence of equilibrium time correlation functions of microscopic density fields with the time correlation functions of local macroscopic density fields evolved by hydrodynamic ...

Amer Chemical Soc2016

Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by Stokes equations

Alfio Quarteroni, Gianluigi Rozza, Peng Chen

In this paper we develop and analyze a multilevel weighted reduced basis method for solving stochastic optimal control problems constrained by Stokes equations. We prove the analytic regularity of the optimal solution in the probability space under certain ...

Springer Heidelberg2016

Great Balls of Fire: A probabilistic approach to quantify the hazard related to ballistics – A case study at La Fossa volcano, Vulcano Island, Italy

Pierino Lestuzzi

We present a probabilistic approach to quantify the hazard posed by volcanic ballistic projectiles (VBP) and their potential impact on the built environment. A model named Great Balls of Fire (GBF) is introduced to describe ballistic trajectories of VBPs a ...

Elsevier Science Bv2016

Generalized Gauss Inequalities via Semidefinite Programming

Daniel Kuhn

A sharp upper bound on the probability of a random vector falling outside a polytope, based solely on the first and second moments of its distribution, can be computed efficiently using semidefinite programming. However, this Chebyshev-type bound tends to ...

Springer Verlag2016

Effect of particle collisions in dense suspension flows

Matthieu Wyart

We study nonlocal effects associated with particle collisions in dense suspension flows, in the context of the Affine Solvent Model, known to capture various aspects of the jamming transition. We show that an individual collision changes significantly the ...

Amer Physical Soc2016

Systems and methods for tracking interacting objects

Pascal Fua, François Fleuret, Engin Türetken, Xinchao Wang

Systems and methods for tracking interacting objects may acquire, with a sensor, and two or more images associated with two or more time instances. A processor may generate image data from the two or more images. The processor may apply an extended Probabi ...

2015

The impact of customer behavior models on revenue management systems

Shadi Sharif Azadeh

Revenue management (RM) can be considered an application of operations research in the transportation industry. For these service companies, it is a difficult task to adjust supply and demand. In order to maximize revenue, RM systems display demand behavio ...

2015

Graph Chatbot

Chattez avec Graph Search

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.

Connectez-vous pour utiliser Chat avec Graph Search