Concept

Turing machine

Related publications (87)

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.

EPB tunneling challenges in bouldery ground: a new experience on the Tabriz metro line 1, Iran

Jian Zhao

Underground construction of the Tabriz metro line 1 involved boring twin tunnels with two earth pressure balance machines in alluvial deposits. Although this type of machine is recommended for excavation in fine soils, its performance was evaluated in this ...

Springer Verlag2014

Is the Network Turing-Complete?

Dejan Kostic, Peter Peresini

Ensuring correct network behavior is hard. This is the case even for simple networks, and adding middleboxes only complicates this task. In this paper, we demonstrate a fundamental property of networks. Namely, we show a way of using a network to emulate t ...

2013

For Coordination, State Component Transitions

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

Coordinating component behaviour and, in particular, concurrent access to resources is among the key difficulties of building large concurrent systems. To address this, developers must be able to manipulate high-level concepts, such as Finite State Machine ...

2013

Integration of BIP into Connectivity Factory: Implementation

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

2013

First electron-cloud studies at the Large Hadron Collider

César Octavio Domínguez Sánchez De La Blanca, Frank Zimmermann, Giovanni Rumolo

During the beam commissioning of the Large Hadron Collider (LHC) [LHC Design Report No. CERN-2004-003-V-1, 2004 [http://cds.cern.ch/record/782076?ln=en]; O. Bruning, H. Burkhardt, and S. Myers, Prog. Part. Nucl. Phys. 67, 705 (2012)] with 150, 75, 50, and ...

Amer Physical Soc2013

State Machine Replication

Nuno Filipe de Sousa Santos

Since their invention more than half a century ago, computers have gone from being just an handful of expensive machines each filling an entire room, to being an integral part of almost every aspect of modern life. Nowadays computers are everywhere: in our ...

EPFL2012

The human in the loop

Aude Billard

In classical man-machine interfaces applied to rehabilitation, the primary goal is to control the (bio)mechanical interaction between the human and the machine or environment. However, integrating the human into the loop can be considered not only from a b ...

Springer London2012

Hardness Of Precedence Constrained Scheduling On Identical Machines

Ola Nils Anders Svensson

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. To date this has remained the best algori ...

2011

Generalized Universality

Rachid Guerraoui

State machine replication reduces distributed to centralized computing. Any sequential service, modeled by a state machine, can be replicated over any number of processes and made highly available to all of them. At the heart of this fundamental reduction ...

Springer Berlin Heidelberg2011

Evaluating the use phase energy requirements of a machine tool system

Paul Xirouchakis

This paper has an energy consumption reduction perspective by considering alternative machining strategies and system components interactions translated into variable and constant power flows with respect to various use phase regimes of a machine tool syst ...

Elsevier2011