Publication

What Good are Probabilistic Specifications and What Probabilistic Specifications are Good?

Related publications (56)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Adaptive Networks with Noisy Links

Ali H. Sayed

In biological systems, animals exhibit organized behavior that arises from localized interactions. The interaction is implemented through information exchange, either directly or indirectly. Adaptive networks, consisting of a collection of nodes with learn ...

IEEE2011

On the scaling of polar codes: II. The behavior of un-polarized channels

Rüdiger Urbanke, Seyed Hamed Hassani

We provide upper and lower bounds on the escape rate of the Bhattacharyya process corresponding to polar codes where transmission takes place over the the binary erasure channel. More precisely, we bound the exponent of the number of sub-channels whose Bha ...

IEEE2010

Voices of Vlogging

Daniel Gatica-Perez, Joan Isaac Biel Tres

Vlogs have rapidly evolved from the ’chat from your bedroom’ format to a highly creative form of expression and communication. However, despite the high popularity of vlogging, automatic analysis of conversational vlogs have not been attempted in the liter ...

2010

Negative Poisson's Ratio Behavior Induced by an Elastic Instability

Pedro Miguel Nunes Pereira de Almeida Reis

Negative Poisson's ratio behavior has been uncovered in cellular solids that comprise a solid matrix with a square array of circular voids. The simplicity of the fabrication implies robust behavior, which is relevant over a range of scales. The behavior re ...

Wiley-Blackwell2010

Model-Based Debugging

Salman Mirghasemi

Software Debugging is still one of the most challenging and time consuming aspects of software development. Monitoring the software behavior and finding the causes of this behavior are located at the center of debugging process. Although many tools and tec ...

2009

Stress, noradrenaline, and realistic prediction of mouse behaviour using reinforcement learning

Maria del Carmen Sandi Perez, Wulfram Gerstner, Gediminas Luksys

Suppose we train an animal in a conditioning experiment. Can one predict how a given animal, under given experimental conditions, would perform the task? Since various factors such as stress, motivation, genetic background, and previous errors in task perf ...

Curran Associates, Inc.2009

A collaborative approach to image segmentation and behavior recognition from image sequences

Laura Ioana Gui

Visual behavior recognition is currently a highly active research area. This is due both to the scientific challenge posed by the complexity of the task, and to the growing interest in its applications, such as automated visual surveillance, human-computer ...

EPFL2008

Thermo-mechanical response of UHPFRC at early age — Experimental study and numerical simulation

Eugen Brühwiler, Emmanuel Denarié, Hamid Sadouki, Aicha Kamen

The thermal effects on the Ultra High Performance Fiber Reinforced Concrete (UHPFRC) behavior are still not completely known. Under high temperatures, the processes that interact at early age are thermo-activated. All the experimental results obtained with ...

2008

Happiness and travel behavior modification

Michel Bierlaire

We develop and test a new approach for measuring travel well-being that accounts for the routine nature of travel. We postulate that when people are in a routine, they dont fully consider their travel happiness. Only when people evaluate their options and ...

2008

Robust safety of timed automata

Laurent Doyen

Timed automata are governed by an idealized semantics that assumes a perfectly precise behavior of the clocks. The traditional semantics is not robust because the slightest perturbation in the timing of actions may lead to completely different behaviors of ...

Springer US2008