HOL-BOOGIE - AN INTERACTIVE PROVER-BACKEND FOR THE VERIFIED C COMPILER 01 février 2010 Sascha Böhme, Michal Moskal, Wolfram Schulte, and Burkhart Wolff. J. Autom. Resoning(JAR),2009.
		NON-CONSERVATIVE EXTENSION OF A PEER IN A P2P INFERENCE SYSTEM 01 décembre 2009 Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009.
> tous les résultats

IOMCA - ANR
   FOUILLE D'ARBRES MONTE CARLO AVEC ONTOLOGIES ET APPLICATIONS

INNOV NATION - SUBVENTION
   UN SERIOUS GAME POUR ENCOURAGER L'INNOVATION OUVERTE ET PARTICIPATIVE

ASAP - ANR
   APPRENTISSAGE STATISTIQUE PAR UNE ARCHITECTURE PROFONDE

ITOC - DIGITEO
   ITOC

PACTOLE - DIGITEO
   PACTOLE

CELL-MPI
Cadriciel MPI pour le processeur CELL

NPI 09 58 890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau

POCC
the Polyhedral Compiler Collection

RUKIA
Random Uniform walK In Automata

Variable Metrics in Evolutionary Computation

Variable Metrics in Evolutionary Computation

Plates-formes d'Observation et Caractérisation des Systèmes de Calcul Volontaires

Plates-formes d'Observation et Caractérisation des Systèmes de Calcul Volontaires