Jump to navigation
L'analyse statique de programme a pour but de prouver automatiquement qu'un programme vérifie certaines propriétés.
Nombreux sont les projets de recherche à la croisée entre science et musique.
La « grande Amazonie » couvre 7,5 millions de km² dont 4 millions de forêt et contient environ 13% de la biodiversité mondiale dont une grande part encore méconnue.
Identifier les techniques et les matériaux utilisés jadis par les artistes ; comprendre la fabrication, l’utilisation et les mécanismes d’altération et de destruction des outils ; développer des te
Les mouvements collectifs coordonnés d’un très grand nombre d’individus sont observés dans des systèmes aussi divers que les bancs de poissons, les nuées d’oiseaux, les colonies bactériennes et mêm
Dépolluer les sols miniers grâce à l’utilisation des plantes ; mieux maîtriser et gérer les ressources en sol, eau, bois, métaux, matériaux de construction et en matières premières énergétiques ; i
De grandes personnalités du monde de la recherche, du monde politique et économique viennent répondre aux questions du public sur leurs parcours, leurs visions de la recherche, leurs passions et le