Concept

Probabilité conditionnelle

Publications associées (262)

The Complexity of a Reliable Distributed System

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

Csma/ca in time and frequency domains

Patrick Thiran, Julien Pierre Sacha Herzen

The present invention concerns a method for a communication device to transmit a data packet in a wireless communication system. The method comprises: determining (21) a first set of transmission parameters comprising a first central transmission frequency ...

2017

A general framework for routing problems with stochastic demands

Michel Bierlaire, Sacha Varone, Mohammad Yousef Maknoon, Iliya Dimitrov Markov

We introduce a unified modeling and solution framework for various classes of rich vehicle and inventory routing problems as well as other probability-based routing problems with a time-horizon dimension. Demand is assumed to be stochastic and non-stationa ...

2017

Development of a methodology for extreme flood estimations in alpine catchments for the verification of dam safety

Fränz Zeimetz

In the context of dam safety, reliable safety flood estimation methods are necessary to guarantee a sufficiently designed spillway capacity. Todayâs state of the art allows to approach this topic under different angles. Statistical extrapolations are com ...

EPFL2017

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

A guideline for the validation of likelihood ratio methods used for forensic evidence evaluation

Rudolf Haraksim

This Guideline proposes a protocol for the validation of forensic evaluation methods at the source level, using the Likelihood Ratio framework as defined within the Bayes' inference model. In the context of the inference of identity of source, the Likeliho ...

Elsevier Ireland Ltd2017

Investigation of venting turbidity currents in the Rudbar-Lorestan reservoir in Iran

Anton Schleiss, Giovanni De Cesare, Azin Amini, Sabine Chamoun, Sara Venuleo

Venting of turbidity currents is known as an efficient measure to prevent reservoir sedimentation and is applied in many reservoirs globally. It has several economic and ecological advantages compared with other evacuation methods. In the literature, numer ...

2017

Data-driven Demand Response Modeling and Control of Buildings with Gaussian Processes

Colin Neil Jones, Xuan Truong Nghiem

This paper presents an approach to provide demand response services with buildings. Each building receives a normalized signal that tells it to increase or decrease its power demand, and the building is free to implement any suitable strategy to follow the ...

2017

Stuck Walks: A Conjecture Of Erschler, Toth And Werner

Daniel Kious

In this paper, we work on a class of self-interacting nearest neighbor random walks, introduced in [Probab. Theory Related Fields 154 (2012) 149-163], for which there is competition between repulsion of neighboring edges and attraction of next-to-neighbori ...

Inst Mathematical Statistics2016

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

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