Descripteurs
Documents disponibles dans cette catégorie (7)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Point, en 2011, sur les domaines de la science où s'offrent des perspectives de nouvelles découvertes : cellules souches, graphène (cristal bidimensionnel), imagerie cérébrale, exoplanètes, chimie macromoléculaire, particules élémentaires, astro[...]
Article : texte imprimé
Joanne Macdonald, Auteur ; Darko Stefanovic, Auteur ; Milan Stojanovic | Pour la Science |Point, en 2009, des recherches menées par des biochimistes et informaticiens, sur la combinaison de molécules élémentaires (ADN), basée sur le principe des portes logiques utilisé en informatique, dans le but de transformer les molécules en agen[...]
Article : texte imprimé
Salomé Remaud, Auteur |Des écologues de l'Université de Rennes 1 participent à l'enquête mondiale sur la biodiversité terrestre : le projet Lifeplan . Etude de la différenciation entre site urbanisé et site naturel. Approches bio-informatiques et statistiques des [...]
Article : texte imprimé
Présentation de Gilles Brassard, un informaticien canadien : sa personnalité et sa renommée ; retour sur l'origine des concepts de cryptographie et téléportation quantiques.
Article : texte imprimé
Point, en 2011, par un mathématicien, sur les différents aspects de la démonstration mathématique. Grâce à l'apport de l'informatique, introduction de la notion de preuve interactive (dialogue entre prouveur et vérifieur). Utilisations dans le d[...]
Article : texte imprimé
Point, en 2011, par un mathématicien, sur le rôle des ordinateurs dans la validation de résultats mathématiques : apports et limites de l'informatique comme assistant de preuve pour aider à la formalisation de la démonstration de théorème.
Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]
