Des neurones dans votre ordinateur ? / Agnès Vernet / Sciences et avenir (2023) in Sciences & avenir. Hors série, 215 (10/2023)

Public ISBD Aucun avis sur cette notice. [article]  inSciences & avenir. Hors série > 215 (10/2023) Titre : Des neurones dans votre ordinateur ? Type de document : texte imprimé Auteurs : Agnès Vernet ; Hervé Chneiweiss ; Marie-Laure Théodule Editeur : Sciences et avenir, 2023 Article : p.75-77 Langues : Français (fre) Descripteurs : biotechnologie / informatique scientifique / recherche scientifique Résumé : Le point sur les recherches sur l'informatique organique : le principe ; un bref rappel sur le développement des organoïdes ; les capacités attendues ; la question éthique. Encadré : interview d'un spécialiste sur le statut des organoïdes et sur la biologie de synthèse. Nature du document : documentaire Genre : Article de périodique [article] Des neurones dans votre ordinateur ? [texte imprimé] / Agnès Vernet ; Hervé Chneiweiss ; Marie-Laure Théodule . - Sciences et avenir, 2023 . - p.75-77. Langues : Français (fre) in Sciences & avenir. Hors série > 215 (10/2023) Descripteurs : biotechnologie / informatique scientifique / recherche scientifique Résumé : Le point sur les recherches sur l'informatique organique : le principe ; un bref rappel sur le développement des organoïdes ; les capacités attendues ; la question éthique. Encadré : interview d'un spécialiste sur le statut des organoïdes et sur la biologie de synthèse. Nature du document : documentaire Genre : Article de périodique

Théorème : l'ordinateur fait ses preuves / Philippe Pajot / Sciences et avenir (2013) in Sciences & avenir. Hors série, 176 (10/2013)

Public ISBD Aucun avis sur cette notice. [article]  inSciences & avenir. Hors série > 176 (10/2013) Titre : Théorème : l'ordinateur fait ses preuves Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Sciences et avenir, 2013 Article : p.22-23 Note générale : Webographie. Langues : Français (fre) Descripteurs : démonstration mathématique / informatique scientifique Mots-clés : loi et principe scientifique Résumé : 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'efficacité des assistants de preuve. Nature du document : documentaire Genre : Article de périodique [article] Théorème : l'ordinateur fait ses preuves [texte imprimé] / Philippe Pajot, Auteur . - Sciences et avenir, 2013 . - p.22-23. Webographie. Langues : Français (fre) in Sciences & avenir. Hors série > 176 (10/2013) Descripteurs : démonstration mathématique / informatique scientifique Mots-clés : loi et principe scientifique Résumé : 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'efficacité des assistants de preuve. Nature du document : documentaire Genre : Article de périodique