Publication

The wheelchair as a full-body tool extending the peripersonal space

Publications associées (83)

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

D-finder 2: Towards efficient correctness of incremental design

Joseph Sifakis

D-Finder 2 is a new tool for deadlock detection in concurrent systems based on effective invariant computation to approximate the effects of interactions among modules. It is part of the BIP framework, which provides various tools centered on a component-b ...

2011

MarcXimiL : near duplicates detection (and similarity analysis)

Alain Borel, Jan Brice Krause

MarcXimiL is an open source tool which works on MARCXML records and calculates similarity indices between these records. After a short theoretical introduction, the tutorial will focus on how to install, parametrize and use the tool. This tool can be imple ...

2011

Automated Vulnerability Discovery in Distributed Systems

Rachid Guerraoui, George Candea, Radu Banabic

In this paper we present a technique for automatically assessing the amount of damage a small number of participant nodes can inﬂict on the overall performance of a large distributed system. We propose a feedback-driven tool that synthesizes malicious node ...

2011

An Automated, yet Interactive and Portable DB designer

Anastasia Ailamaki, Ioannis Alagiannis, Debabrata Dash

Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it involves searching a vast space of possible configurations. Commercial DBMSs ...

2010

On Using Static Analysis to Detect Type Errors in PHP Applications

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe our experience in using abstract interpretation to analyze applications written in PHP. Our work focuses on reconstructing type information from mostly unannotated code. We present the abstract domain of our analysis, focusing on the features t ...

2010

From Web Data to Entities and Back

Zoltán Miklós, Michele Catasta, Nicolas Bonvin, Julien Gaugaz, Ekaterini Ioannou

We present the Entity Name System (ENS), an enabling infrastructure, which can host descriptions of named entities and provide unique identifiers, on large-scale. In this way, it opens new perspectives to realize entity-oriented, rather than keyword-orient ...

2010

Contextual Modulation and Gestalt

Michael Herzog, Bilge Sayim

The perception of a stimulus can strongly be modified by its spatial context. For example, when a vernier stimulus is flanked by two lines, performance deteriorates compared to a vernier without flanks. This is usually explained by local interactions, such ...

2009

Selecting and managing e-book solutions

Thomas Guignard

Many collection development practices are relevant for electronic books as well as for their paper counterparts: selection, acquisition, management, cataloguing, evaluation, etc. Over the years, libraries have developed best practices and tools to tackle t ...

2009

A decision making tool for reconfigurable assembly lines EUPASS project

Jacques Jacot, Sandra Koelemeijer Chollet

A decision making tool is proposed to evaluate assembly costs of micro-products (< 1 dm(3)) and to compare different assembly strategies for a given product or product family. The tool takes into account equipment costs as well as running costs, for manual ...

Springer, 233 Spring Street, New York, Ny 10013, United States2008

Agreement negotiation support in VO creation

Michel Pouly

In order to compete in the global market, companies have to restructure and make use of the infrastructures that allow them to become more agile. The, possibility of rapidly from virtual organizations to respond to a business or collaboration opportunity g ...

2008