Concept

Théorie des types

Publications associées (449)

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

Integrated exhaust scenarios with actively controlled ELMs

Yves Martin, Jonathan Bryan Lister, René Uwe Schneider, Hartmut Zohm

An integrated radiative high performance scenario has been established at ASDEX Upgrade based on simultaneous feedback control of the average divertor neutral particle and power flux in combination with a high, pellet induced frequency of edge localized mo ...

2005

Switch peptides

Richard Alan Mimna

Aspects of conformational transitions, folding, and misfolding of peptides and proteins have recently taken center stage in various domains at the interface of chemistry, biology, and medicine because of their impact on protein misfolding diseases. Due to ...

EPFL2005

MEMS Parallel Plate Actuators: Pull-in, Pull-out and Other Transitions

Subrahmanyam Venkata Ravi Mohana Sai Gorthi

The operational range of MEMS electrostatic parallel plate actuators can be extended beyond pull-in with the presence of an intermediate dielectric layer, which has a significant effect on the behavior of such actuators. Here we study the behavior of canti ...

2005

Isolation-only Transactions by Typing and Versioning

In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks) that are intended for time-critical systems. The key concept of our design is the use of a type system to support rollback-free and safe ru ...

2004

Frequency control of type-I ELMs by magnetic triggering in ASDEX Upgrade

Yves Martin, Jonathan Bryan Lister, Hartmut Zohm

Magnetic triggering of edge localized modes (ELMs) was reported first from TCV in ohmic plasmas showing type-III ELMs. This method, showing successful locking of the ELM frequency to an imposed vertical plasma oscillation, has now also been demonstrated in ...

2004

Browsing Recorded Meetings with Ferret

Browsing for elements of interest within a recorded meeting is time-consuming. We describe work in progress on a meeting browser, which aims to support this process by displaying many types of data. These include media, transcripts and processing results, ...

IDIAP2004

Method and device for treating signals for detection of stator and rotor errors in magnetic circuits in a synchronous machine

Jean-Jacques Simond

It is possible to determine the types and values of stator and rotor errors in magnetic circuits in a synchronous machine by measuring the induced voltage (ui) for the terminals of measurement loops (2) which can capture an image of the induction in the me ...

2004

The Gap in Circumventing the Consensus Impossibility

Rachid Guerraoui

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

Introduction to Cavitation in Hydraulic Machinery

François Avellan

Design, operation and refurbishment of hydraulic turbines, pumps or pump-turbine are strongly related to cavitation flow phenomena, which may occur in either the rotating runner-impeller or the stationary parts of the machine. The paper presents the cavita ...

Politehnica University of Timișoara2004

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