Votre recherche
Calculer avec la Sémantique Quantitative – CoQuaS
Le projet porte sur les fondations théoriques des méthodes formelles, notamment celles basées sur l'analyse statique (sémantique, systèmes des types), garantissant la validation et la vérification de logiciels. La sémantique quantitative est l’objet d’une activité de recherche féconde
L’État et les Institutions face à la Sorcellerie dans l'Afrique contemporaine. Violence, justice et droits de l'Homme – EINSA
Dans certaines régions d’Afrique, les « affaires de sorcellerie » et la chaîne de violences qui conduit du soupçon, ou de la rumeur, à l’accusation publique jusqu’au passage à l’acte (meurtre, lynchage), prennent aujourd’hui une dimension alarmante. Loin d’être une dimension exotique ou anachronique
Nouvelles approches de l’ère maoïste (1949-1976): histoire quotidienne et mémoire non-officielle – NAME
En Chine, alors que les générations de témoins directs du Maoïsme atteignent un âge avancé, les archives se sont récemment ouvertes, et en parallèle, des projets d’histoire orale se sont développés de manière significative. Ces initiatives ouvrent un nouveau domaine de recherche, à la fois sur la so
Aux frontières de l'analyse Harmonique – HAB
Le titre du projet est un jeu de mots sur la façon dont on peut comprendre l’analyse harmonique moderne. Il est bien sûr classique en analyse harmonique de définir un bord et de trouver une représentation en intégrant sur le bord. Nous voulons donc étendre le champ de connaissances interne à l’analy
Jean VI Cantacuzène (ca 1295-1383) : Byzance entre Islam et Occident – JEANVI
Le projet JEANVI consiste à publier une traduction française intégrale et annotée des Histoires de l’empereur et moine byzantin Jean VI Cantacuzène (1295/96-1388), une source fondamentale pour la compréhension de l’histoire de l’Europe orientale au XIVe siècle, suivie d'une biographie thématique du
Indexation sémantique de ressources biomédicales francophones – SIFR
La communauté s’est tournée vers les ontologies pour créer des index sémantiques, destinés à améliorer la recherche et la fouille de données grâce aux connaissances médicales que ces ontologies formalisent. Cependant, outre l'existence de nombreuses ressources en anglais, il y a beaucoup moins d'ont
Combinatoire Algébrique en Théorie des Représentations – ACORT
Le but de ce projet est d'étudier et de résoudre certains problèmes récents en théorie des représentations en utilisant à la fois des outils algébriques et des techniques combinatoires. Le projet s'articule autour de jeunes chercheurs de France travaillant sur des aspects différents mais complémenta
Entreprise, Négoce et PRoduction en Europe (XIV-XVIIe siècles). La compagnie SAlviati – ENPRESA
Les archives Salviati sont composées pour l'essentiel de documents d'entreprise: compagnies commerciales actives en Italie et en Europe et sociétés de production industrielle, textiles pour l'essentiel. Leur exploitation permettra de dépasser l'approche essentiellement descriptive et institutionnell
Machines de Mealy, (semi-)groupes d'automate, problèmes de décision et génération aléatoire – MealyM
Ce projet a pour objet les (semi-)groupes d'automate, c'est-à-dire les (semi-)groupes engendrés par des machines de Mealy. Cette possibilité de présentation pour des (semi-)groupes a été jusqu'à maintenant principalement étudiée par des mathématiciens via la théorie géométrique des groupes. Elle n'a
PRIAM (Photobioréacteur à Rayonnement Interne et Agencement Modulaire) Développement d’un photobioréacteur plan à éclairage volumique interne – PRIAM
PRIAM (pour Photobioréacteur à Rayonnement Interner et Agencement Modulaire) concerne le développement d’un système de culture de microorganismes photosynthétiques (microalgues). La conception retenue intègrera les dernières innovations et savoir-faire développés dans le domaine (dont certains ont f
