Concept

Branching quantifier

Related publications (120)

A Minimal Exercise Extension for Models of the Glucoregulatory System

Denis Gillet, Grégory François, Alain Bock, Thierry Prud'Homme

For patients with type 1 diabetes mellitus, appropriate control of blood glucose concentrations is vital. Exercise is one of the disturbances that can affect these concentrations. Therefore, predictions in the presence of exercise are useful among others f ...

Elsevier2011

Quantifying Location Privacy

Jean-Yves Le Boudec, Jean-Pierre Hubaux, Reza Shokri, Georgios Theodorakopoulos

It is a well-known fact that the progress of personal communication devices leads to serious concerns about privacy in general, and location privacy in particular. As a response to these issues, a number of Location-Privacy Protection Mechanisms (LPPMs) ha ...

Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2011

Ozone oxidation of oleic acid surface films decreases aerosol cloud condensation nuclei activity

Athanasios Nenes

Heterogeneous oxidation of aerosols composed of pure oleic acid (C 18H34O2, an unsaturated fatty acid commonly found in continental and marine aerosol) by gas-phase O3 is known to increase aerosol hygroscopicity ...

Blackwell Publishing Ltd2011

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

Multiplexing pH and Temperature in a Molecular Biosensor

Giovanni De Micheli, Sandro Carrara, Andrea Cavallini, Michele Daniel Torre, Daniela De Venuto

Robust and reliable measurements in electrochemical biosensing of molecules are crucial for personalized medicine. Electrochemical sensors based on cytochrome P450 can detect the large majority of drugs commonly used in pharmacological treatments. The same ...

2010

Modelling the influence of human behaviour on the spread of infectious diseases: a review

Marcel Salathé

Human behaviour plays an important role in the spread of infectious diseases, and understanding the influence of behaviour on the spread of diseases can be key to improving control efforts. While behavioural responses to the spread of a disease have often ...

2010

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

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

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

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.