Publication

Multilevel Design Understanding: From Specification to Logic Invited Paper

Related publications (86)

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.

Deformable tissue parameterized by properties of real biological tissue

Daniel Thalmann, Ronan Boulic, Anderson Maciel

Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are working to develop a computerized soft tissues model for biotissues based on ...

Springer-Verlag2003

Ontogenetic Development and Fault Tolerance in the POEtic Tissue

Eduardo Sanchez, Yann Thoma, Daniel Roggen

In this article, we introduce the approach to the realization of ontogenetic development and fault tolerance that will be implemented in the POEtic tissue, a novel reconﬁgurable digital circuit dedicated to the realization of bio-inspired systems. The mode ...

Springer2003

Bayesian networks for spoken dialogue management in multimodal systems of tour-guide robots

In this paper, we propose a method based on Bayesian networks for interpretation of multimodal signals used in the spoken dialogue between a tour-guide robot and visitors in mass exhibition conditions. We report on experiments interpreting speech and laser ...

2003

Multimodal Interaction Management for Tour-Guide Robots Using Bayesian Networks

In this paper, we propose a Bayesian network framework for managing interactivity between a tour-guide robot and visitors in mass exhibition conditions, through robust interpretation of multi-modal signals. We report on methods and experiments interpreting ...

2003

Quantum Cryptography : On the Security of the BB84 Key-Exchange Protocol

Thomas Baignères

In 1984, C.H. Bennet and G. Brassard proposed a new protocol aimed to solve the problem of symmetric cryptographic key exchange. This protocol was called BB84 after the name of its authors. While a traditional method would rely on public key cryptography ( ...

2003

Environmental Geomechanics

Lyesse Laloui, Laurent Vulliet

« Environmental Geomechanics » is a relatively new discipline at the interface between built and natural environment. It is devoted to the understanding of the mechanical behavior of geomaterials (mainly soil and rock but also concrete and others) under va ...

PPUR2002

High performance VLSI architectures implementing strong cryptographic primitives

Feth Allah Cherigui

The main topic of this thesis is related to the state of the art in designing cryptographic primitives from a hardware point of view. A special emphasis is dedicated to low-power/low-energy CMOS design. A set of solutions is proposed including an LFSR base ...

EPFL2002

Self-Organized Public-Key Management for Mobile Ad Hoc Networks

Jean-Pierre Hubaux, Levente Buttyan, Srdan Capkun

In contrast with conventional networks, mobile ad hoc networks do not provide on-line access to trusted authorities or to centralized servers. For this reason, key management is particularly difficult to implement in such networks. The solutions published ...

2002

Key improvements to XTR

Arjen Lenstra

This paper describes improved methods for XTR key representation and parameter generation (Lenstra et al., 2000). If the field characteristic is properly chosen, the size of the XTR public key for signature applications can be reduced by a factor of three ...

2000

Parametrization of substituents: effects of fluorine and other heteroatoms on OH, NH, and CH acidities

Fluorine leaves nobody indifferent; it inflames emotion, be that affections or aversions. As a substituent it is rarely boring, always good for a surprise, but often completely unpredictable. It behaves nonconformingly even when fundamental properties such ...

1998