Projets financés

L’objectif de CO2Dim soulève différents verrous scientifiques. Le premier concerne la proposition d’un modèle de programmation distribuée extensible qui peut gérer des millions de nœuds distribués. Ce verrou a été levé avec un environnement logiciel dont le langage, le compilateur et la machine virt

L'objectif des grands projets de numérisation est de rendre le patrimoine culturel accessible en ligne dans le monde entier. Ces documents historiques doivent être transcrits dans un texte éditable afin de permettre aux chercheurs et aux experts de les éditer, traduire, rechercher et parcourir leurs

Comme le web est de plus en plus présent dans nos vies, il y a un besoin croissant de pouvoir accéder aux différentes connaissances et données distribuées sur la toile. Les technologies du web sémantique permettent d'étendre le Web en permettant de publier de données structurées et interconnectées a

L'objectif du projet PACE est de développer des concepts jouant un rôle central en théorie de la concurrence, afin de les adapter à des modèles divers de systèmes interagissants, allant au-delà des processus concurrents traditionnels (ou «standard«). Plus précisément, nous nous intéressons aux calc