Concept

Turing machine

Related publications (87)

Advanced Model for Multiphase Generators

The current development of generators and power electric drives is characterized by increased power electronic integration. This evolution concerns particularly the variable speed power units allowing both a higher performance and substantial savings on co ...

EPFL2011

Quasi-Static Scheduling of CAL Actor Networks for Reconfigurable Video Coding

Marco Mattavelli, Christophe Lucarz, Jani Boutellier

The upcoming Reconﬁgurable Video Coding (RVC) standard from MPEG (ISO / IEC SC29WG11) deﬁnes a library of coding tools to specify existing or new compressed video formats and decoders. The coding tool library has been written in a dataﬂow/actor- oriented l ...

2011

On Sphere-Filling Ropes

Henryk Gerlach

What is the longest rope on the unit sphere? Intuition tells us that the answer to this packing problem depends on the rope's thickness. For a countably infinite number of prescribed thickness values we construct and classify all solution curves. The simpl ...

2011

Sensing Pressure Distribution on a Lower-Limb Exoskeleton Physical Human-Machine Interface

Auke Ijspeert, Renaud Ronsse

A sensory apparatus to monitor pressure distribution on the physical human-robot interface of lower-limb exoskeletons is presented. We propose a distributed measure of the interaction pressure over the whole contact area between the user and the machine as ...

2011

Automation of one-loop QCD computations

Valentin Hirschi

We present the complete automation of the computation of one-loop QCD corrections, including UV renormalization, to an arbitrary scattering process in the Standard Model. This is achieved by embedding the OPP integrand reduction technique, as implemented i ...

2011

Betatron squeeze optimisation at the Large Hadron Collider based on first year of operation data

Xavier Buffat

In order to achieve the high luminosity expected from the Large Hadron Collider, the beta function at the interaction points must be minimised. As the aperture in the surroundings of the interaction points become smaller and smaller with decreasing beta fu ...

2011

Conditional hardness of precedence constrained scheduling on identical machines

Ola Nils Anders Svensson

Already in 1966, Graham showed that a simple procedure called list scheduling yields a 2-approximation algorithm for the central problem of scheduling precedence constrained jobs on identical machines to minimize makespan. Till this date it has remained th ...

ACM2010

Generalizing State Machine Replication

Rachid Guerraoui

We show that, with k-set consensus, any number of processes can emulate k state machines of which at least one progresses. This generalizes the celebrated universality of consensus which enables to build a state machine that always progresses. Besides some ...

2010

The SLICOT Toolboxes for Matlab | Die SLICOT-Toolboxen für Matlab

Daniel Kressner

SLICOT is a comprehensive numerical software package for control systems analysis and design. While based on highly performant Fortran routines, Matlab and Scilab interfaces provide convenient alternative access for users. In this survey, we summarize the ...

2010

A numerical shoulder simulator to replicate a mechanical shoulder simulator

Mélanie Guittet

Joint simulators are widely used to perform pre-(and post) clinical test of joint prostheses. Several experimental or commercial devices already exist for the hip and knee joints, but nothing is available yet for the shoulder joint. The first goal of this ...

2010

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.