Concept

Démonstration constructive

Publications associées (111)

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

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

Deriving physical connectivity from neuronal morphology

Henry Markram, Gilad Silberberg

A model is presented that allows prediction of the probability for the formation of appositions between the axons and dendrites of any two neurons based only on their morphological statistics and relative separation. Statistics of axonal and dendritic morp ...

2003

Planar microcoil-based microfluidic NMR probes

Nico de Rooij, Giovanni Boero, Radivoje Popovic, Pierre-André Besse, Franck Vincent, Charles Massin, Klaus Ehrmann

Microfabricated small-volume NMR probes consisting of electroplated planar microcoils integrated on a glass substrate with etched microfluidic channels are fabricated and tested. 1H NMR spectra are acquired at 300MHz with three different probes having obse ...

2003

Negative curvature from a cohomological viewpoint

Nicolas Monod

A note presenting a selection of results that are elaborated upon in Cocycle superrigidity and bounded cohomology for negatively curved spaces and Orbit equivalence rigidity and bounded cohomology. Proofs are given for illustrative "toy-cases". ...

2003

Decoding Choice Encodings

We study two encodings of the asynchronous pi-calculus with input-guarded choice into its choice-free fragment. One encoding is divergence-free, but refines the atomic commitment of choice into gradual commitment. The other preserves atomicity, but introdu ...

2000

On the flux phase conjecture at half filling: an improved proof

Nicolas Macris

We present a simplification of Lieb's proof of the flux phase conjecture for interacting fermion systems--such as the Hubbard model--at half-filling on a general class of graphs. The main ingredient is a procedure which transforms a class of fermionic Hami ...

1996

Existence for a Stationary Model of Binary Alloy Solidification

Jacques Rappaz

A proof of existence is given for a stationary model of alloy solidification. The system is composed of heat equation, solute equation and Navier-Stokes equations. In rite latter Carman-Kozeny penalization of porous medium models the mushy zone. The proble ...

1995

Some planar isospectral domains

Klaus-Dieter Semmler

The authors give a number of examples of two noncongruent isospectral domains in the plane and a particularly simple method of proof. One of their examples is a pair of domains that are not only isospectral but homophonic, i.e. each domain has a distinguis ...

1994

The causal ordering abstraction and a simple way to implement it

André Schiper

Control in distributed systems is mainly introduced to reduce nondeterminism. This nondeterminism is due on the one hand to the asynchronous execution of the processes located on the various sites of the system, and on the other hand to the asynchronous na ...

1991