Knowledge management for robotic and virtual reality manipulation

Analysis of haptic interaction in a virtual environment: Ergonomic characterisations and recommendations

Combined use of vision and force to carry out complex robotic tasks

Large range of motion structures for the design of haptic interfaces

Taxonomy of haptic interaction for the design of innovative haptic interfaces allowing a generic natural interaction

Reconstructing the topology of a wired network by reflectometry analysis

Associating automatic and manual resources for semantic analysis of texts

Evaluating the benefits of self-adaptivity for the hardware design of tomorrow's embedded computing architectures

Optimising data access for real-time embedded image processing applications

Designing a flexible architecture for the domain of embedded vision

Study and evaluation of impulse encoding for computer architectures based on nanotechnologies

Embedded diagnostic methods for complex networks

A new methodology for predicting the reliability of embedded systems

Modelling and control of virtual reality manipulation

Parallelisation of real-time physical simulation engines

Definition and implementation of communication mechanisms for embedded parallel architectures

Energy-efficient reconfigurable processor for a multiprocessor system on silicon

Methodology for developing an embedded parallel architecture

Representations of finite loop-free categories: Theory, algorithmics and applications

Model refinement and iterative analysis of schedulability

Multimodal extraction and organisation of knowledge from videos into ontologies

A vision system for obstacle detection in the automotive domain

Conformance testing for reactive software systems which are heterogeneous to the extent that their executions are based on several computational models used conjointly

Hybrid qualitative simulation

3D scene adjustment with an embedded camera for augmented reality applications

Synthesis of bioMEMS based on flexible micromechanisms for the generation of precision nanometric displacements and the measurement of forces on the order of a few nanonewtons

Autocalibration of an embedded vision system in a vehicle

Acceleration enabled by hardware simulation

Asynchronous modelling of real-time embedded distributed systems and synchronous compilation

Accord and real-time Java

Formal model for high-level detailed design of safety-critical control and command systems

A hybrid approach combining linguistic and statistical methods for machine translation

Proof of programs using predicate abstraction techniques

Using tests and proofs conjointly

Monitoring and fault detection for interactive robotics

Dynamic real-time task scheduling with mapping or migration constraints within multicore architectures

Intrinsically safe concepts for cooperative robots

Analysing visual focus for the automatic grasping of objects

Design of a cobot control interface

Control laws and safety for cobots

Geometric calibration of robots in reprocessing cells

Coding specification language of fine-grained parallelism within a task parallelism for MPSoC target/OR: In search of a fine-grained expression language (thread code) for task parallelism in MPSoC platforms

Validation of numerical codes

Dedicated conformance testing for real-time systems

Policy iteration methods in static analysis

Analysis of fault-tolerant distributed systems

Diagnostics and diagnosability for reactive system models

A new concept of intrinsically reliable micro-articulations with integrated actuation

Study, design and implementation of a micro-robotic system for multidirectional measurement of nanoforces in view of characterisation of cellular mechanisms

Image-based servoing and control law algorithms for drones

Force feedback for laser micromanipulation

Creation of coloured centres in synthetic diamond for developing single-photon sources

Enhancement of reactor power measurements in PWR nuclear plants using nitrogen-16 SPECT tomography in the reactor coolant system

Design, implementation and optimisation of a muon detector for monitoring matter

Laser emission in nanostructured luminescent polymer layers for pollutant detection

Design of data-intensive embedded architecture for Markov linear systems

Massive processing of multidimensional data for post-genomic molecular analysis by mass spectrometry

Statistical methods coupled with simulation codes for assessing the performance of non-destructive testing methods

Hybrid modelling to simulate ultrasonic non-destructive tests

Development of a 3D phase-contrast imaging method with a limited observation angle for analysing microfluid flows

Optimised computational protocols for calculating elastodynamic fields in materials: Applications in simulating ultrasonic non-destructive tests

Development of a multi-element magnetic imager for eddy current non-destructive testing

Semi-analytical modelling of electromagnetic phenomena during non-destructive testing of 3D parts using eddy currents

Modelling the propagation of guided elastic surface waves on a component: Applications in ultrasonic non-destructive testing

Heteroepitaxy and n-doping of diamond

Electromagnetic modelling for eddy current testing of multilayered structures using embedded probes

Optimised model-based design of ultrasonic phased array techniques and probes for non-destructive testing applications/OR: Design of transducers and optimised multi-element techniques for ultrasonic non-destructive testing

Study and development of a new-generation pixelated detector for the spectro-imaging of gamma and X-ray photons

Electromagnetic modelling for eddy current testing of multilayered structures using magnetic imaging

DORT analysis in elasticity: Applications in characterising defects using ultrasonic non-destructive testing

Modelling ultrasonic methods of structural health monitoring in view of their optimisation

High-resolution gamma spectrometry with high count rates for use in primary circuits of fourth-generation liquid sodium reactors

Modelling pore networks in a fibrous porous medium based on X-ray tomography: Applications in studying diffusion layer transport phenomena in PEMFC fuel cells