Publication

Modeling behavior to support economical decisions

Publications associées (68)

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

Distributed Group Testing Detection in Sensor Networks

Pascal Frossard, Tamara Tosic

We consider the problem of failure detection in sensor networks and we propose a new distributed detection algorithm based on Group Testing. We examine the presence of defective sensors by employing tests over locally gathered sensor measurements. Tests ar ...

2012

Hycon2 Benchmark: Power Network System

Giancarlo Ferrari Trecate

As a benchmark exercise for testing software and methods developed in Hycon2 for decen- tralized and distributed control, we address the problem of designing the Automatic Genera- tion Control (AGC) layer in power network systems. In particular, we present ...

2012

Efficient State Merging in Symbolic Execution

George Candea, Johannes Kinder, Volodymyr Kuznetsov, Stefan Bucur

Symbolic execution has proven to be a practical technique for building automated test case generation and bug finding tools. Nevertheless, due to state explosion, these tools still struggle to achieve scalability. Given a program, one way to reduce the num ...

ACM2012

Efficient State Merging in Symbolic Execution

George Candea, Johannes Kinder, Volodymyr Kuznetsov, Stefan Bucur

Assoc Computing Machinery2012

New Challenges in Disaggregate Behavioral Modeling

Thomas Robin

This thesis tackles new challenges associated with the disaggregate modeling of the human behavior. Decision-aid tools help in making decisions, by providing quantitative insights on the decisions and associated consequences. They are useful in complex sit ...

EPFL2011

Predicting behavior of Twitter Users

Adela Maznikar

Social networks today are great source of data which can be used and analyzed in different ways. In our project the main goal is to predict the behavior of the users, more accurately said: we try to predict what will a particular user tweet in the future, ...

2011

Globally convergent algorithm to find the zeros of the cross-product of Bessel functions

Michael Mattes, Francisco Edén Sorolla Rosario

This paper shows the construction of an algorithm to calculate the roots of both, the cross-product of Bessel functions respectively of their first derivatives. The algorithm has shown globally convergent behavior for a large range of values of the argumen ...

2011

The Optima project: inferring transport mode preferences from attitude

Michel Bierlaire, Aurélie Glerum, Bilge Atasoy, Antonin Danalet, Anne Curchod

Objectives, data collection, model estimation, elasticities, value of time and validation in the context of the Optima project, a collaborative work between EPFL’s Transportation Center (TraCe) and CarPostal, the public transport branch of the Swiss Postal ...

2010

Cyber-workstation for computational neuroscience

Babak Mahmoudi

A Cyber-Workstation (CW) to study in vivo, real-time interactions between computational models and large-scale brain subsystems during behavioral experiments has been designed and implemented. The design philosophy seeks to directly link the in vivo neurop ...

2010

An Extensible Technique for High-Precision Testing of Recovery Code

George Candea, Paul Dan Marinescu, Radu Banabic

Thorough testing of software systems requires ways to productively employ fault injection. We describe a technique for automatically identifying the errors exposed by shared libraries, finding good injection targets in program binaries, and producing corre ...

2010