Publication

Intrusion Detection System Resiliency to Byzantine Attacks: The Case Study of Wormholes in OLSR

Publications associées (34)

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

Stochastic Optimization of Sailing Trajectories in an America's Cup Race

Frédéric Dumas

The main objective of the thesis is the study and the determination of an optimal navigation strategy, for a sailboat in an America's Cup race, by methods of stochastic optimization. Such methods are appropriate because the sailing team expects the wind to ...

EPFL2010

Counterexample-Guided Focus

The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the corresponding program analyses here boils down to the question of the right ...

2010

On Large Deviation Regimes For Random Media Models

Thomas Mountford, Damien Gauthier, Michael Cranston

The focus of this article is on the different behavior of large deviations of random subadditive functionals above the mean versus large deviations below the mean in two random media models. We consider the point-to-point first passage percolation time a(n ...

2009

Visualizing biochemical activities in living cells

Kai Johnsson

Autofluorescent proteins have become indispensable in our quest to visualize molecular events in living cells. Further progress in the visualization and quantification of all biochemical activities of the cell will require the introduction of additional an ...

2009

Omnidirectional Pulse Dispersion of Planar Circular Monopoles

Anja Skrivervik, Gabriela Quintero Diaz De Leon

Three antenna systems, composed of circular monopoles with different ground plane sizes, are studied. The transmission of an UWB pulse between two identical monopoles is analyzed. The omnidirectional properties of the UWB antennas are measured and simulate ...

IEEE Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Non-Clausal Satisfiability Modulo Theories

Philippe Paul Henri Suter

This thesis presents NC(T), an extension of the DPLL(T) scheme [16, 29] for decision procedures for quantifier-free first-order logics. In DPLL(T), a general Boolean DPLL engine is instantiated with a theory solver for the theory T. The DPLL engine is resp ...

2008

Hedonic Methods in Housing Markets. Pricing Environmental Amenities and Segregation

This book provides the most recent advances in and applications of the assessment of environmental amenities or nuisances, land use changes, discrimination and seggregation on the housing market. The emphasis is on problems, practices and innovative soluti ...

Springer2008

Reliability of computational science

Fabio Nobile

Today's computers allow us to simulate large, complex physical problems. Many times the mathematical models describing such problems are based on a relatively small amount of available information such as experimental measurements. The question arises whet ...

Wiley-Blackwell2007

The Impact of Liars on Reputation in Social Networks

Jean-Yves Le Boudec, Jochen Mundinger

We consider a closed social network with a certain proportion of liars who are trying to influence their peers reputation about some subject. Each persons reputation about this subject is based on both own direct experience and second hand information fr ...

2005

The Effect of Mobility on Cooperation in Ad Hoc Networks

Jean-Pierre Hubaux, Mark Felegyhazi, Levente Buttyan

Ad hoc networks are expected to be used in many different situations. A common characteristic among these situations is that the nodes have to cooperate with each other. This problem is particularly crucial, if each node is its own authority. Reckoning the ...

2004