Concept

Machine de Turing

Publications associées (87)

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

Faster correlation attack on Bluetooth keystream generator E0

Serge Vaudenay, Yi Lu

We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correlations is formulated by a recursive expression, which makes it easier to calc ...

2004

Amorphous membrane blending

Christof Teuscher

The von Neumann architecture was first expressed in 1945 and has largely dominated in many variants and refinements computer science for more than half a century. Alternative architectures always occupied a marginal place only, despite a growing need for n ...

EPFL2004

Real-time computing without stable states: a new framework for neural computation based on perturbations

Henry Markram

A key challenge for neural modeling is to explain how a continuous stream of multimodal input from a rapidly changing environment can be processed by stereotypical recurrent circuits of integrate-and-fire neurons in real time. We propose a new computationa ...

2002

On Probabilistic Network Calculus

Jean-Yves Le Boudec, Milan Vojnovic

Deterministic Network Calculus provides an elegant way to compute performance bounds, e.g. bounds on backlog, delay-jitter, loss ratio, and like. Such bounds are deterministic worst-case bounds. In some cases it is practically sensible that individual flow ...

2002

Building a Fully Autonomous Tour Guide Robot: Where Academic Research Meets Industry

Roland Siegwart, Nicola Tomatis, Björn Jensen, Grégoire Terrien, Kai Oliver Arras, Roland Philippsen

This paper presents the effort that has been undertaken in designing and building both hardware and software for a fully autonomous navigating vehicle aimed for a tour guide application. The challenge for such a project is to combine industrial high qualit ...

2002

Democratizing the Parliament

Rachid Guerraoui

This paper presents a replication algorithm that implements a highly-available, non deterministic state machine. ...

2001

Democratrizing the Parliament

Rachid Guerraoui

This paper presents a replication algorithm that implements a highly-available, non-deterministic state machine. Our algorithm generalizes the Paxos parliament algorithm of Lamport to cope with non-deterministic computations, while preserving its nice resi ...

2001

A Complex Mechatronic System: from Design to Application

Roland Siegwart, Nicola Tomatis, Björn Jensen, Jan Persson, Kai Oliver Arras

Progress in mobile robotics requires the researchers to access and improve all modules that compose the robot, from low-level mechanical components to high-level reasoning systems. This paper presents the development process of the robots built at the Auto ...

2001

Objects + Views = Components?

Martin Odersky

In support of flexible composition, components need to be adaptable and they need to have first-class plugs. Abstract state machines and object-oriented programming each satisfy one of these requirements very well but satisfy the other only incompletely. T ...

2000

Anomalous couplings for D-branes and O-planes

Claudio Scrucca

We study anomalous Wess-Zumino couplings of D-branes and O-planes in a general background and derive them from a direct string computation by factorizing in the RR channel various one-loop amplitudes, In particular, we find that Op-planes present gravitati ...

1999