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.
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 ...
Biphasic electrospray ionization (BESI) mass spectrometry is achieved by using a dual-channel microsprayer, where channels filled with different immiscible phases meet at the Taylor cone. Two types of interfacial complexation reactions have been studied: t ...
The Japan Society of Analytical Chemistry / The Japan Society for Analytical Chemistry2008
Std. bioprocess conditions have been widely applied for the microbial conversion of raw material to essential industrial products. Successful metabolic engineering (ME) strategies require a comprehensive framework to manage the complexity embedded in cellu ...
We apply a model construction methodology to TinyOS-based networks, using the Behavior-Interaction-Priority (BIP) component framework. The methodology consists in building the model of a node as the composition of a model extracted from a nesC program desc ...
Applying image processing technology and machine vision in industry have had significant development in recent decade. Tile and ceramic industry was not excluded form this matter. By using image processing techniques in production line of this industry, it ...
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 ...
We review the recent discoveries of magnetic fields in different types of massive stars and briefly discuss strategies for spectropolarimetric observations to be carried out in the future. ...
The purpose of this paper is to present the different forms of economic regulation in the network industries, following the debate about restructuring these industries. The main theories on (economic) regulation of the network industries are presented and ...
This paper examines the effects of political pressure groups (lobbies) on the size and stability of international climate agreements. We consider two types of lobbies, industry and environmentalists. We show the potential effects of lobbying using the STAb ...
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 ...