140 likes | 315 Views
Laboratoire I3S. Bâtiment les Algorithmes Bâtiment ESSI. I3S Informatique, Signaux et Systèmes de Sophia. Laboratoire commun : http://www.i3s.unice.fr CNRS Université de Nice – Sophia Antipolis Des équipes communes avec l’INRIA Sophia Antipolis Directeur P. Bernhard
E N D
Laboratoire I3S Bâtiment les Algorithmes Bâtiment ESSI
I3SInformatique, Signaux et Systèmes de Sophia • Laboratoire commun : http://www.i3s.unice.fr • CNRS • Université de Nice – Sophia Antipolis • Des équipes communes avec l’INRIA 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 l’INRIA • 81 MC ou P de l’Université • IUT (dept GEII, GTR, Informatique) • Département informatique et électronique, automatique • École d’ingénieur (ESSI, ESINSA) • 75 doctorants • Eléments bugétaires • Dotation des tutelles (hors salaires) : 370 Keuros • Contrats de recherche : 2.200 Keuros
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
Locaux, nationaux, européens, … Académiques et industriels Contrats d’étude Participations à des consortium Nationaux : réseaux nationaux (RNTL, RNRT, RIAM) Européens Partenariats
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 d’inté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
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
IMAGESImages numériques et vidéos • Ariana • J. Zérubia • Projet commun • Problèmes inverses en traitement d’images • Observation de la terre et cartographie • Créative • M. Barlaud • Compression numérique des images et vidéos • Décodage d’images • Segmentation d’image
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
STLSciences et techniques du logiciel • Mecosi - J-L Cavarero • Data-mining et systèmes d’information 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
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 d’algorithme) • Estimation d’erreur • Contrôle, Commande non-linéaire • SAM - J. Rendas • Systèmes de navigation et de perception pour robots mobiles • Acquisitions d’information et planifications de trajectoire • Commandes sous incertitudes