Concept

Quantification (logique)

Publications associées (194)

Path invariants

The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes. In curr ...

2007

Hydraulic contacts controlling water flow across porous grains

Dani Or, Marco Stampanoni

Water flow between porous grains varies widely depending on the water distribution in contacts between grains. The hydraulic behavior of contacts varies from highly conductive when water fills the contacts to a bottleneck to flow as water pressure drops an ...

2007

Metabolic engineering under uncertainty. I: Framework development

Vassily Hatzimanikatis

Std. bioprocess conditions have been widely applied for the microbial conversion of raw material to essential industrial products. Successful metabolic engineering (ME) strategies require a comprehensive framework to manage the complexity embedded in cellu ...

2006

Path Invariants

Dirk Thilo Beyer, Andrey Rybalchenko

The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a new method for automated abstraction refinement, which overcomes the inherent limitations of predicate discovery schemes. In ...

2006

Void Formation And Transport During SMC Manufacturing: Effect Of The Glass Fibre Sizing

Véronique Michaud, Emmanuelle Comte

The present study investigates the origin of voids in sheet molding compounds (SMCs) sheets and their transport during the manufacturing steps. Paste mixing, impregnation, thickening, and molding have been performed with five different SMC sheets, one with ...

2006

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

Backscattered electron imaging of cementitious microstructures: Understanding and quantification

Karen Scrivener

During the last 20 years, backscattered electron imaging of polished surfaces has become well established as a method for the study of cement and concrete microstructures. The technique has many advantages, including the visualisation of representative cro ...

2004

Multiscale Motion Mapping—A Novel Computer Vision Technique for Quantitative, Objective Echocardiographic Motion Measurement Independent of Doppler: First Clinical Description and Validation

Michaël Unser, Michael Sühling, Muthuvel Arigovindan

Background—Objective, quantitative, segmental noninvasive/bedside measurement of cardiac motion is highly desirable in cardiovascular medicine, but current technology suffers from significant drawbacks, such as subjectivity of conventional echocardiographi ...

AHA2004

Lagrange Stability and Performance Analysis of Discrete-Time Piecewise Affine Systems with Logic States

Giancarlo Ferrari Trecate

In this paper we consider discrete-time piecewise affine hybrid systems with boolean inputs, outputs and states and show that they can be represented in a logic canonical form where the logic variables influence the switching between different submodels bu ...

2003

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