Votre recherche
Processus d'altération secondaire dans le système solaire – SAPINS
Deux groupes de chondrites (CM & CV) seront utilisés comme fil conducteur tout au long de ce projet car ils représentent les deux types d'altération principaux qui se sont déroulés lors de l'évolution géologique des asteroids : hydrothermalisme à basse température et métamorphisme assisté par des f
Exploration des planetes géantes extrasolaires – GIPSE
Les planètes géantes jouent un rôle majeur lors de la formation des systèmes planétaires; une bonne connaissance de la population des planètes géantes est donc nécessaire à une compréhension globale de la formation et de l'évolution des systèmes planétaires. Cependant, nous n'avons aujourd'hui qu'un
Recensement de la masse stellaire et des galaxies dans les premiers 2 milliards d'années de l'Univers – SAGACE
L'objectif de l'ANR SAGACE consiste à suivre l'évolution des galaxies sur 2 milliards d'années après le big-bang et observer les galaxies les plus massives lorsque l'Univers n'était âgé que de 500 millions d'années. Nous produisons des analyses statistiques extraites des plus grands échantillons de
Approximation geometrique structurelle pour l'algorithmique – SAGA
L’optimisation combinatoire trouve de nombreuses applications dans les problèmes de gestion de ressources notamment dans les compagnies de transport, dans la production industrielle ou dans la finance et le médical. Deux catégories principales émergent parmi les problèmes d’optimisation : les problè
Géométrie d'Arakelov et géométrie diophantienne – Gardio
Depuis la fin du xix ème siècle, l'analogie entre corps de nombres et corps de fonctions a joué un rôle crucial en géométrie arithmétique. Cette analogie s'est prolongée dans un cadre plus géométrique où les variétés sur un corps de fonctions ont donné naissance aux variétés arithmétiques sur l'ann
Modèles pour une réAlité virtuelle enriChie par rétroaCtion adaptative et Orchestration pour favoriser l’apprentissage de compétences non-techniques en situations critiques – MacCoy Critical
MacCoy Critical vise à étudier et améliorer les dispositifs de formation utilisant la simulation et les environnements virtuels dans la formation continue en médecine (anesthésie ; gynécologie obstétrique) et dans la conduite automobile (jeunes conducteurs au cours des premiers mois de la conduite a
Épistémologie transdisciplinaire des technologies numériques pour la conception d’un nouvel environnement de catégorisation contributive et d’instruments contributifs de recherche, d’enseignement et de diffusion associés – EPISTEME
L’objectif du projet est d’explorer les bouleversements épistémologiques en science en général en partant de l’analyse et la fabrication des instruments scientifiques. Le projet se focalise sur deux expérimentations dans le champ de l’Astrophysique et celui de l’Histoire pour en tirer des enseigneme
Phénomènes de propagation et équations non locales – NONLOCAL
L’objectif de ce projet est de comprendre, dans la plus grande généralité possible, les phénomènes de propagation pour des équations de réaction-diffusion avec dispersion ou diffusion non locales. Des comportements très différents des modèles locaux sont attendus, avec de nouvelles interactions entr
Structures supérieures en Algèbre et Topologie – SAT
La théorie des catégories a montré qu'elle était un outil algébrique efficace pour formuler et pour organiser les résultats dans de nombreux domaines des mathématiques. De même, la notion d'opérade, qui a émergé de l'étude des espaces de lacets itérés au début des années 70, joue maintenant un rôle
Raisonner et Programmer avec des Données Infinies – RAPIDO
Rapido a pour objectif de rassembler de jeunes chercheurs de manière à étudier la possibilité d'appliquer des méthodes issues de la théorie de la démonstration pour raisonner et programmer avec des structures infinies. Le but du projet est, d'un point de vue fondamental : - de développer des sy
