Search

The project is based on four complementary challenges: How can a robot learn efficient perceptual representations of its body and of external objects given initially only low-level perceptual capabilities? How can a robot learn motor representations and use them to build basic affordant reachi

The goals of the project are of fundamental nature. We aim at providing methods bridging the gap between series of work, some of which have considered the probabilistic aspects of decision problems, while others have considered the symbolic aspects. What is at stake here is application domains like

By improving algorithms and allowing the expression and processing of global cost functions and by allowing their expression in a high-level language, the project tries to tackle different difficult non-linear combinatorial optimization problems. The results obtained in the project on difficult opti

The project LOGOI is situated at the interface between mathematical logic and computer science. Proof-theory has a well-established role in providing theoretical bases (semantics) and mathematical tools for the study and development of programming languages. In particular, a key rôle has been pl

Applications of Girard's ludics to formal pragmatics, programmaing languages for the web and the study of interaction in learning. Argumentation Modelling analysis of epistemic modalities lexicon and context Dialogue Modelling philosophical researches (Plato's dialogues) Christophe Fouqueré et My

Statistical learning has emerged in recent years as a key technology for processing and analyzing large amounts of data, whether from foundations or business data or available from the web. Meanwhile, the growth of such data, their complexity, and the multiplication of needs generate new data proces

The aim of this project is to significantly push forward the observed effectiveness of resolution systems (called "solvers") while providing the theoretical tools necessary for this purpose. We plan to address this issue through the development and exploitation of tractable classes. This study conce

ACouStiC studied, developed and validated software tools to help prepare, perform and evaluate surgical interventions. The operation involves implanting electrodes in deep brain structures to stimulate very precise anatomical structures. The results are immediate and spectacular. For example, for pa

Massive computing systems and their applications suffer from a fundamental tension between scalability and data consistency. Consistency implies synchronisation, which doesn't scale. To avoid synchronisation requires highly skilled programmers, makes applications complex and brittle, and is error-

Matroid theory is a subject that unify several areas and that helps to explain and discover the common properties of such areas. Studying problems in this more general setting often gives new insight to different problems and their connections A matroid can be basically seen as a structure that c

This research project is aimed at designing new technologies for the measure and the analysis of human motions using visual data. Recent advances in computer vision allow to capture full deformations of dynamic and evolving surfaces. In this project we propose to study how to use such capture data

In image processing, the solution to any problem requires the use of knowledge concerning the acquisition device and the imaging domain. Our research deals with the development of approaches in image processing and segmentation based on discrete geometry, discrete topology and mathematical morpho

The central theme of the MAGNUM project is the elaboration of complex discrete models that are of broad applicability in several areas of computer science. A major motivation for the development of such models is the design and analysis of efficient algorithms dedicated to simulation of large disc

In floating-point (FP) arithmetic having fully-specified “atomic” operations is a key-requirement for portable, predictable and provable numerical software. Since 1985, the four arithmetic operations are IEEE specified (it is required that they should be correctly rounded). This is not fully the cas

Software systems, and in particular, Object-Oriented systems are models of the real world that manipulate representations of its entities through models of its processes. Software systems however suffer of two important issues: first, the world changes continuously and imposes to constantly revise t

One of the challenges of computer science is to manipulate objects from an infinite set using finitary means. The central concept that has emerged in response to this challenge is an algebraic concept of recognizability. It offers unparalleled closure and algorithmic properties, matched with usef

GeMCo is a multidisciplinary research project directed at studying, understanding the basic principles and interaction motifs underlying information processing at the cellular level, with the aim of controlling genetic regulation. To study how cells regulate and adapt to a changing environment, the

Systems biology has been growing very quickly for the last ten years and it is now reaching a cornerstone: is it formed by two sub-domains that are quite independent. The first sub-domain of systems biology is sometimes referred to as integrative biology. It aims at formalizing and annotating data

Organization, planning and flexibility of behavior critically depend on processing of temporal information. This project examined how the brain represents events and sequences of past and future events. This permits decision making based on recall of events that have already occurred (retrospective