skills map - toulouse-tech-transfer.com

1

SKILLS MAP

3

EDITO

CIMI stands for « Centre International de Mathématiques et Informatique de Toulouse ». It is one of the Excellence Laboratory chosen by the ANR for the period 2012-2020 as part of the national programme of « Investments for the Future ».

CIMI brings together the teams of the Institut de Mathématiques de Toulouse (IMT) as well as the teams of the Institut de Recherche en Informatique de Toulouse (IRIT). CIMI gathers more than 450 researchers, involves world renowned research teams, and offers a dynamic scientific environment and attractive educational programme.

CIMI is establishing itself as a leading international center in mathematics, computer science, and their interactions. This original combination within a single structure goes beyond the current conventional collaborations and creates a real synergy suitable for achieving global excellence in research and in exploring innovative research areas, and has already led to the creation of common research project teams between the two institutes.

The means provided by the LabEx program allow CIMI to be an international reference center, attracting high-level scientists, Doctoral and Post-Doctoral students. CIMI also coordinates important educational projects to attract the very best students at the Master level. Last but not least, an important CIMI goal is to enhance further the relationships between the mathematics and computer science community with the social, economic and industrial world, through its collaboration with Toulouse Tech Transfer. A cooperation agreement has already been signed with the Institut de Recherche Technologique Saint Exupéry to develop further cooperation with the aeronautical community in different areas such as machine learning or optimization.

CIMI is a unique place for research in mathematics and computer science attracting high-level scientists and students. The program includes actions towards attractiveness, enabling a proactive strategy of high-level recruitments of confirmed and junior scientists and of outstanding students (French and foreigners). These include excellence chairs for long-term visitors and visiting chairs supported by partners from the industry on specific projects. Grants for Doctoral and Post-Doctoral students, as well as supports for Master students, are features of the educational program. Attractiveness is further enhanced with thematic trimesters organized within CIMI on specific topics including courses, seminars and workshops.

Subjects already addressed include Signal Processing, High Performance Computing, Machine Learning, and many others. Last but not least, CIMI funds a selection of research projects.

This document intends to highlight the skills, expertise, and know-how of the two institutes IMT and IRIT. It is designed to be a tool to present to industrial partners the fields of interest and specific competences of CIMI researchers and teams. It should allow for industrial companies to identify specific scientific domains delivered by CIMI teams. The current document presents an overview of the scientific teams involved in the LabEx, their scientific achievements and their possible applications. Whether you are familiar with scientific terminology or not, you will find an easy access to the information that you are seeking thanks to the classifications we have proposed that allow the document to be browsed by scientific domains or industrial domains.

Once you have identified the expert(s) with whom you wish to discuss your industrial needs or merely ask further information about specific topics, feel free to reach them through the contact details provided at the bottom of each page.

Christophe BESSE Director of CIMI

3

5

HOW TO ACCESS INFORMATION

This document aggregates descriptions of the scientific teams involved in the LABEX CIMI. Three different classifications allow you to find the ones working in your field of interest.

BROWSE BY SCIENTIFIC FIELDS Each team can be associated to major scientific fields within the scope of the LABEX CIMI. Go to the classification by scientific fields to find a summary of these scientific areas and to be redirected to the corresponding teams. Classification by scientific field 7

BROWSE BY INDUSTRIAL DOMAINS Researchers are currently working at tackling industrial application limitations and preparing for next generations of software, devices and systems. Go to the classification by application to find a list of application gathered under industrial domains as transport, energy, health-biotech, telecom… Classification by industrial domains 21

5

7

SCIE

NTI

FIC

FIE

LDS

ISP

- S

ign

al P

roce

ssin

g

ISP

- D

ata,

Info

rmat

ion

& K

no

wle

dge

pro

cess

ing

ISP

- R

easo

nin

g, D

ecis

ion

Mak

ing

MTA

- G

eom

etry

, To

po

logy

, Alg

ebra

MTA

- D

ynam

ical

Sys

tem

s, P

DE

anal

ysis

an

d s

toch

asti

c m

od

elin

g

MTA

- S

cien

tifi

c an

d H

igh

Per

form

ance

co

mp

uti

ng

SDO

- S

yste

ms

& N

etw

ork

dev

elo

pm

ent

SDO

- R

elia

ble

Sys

tem

dev

elo

pm

ent

SDO

- H

um

an C

om

pu

ter

Inte

ract

ion

, Au

ton

om

y, C

ogn

itio

n

SDO

- O

pti

miz

atio

n t

oo

ls, S

yste

ms

con

tro

l an

d In

tera

ctiv

e Sy

stem

s

SDO

- R

isk

anal

ysis

TEAMS page

PICARD - Pure Mathematics

MIP - Maths for Industry & Physics

ESP - Statistics & Probability

ADRIA - Uncertainty, Machine Learning, Reasoning

ELIPSE - Human Computer interaction

MACAO - Software Engineering

MELODI - Knowledge Modeling and Natural Language Analysis

SAMOVA - Audio & Video Analysis, Modeling and Structuring

SEPIA - Efficient Distributed Operating Systems

SIG - Information Processing

SMAC - Adaptive and cooperative multi-agents systems

TCI - Image Analysis

TRACES - Architecture and Compilation for Embedded Systems

VORTEX - Visual Objects from Reality to Expression

APO - Optimization, Parallel Algorithms

ISP : Information & Signal Processing

MTA : Modeling from Theory to Applications

SDO : System Design & Optimization

IMT

IRIT

BROWSE BY SCIENTIFIC FIELDS

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

30

31

32

34

35

36

37

38

39

40

41

42

43

44

45

7

9

Your industrial applications

Few examples of applications under development in ours labs

Involved research teams

PICARD - Pure Mathematics 30 ESP - Statistics & Probability 32

MIP - Maths for Industry & Physics 31

SAMOVA - Audio & Video Analysis, Modeling and Structuring 38

TCI - Image Analysis 42

VORTEX - Visual Objects from Reality to Expression 44

APO - Optimization, Parallel Algorithms 45

Topological asymptotic expansion for image restoration and enhancement 31 Automatic Speech Recognition for elderly and children 38

Image compression by post-transforms in the wavelet domain 44

Image, sound, signal, text processing

Statistical signal processing

Modeling, detection, classification

Clock change theory

Stochastic simulation methods computer vision

Image interpretation

Image synthesis

Virtual world modeling

Animation and artificial life

Virtual reality

Virtual environment

Automatic speech processing (statistical models)

Language learning

Speech synthesis

Kählerian geometry

Sparse models

Video processing (automatic segmentation and classification)

Sign language modeling

Ultrasonic imaging

Signal Processing

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

Medical Imaging

Optical Coherent Tomography imaging (OCT)

Position Emission Tomography scan imaging (PET-Scan)

Gesture-based communication

Classification

VoIP

Speech recognition

Feature detection

Image compression

Video surveillance

Motion tracking

Finance

AER

O. -

TR

AN

S.

SEC

UR

ITY

- D

EFEN

SE

HEA

LTH

- B

IOTE

CH

EC

O-B

INTE

RN

ET -

MED

IAS

LEA

SUR

E -

SOC

IAL

- M

ISC

.

Our related expertise

TEL.

9

10




Data, Information & Knowledge Processing


Information retrieval & datamining

Graphs

Dynamic query optimization in parallel and distributed large-scale environments (Cluster, Grid, Cloud)

Adaptive indexing and search models

Selective information search

Query processing & disambiguation

Datawarehouse models

Query-based diversified graphics

Metaphors algebra

Modeling OLAP multi-aggregation

Large-scale statistics

Formal & lexical semantics

Learning from corpora

Knowledge representation

Cryptography

Spectral clustering

Supervised & unsupervised Methods

Variable & matrix pre-conditionning

Kernel methods

Anisotropy

Market Study | Business Intelligence

Social Networks | Knowledge compilation

Contextual search engines | Natural language analysis

Gesture-based communication | Punctuation recovery

Text sense discrimination

Big Data | Graphs | Graph-transformation | HMI

Data Indexation | Data Exploration | Ontology construction

Predictive Models | Model Storage | Text enhancement

Estimation | Modeling social media | ETL | Robotic

Data Modeling (Geophysics, Medical…)

Person recognition | Document representation

Genomics | Structure detection in ADN | Personalized medicine

Ambient-assisted living | Pathology detection

SEC

UR

ITY

- D

EFEN

SE

ECO

-B

HEA

LTH

- B

IOTE

CH

IN

TER

NET

- M

EDIA

S

ENER

GY

- EN

VIR

ON

MEN

T

AER

OSP

AC

E -

TRA

NSP

OR

T

Opinion & Viewpoint mining

Information Visualization | Machine Learning

Environment adaptation

Classification and graphs for genomics application 32 Document representation enhancement via social information integration 40

Nutri-Educ system for human assistance in dietetics 34

Automatic Speech Recognition for elderly and children 38

Measuring the effect of discourse structure on sentiment analysis 37



SAMOVA - Audio & Video Analysis, Modeling and Structuring 38

SIG - Information Processing 40

MELODI - Knowledge Modeling and Natural Language Analysis 37

ADRIA - Uncertainty, Machine Learning, Reasoning 34


MACAO - Software Engineering 36


BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

10

11

Reasoning - Decision making



PICARD - Pure Mathematics 30 SIG - Information Processing 40 MELODI - Knowledge Modeling and Natural Language Analysis 37


ELIPSE - Human Computing interactions 35

SMAC - Adaptative and cooperative multi-agents systems 41


A method for auditing economic development policies at a regional level 40 Medical assistive technologies 35

Dynamic community detection to identify trends in user-generated contents (marketing & prediction, social networks analysis, community detection, metrics)

41



Reasoning models

Reasoning under uncertainty

Decision making models

Automated decision, decision aids

Similarity-based reasoning

Uncertainty

Formal models for decision

Bipolar representations

Deterministic planning

Automated reasoning

Argumentation

Artificial intelligence

Computational linguistics

Beliefs reasoning

Beliefs modelling

Interaction between agents

Security of information and communication systems

Cryptographic protocols verifying

Security policy deciding

Description logics

Category theory

Homotopy Theory

Possibilistic logic

Modal logics

User profiling

Cooperative decision systems

Marketing & prediction | Trends identification

Community detection

Recommender systems | Ubiquitous computing

Ambiant intelligence | Artificial Intelligence

Social media analysis | User-generated content analysis

Exploratory learning

2D/3D vizualisation | Production planning

Decision making | Human assistance | Mobility

Blind people assistance | Visual impair aid

Aircraft design

SEC

UR

ITY

- D

EFEN

SE

ECO

-B

HEA

LTH

- B

IOTE

CH

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T

LEA

SUR

E -

SOC

IAL

- M

ISC

.

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

11

12

Geometry – Topology - Algebra

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS



PICARD - Pure Mathematics 30

Algebraic geometry for information theory 30 Q-difference used for PDE / ODE 30

Kählerian geometry for Signal Processing purposes 30



Kählerian geometry

Riemannian geometry

Non commutative geometry

Geometry of groups

Algebraic geometry

Arithmetic

Algebraic topology

Knot theory discrete topology and graph theory

Complexity and Topology

Foliations

Poisson structures

Information theory

PDE / ODE solving

Signal processing

SEC

UR

ITY

- D

EFEN

SE

HEA

LTH

- B

IOTE

CH

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T

ENER

GY

- EN

VIR

ON

MEN

T

12

13

Dynamical systems, PDE Analysis & Stochastic Modeling






SMAC - Adaptive and cooperative multi-agents systems 41

Meteorological computation for weather predictions 45 Finite element simulation for induction heating in industry 45

Fluid Dynamics for aerospace, biology and ocean / atmosphere modeling 31



Stochastic modeling

Stochastic calculus

Stochastic computing

Random process models

Partial differential equation analysis

Dynamical systems

Holomorphic iteration

Upstream modeling for biology and physics

Fluid / Structure interaction

Contact and frictionanalysis

Solid Mechanics

Plasticity

Fracture problems

Integrable systems

Social simulation

Energy consumption modeling

Multi-scale & multi-physics models

Weather predictions

Model building in biology, aerospace, ocean…

Extreme physical phenomena modeling and simulation

Event simulation

Material behavior modeling

Finite Element Simulation

Structure computation

Trajectory computing

Finance

ECO

-B

ENER

GY

- EN

VIR

ON

MEN

T

AER

OSP

AC

E -

TRA

NSP

OR

T

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

13

14

Scientific & High performance computing





ESP - Statistics & Probability 32



SEPIA - Efficient distributed operating systems 39

HPC platforms for multi-scale, multi-physics models 31 Shared-memory parallelism and low-rank approximation techniques applied to [direct solvers in FEM simulation

45

Energy saving through ressource management (proc. frequency, CPU, memory, disk tuning, task placement, scheduling, virtual machine consolidation/migration) with applications on HPC & Cloud

39

High performance computing scientific computing

Complexity

Linear algebra

Numerical linear algebra and grid computing

Distributed computing between distant sites

Parallel asynchronous algorithms

Numerical analysis

Numerical methods

Scientific computing

Big data

Black box mode and sensitivity analysis

Multicore Processing parallelization

Shared-memory parallelism

Weather predictions

Storage strategy | Cloud

Engineering computing | HPC

CUDA, GPU & parallel computing

Trajectory computing

Finite Element Simulation

HEA

LTH

INTE

RN

ET -

MED

IAS

ENER

GY

- EN

V.

AER

OSP

AC

E -

TRA

NSP

OR

T

TEL

- N

ET -

IT

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

14

15

Systems & Networks






TRACES - Architecture and compilation for embedded systems 43



CLOVIS open middleware: build your own storage strategy 39 Autonomic management framework for architecture self-deployment and reconfiguration 39

Timing (WCET) analysis of parallel programs 43



Computer architecture

Internal structure of the processor back-end compilation multiprocessors

Embedded and real-time systems real-time applications

Network engineering

Performance evaluation modelling

Simulation and scalability applied to embedded systems

Mobile or satellite communications

New generation internet

Discrete topology and graph

Distributed systems

Cloud, operating

System, distributed operating system

Large scale environment policy management

Ressource management

Virtual machine consolidation / migration

Energy consumption, saving, efficiency

Renewable energy datacenter

Colding datacenter

Autonomic system management

Cloud architecture self-deployment

Security anomaly detection

Custom storage strategy

Fault-tolerance

Auto-repair

Cyber-physical systems

Data-consistency

Timing analysis of parallel programs

Security system building

ENER

GY

- EN

VIR

ON

MEN

T

AER

OSP

AC

E -

TRA

NSP

OR

T

TELE

CO

M -

NET

WO

RK

S -

IT

SEC

UR

ITY

- D

EFEN

SE

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

15

16

Reliable system development





TRACES - Architecture and compilation for embedded systems 43


Complex & trustworthy system building for short time-to-market 36 Model-driven engineering for high performance and cloud computing 36

Pattern repository and finder to build security systems for railways, metrology, automotive… applications 36

A design flow for critical embedded systems 43



Reliable software development

Development process specification

Validation formalisms

Certification of embedded systems

Distributed embedded systems

Cyber-Physical Systems

Critical failure analysis

Design patterns

Meta model

Model checker

Time petri net

Automation

Model composition

Modular designs

Property preserving

Consistency, dependability, reachability

MDE based approach

Dynamic models

Requirements

Best practices

Domain Specific Language

WCET

Development of critical software & systems

Systems & Software certification

Verification & Validation

Safety | Embedded systems | Real time

Model-based systems engineering

Security

Design flow for critical embedded systems

Collaborative development

Run-time reconfiguration | Model-driven engineering

Automated code generation | Critical Systems & Software

Systems of systems | Fast building of complex systems

Agility | Reusability | Component oriented approaches

Timing predictability of multicore systems

Distributed Real-time Embedded (DRE)

AER

OSP

AC

E -

TRA

NSP

OR

T

HEA

LTH

- B

IOTE

CH

IN

TER

NET

TELE

CO

M

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

16

17

Human computer interaction Autonomy - Cognition



ELIPSE - Human computing interactions 35

Mobility made easy for blind people 35 Connected objects for visually impaired users 35



Interactive systems

Man-machine interaction

User profiling

Problem solving processes

Neurosciences

Interaction process

Interaction modeling

Cooperative agents

Cooperation protocols

Cooperative decision systems

Ambient systems

Human computer interaction

User eXperience

Design

Autonomy | Adaptive displays for impaired people

Rendering for blind people

Eldercare | Prothesis simulation

Quality of life

AER

OSP

AC

E -

TRA

NSP

OR

T

HEA

LTH

- B

IOTE

CH

INTE

RN

ET -

MED

IAS

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

17

18



Optimization tools, Systems control & Interactive systems









Design and evaluation of a user-centered interface to model scenarios on driving simulators 44 Consumption optimization in Orbital Transfer 45

Adaptative multi-agent systems for multidisciplinary design optimization in aircraft design processes 41

Optimal control

Systems governed by ODE OR PDE

Finite and infinite dimensional optimization

Stochastic optimization

Heuristic

Multimodel synthesis

Robust system

Shape optimization

Multidisciplinary design optimization MDO

Derivative free optimizations DFO

Kalman filtering

Branch-and-bound & interval analysis

Differential path following

Problem solving processes

Cooperative agents

Cooperation protocols

Self-adaptation,

Self-organization, cooperative

Autonomous multi-agent systems

Adaptive coordination

Ambient systems

Air Trafic Management

Aircraft design

User-centered interface

Dynamic stability prediction

Consumption optimization

Windfarm optimization

AER

OSP

AC

E -

TRA

NSP

OR

T

ENER

GY

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS

18

19



Risk analysis

BR

OW

SE B

Y S

CIE

NTI

FIC

FIE

LDS



ESP - Statistics & Probability 32


Production planning and risk management for supply chains 34 Smart software for decision making in industrial risks 34

Risk analysis for health

Industrial risk and reliability

Risk estimation of illnesses

Industrial risk and reliability

AER

OSP

AC

E -

TRA

NSP

OR

T

ENER

GY

H

EALT

H -

BIO

TEC

H

19

21

IND

UST

RIA

L D

OM

AIN

S

ENER

GY

- E

NV

IRO

NM

ENT

INTE

RN

ET -

MED

IA

HEA

LTH

- B

IOTE

CH

AER

OSP

AC

E -

TRA

NSP

OR

T

ECO

NO

MY

- B

USI

NES

S

TELE

CO

M -

NET

WO

RK

S -

IT

SEC

UR

ITY

- D

EFEN

SE

LEA

SUR

E -

SOC

IAL

- M

ISC

.

TEAMS page

PICARD - Pure Mathematics

MIP - Maths for Industry & Physics

ESP - Statistics & Probability

ADRIA - Uncertainty, Machine Learning, Reasoning

ELIPSE - Human Computer interaction

MACAO - Software Engineering

MELODI - Knowledge Modeling and Natural Language Analysis

SAMOVA - Audio & Video Analysis, Modeling and Structuring

SEPIA - Efficient Distributed Operating Systems

SIG - Information Processing

SMAC - Adaptive and cooperative multi-agents systems

TCI - Image Analysis

TRACES - Architecture and Compilation for Embedded Systems

VORTEX - Visual Objects from Reality to Expression

APO - Optimization, Parallel Algorithms

IMT

IRIT

BROWSE BY INDUSTRIAL DOMAINS

BR

OW

SE B

Y IN

DU

STR

IAL

DO

MA

INS

30

31

32

34

35

36

37

38

39

40

41

42

43

44

45

21

22

ENERGY - ENVIRONMENT

BR

OW

SE B

Y IN

DU

STR

IAL

DO

MA

INS

Our research meets your needs

Cyber-Physical systems (e.g., Ambient Assisted Living) multi-concerns, multi-views collaboration 36

Resource and Energy distribution optimization 32

Numerical study of plasmas 31

Analysis of Fluid-Structure Interaction 42

Modeling energy consumption in test cells for thermal insulation 31

Modeling in superconductivity and Landau-de Gennes models in liquid crystals 30

Risk analysis and safety criteria for the underground storage of CO2 34

Numerical simulation in non-uniform magnetic fields 31

Tools & platforms for large scale environment policy management (energy consumption, storage strategy…)

39

Energy saving through ressource management (proc. Frequency, CPU, memory, disk tuning, task placement, scheduling, virtual machine consolidation/migration) with applications on HPC & Cloud

39

CoolEmAll: colding datacenter through tools to assess the power consumption of applications (ectop), compute metrics on datacenter energy efficiency, distribute the load

39

Datazero : DATAcenter with Zero Emission and RObust management using renewable energy Datacenter & renewable energy http://www.irit.fr/datazero; Mixed-Integer-Linear-Prog. to tune the tradeoff between performance, energy and temperature in Datacenters

39

Asynchronous grid computing for the simulation of the 3D electrophoresis coupled problem 42

Computing and Ambiant Intelligence: from sensors to applications 40

Sensitivity analysis of numerical models for simulating physical phenomena 32

Data reconciliation in material flow analysis of rare earth element recycling potential 34

Modelling energy consumption in test cells for thermal insulation 31

Agents for agricultural & water management strategies 41

Energy consumption in buildings 41

Bioprocesses etc. 41

Bioinformatics: Efficient algorithms for long structure detection in ADN 44

Biology: Simulations and data sciences for personalized medicine and life sciences 44

Accept Hydro: A tool for evaluating potential wetland areas at floodplain scale 44

22

23

INTERNET - MEDIAS


BR

OW

SE B

Y IN

DU

STR

IAL

DO

MA

INS

Document representation enhancement via social information integration 40

Textual structure interpretation 37

Tuning search engine to fit contextual search 40

Modeling and OLAPing social media: the case of Twitter 40

A posteriori analysis for visual perception through video imagery 40


Topological asymptotic expansion for image restoration and enhancement 31


Word Sense Discrimination in Information Retrieval: A Spectral Clustering-based Approach 40

Opinion mining: Reviewed from word to document level 40

A multiple-play Bandit Algorithm Applied to Recommender Systems 40

Ontology co-construction with an adaptive multi-agent system: Principles and case-study 37

Ontologies and information retrieval 37


Design & Dev. of interactive surfaces for 2D/3D visualization 35

Design of innovative IT (Interactive Technology) for multi-dimensional data exploration 35

Implicit decals: Interactive editing of repetitive patterns on surfaces 44

Automatic hair detection in the wild 44

Implicit surfaces for extreme realism in 3D deformations synthesis 44

Collaborative web plateform for 3D edition 44


Evaluations for the REPERE challenge: Multimodal person recognition 38

Automatic punctuation recovery 38

Automatic video surveillance scene indexing 38


41

Decision & negotiation through emotion & crisis 41

Self-organising multi-agent systems for users’ profiling and behaviours learning in information and ambient systems

41

23

24

HEALTH - BIOTECH


BR

OW

SE B

Y IN

DU

STR

IAL

DO

MA

INS


Automatic tuning of ear protheses 38


Multimodal Human Robot Interaction 38

A level of interaction framework for exploratory learning with characters in virtual environments 44


Text input for mobile device 35

Speaker age estimation for elderly speech recognition in European Portuguese 38

What are the objects lost by frail elderly at home? A pilot study of 60 people 38


Intentionality measuring 38

Classification and graphs for genomics application 32

Diffeomorphic registration for 3D medical images 32

Scalar wave modeling for transient elastography in medical imaging 31

Navig & Accessimap 35

Mobility made easy for blind people 35

Medical assistive technologies 35

Connected objects for visually impaired users 35

Rendering System for blind people 35

Tactile interaction for blind people 35

Simulation of visual neuroprothesis (NanoStim) 35

Structured document rendering system for blind people 35

Serious game: protein percolation 44

Bioinformatics: Efficient algorithms for long structure detection in ADN 44

Parameter estimation for hybrid wavelet-total variation regularization (IBM) 42

Biology: Simulations and data sciences for personalized medicine and life sciences 44

Fetal activity monitoring via Ultrasound Doppler and signal processing 42

High-frequency ultrasonography but not 930-nm optical coherence tomography reliably evaluates melanoma thickness in vivo (PIERRE FABRE)

42

A new respiratory gating device to improve 4D PET/CT (ISP SYSTEM) 42

Movement estimation in medical images frames 42

Medical ultrasound imaging 42

Analysis of Fluid-Structure Interaction in collaboration with (Segula) 42


Topological asymptotic expansion for image restoration and enhancement 31

Artificial intelligence to enhance technical texts 34



Ontology co-construction with an adaptive multi-agent system : Principles and case-study 37

Nutri-Educ system for human assistance in dietetic 34

24

25

AEROSPACE - TRANSPORT


BR

OW

SE B

Y IN

DU

STR

IAL

DO

MA

INS


Analysis of Fluid-Structure Interaction 42


Heterogeneous models refinement for V&V 36

Requirement engineering for System (and Systems of Systems): traceability, security concerns, environment adaptation

36

Supporting collaborative development using process models 36

With ability to detect security anomalies, fault-tolerance (crashes) and auto-repair activation 39

Production planning and risk management for supply chains 34

Smart software for decision making in industrial risks 34

Artificial intelligence to enhance technical texts 34


Ontologies and information retrieval: An application to automotive diagnostics 37



Design and evaluation of a user-centered interface to model scenarios on driving simulators 44


Multimodal Human Robot Interaction 38

Collaborative decision-making and decision support systems for enhancing operations management in industrial environments

37

Analysis of the timing predictability of multicore systems 43


Engine power management through stochastic optimization 32


Rare event simulation applied to Traffic Management (air, road, networks) 32

Ontologies for explaining the data coming from sensors 37

Pattern repository and finder to build security systems for railways, metrology, automotive… applications

36

Structural expectations for Road traffic forecasting 32

Design of a flight control architecture for aircraft 31

Numerical study for minimizing the fuel consumption of a vehicle 31

Satellite image compression by post-transforms in the wavelet domain 44

Joint detection-estimation in functional imaging 42

Mastering the behavior of multi-core systems to match avionics requirements 43

Identification of scenarios for precise WCET analysis 43

A design flow for critical Embedded systems 43

Modelling in soft ferromagnetic films 31

Adaptative multi-agent systems for multidisciplinary design optimization in aircraft design processes 41


Autonomic protocol-based coordination in dynamic inter-organizational workflow 41

Parameter self-tuning for controlling complex dynamic systems such as car engines 41

Complex & trustworthy system building for short time-to-market 36

25

26

ECONOMY - BUSINESS

TELECOM - NETWORKS - IT

BR

OW

SE B

Y IN

DU

STR

IAL

DO

MA

INS


Stochastic computing for financial applications 32


Document representation enhancement via social information integration 40


Opinion mining: Reviewed from word to document level 40

A method for auditing economic development policies at a regional level 40


Speaker age estimation for elderly speech recognition in European Portuguese 38

Textual structure interpretation 37


40

Machine learning and distributional approaches (stats measure of co-occurring words) for information extraction

37

Predictive models in telecom, security, maintenance 32

New feature vector for HMM-based packet loss concealment for VoIP 38


Rare event simulation applied to Traffic Management (air, road, networks) 32

Autonomic management framework for architecture self-deployment and reconfiguration (eg. clusters & clouds) With ability to detect security anomalies, fault-tolerance (crashes) and auto-repair activation

39

CLOVIS openmiddleware: build your own storage strategy 39


36

Data-consistency enforcement through mutual exclusion 39

Model-driven engineering for high performance and cloud computing 36

Formal profile for SysML for industry-grade systems 36

Optimal database schema design under data uncertainty 34

Agents for software architecture and system deployment 41

26

27

SECURITY - DEFENSE

LEASURE - SOCIAL - MISC.


BR

OW

SE B

Y IN

DU

STR

IAL

DO

MA

INS



Predictive models in telecom, security, maintenance 32




Smart software for decision making in industrial risks 34

Collaborative decision-making and decision support systems for enhancing operations management in industrial environments

37

Ontology co-construction with an adaptive multi-agent system: principles and case-study 37




Automatic video surveillance scene indexing 38

Analysis of the timing predictability of multicore systems 43




What are the objects lost by frail elderly at home? A pilot study of 60 people 38

Intentionality measuring 38

Structured document rendering system for blind people 35

Tactile interaction for blind people 35

Rendering System for blind people 35

Mobility made easy for blind people 35



Ontology co-construction with an adaptive multi-agent system : Principles and case-study 37


Text input for mobile device 35



Design and evaluation of a user-centered interface to model scenarios on driving simulators 44

Automatic hair detection in the wild 44


41

27

29

The Toulouse Mathematics Institute, CNRS Research Laboratory, federates the mathematics community of the Toulouse area. It is comprised of three main teams, the Laboratory of Statistics and Probability, the Mathematics for Industry and Physics Laboratory and the Emile Picard Laboratory, located at the University of Toulouse III, the Universities of Toulouse I and II, and INSA (Institut National des Sciences Appliquées).

PICARD – Pure Mathematics 30

ESP – Statistics & Probability 31

MIP – Maths for Industry & Physics 32

29

30

[email protected]

CONTACT

Our fields of research address a wide variety of domains of pure mathematics ranging from topology to arithmetic through differential and algebraic geometry, dynamical systems or q-difference equations.

• Key technical research skills and formal developments

- Scientific Excellence: various prizes, top ranked journals

- Many young and dynamical researchers

- Several weekly based seminars, visiting positions, workshops, conferences, summer schools

- International acknowledgement and collaborations

MEDIA HIGHLIGHTS • ERC, IUF and ANR grants

• Members of many GDRs and GDRI

• Complex dynamical systems visualisation

OUR TEAM, AT A GLANCE

TECHNOLOGY OFFER • Code & Algorithm

- Normal forms

- Complex dynamical systems visualization

TEAM ASSETS

KEY WORDS • Algebraic geometry and arithmetic

• Cryptography

• Dynamical Systems

• Analysis

• Differential and q-difference equations

• Topology

COLLABORATIONS • Academic:

- The greatest universities in the world such as Harvard, Oxford, Berkley, MIT, Max Planck Institute

SCIENTIFIC FIELDS • Geometry – Topology – Algebra - Logic

• Dynamical systems, Partial Differential Equations

• Analysis

• Combinatorics

• Epistemology and History of Sciences

ENER

GY

- EN

VIR

ON

MEN

T T

ELEC

OM

– N

ETW

OR

KS

- IT

A

ERO

SPA

CE

- TR

AN

SPO

RT

ECO

NO

MY

- B

USI

NES

S

SCIENCE AND APPLICATION MATCHING TOOL

Algebraic geometry for information theory =

Q-difference used for PDE / ODE =

Kählerian geometry for Signal Processing purposes =

== Ongoing or future research == Suitable techniques and expertise

~ 75 researchers

PURE MATHEMATICS

mailto:[email protected]








31

[email protected]

CONTACT

Specialists in complex industrial problem solving, we improve, adjust and make use of a variety of cutting-edge mathematical tools borrowed from domains such as dynamical systems, control, optimization, image processing, partial differential equations, process modelling, scientific computing.

Our achievements span a wide range of applications like in plasma physics, fluid mechanics, numerical methods for science and engineering, electromagnetism, biology, micromagnetism, liquid crystal and much more…


HPC platforms for multi-scale, multi-physics models =

Fluid Dynamics for aerospace, biology and ocean / atmosphere modelling

=

Modelling in soft ferromagnetic films =

Design of flight control architecture for aircraft =

Numerical simulation of space and tokamak plasmas Modelling energy consumption in test cells for thermal insulation

=

Topological asymptotic expansion for image restoration and enhancement

=

Feedback stabilization for fluid structure model =

Non linear stability of viscuous roll-waves =

MEDIA HIGHLIGHTS • Patents:

- Method for segmenting images, US 8798365 B2

- Device for the quality assessment of an active fluid sample, PCT/EP2014/075503

• Awards:

- G. de B. Robinson Prize (2012)

- Montucla Prize (2012)

- E. Déchelle Prize (2012)

- Jacques-Louis Lions Prize (2013)

- SIAG Prizes (2011, 2015)

MATHS FOR INDUSTRY & PHYSICS

PUBLICATIONS • Peer reviewed articles: 975

(over ten years)


TECHNOLOGY OFFER/SOFTWARE OFFER • Acadia-5D/Striations-3D

(IonosphALE INC (Compressible Hydrodynamic ALE code)

• eric Plasma) • DassFlow (Data Assimilation for

Free Surface Flow) • GetFEM++ (Finite Element

Method) • GPE LAP (Quantum systems) • HOPE (Kinetic equations) • VLVDP (Very Large Volume Data

Processing) • …

COLLABORATIONS Sampled list of industrial partners

ACTIS, CEA, CNES, DGA, EADS, ECHOSENS, EDF, ESI, GOLAEM, MBDA, ONERA, THALES ALENIA SPACE,…

KEY WORDS & SCIENTIFIC FIELDS • Models for physics, biology, aeronautics

• Scientific & High performance computing

• Extreme physical phenomena modelling and simulation

• Fluid / Structure interaction

• Contact and friction problems

• Solid Mechanics, plasticity, fracture problems

• Signal and Image processing

• Information & Knowledge processing

• Reliable system development

• Optimization, Inverse problems

• Control, Analysis of partial differential equations

• Dynamical systems, stochastic modelling

~ 70 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T LE

ASU

RE

- SO

CIA

L -

MIS

C.

ENER

GY

- EN

VIR

ON

MEN

T T

ELEC

OM

– N

ETW

OR

KS –

IT









32

[email protected]

CONTACT

The Statistics and Probability team embraces variety of domains related to randomness going from the most applied like epidemiology, biometrics, financial mathematics, signal and image processing, industrial statistics to the most theoretical, like the applications of probability in algebra, analysis and geometry.


- Scientific computation for Genetics and DNA-RNA seqs

- Learning and optimization in high dimension

- Computer code experiments

- Deformable models for signal and image analysis • Specific equipment and computational aspects

- Access and management of the Biostatistics platform

- Powerful computer plant for random simulation


Classification and graphs for genomics application =

Predictive models in ICT =

Engine power management through stochastic optimization =

Resource and Energy distribution optimization =

Rare event simulation applied to traffic management (air, road, networks,…)

=

Structural expectations for functional data =

Stochastic computing for financial applications =

Motion tracking for 2D / 3D images =

Sensitivity analysis of complex computer codes =

MEDIA HIGHLIGHTS • Awards:

- IUF members

- European Math. Society Prize

- More than 10 ANR projects

- Strong implication in major journal boards

STATISTICS & PROBABILITY


TECHNOLOGY OFFER • Software:

- Modeling Genetics (MIXOMICS, R package)

- Medical Image Registration (uTIlzReg)

- Wikistat

TEAM ASSETS

KEY WORDS • Stochastic Modeling

• Statistical Learning • Big Data • Risk Analysis • Random Process Models

COLLABORATIONS • Industrial:

- Big Data (Mediamobile, iTrust, …)

- Pharmacology (Pierre Fabre)

- Process modeling (EDF, Thales, Total, Michelin, Airbus,…)

- Image Processing (CEA) • Academic:

- INSERM, CNES, ONERA, INRA

SCIENTIFIC FIELDS • Information & Knowledge processing • Risk analysis • Dynamical systems, PDE analysis and stochastic modeling • Stochastic optimization tools • Signal processing on physical and biological data • Networks & Random Networks


SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T LE

ASU

RE

- SO

CIA

L -

MIS

C.

ENER

GY

- EN

VIR

ON

MEN

T T

ELEC

OM

– N

ETW

OR

KS

- IT

~ 60 researchers











http://mixomics.org/

http://sourceforge.net/projects/utilzreg/

http://www.wikistat.fr/

33

The IRIT (Institut de Recherche en Informatique de Toulouse – Toulouse Institute of Computer Science Research) represents one of the major potential of the French research in computer science, with a workforce of more than 600 members including 250 researchers and teachers 244 PhD students, 14 post-doc and researchers under contract and also 43 engineers and administrative employees.

ADRIA – Uncertainty, Machine Learning, Reasoning 34

ELIPSE – Human computing interactions 35

MACAO – Software Engineering 36

MELODI – Knowledge Modeling and Natural Language Analysis 37

SAMOVA – Audio & Video Analysis, Modeling and Structuring 38

SEPIA – Efficient distributed operating systems 39

SIG – Information Processing 40

SMAC – Adaptive and cooperative multi-agents systems 41

TCI – Image analysis 42

TRACES – Architecture and compilation for embedded systems 43

VORTEX – Visual Objects from Reality to Expression 44

APO – Optimization, Parallel Algorithms 45

33

34

LAGASQUIE Marie-Christine [email protected]

05 61 55 64 51

CONTACT

For more than 30 years now, our team has excelled in Artificial Intelligence and related fields: Reasoning, Uncertainty, Machine learning, Knowledge Based representation, Optimisation, Task planning, Decision making. This expertise opens to a variety of applications from text enhancement, cognitive process modeling, contradiction management, to risk analysis and more.


- Strong established background in Uncertainty and Possibility Theory, Constraint Satisfaction problems (CSP), Machine Learning and analogical reasoning

- Argumentation (renown internationally)


Smart software for decision making in industrial risks =

Artificial intelligence to enhance technical texts =

Risk analysis and safety criteria for the underground storage of CO2

=

Nutri-Educ system for human assistance in dietetics =

Data reconciliation in material flow analysis of rare earth element recycling potential

=

Production planning and risk management for supply chains =

Optimal database schema design under data uncertainty =

MEDIA HIGHLIGHTS • 99 internat. journals, 3 books,

229 internat. conferences among the top-ranked ones

UNCERTAINTY, MACHINE LEARNING, REASONING

PUBLICATIONS • Team website


TECHNOLOGY OFFER • Software

- Nutri-Educ

- LogiRisk

- Debate WEL

- GRAFIX

- LELIE - TEXTCoop

TEAM ASSETS

KEY WORDS • Artificial Intelligence

• Decision making • Knowledge Compilation • Argumentation • Reasoning under uncertainty • Optimization


- Transport (Thalès, Airbus, Renault)

- Process (Alcatel-Lucent, Sogeclair, Prometil)

• Many Academic partners

SCIENTIFIC FIELDS • Reasoning Under uncertainty, Decision making

• Information, knowledge processing

• Risk analysis


~ 17 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S IN

TER

NET

- M

EDIA

S A

ERO

SPA

CE

- TR

AN

SPO

RT

ENER

GY

- EN

VIR

ON

MEN

T T

ELEC

OM

– N

ETW

OR

KS

- IT




http://www.irit.fr/recherches/ADRIA/site/

35

DUBOIS Emmanuel [email protected]

05 61 55 74 05

CONTACT

The main goal of our research is to focus on the design and prototyping of advanced Human Computer Interaction. We adopt an interdisciplinary approach combining computer science, neurosciences, ergonomy, psychology to set up novel applications in the field of quality life (age, disability), 3D interaction in many contexts, personal and tactile devices.

We systematically and thoroughly evaluate our developements in both controlled (lab studies) and in-the-field environments (shared research & labcom with Lacii & Handinov for instance)


- Spatial Interaction, Non-Visual Interaction, Aging Technology, Participating Design, Pluridisciplinarity

• Specific equipment and computational aspects

- PLATFORMS: LACII, IJA-IRIT, Cherchons pour voir. Handinov, ASEI-IRIT. Human Lab & Elipse Lab

- EQUIPEMENTS : 3D localisation techno (Leap Motion, Kinnect, Real Sens), Robotic Arm, Eye Tracking systems, Interactive surfaces (SW, SP, Tablet, Table), IR localisation tools, Motion capture, 3D scanner / 3D printer, smart coffee machine, Occulus Rift, Nvisor), VR, Rapid prototyping hardware (Arduino, Raspberry)


Navig & Accessimap, mobility made easy for blind people =

Medical assistive technologies =

Design & Dev. of interactive surfaces for 2D/3D visualization =

Structured document & rendering system for blind people =

Design of innovative IT (Interactive Technology) for multi-dimensional data exploration

=

Tactile interaction for blind people =

Simulation of visual neuroprothesis (NanoStim) =

Connected objects for visually impaired users =

Text input for mobile device = MEDIA HIGHLIGHTS • Awards:

- Google Awards (Anke Broke, Julie Ducasse)

- Prix de thèse acad. Toulouse (Anke Broke)

• Highlights: La Dépêche, La Tribune, France3

HUMAN COMPUTER INTERACTION



TECHNOLOGY OFFER • Products

- Input Devices (DISCO)

- Accessibility Software (Read, Sokeyto)

- Design tool (GuideMe)

TEAM ASSETS

KEY WORDS • HCI, Cognition

• Autonomy, Quality of life • User needs analysis • Design, Modal, Prototype • User Studies, User eXperience,

Ergo & Psycho • Assistive techno, • Interactive surfaces, Eye-free

interactions, Augmented Reality


- ITC (Berger-Levrault, Makina-Corpus, Immersion, Synerlog, Spikenet,Virtual IT, Spherel, Atos Origin, CEA)

- Health (Mutualité Française) • Many Academic partners

SCIENTIFIC FIELDS • Systems design & Optimization – Human Computer Interaction –

Autonomy – Cognition


~ 10 researchers

SEC

UR

ITY

- D

EFEN

SE

HEA

LTH

- B

IOTE

CH

IN

TER

NET

- M

EDIA

S A

ERO

SPA

CE

- TR

AN

SPO

RT

LEA

SUR

E -

SOC

IAL

- M

ISC

.




http://www.irit.fr/Publications,1205?lang=fr

36

BRUEL Jean-Michel [email protected]

05 62 74 75 40

CONTACT

« Software engineering has reached a level of maturity that requires an ever greater use of modeling »

Our team research focuses on using models as first-class citizens for software and systems engineering (Model-Based System Engineering). Our expertise in collaborative methodologies, formal validation and verification, non-functional properties, resource-constrained systems.


- NEPTUNE (Nice Environment with a Process and Tools Using Norms and Example) aims to develop method and tools for Model-Based Systems Engineering.

- SEMCO (System and software Engineering with Multi-Concerns)


- Complex Models Vizualization

- Verification toolbox (Ifx)

- Framework to assist system and software developers in the domain of security and safety critical systems to capture, implement and document distributed system applications (SEMCO)


Safe run-time reconfiguration of embedded system =

Complex & trustworthy system building for short time-to-market

=

Heterogeneous models refinement for V&V =

Requirement engineering for System (and Systems of Systems): traceability, security concerns, environment adaptation

=


=

Model-driven engineering for high performance and cloud computing

=

Formal profile for SysML for industry-grade systems =

Cyber-Physical systems (e.g., Ambient Assisted Living) multi-concerns, multi-views collaboration

=

Graph-transformation preserving model properties =

Supporting collaborative development using process models =

SOFTWARE ENGINEERING



TECHNOLOGY OFFER • Software & Modelling

- SEMCO: http://www.semcomdt.org/

- NEPTUNE: http://neptune.irit.fr/

- Ifx: http://www.irit.fr/ifx/

TEAM ASSETS

KEY WORDS • Model Driven Engineering

• Critical Systems • Safety, Security • Distributed Real-time

Embedded (DRE)


- Transport/Aeronautics (Airbus, Liebherr, Bombardier, Altran, Ikerlan)

- ICT (CEA, Trialog) • Academic:

- IRISA, SIT-Fraunhofer, U. of Concordia, U. of Innsbruck, Verimag

SCIENTIFIC FIELDS • Reliable Systems Development • Scientific & High performance

computing • Risk analysis • Information and Knowledge

processing


~ 12 researchers

HEA

LTH

- B

IOTE

CH

IN

TER

NET

- M

EDIA

S A

ERO

SPA

CE

- TR

AN

SPO

RT

ENER

GY

- EN

VIR

ON

MEN

T T

ELEC

OM

– N

ETW

OR

KS

- IT

mailto:jean-michel.bruel@





http://www.irit.fr/Publications,218

http://www.semcomdt.org/



http://neptune.irit.fr/

http://neptune.irit.fr/

http://www.irit.fr/ifx/

http://www.irit.fr/ifx/

37

AUSSENAC-GILLES Nathalie [email protected] 05 61 55 82 93

CONTACT

Our team embraces various theoretical and applicative aspects of the duality language/knowledge. We deal with (1) natural language analysis and its formalization and with (2) knowledge modeling.

We are renown worldwide for ontology (representation of the world) and text skills, for lexical semantic (word, text, dialogs), structuring knowledge through graphs or logic, automatical learning of structured representation, building ontologies from texts and allowing their evolution, semantic querying in large knowledge basis, formal checking in knowledge basis.


- Distributionnal semantics (Statistic, learning & logic models)

- Discourse theory and analysis (incontournable)

- Ontology alignement (organizes the OAEI contest/workshop), Formal ontology, Sentiment analysis

- Machine learning for Natural Language Processing • Specific equipment and computational aspects

- OSIRIM: high volume of data and queries infrastructure


Ontology co-construction with an adaptive multi-agent system : Principles and case-study (UPETEC)

=

Measuring the effect of discourse structure on sentiment analysis (SYNAPSE)

=

Ontologies and information retrieval : An application to automotive diagnostics (ACTIA)

=

Collaborative decision-making and decision support systems for enhancing operations management in industrial environments (SIMTECH SIMULATION)

=

Textual structure interpretation =

Information extraction from DBPedia and web querying with SWIP (natural language query)

=

Machine learning and distributional approaches (stats measure of co-occurring words) for information extraction

=

Ontologies for explaining the data coming from sensors =

MEDIA HIGHLIGHTS • Awards : ERC grant, Marie-Curie

grant (CONTENT project) • Journals : J. of semantics,

J. of applied logics

KNOWLEDGE MODELING AND NATURAL LANGUAGE ANALYSIS



TECHNOLOGY OFFER • Software :

- SWIP (querying linked data with natural language)

- LARA (discursive analysis in text)

- Distribution calculus tools • Corpus :

- CASOAR (sentiment analysis)

- (discourse relations)

- Tagged dialogs, enumerative structure

- OAEI: ontology alignement databasis

TEAM ASSETS

KEY WORDS • Natural language analysis

• Natural language formalization • Knowledge modeling • Ontology and semantic web • Formal theory of discourse • Textual and corpus semantics


- ICT (Upetec, Synapse, Actia, IBM, Mondeca, Simtech Simulation, ATOS)

- AGRI and terrestrial analysis (Terranis)

- Oceanography (Mercator) • Academic:

- IRSTEA, CNES (Image: project Sparking data), LAAS

SCIENTIFIC FIELDS • Signal processing - Reasoning - Decision making, Information

and Knowledge Processing


~ 14 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T LE

ASU

RE

- SO

CIA

L -

MIS

C.




http://www.irit.fr/Site-de-l-equipe-MELODI?lang=fr

38

PINQUIER Julien [email protected]

05 61 55 74 34

CONTACT

We solve problems related to audio-video content processing in three main fields: • Automatic content analysis through statistical models

and learning • Modelling for classification and retrieval problems • Audio-Video structuring through multi-channel

co-phenomena observation


- Joint audio and video analysis

- Production to perception chain modelling

- From human to machine understanding


- OSIRIM


Automatic video surveillance scene indexing =

Automatic tuning of hearing aids (ARCHEAN) =

Multimodal Human Robot Interaction (Aldebaran Robotics) =

Evaluations for the REPERE challenge : Multimodal person recognition (LNE)

=

HMM-based packet loss concealment for VoIP (FREESCALE) =

Automatic Speech Recognition for elderly and children (MICROSOFT)

=

Automatic punctuation recovery (AUTHOT) =

MEDIA HIGHLIGHTS • Awards: best Paper IEEE CBMI

(2012) • Highlights: BBC video report

AUDIO & VIDEO ANALYSIS, MODELING AND STRUCTURING




- Punctuation, based on prosody

- Audio segmentation • Products:

- Multilingual phonetic decoders

- Audio platform: SAMOPLAY TEAM ASSETS

KEY WORDS • Audio and video extraction

• Audiovisual content structuring • Audiovisual person detection • Automatic language identification • Speech, music and singing

detection • Speech recognition


- ICT (Freescale, Microsoft, LNE, Intel, AudioGaming, Parisson, Authot)

- Health (Archean) • Many Academic partners:

- INRIA Bordeaux, LAAS, INESC, MSH, Lebaneese University

SCIENTIFIC FIELDS • Signal and Processing - Information & Knowledge processing


~ 8 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T LE

ASU

RE

- SO

CIA

L -

MIS

C.

TEL

ECO

M –

NET

WO

RK

S -

IT




http://www.irit.fr/recherches/SAMOVA/pagepublications.html

39

PIERSON Jean-Marc [email protected]

05 61 55 72 26

CONTACT

Our work is centered on the efficient conception and usage of distributed operating systems, more precisely for clusters, grids and current clouds. Resource management, abstraction, objectives of operating system are studied from hardware to large-scale middleware. We bring a particular attention at applications in Cloud computing and Energy reduction.


- Energy reduction: metrics to compute consumption, tool to alleviate the load

- Cloud computing: autonomic deployment, repair, adaptive storage QoS strategies


- GRID5000 national platform: experiments & large scale process validation

- CloudMIP: production Cloud for science and experiments purposes operated with Openstack

- neOCampus plateform: dedicated platform for ambiant computing and IoT


Tools & platforms for large scale environment policy management (energy consumption, storage strategy…)

=

Autonomic management framework for architecture self-deployment and reconfiguration (eg. clusters & clouds) with ability to detect security anomalies, fault-tolerance (crashes) and auto-repair activation

=

CLOVIS open middleware: build your own storage strategy =

Energy saving through ressource management (proc. frequency, CPU, memory, disk tuning, task placement, scheduling, virtual machine consolidation/migration) with applications on HPC & Cloud

=

CoolEmAll: cooling datacenter through tools to assess the power consumption of applications (ectop), compute metrics on datacenter energy efficiency, distribute the load

=

Datazero: DATAcenter with Zero Emission and RObust management using renewable energy Datacenter & renewable energy http://www.irit.fr/datazero

=

MEDIA HIGHLIGHTS • Projects: ANR, FP7 • Journals & Conferences: Future

Generation Computer Syst., Parallel & Distributed Syst. , NCA, CCGRID, Europar, Middleware

EFFICIENT DISTRIBUTED OPERATING SYSTEMS




- CLOVIS

- TUNe: autonomic management framework

• Products:

- Ectop: computer power monitoring

- Book, Ed.Wiley, Large-Scale distribution systems and Energy Efficiency

TEAM ASSETS

KEY WORDS • Distributed operating systems

• Cloud Computing /Clusters/Grids • Data storage • Efficient conception • Efficient usage, energy

consumption, energy efficiency • High Performance computing • BigData • Power consumption • Virtual machine


- Power (Eaton)

- ICT (Orange, Linagora, Business&Decision, Eolas, iTrust, BULL, Gosis, Val Informatique, Eurogiciel, U-Need, Blue Mind, Secludit)


SCIENTIFIC FIELDS • Systems & Networks – Optimization tools and Systems control –

Scientific and High-Performance Computing


~ 11 researchers

ENER

GY

- EN

VIR

ON

MEN

T T

ELEC

OM

– N

ETW

OR

KS –

IT




http://www.irit.fr/datazero

http://www.irit.fr/-Equipe-SEPIA-?lang=fr

40

MOTHE Josiane [email protected]

05 61 55 64 44

CONTACT

Data is at the heart of our investigations. Storing, indexing, exploring, searching, extracting, transforming, vizualising, synthesizing are the key components to reveal the important information among mass.

In a world where information is the new oil, our research aims at providing new tools that can help ICT and other companies to make value from data: document representation and indexing, data analysis, information search & recommendation, data warehouse.


- Text indexing and mining, data structure, data & information access, meta-data analysis, data analytics


- Tétralogie platform

- OSIRIM, CALMIP

- Hadoop, Map-Reduce, NoSQL Databases


Document representation enhancement via social information integration

=

Tuning search engine to fit contextual search =

Modeling and OLAPing social media: the case of Twitter =

A posteriori analysis for visual perception through video imagery

=

Computing and Ambiant Intelligence: from sensors to applications

=

Word Sense Discrimination in Information Retrieval: a Spectral Clustering-based Approach

=

Opinion mining: reviewed from word to document level =

A method for auditing economic development policies at a regional level

=

A Multiple-play Bandit Algorithm Applied to Recommender Systems

= MEDIA HIGHLIGHTS • Awards: Best papers • Journals: IRJ, IPM, JASIST

INFORMATION PROCESSING




- Tétralogie

- Open Data Extraction and Graph matching

- Griffon, DocCube: data vizualisation

- OLAP Multifunction

TEAM ASSETS

KEY WORDS • Information Systems

• Big Data • Information Retrieval • Data Representation • Recommender Systems • Data Mining • Business Intelligence • Information Vizualisation • Social Networks


- Transport (Airbus, Thalès, PSA)

- Process (Total, PGS GEOPHYSICAL)

- ICT (lemonlabs, OverBlog, Nomao, Symantec, SMART Kiwi, ARTAL, Lexisnexis , Oracle)

SCIENTIFIC FIELDS • Data, Information & Knowledge Processing


~ 24 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T LE

ASU

RE

- SO

CIA

L -

MIS

C.


http://www.irit.fr/Publications,151?lang=fr

41

GLEIZES Marie-Pierre [email protected]

05 61 55 82 94

CONTACT

We aim at designing complex dynamic systems and self-adaptive systems with emerging functionalities. Our approach is based on self-organising multi-agent systems which prove very effective when considering heterogeneous and large-scale distributed systems in which non-linearities and changes are due to inner and outer dynamics.

Our know-how finds application in AI, robotics, distributed systems, social simulations, local search optimization, user profiling, prediction tools, control of complex systems, decision support, just to name a few.


- Synthesis of agent systems: for problem solving and spatial optimization tasks in various domains

- Self-modelling of real-world phenomena: for hypothesis testing or verification to assist decision making or business intelligence

- Data analysis: agents bring self-organization for discovering correlations in huge amount of data and bringing new points of view

- Methods for extracting and learning behaviors, hidden within heterogeneous data, without any predefined goals to achieve (non-finality)


- neOCampus: Living lab in a University Campus


Adaptative multi-agent systems for multidisciplinary design optimization in aircraft design processes (AIRBUS)

=


=

Decision & negotiation through emotion & crisis =

Autonomic protocol-based coordination in dynamic inter-organizational workflow (SOGETI)

=

Agents for agricultural & water management strategies =

Parameter self-tuning for controlling complex dynamic systems such as car engines (Renault), energy consumption in buildings (BNext Energy), bioprocesses etc.

=

Agents for software architecture and system deployment =

Self-organising multi-agent systems for users’ profiling and behaviours learning in information and ambient systems

=

MULTI-AGENT SYSTEMS



TECHNOLOGY OFFER - GAMA: complex agent based

modeling and simulation tool - AMAS4OPT: generic agent

pattern for optim. problems - AMAS4AT: self-adaptive MAS

for Alert Triggering in maritime surveillance

- ADELFE, MAY: agent-based software builder

- SOCLAB, ID4CS: Integrative Design for Complex Systems

TEAM ASSETS

KEY WORDS • Self-Adaptation

• Self-Organization • Social Networks • Crisis management • Complex Dynamic Systems


- Process modelling (EDF, Thalès, Airbus, IRT)

- Data analysis, behavior simulation and learning (Sopra-Steria, Berger-Levrault, SUNiBRAIN, Telemedicine Tech, ORANGE, CHU Toulouse, Telegrafik)

- Collective Robotics (Sogeti HighTech)

- Energy (EDF, Meteolien)

SCIENTIFIC FIELDS • Reasoning – Decision making

• Dynamical systems, PDE analysis and stochastic modeling

• Optimization tools and Systems control


~ 24 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T LE

ASU

RE

- SO

CIA

L -

MIS

C.

ENER

GY

- EN

VIR

ON

MEN

T




http://www.lpt.ups-tlse.fr/spip.php?rubrique3&lang=

42

KOUAME Denis [email protected]

05 61 55 63 10

CONTACT

Our research focuses on four areas, medical imaging, computer vision, sign language processing and numerical models.

We develop methods and tools for image reconstruction and restoration, fast imaging, motion modeling and estimation, classification, detection and estimation.


- Inverse problem for medical imaging (coll: Creatis Lyon, INSERM, University of Bristol)

- Automatic Sign Languages

- Numerical methods and Parallel Computing • Specific equipment and computational aspects

- Sign Language software


MEDIA HIGHLIGHTS • Journals: La dépêche du Midi,

20 minutes, 2012

IMAGE ANALYSIS



TECHNOLOGY OFFER • PYHRF

TEAM ASSETS

KEY WORDS • Image analysis, computer vision • Medical imaging • Gesture-based communication • Sign language modeling • Ultrasonic imaging • Optical Coherent Tomography

imaging (OCT) • Positron Emission Tomography

scan imaging (PET-Scan)


- Transport (Airbus, Thalès)

- ICT (Alcatel-Lucent, IBM, ASA, Magellium)

- Medical (Pierre Fabre, ISP System)

• Many Academic partners in France and abroad (UK, USA, Espagne,…)

SCIENTIFIC FIELDS • Information Signal and Processing – Signal and Processing

• Medical imaging

• Automatic sign Language

• Image analysis, Numerical Methods

Fetal activity monitoring via Ultrasound Doppler and signal processing

=

High-frequency ultrasonography but not 930-nm optical coherence tomography reliably evaluates melanoma thickness in vivo (PIERRE FABRE)

=

A new respiratory gating device to improve 4D PET/CT (ISP SYSTEM)

=

Asynchronous grid computing for the simulation of the 3D electrophoresis coupled problem (ASA)

=

Movement estimation in medical images frames =

Medical ultrasound imaging ==

Analysis of Fluid-Structure Interaction in collaboration with (Segula)

=

Joint detection-estimation in functional imaging (CNES) =

Parameter estimation for hybrid wavelet-total variation regularization (IBM)

=


~ 12 researchers

SEC

UR

ITY

- D

EFEN

SE

HEA

LTH

- B

IOTE

CH

IN

TER

NET

- M

EDIA

S A

ERO

SPA

CE

- TR

AN

SPO

RT

LEA

SUR

E -

SOC

IAL

- M

ISC

. EN

ERG

Y -

ENV

IRO

NM

ENT



http://www.irit.fr/-Equipe-TCI-?lang=fr

http://www.irit.fr/-Equipe-TCI-?lang=fr

43

ROCHANGE Christine [email protected]

05 61 55 84 25

CONTACT

Safety critical real-time systems are implemented as sets of tasks that must meet deadlines. Real-time task scheduling strategies rely on the knowledge of the worst-case execution time (WCET) of each task. The research activities of the TRACES group aim to design new techniques with which to determine such WCETs and/or to facilitate their computation.


- Strongly established team in the field of Worst Case Execution Time (WCET) computation


- OTAWA: a framework for static WCET analysis


Analysis of the timing predictability of multicore systems (THALES)

=

Identification of scenarios for precise WCET analysis (CONTINENTAL)

=

Timing (WCET) analysis of parallel programs (HONEYWELL) =

A design flow for critical Embedded systems (AIRBUS, ST MICROELECTRONICS)

=

ARCHITECTURE & COMPILATION FOR EMBEDDED SYSTEMS




- OTAWA: a framework for static WCET analysis

- oRange: a tool that computes loop bounds

- Calypso & FrontC: utilitaries

TEAM ASSETS

KEY WORDS • Embedded systems

• WCET • Real-Time Systems • Validation • Critical Systems


- Transport (Honeywell, Thales, Airbus, Continental, Denso, Renault, Astrium)

- Civil En. (Bauer Maschinen)

- ICT (Magillem, Rapita Systems, Freescale, ST Microelectronics, Kalray)


SCIENTIFIC FIELDS • Systems & Networks – Reliable System Development


~ 6 researchers

AER

OSP

AC

E -

TRA

NSP

OR

T T

ELEC

OM

– N

ETW

OR

KS –

IT




http://www.irit.fr/-Equipe-TRACES-?lang=fr

44

LUGA Hervé [email protected]

05 61 55 81 24

CONTACT

Our team gathers research activities in acquisition, treatment , behavior and vizualization of 3D objects. Our research goes from 3D geometry modeling, 3D rendering and their interfaces to artificial life and bio-inspired systems and through visual inference processes image and video as well as visual or interactive applications. A large range of applications and collaborations comes out from our methods and tools.


- HPC uses, CUDA, GPU, OpenGL, Planar Calibration


- CALMIP, OSIRIM


Design and evaluation of a user-centered interface to model scenarios on driving simulators (SOGECLAIR)

=

Implicit decals: Interactive editing of repetitive patterns on surfaces (MICROSOFT)

=

Accept Hydro: a tool for evaluating potential wetland areas at floodplain scale (ACCEPTABLES AVENIR)

=

A level of interaction framework for exploratory learning with characters in virtual environments (INSTINCT MAKER)

=

Automatic hair detection in the wild =

Satellite image compression by post-transforms in the wavelet domain (NOVELTIS)

=

Implicit surfaces for extreme realism in 3D deformations synthesis

=

Collaborative web plateform for 3D edition =

Serious game: protein percolation =

Bioinformatics: efficient algorithms for long structure detection in ADN

=

Biology: simulations and data sciences for personalized medicine and life sciences

=

MEDIA HIGHLIGHTS • Awards: 13 A+ / 11 A ranked

publications, 2 patents

VISUAL OBJECTS FROM REALITY TO EXPRESSION




- Stereophotometry: 3D reconstruction

- Sicasse: observing global change in landscapes

- Elasticity Skinning: realistic 3D characters, faster!

- Devoptim: make your optimization process interactive

TEAM ASSETS

KEY WORDS • 3D visual objects

• 3D geometric modeling • 3D rendering • Bio-inspired systems & artificial

life in 3D environments • Creature generation • Virtual reality • 3D models analysis to solving

inverse problems


- Transport (KTM Advance, Airbus)

- ICT (Microsoft, Fitting Box, Instinct Maker, Sopra Group)

- Process (Acceptables Avenirs, HPC)


SCIENTIFIC FIELDS • Signal and Processing - Information and Knowledge Processing

• Reasoning – Decision making

• Optimization tools and Systems control

• Dynamical Systems PDE analysis and stochastic modeling


~ 22 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

INTE

RN

ET -

MED

IAS

AER

OSP

AC

E -

TRA

NSP

OR

T LE

ASU

RE

- SO

CIA

L -

MIS

C.




http://www.irit.fr/-Equipe-VORTEX-?lang=fr

45

Our research in optimization and sparse linear algebra has led to endorsed numerical methods and tools for parallel computation reknown internationally. Many scientifical challenges and technical limitations have been tackled with our tools in a variety of applicative fields such as process industry, chemical, atomic energy, health, avionics, mecanics, spatial, fluid etc. where optimal parameter computing are key in high dimension and complex linear system solving.

OPTIMIZATION, PARALLEL ALGORITHMS


~ 16 researchers

SEC

UR

ITY

- D

EFEN

SE

ECO

NO

MY

- B

USI

NES

S H

EALT

H -

BIO

TEC

H

AER

OSP

AC

E -

TRA

NSP

OR

T EN

ERG

Y -

ENV

IRO

NM

ENT

TEL

ECO

M –

NET

WO

RK

S -

IT


Data assimilation =

Analysis & Control of Dynamical Systems =

Inverse problem-solving =

Linear-systems solving in finite element simulation =

Industrial optimization =

Optimization algorithms for learning =

Clustering for large scale applications =


TEAM ASSETS • Key technical research skills and formal developments

- Sparse Direct and Iterative Solvers to solve large systems of equations with thousand to a billion of unknowns on HPC computers

- Strong skills in Multicore Processing and High Performance Computing

- CUDA, GPU programming, parallel computing, Shared memory

SCIENTIFIC FIELDS • Modelling from theory to applications: Scientific and High

Performance Computing, PDE Analysis and Stochastic Modeling

• Optimization Tools and Systems Control

• HPC in data mining

AMESTOY Patrick [email protected] 05 34 32 22 07

CONTACT



- Linear Algebra : ABCD, HPDDM, MUMPS, qr_mumps

- Optimal Control : Hampath

KEY WORDS • Linear Algebra

• High-Performance Computing • Optimization • Optimal Control • Data Mining • Data assimilation


- Energy & Process (EDF, EMGS, TOTAL, CEA, AREVA)

- Simulation (SIEMENS, LSTC, ESI Group, FFT)

- Spatial& Avionics (CNES, THALES Avionics, AIRBUS Group)

• Academic:

- France (CERFACS-IRIT Common Lab., Inria, IMT, CNRS, Univ. Bourgogne, ENS Lyon, Univ. Bordeaux, UJF Grenoble, ENAC, IRT, Météo France, LENPC)

- Univ. Coimbra, LBNL, Univ. Strathclyde, RAL, Univ. Namur

http://www.irit.fr/-Equipe-TRACES-?lang=fr

46

This document has been produced in collaboration with

skills map - toulouse-tech-transfer.com

Documents