Concept

Intuitionistic type theory

Publications associées (151)

The Gap in Circumventing the Consensus Impossibility

The seminal impossibility of reaching consensus in an asynchronous and crash prone system was established for a weak variant of the problem, usually called weak consensus, where a set of processes need to decide on a common value out of two possible values ...

2004

ITER-relevant H-mode physics at ASDEX upgrade

Yves Martin, Jonathan Bryan Lister

A variety of techniques are being tested on ASDEX Upgrade for avoiding or reducing the divertor energy load caused by ELMs. Quiescent H-mode operation has been improved by operation with recently boronized vessel walls. Z(eff) values in QH-modes are now si ...

2004

Method of manufacturing discrete electronic components

Martinus Gijs

The manufacturing method for components of the inductive type, in particular inductance coils, transformers or antennae, consists in making by micro-machining simultaneously on a first substrate made of magnetic material a plurality of first parts (1) conn ...

2004

Stability at high performance in the MAST spherical tokamak

Olivier Sauter

The development of reliable H-modes on MAST, together with advances in heating power and a range of high spatial resolution diagnostics, has provided a platform to enable MAST to address some of the most important issues of tokamak stability. In particular ...

2004

Affine Processes and Applications in Finance

Damir Filipovic

We provide the definition and a complete characterization of regular affine processes. This type of process unifies the concepts of continuousstate branching processes with immigration and Ornstein-Uhlenbeck type processes. We show, and provide foundations ...

2003

Moving object detection between multiple and color images

Touradj Ebrahimi, Emrullah Durucan

There are several publications dedicated to the description and analysis of change detection between two gray-value images. This paper introduces new methods to detect moving objects between multiple images and to detect changes between color images or any ...

2003

Dynamic Proxies for Classes: Towards Type-Safe and Decoupled Remote Object Interaction

Patrick Eugster

A dynamic proxy object is a typed proxy, created at runtime, conforming to a type specified by the application. Such an object can be used wherever an expression of the type it was created for is expected, yet reifies all invocations performed on it. This ...

2003

A Nominal Theory of Objects with Dependent Types

Martin Odersky, Vincent Cremet, Matthias Zenger

We design and study newObj, a calculus and dependent type system for objects and classes which can have types as members. Type members can be aliases, abstract types, or new types. The type system can model the essential concepts of Java's inner classes as ...

2002

A Nominal Theory of Objects with Dependent Types

Martin Odersky, Vincent Cremet, Matthias Zenger

We design and study newObj, a calculus and dependent type system forobjects and classes which can have types as members. Type members canbe aliases, abstract types, or new types. The type system can modelthe essential concepts of Java's inner classes as we ...

2002

New structured beds formed by zeolites deposited on metallic and ceramic supports

Albert Renken, Lioubov Kiwi, Benoît Louis

The title bed is developed with in situ cryst. growth of zeolite ZSM-5 on different supports; metallic grids and glass fibers. The materials are characterized by diverse physicochem. methods. The chem. pretreatment of the support is a crucial parameter for ...

2001

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