Descripteurs
Documents disponibles dans ce descripteur (5)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesEtendre la recherche sur niveau(x) vers le bas
Article : texte imprimé
The Economist, Auteur |Présentation de travaux de chercheurs en informatique du MIT aux Etats-Unis qui développent un test basé sur un algorithme pour faciliter la détection des troubles du langage, comme la dyslexie, chez les jeunes enfants.
Article : texte imprimé
Jean-Paul Delahaye, Auteur |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é
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é
Jean-Paul Delahaye, Auteur |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é
L'ordinateur organique : similitudes entre informatique et biologie, limites du matériel informatique, le projet Brainoware et l'intégration d'un organoïde cérébral, la question de la transmission des données, résultats de l'expérimentation, con[...]
