Projets financés
Remodularisation de logiciel à objets dirigée par la qualité – Cutter
Les systèmes logiciels, et en particulier les systèmes orientés objets, sont des modèles du monde réel dont ils manipulent des représentations. Ces systèmes souffrent cependant de deux problèmes importants : tout d’abord le monde change perpétuellement ce qui impose de réviser régulièrement le modèl
Langages, concepts de temps et modèles hybrides pour l'analyse de modèles incomplets en biologie moléculaire – BioTempo
La biologie des systèmes s’est fortement développée ces dernières années et arrive maintenant à carrefour: elle est constituée de deux sous-domaines indépendant. La biologie intégrative formalise et annote des données reliées à des interactions cellulaires, et en extrait un signal par des méthodes
Intégration des connaissances pour la convolution discrète, la segmentation et la reconstruction d'informations dans les images digitales – KIDICO
En traitement d'images, la solution de tout problème requiert l'utilisation de connaissances concernant le dispositif d'acquisition et le domaine de l'image. Nos recherches portent sur le développement des approches en traitement et segmentation d'images fondées sur la géométrie discrète, la top
Méthodes Algorithmiques de Génération aléatoire Non Uniforme, Modèles et applications. – MAGNUM
Le thème central du projet MAGNUM est l'élaboration de modèles discrets complexes, ayant des applications dans plusieurs branches de l'informatique. Une des principales motivations du développement de tels modèles est la conception et l'analyse d'algorithmes efficaces dédiés à la simulation de grand
Dilemme du Fabricant de Tables – TaMaDi
En arithmétique virgule flottante (VF), avoir des opérations complètement spécifiées est une exigence-clé, si on veut développer du logiciel portable au comportement prévisible. Depuis 1985, les quatre opérations arithmétiques sont spécifiées (elles doivent être correctement arrondies: le système do
Frontières de la reconnaissabilité – FREC
Traiter, par des moyens finis, des données prises dans un ensemble infini est l’un des défis auxquels l’informatique est confrontée. Le concept central qu’elle a fait émerger pour y répondre est la notion algébrique de reconnaissabilité, qui jouit en effet de propriétés algorithmiques et de clôture
Réduction, validation expérimentale et contrôle de modèles de la machinerie d'expression génique chez E. coli – GeMCo
GeMCo est un projet de recherche multidisciplinaire, qui s'attache à étudier et comprendre, puis contrôler, les structures de bases et les modules du traitement de l'information au niveau intracellulaire. Dans le cadre de l'étude de l'adaptation et de la régulation de la cellule par rapport à un no
Filtrage par cohérences locales fortes pour les réseaux de fonctions de coûts et autres modèles graphiques – FICOLOFO
En améliorant les algorithmes, en permettant l'expression et le traitement de fonctions de coûts globales, en permettant leur expression dans un langage plus évolué, le projet essaie d'apporter une réponse à des problèmes d'optimisation combinatoires non-linéaires variés et difficiles. Les réponses
Logique et géometrie de l'interaction – LOGOI
Le projet LOGOI se situe à l'interface entre la logique mathématique et l'informatique. Le rôle de la théorie de la démonstration dans les fondements théoriques des langages de programmation est indéniable, de même que son utilisé pour développer des outils mathématiques d'analyse des programmes. En
Locativité et Interaction en Logique, Linguistique et Informatique – LOCI
Approfondir et expérimenter le cadre formel suggéré par la ludique (élaboré initialement par Jean-Yves Girard aux fins de reconstruire la logique sur une base interactionnelle) en le mettant à l’épreuve de plusieurs terrains d’observations, notamment l’analyse du langage (basée sur la prééminence de
Classification Dans un Très Grand Nombre de Catégories – Class-Y
L’apprentissage statistique s’est imposé en quelques années comme une technologie clé pour le traitement et l’analyse des grandes masses de données, qu’elles proviennent de bases d’entreprises ou de données diffusées sur le web. Parallèlement, la croissance des données, leur complexification, la mul
Polynomialité pour la Compréhension et l’Extension des Limites des Solveurs Performants – TUPLES
Ce projet a pour ambition de repousser significativement les limites actuellement observées au niveau de l’efficacité pratique des systèmes de résolution (appelés « solveurs ») tout en fournissant les outils théoriques nécessaires à cet objectif. Nous envisageons d’aborder cette question par le biai
Codage de l'information a differentes echelles de temps pour la cognition spatiale – NEUROBOT
L’organisation, la planification et la flexibilité du comportement dépendent du traitement d’informations temporelles. Ce projet a étudié comment le cerveau représente des évènements et des séquences d’évènements passés et futurs. Ceci permet de fonder la prise de décision sur le rappel des évènemen
Modèle pour l'Apprentissage du Comportement Sensorimoteur d'iCub – MACSi
Le projet est fondé sur quatre défis complémentaires : Comment un robot peut-il apprendre des représentations perceptives efficaces de son corps et des objets externes sur la seule base de capacités perceptives de bas niveau ? Comment un robot peut-il apprendre des représentations motrices et
Apprentissage et raisonnement pour la décision optimale selon des informations numériques et symboliques – LARDONS
Les objectifs du projet sont de nature fondamentale. Il s'agit de fournir de méthodes faisant le pont entre des lignées de travaux qui ont considéré, pour les uns, les aspects probabilistes des problèmes de décision, et pour les autres les aspects symboliques. Les enjeux de tels méthodes se retrouv
Aide à la planification Chirurgicale en Stimulation Cérébrale profonde fondée sur l’utilisation de modèles – ACouStiC
Pour qui est atteint d'une maladie neurologique très invalidante comme les cas les plus sévères de Parkinson, la stimulation cérébrale profonde (SCP) est l'espoir de retrouver une vie presque normale. Elle consiste à implanter dans le cerveau des électrodes qui stimulent en continu certaines structu
Les CRDT pour la cohérence sans contrôle de concurrence dans les nuages et les systèmes pair-à-pair – ConcoRDanT
Les systèmes informatiques massifs et leurs applications souffrent d'une tension fondamentale entre le besoin de passer à l'échelle et celui de la cohérence des données. La cohérence repose sur la synchronisation, qui ne passe pas à l'échelle. Éviter la synchronisation requiert des programmeurs ha
Nouvelles Tendances dans les Matroides : Polytopes des bases, Structures, Algorithmes et Interactions – TEOMATRO
La théorie des matroïdes est un sujet qui regroupe plusieurs domaines de recherche et qui permet d'expliquer et de découvrir des propriétés communes à ces domaines. L'étude de problèmes dans ce cadre plus général donne des nouveaux points de vue aux différents problèmes. La structure des matroïde
Analyse des formes humaines et de leurs mouvements – Morpho
Le projet Morpho a pour objectif de développer de nouvelles technologies pour la mesure et l'analyse du mouvement humain à partir de données visuelles. Les récentes avancées en vision par ordinateur permettent de capturer les déformations de surfaces évoluant dans le temps. Dans ce projet, nous prop