Descripteurs
Documents disponibles dans cette catégorie (10)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
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é
Le point, en 2008, sur des énigmes arithmétiques non résolues, (notamment les suites palindromiques), étudiées avec l'aide de l'ordinateur par des mathématiciens.![]()
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é
Le point, en 2008, sur les avantages qu'apporteront les ordinateurs quantiques, grâce à leurs nouvelles possibilités de calcul, pour la résolution de certains problèmes : exemples ; tâches pour lesquelles l'ordinateur actuel restera performant. [...]![]()
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é
Présentation de la définition, des enjeux, du principe et des principales étapes du pipeline bio-informatique, opération qui permet de diagnostiquer une maladie d'origine génétique grâce au séquençage à haut débit et l'analyse de l'ADN par une s[...]![]()
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[...]