Concept

Type theory

Related publications (449)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

Characterization of MEMS Electrostatic Actuators Beyond Pull-In

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 behaviour of such actuators. Here we study the behaviour of can ...

2006

Isolation-only Transactions by Typing and Versioning

In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be encoded using the low-level synchronization constructs. The key concept of ou ...

2005

The SLinks Language

Gilles Dubochet

This report presents a prototype interpreter for a simple functional language, called SLinks. The focus of this work is two-fold. One side is the design of a type inference system, based on the Hindley-Milner algorithm, with additional support for record a ...

2005

Analytical modeling of the apparent d(33) piezoelectric coefficient determined by the direct quasistatic method for different boundary conditions

Nava Setter, Dragan Damjanovic

The longitudinal piezoelectric coefficient d(33) measured by the quasistatic (Berlincourt-type) method is strongly dependent on the sample aspect ratio (thickness/lateral dimension) and the type of contacts used to collect the charge and apply the pressure ...

2005

Inner Classes and Virtual Types

Vincent Cremet, Philippe Altherr

This paper studies the interplay between inner classes and virtual types. The combination of these two concepts can be observed in object-oriented languages like Beta or Scala. This study is based on a calculus of classes and objects composed of a very lim ...

2005

Compiling scala for the Java virtual machine

Michel Schinz

Scala is a new programming language developed at EPFL and incorporating the most important concepts of object-oriented and functional languages. It aims at integrating well with the Java and .NET platforms: their respective libraries are accessible without ...

EPFL2005

What Can Be Implemented Anonymously?

Rachid Guerraoui, Eric Ruppert

Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? What if processes do not have unique identifiers or do not wish to divulge the ...

2005

Formation of Microcapsules from Polyelectrolyte and Covalent Interactions

Urs von Stockar, Ian William Marison, Véronique Breguet, Raphaël Gugerli, Mimma Pernetti

A new approach combining electrostatic and covalent bonds was established for the formation of resistant capsules with long-term stability under physiol. conditions. Three kinds of interactions were generated in the same membrane: (1) electrostatic bonds b ...

2005

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