Votre recherche
Vérification de systèmes distribués paramétrés
L'objectif du projet PARDI est la vérification formelle et assistée de systèmes distribués paramétrés. Une spécification de système paramétré est en fait la spécification d'une large classe de système
Vivre en hauteur dans la ville intégrative
Vivre ensemble en hauteur dans la métropole mondialisée
Visualization de l'amylin avec des sondes métalliques pour une imagerie du diabète
Les dépôts amyloïdes formés par l’amyline dans les îlots pancréatiques sont une caractéristique pathologique commune trouvée chez 90% des patients atteints de diabètes de type 2 (DT2). La visualisatio
Vignes et vins en France du Néolithique au Moyen Age. Approche intégrée en archéosciences
VINICULTURE vise à intégrer des méthodes innovantes en archéosciences, afin d'identifier les caractéristiques et la diversité des vignes et vins produits et consommés en France de la Préhistoire au Mo
Vers une économie plus verte : politiques environnementales et adaptation sociétale
Ce projet collectif se propose d’analyser le processus de transition vers une économie plus verte en posant la question de l’impact du changement environnemental sur nos sociétés et de leurs réactions
Vers une théorie intégrée de langage et cerveau
Malgré des connaissances relativement détaillées sur les représentations et les processus sous-tendant le langage dans le cerveau, deux traditions de recherche ont prédominé : 1) la recherche sur le l
Vers une théorie biologique et non optimale du choix : identification de contraintes de codage neural sur la prise de décision dans le cerveau humain
Décider, depuis des jugements perceptifs simples jusqu'à des orientations socio-économiques multidimensionnelles complexes, requiert bien souvent de combiner plusieurs sources d’information ambiguë ou
Vers une nouvelle conception des constructions modales en anglais : des paradigmes basés sur des traits distinctifs à la représentation probabliliste basée sur l’usage. – REM
Un des traits fondamentaux du langage est que les locuteurs peuvent verbaliser des situations qui ne sont pas factuelles mais qui devraient ou pourraient être le cas. L'expression des situations non f
