Concept

Lindström quantifier

Publications associées (53)

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

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

Redox study of anode supported solid oxide fuel cell

Jan Van Herle, Aïcha Hessler-Wyser, Antonin Faes

The common technology for solid oxide fuel cells (SOFC) is based on a cermet anode of nickel with yttrium stabilized zirconia (YSZ), often used as the supporting structure. One of the main limitations of this anode technology is the redox tolerance. In thi ...

2008

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

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

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

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

A computer-based method to quantify the classic pattern of choroidal neovascularization in order to monitor photodynamic therapy

Hubert van den Bergh

Photodynamic therapy (PDT) is a new treatment modality which relies on a nonthermal light exposure of choroidal neovascularization (CNV) which has accumulated a photosensitizer, to produce a photochemical thrombosis. The aim of the present study was to dev ...

1999

Magnetic measurements on the TCV Tokamak

Jean-Marc Moret, Damien Fasel, Gilbert Tonetti

The TCV Tokamak was designed to create a large variety of plasma shapes. Such a large flexibility requires high precision magnetic measurements with a good spatial coverage. This article gives a detailed description of the magnetic sensor geometry, fabrica ...

1998

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