Concept

Universal quantification

Publications associées (144)

Decision Procedures for Multisets with Cardinality Constraints

Applications in software verification and interactive theorem proving often involve reasoning about sets of objects. Cardinality constraints on such collections also arise in these scenarios. Multisets arise for analogous reasons as sets: abstracting the c ...

Springer2008

High-temperature wettability of aluminum nitride during liquid metal infiltration

Andreas Mortensen, Ludger Weber, Maryam Bahraini Hasani, Masahiro Kida

The high-temperature wettability of AlN particle preforms with pure molten Cu, Al and Ph is quantified by means of drainage curves measured during pressure infiltration. By integrating the drainage curves obtained in this study, the work of immersion for e ...

2008

On Quality of Quality Measures for Classification

Andrzej Drygajlo, Krzysztof Kryszczuk

In this paper we provide a theoretical discussion of the in)pact of uncertainty in quality measurement oil the expected benefits of including biometric signal quality measures in classification. While all ideal signal quality measure should be a, precise q ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Runtime Checking for Program Verification

The process of verifying that a program conforms to its specification is often hampered by errors in both the program and the specification. A runtime checker that can evaluate formal specifications can be useful for quickly identifying such errors. This p ...

Springer2007

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

Georgios Theodorakopoulos

In this paper we extend the work presented in [1], [2] by quantifying the effects of in-band wormhole attacks on Intrusion Detection Systems. More specifically, we propose a mathematical framework for obtaining performance bounds of Byzantine attackers and ...

2007

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

Decision Procedures for Multisets with Cardinality Constraints

Viktor Kuncak, Ruzica Piskac

Applications in software verification and interactive theorem proving often involve reasoning about sets of objects. Cardinality constraints on such collections also arise in these applications. Multisets arise in these applications for analogous reasons a ...

2007

Design of an endoscopic optical reference to be used for autofluorescence bronchoscopy with a commercially available diagnostic autofluorescence endoscopy (DAFE) system

Georges Wagnières, Tanja Gabrecht, Blaise Lovisa, François André Borle

We present the design of a sterilizable optical reference to characterize and quantify the inter-patient variations in tissue autofluorescence during autofluorescence bronchoscopy with Richard Wolf's diagnostic autofluorescence endoscopy (DAFE) system. The ...

Institute of Physics2007

About the influence of friction and polydispersity on the jamming behavior of bead assemblies

Thomas Liebling, Lionel Pournin, Marco Ramaioli

We study the jamming of bead assemblies placed in a cylindrical container whose bottom is pierced with a circular hole. Their jamming behavior is quantified here by the mean critical diameter, that is the diameter of the hole for which the jamming probabil ...

EDP Sciences, Springer2007

Assessing Infrastructure Vulnerability to Sudden Events

James Denman Birdsall

Over the past twenty years, numerous infrastructure management systems have been developed to address gradual failure modes. Unfortunately the management of sudden failure modes within large infrastructure systems (principally: natural hazard induced failu ...

2007

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