Grâce aux techniques de séquençage de l’ADN, nous avons aujourd’hui les moyens technologiques de connaitre le génome des organismes vivants, le plancton des océans y compris. Mais est-ce si simple ? Comment extraire de l’information biologique de gigantesques masses de données contenant des fragments des génomes des organismes vivants dans les océans ? Comment développer un outil informatique pertinent mais assez simple et rapide pour venir à bout de plusieurs téraoctets de données brutes ? Faisons le point sur un projet algorithmique qui a vu le jour grâce aux données générées par l’expédition Tara Ocean.
Mot(s) clés libre(s) : séquençage ADN, bioinformatique, extraction information, génome, algorithme

J’analyserai la naissance des notions de "vérité" et de "réalité (objective)", notions qui nous semblent aller de soi, mais sont en réalité apparues à un moment précis de l'histoire de notre culture occidentale et sont totalement absentes du bagage conceptuel de certaines autres et de la culture chinoise traditionnelle en particulier. Les moments de leur émergence sont datés et relativement récents, mieux, leur apparition a donné lieu à des débats houleux et bien documentés entre partisans et adversaires de thèses antagonistes. La vérité est née dans la Grèce du IVe siècle avant Jésus-Christ, la réalité (objective), au XVIe siècle. L'une découle de l'autre : à partir du moment où s'est imposée l'idée d'une vérité, dire la vérité revenait à décrire la réalité telle qu'elle est.Paul Jorion
Mot(s) clés libre(s) : symétrie, sciences, syllogisme, sophisme, pensée primitive, rhétorique, analogie, Aristote, anthropologie, vérité, anti-symétrie

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

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

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

Martin Karplus revient sur ce prix Nobel attendu par ses pairs depuis près de 30 ans (mais sur lequel lui-même ne comptait plus) ; sur ce que cela change pour lui et ses collaborateurs, et ce qu’il ne veut surtout pas voir changer ! Il souligne à quel point ce prix Nobel est la consécration d’un champ disciplinaire pas toujours reconnu ; l’importance des simulations numériques dans la recherche et la force des résultats qu’elles peuvent amener. Il revient également sur les choix de vie et de carrière qui l’ont mené à Strasbourg et donne sa vision de la recherche française et américaine.  
Mot(s) clés libre(s) : simulations numériques, modélisation moléculaire en chimie

Quelques problèmes ouverts dans les systèmes cyber-physiques critiques.
Mot(s) clés libre(s) : autonomie, véhicule terrestre, automatisation