Concept

Intuitionistic type theory

Publications associées (151)

In Search for your own Virtual Individual

Daniel Thalmann, Frédéric Vexo, Alejandra Garcia Rojas Martinez

The use of inhabited Virtual Environments is continuously growing. People can embody a human-like avatar to participate inside these Virtual Environments or they can have personalized character acting as mediator; sometimes they can even customize it to so ...

Springer Berlin / Heidelberg2006

Functions of scenarios in transition processes

Claudia Rebeca Binder Signer

Given the interplaying tendencies of economic decline, social instability, and environmental depletion, any transition towards sustainable development faces a challenging task. To successfully cope with this complexity requires transition management. Integ ...

Elsevier2006

Query types in the meeting domain: assessing the role of argumentative structure in answering questions on meeting discussion records

Marita Ailomaa, Vincenzo Pallotta

We define a new task of question answering on meeting records and assess its difficulty in terms of types of information and retrieval techniques required. The importance of this task is revealed by the increasingly growing interest in the design of sophis ...

2006

Distributed Subtyping

Rachid Guerraoui, João Barreto

One of the most frequent operations in object-oriented programs is the "instanceof" test, also called the "subtyping" test or the "type inclusion" test. This test determines if a given object is an instance of some type. Surprisingly, despite a lot of rese ...

2006

Anti-Deprecation: Towards Complete Static Checking for API Evolution (Extended Version)

API evolution is the process of migrating an inter-library interface from one version to another. Such a migration requires checking that all libraries which interact through the interface be updated. Libraries can be updated one by one if there is a trans ...

2006

A Core Calculus for Scala Type Checking

Martin Odersky, Vincent Cremet

We present a minimal core calculus that captures interesting constructs of the Scala programming language: nested classes, abstract types, mixin composition, and path dependent types. We show that the problems of type assignment and subtyping in this calcu ...

2006

Cantilever beam electrostatic MEMS actuators beyond pull-in

Subrahmanyam Venkata Ravi Mohana Sai Gorthi

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

Institute of Physics2006

The closed form solution of the inverse kinematic problem of 3r positioning manipulators

In this thesis we contribute to the inverse kinematics solution of serial positional manipulators with three rotational joints (3R). This type of linkage is frequently used for 6R manipulators, where three – mostly the last – joint axes intersect at one po ...

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

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

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