Votre recherche
Analyse femmes-hommes dans l’appel ANR Flash COVID-19
Téléchargez le rapport « Le genre dans les projets ANR, AAPG 2015-2020 » Téléchargez l’analyse sur l’appel à projets Flash COVID-19 ou consultez celle-ci, ci-dessous Retour sur le Flash COVID – 19 L’appel à projets Flash COVID-19 a la particularité d’avoir été lancé du 6 au 23 mars 2020
Analyse fonctionnelle intégrative de la dynamique mitochondriale dans le muscle sain jeune et âgé et sarcopénique. – MITO-DYNAMICS
Dans le cadre du projet MITO-DYNAMICS, nous cherchons à identifier les processus mitochondriaux et leurs régulateurs qui sont responsables de la fonte musculaire (sarcopénie) au cours du vieillissement et dans des conditions pathologiques. Actuellement, nous manquons d'une compréhension quantitative
Analyse harmonique des semigroupes sur des espaces Lp commutatifs et non-commutatifs – HASCON
se trouvent sur le site web du projet en francais https://lmbp.uca.fr/~kriegler/HASCON/HASCONf.html#x1-40003 Nous avons publié le premier travail sur les espaces de Bochner dans la revue Journal d’Anal. Math. (article accepté). Le deuxième sur la complémentation sur des multiplicateurs radials a
Analyse linguistique des noms de personnes grecs antiques : dictionnaire numérique et imprimé – LGPN-Ling
Le principal objectif du projet est de donner sens aux quelque 35 000 noms différents portés par plus de 350 000 personnes grecques antiques ayant vécu dans l’ensemble du bassin méditerranéen, des débuts de l’époque alphabétique à l’époque byzantine, et connues essentiellement par les inscriptions.
Analyse longitudinale de la délinquance et l’insécurité – LANACI
Le projet LANACI vise à étudier les tendances à long terme de la peur du crime, de la préoccupation pour la sécurité et de la victimation grâce à une enquête longitudinale par panel. La sociologie de la déviance et de l'insécurité a été dominée par l'analyse des données des condamnations judiciaires
Analyse sans paramètre des surfaces discrètes – PARADIS
Le projet porte sur l'estimation de quantités géométriques locales et du premier ordre, telle que la direction du vecteur normal. Plus précisément, l'objectif principal est de trouver un estimateur de vecteurs normaux qui soit (i) efficace à calculer, (ii) sans paramètre et (iii) précis, c'est-à-dir
Analyse statique de logiciels asynchrones de contrôle-commande
Projet THÉSÉE Analyse statique de logiciels asynchrones de contrôle-commande 1) Introduction Le projet se situe dans le contexte de la vérification de logiciel temps réel embarqué critique pour lequel la preuve d'absence d'erreurs à l'exécution, est une étape crutiale. À l'oppo
Analyse statique de logiciels asynchrones de contrôle-commande – THESEE
Projet THÉSÉE Analyse statique de logiciels asynchrones de contrôle-commande 1) Introduction Le projet se situe dans le contexte de la vérification de logiciel temps réel embarqué critique pour lequel la preuve d'absence d'erreurs à l'exécution, est une étape crutiale. À l'opposé des
Analyse statique de logiciels temps-réel asynchrones embarqués – AstréeA
Le projet AstréeA concerne le développement de méthodes d'analyse statique par interprétation abstraite dans le but de vérifier la sûreté de fonctionnement de logiciels embarqués critiques asynchrones de grande taille. La sûreté de fonctionnement des logiciels embarqués critiques, tels que ceux t
Analyse sémantique visuelle et reconstruction 3D sémantisée d’environnements urbains – SEMAPOLIS
Les maquettes numériques de villes ont des applications dans de nombreux domaines : construction et rénovation (avec des enjeux énergétiques sur l’isolation, le solaire, l’éclairage, etc.), trafic et navigation (impact acoustique, GPS, etc.), santé et environnement (diffusion de polluants, microclim
