Le projet de recherche ALCOVE (commun à l'INRIA Futurs, au LIFL et à l'IRCICA), composé d'une trentaine de personnes, travaille sur les futurs outils informatiques permettant aux utilisateurs d'avoir des interactions plus naturelles avec les outils et modèles informatiques. Une partie des recherches d'ALCOVE s'oriente sur l'animation de modèles déformables en temps réel. Une application de ces recherches concerne la simulation médicale. Vous découvrirez dans ce film comment différents modèles informatiques sont utilisés pour simuler une opération de la cataracte. Cette opération est un acte chirurgical nécessitant une grande précision donc une certaine expérience dans sa pratique. Le simulateur pédagogique issu des travaux de recherche d'ALCOVE permet de reproduire cette opération avec réalisme afin de s'entraîner au bon geste chirurgical.Génériqueéquipe de recherche ALCOVE INRIA Futurs LIFL IRCICA Scénario Guy Vantomme sous les conseils avisés de Marie-Agnès Enard, Sylvain Karpf, Frédéric Blondel remerciements à Jean-François Rouland, Nicolas Santerre (C H U de Lille) Réalisation Guy Vantomme Tournage, montage, truquage: Damien Deltombe Voix off: François Rechir Production SEMM-USTL Lille1
Mot(s) clés libre(s) : cataracte, chirurgie de la cataracte, cristallin, geste chirurgical, maladie de l'oeil, objet 3D, représentation virtuelle, simulateur pédagogique, simulation chirurgicale

Florent Hivert, enseignant-chercheur en informatique et jongleur amateur présentera, lors de cette conférence de vulgarisation « grand public », la démarche de modélisation à travers des figures traditionnelles de jonglerie. Le modèle ainsi obtenu fait apparaître naturellement une très jolie famille d’automates finis. Ces derniers permettent de classifier et de nommer, par des suites de nombres, l’ensemble des figures de jonglerie possibles dans le cadre du modèle. L’obtention de nouvelles figures, jusqu’ici inconnues des jongleurs, permet alors de démontrer l’efficacité de ce modèle. Le public pourra le constater tant chez un jongleur que sur un simulateur. La seconde partie de la conférence sera dédiée aux comptages des figures périodiques dans le cadre du modèle. Chacune d’entre elles correspond à un élément positif d’un groupe symétrique affine. Il s’ensuit une formule extrêmement simple dont la preuve utilise des ingrédients combinatoires profonds (bijection de Cartier-Foata, descentes des permutations, polynômes euleriens, formule de Worpitsky et inversion de Moebius).
Mot(s) clés libre(s) : combinatoire, worpitsky, polynôme eulerien, permutation, cartier-foata, groupe systémique, figure périodique, jonglerie, automate fini, modélisation, moebius

La conférence est introduite par Nicolas Ayache, DR Inria, qui présente la carrière d'Olivier Faugeras et ses différents travaux de recherche jusqu'à la création de son équipe actuelle, Neuromathcomp, dont l'ambition est de concevoir "des modèles mathématiques et statistiques du fonctionnement du cerveau et de la vision humaine en particulier". L'exposé comporte  3 parties :  Une présentation du projet Amiral, projet européen "Human Brain Project" (HBP) dont les ambitions sont très grandes : mieux comprendre le cerveau en simulant un cerveau humain. Comment traiter les images des cerveaux, collectées dans le cadre de HBP . Investir un domaine émergent : les neurosciences statistiques Conférence donnée dans le cadre de la journée  Colloquium "spécial 30 ans" du centre Inria Sophia Antipolis-Méditerrannée
Mot(s) clés libre(s) : cerveau humain, traitement d'images, mathématiques, neurosciences statistiques, big data, données médicales, médecine numérique

La médecine est une science mais c'est aussi un art, un art de l'action. Mais pour agir, pour exercer cet art, il faut souvent voir le "caché". Cette réalité cachée est souvent très abstraite, mais elle peut être modélisée et représentée. Les nouvelles technologies ont rendu possible ces opérations. Buffon disait que le corps d'un animal possède un "moule", un moule interne, abstrait, qu'il est difficile de voir. C'est à partir de cette notion de "moule" que l'on peut commencer à travailler sur les observables cachés. Ce travail peut s'effectuer à plusieurs niveau : au niveau du gène, de la cellule, de l'organe, de l'individu et de la population. Chaque niveau d'observation apporte un niveau d'informations supplémentaire et permet de comprendre les mécanismes biologiques.
Mot(s) clés libre(s) : expression génétique, information cachée, mécanisme biologique, modélisation, nouvelles technologies, observation, représentation scientififique, simulation de thérapie

Dans cet exposé, à la fois historique et technique, nous expliquerons tout d'abord comment les machines à chiffrer Enigma ont pu être cryptanalysées durant la deuxième guerre mondiale. Nous nous efforcerons ensuite de dégager les grands principes qui sont à l'oeuvre aussi bien dans l'analyse des machines à rotors historiques que dans le chiffrement par blocs moderne.  Dans les deux cas il s'agit de constructions à base de combinaisons (non-commutatives!) de permutations et il existe un certain nombre de stratégies qui permettent de déjouer leur apparente complexité. Nous expliquerons le rôle majeur joué par certaines propriétés et théorèmes clés sur les permutations, qui concernent, notamment, les involutions, les cycles courts et les points fixes.
Mot(s) clés libre(s) : algèbre, histoire, cryptographie, information

Dans cet exposé, à la fois historique et technique, nous expliquerons tout d'abord comment les machines à chiffrer Enigma ont pu être cryptanalysées durant la deuxième guerre mondiale. Nous nous efforcerons ensuite de dégager les grands principes qui sont à l'oeuvre aussi bien dans l'analyse des machines à rotors historiques que dans le chiffrement par blocs moderne.  Dans les deux cas il s'agit de constructions à base de combinaisons (non-commutatives!) de permutations et il existe un certain nombre de stratégies qui permettent de déjouer leur apparente complexité. Nous expliquerons le rôle majeur joué par certaines propriétés et théorèmes clés sur les permutations, qui concernent, notamment, les involutions, les cycles courts et les points fixes.
Mot(s) clés libre(s) : algèbre, histoire, cryptographie, information

Dans cet exposé, à la fois historique et technique, nous expliquerons tout d'abord comment les machines à chiffrer Enigma ont pu être cryptanalysées durant la deuxième guerre mondiale. Nous nous efforcerons ensuite de dégager les grands principes qui sont à l'oeuvre aussi bien dans l'analyse des machines à rotors historiques que dans le chiffrement par blocs moderne.  Dans les deux cas il s'agit de constructions à base de combinaisons (non-commutatives!) de permutations et il existe un certain nombre de stratégies qui permettent de déjouer leur apparente complexité. Nous expliquerons le rôle majeur joué par certaines propriétés et théorèmes clés sur les permutations, qui concernent, notamment, les involutions, les cycles courts et les points fixes.
Mot(s) clés libre(s) : algèbre, histoire, cryptographie, information

Dans cet exposé, à la fois historique et technique, nous expliquerons tout d'abord comment les machines à chiffrer Enigma ont pu être cryptanalysées durant la deuxième guerre mondiale. Nous nous efforcerons ensuite de dégager les grands principes qui sont à l'oeuvre aussi bien dans l'analyse des machines à rotors historiques que dans le chiffrement par blocs moderne.  Dans les deux cas il s'agit de constructions à base de combinaisons (non-commutatives!) de permutations et il existe un certain nombre de stratégies qui permettent de déjouer leur apparente complexité. Nous expliquerons le rôle majeur joué par certaines propriétés et théorèmes clés sur les permutations, qui concernent, notamment, les involutions, les cycles courts et les points fixes.
Mot(s) clés libre(s) : algèbre, histoire, cryptographie, information

Conférence de l'Institut d'Astrophysique de Paris présentée par Gérald Bronner, professeur de Sociologie Université Paris-Diderot (Paris 7) le 1er avril 2014. Pourquoi les mythes du complot envahissent-ils l'esprit de nos contemporains ? Pourquoi se méfie-t-on toujours des hommes de sciences ? Comment, d'une façon générale, des faits imaginaires ou inventés, voire franchement mensongers, arrivent-ils à se diffuser, à emporter l'adhésion des publics, à infléchir les décisions des politiques, en bref, à façonner une partie du monde dans lequel nous vivons ? N'était-il pourtant pas raisonnable d'espérer qu'avec la libre circulation de l'information et l'augmentation du niveau d'étude, les sociétés démocratiques tendraient vers une forme de sagesse collective ? Voici quelques thèmes que la conférence abordera.
Mot(s) clés libre(s) : théorie du complot

Monsieur O. Bouhaddou présente l'architecture permettant l'interopérabilité entre les différents établissements des établissement de la Veteran Administration (VA) et de la DoD (Défense) mettant en oeuvre les mécanismes d'intermédiation sémantique
Mot(s) clés libre(s) : interopérabilité, logiciel, SNOmed, terminologie