Laboratoire I3S

1
Laboratoire I3S

• Bâtiment les Algorithmes
• Bâtiment ESSI

2
I3SInformatique, Signaux et Systèmes de Sophia

• Laboratoire commun http//www.i3s.unice.fr
• CNRS
• Université de Nice Sophia Antipolis
• Des équipes communes avec lINRIA Sophia
  Antipolis
• Directeur P. Bernhard
• Directeurs adjoints J-P. Partouche, L. Pronzato
• Relations industrielles J-C. Lafon, A. de
  Fombelle
• Relations extérieures L. Blanc-Féraud, M-A.
  Péraldi-Frati
• 114 permanents
• 13 CR ou DR du CNRS
• 7 CR ou DR de lINRIA
• 81 MC ou P de lUniversité
• IUT (dept GEII, GTR, Informatique)
• Département informatique et électronique,
  automatique
• École dingénieur (ESSI, ESINSA)
• 75 doctorants
• Eléments bugétaires

3
Organisation

• Equipes de recherche focalisées
• Regroupées en 5 thèmes
• ACA - algorithmique, combinatoire et applications
• ALM - architectures logicielles et matérielles
• IMAGES - images numériques et vidéos
• STL - sciences et techniques du logiciel
• SIROCCO - signal robotique, communication
  contrôle et optimisation

4
Partenariats

• Locaux, nationaux, européens,
• Académiques et industriels
• Contrats détude
• Participations à des consortium
• Nationaux réseaux nationaux (RNTL, RNRT, RIAM)
• Européens

5
Partenariats régionaux
6
Partenariats nationaux
7
Autres partenariats
8
ACAAlgorithmique, combinatoire et applications

• Contraintes - M. Rueher
• Commun avec INRIA projet Coprin
• Résolution de systèmes de contraintes sur les
  domaines continus
• Contraintes symboliques pour les preuves de
  contraintes dintégrité dans les bases de données
• Mascotte - J-C Bermond
• Commun avec INRIA
• Algorithmique pour les télécommunications
• Optimisation combinatoire
• Récif - J. Bond
• Langages formels
• Mathématiques discrètes

9
ALMArchitecture logicielles et matérielles

• Mosarts
• M. Auguin
• Conception mixte logicielle/matérielle
• Sports
• C. André
• Modèles de programmation synchrones
• Formalismes graphiques
• UML et temps réels

10
IMAGESImages numériques et vidéos

• Ariana
• J. Zérubia
• Projet commun
• Problèmes inverses en traitement dimages
• Observation de la terre et cartographie
• Créative
• M. Barlaud
• Compression numérique des images et vidéos
• Décodage dimages
• Segmentation dimage

11
STLSciences et techniques du logiciel

• EP - E. Gallesio
• Environnement graphique pour langages applicatifs
  (bigloo et sdk)
• Langages - O. Lecarme
• Compilation et analyse syntaxique
• Génération de code et systèmes de ré-écriture
• Mainline - P. Sander
• Applications multimédia et enseignement à
  distance
• Personnalisation de contenus
• Publications interactives

12
STLSciences et techniques du logiciel

• Mecosi - J-L Cavarero
• Data-mining et systèmes dinformation hétérogène
• Oasis - I. Attali
• Projet commun
• Programmation objets réparties
• Sémantiques et environnements, XML
• Analyse de programmes et sécurité
• OCL - R. Rousseau
• Spécification et validation des assertions
  exécutables
• Rainbow - M. Riveill
• Programmation par composants adaptables
• Applications collaboratives avec usagers nomades

13
SIROCCOSignal robotique, communication contrôle
et optimisation

• Astre - P. Comon
• Traitement du signal et filtrage non linéaire
• Identification de canaux
• Biomed - H. Rix
• Traitement du signal et analyse
  temps-fréquence/temps-échelle
• Signaux biomédicaux
• OIC - P. Collard
• Optimisation (convergence dalgorithme)
• Estimation derreur
• Contrôle, Commande non-linéaire
• SAM - J. Rendas
• Systèmes de navigation et de perception pour
  robots mobiles
• Acquisitions dinformation et planifications de
  trajectoire
• Commandes sous incertitudes