Concept

Cohérence (logique)

Publications associées (108)

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

A theoretical analysis of the cross-nested logit model

Michel Bierlaire

The emergence of Intelligent Transportation Systems and the associated technologies has increased the need for complex models and algorithms. Namely, real-time information systems, directly influencing transportation demand, must be supported by detailed b ...

2006

Ion scattering simulations of the Si(100)-SiO2 interface

Alfredo Pasquarello, Angelo Bongiorno

We carry out ion scattering simulations to investigate the nature of the transition region at the Si(100)-SiO2 interface. Ion scattering experiments performed in the channeling geometry provide us with a genuine interfacial property, the excess Si yield, r ...

2006

Atomic-scale modelling of the Si(100)-SiO2 interface

Alfredo Pasquarello, Angelo Bongiorno

We discuss the structural, electronic and dielectric properties of a model structure of the Si(100)-SiO2 interface that accounts for the amorphous nature of the oxide. After showing that the structural properties of this model are consistent with a variety ...

2005

Solution spaces for decision-making—a sustainability assessment tool for city-regions

Claudia Rebeca Binder Signer

The sound development of city-regions presents a major planning challenge, as these regions are and will be the living spaces for the majority of the population. Therefore, a key question is how city- regions can be managed so that they develop in a sustai ...

Elsevier2005

Diffraction from deformed volume holograms: perturbation theory approach

Demetri Psaltis, Wei Liu

We derive the response of a volume grating to arbitrary small deformations, using a perturbative approach. This result is of interest for two applications: (a) when a deformation is undesirable and one seeks to minimize the diffracted field's sensitivity t ...

2005

Error-Rate Dependence of Non-Bandlimited Signals with Finite Rate of Innovation

Ivana Jovanovic

We consider the rate-distortion problem for non-bandlimited signals that have a finite rate of innovation, in particular, the class of continuous periodic stream of Diracs, characterized by a set of time positions and weights. Previous research has only co ...

2004

Oversampled A/D Conversion of Non-Bandlimited Signals with Finite Rate of Innovation

Ivana Jovanovic

We consider the problem of A/D conversion for non-bandlimitedsignals that have a finite rate of innovation, in particular, theclass of continuous periodic stream of Diracs, characterized by aset of time positions and weights. Previous research has onlycons ...

2004

An Equational Theory for Transactions

Rachid Guerraoui, Martin Odersky, Vincent Cremet

Transactions are commonly described as being ACID: All-or-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID properties have never been given a precise semantics in a way that disentangles each pr ...

2003

An Equational Theory for Transactions

Rachid Guerraoui, Martin Odersky, Vincent Cremet

2003

Formal Foundations of General System Modeling

Alain Wegmann, Andrey Naumenko

We present an approach to the definition of an object-oriented modeling paradigm done in the scope of general system modeling. The paradigm includes a formally defined metamodel and its supporting philosophical and natural science foundations. The metamode ...

2002