Concept

Universal quantification

Publications associées (144)

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

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

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

On Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

2010

Performance of Anidolic Daylighting Systems in tropical climates – Parametric studies for identification of main influencing factors

Jean-Louis Scartezzini, Friedrich Linhart, Stephen Wittkopf

Making daylight more available in buildings is highly desirable, not only for reasons of energy-efficiency, but also for improvement of occupants’ health and well-being. Core-daylighting, that is daylight provision in areas situated at considerable distanc ...

Elsevier2010

Universal Properties of Dark Matter Halos

Alexey Boyarsky, Oleg Ruchayskiy, Igor Tkachev

We discuss the universal relation between density and size of observed dark matter halos that was recently shown to hold on a wide range of scales, from dwarf galaxies to galaxy clusters. Predictions of cold dark matter (Lambda CDM) N-body simulations are ...

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

Limit Of Applicability Of The Monomer-Enhanced Mechanism For Radical Generation In Persulfate Initiated Polymerization Of Acrylamide

Jutta Christine Wandrey, Ignacio Rintoul

The limit of applicability of the monomer-enhanced mechanism as dominant mechanism ruling the initiation process of the polymerization of acrylamide (AM) initiated with potassium persulfate (K2S2O8) has been determined The kinetics and mechanisms for radic ...

Universidad Nacional del Sur y Consejo Nacional de Investigaciones Científicas y Técnicas2010

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

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