Descripteurs
Documents disponibles dans cette catégorie (3)
Ajouter le résultat dans votre panier Affiner la rechercheUne carte mondiale de la biodiversité in Sciences Ouest, 395 (01/2022)
Titre : Une carte mondiale de la biodiversité Type de document : texte imprimé Auteurs : Salomé Remaud, Auteur Année : 2022 Article : p. 5
in Sciences Ouest > 395 (01/2022)Descripteurs : biodiversité / écologie : science / écosystème terrestre / informatique scientifique / recherche scientifique Résumé : 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 populations. Nature du document : documentaire Exemplaires (1)
Localisation Section Cote Support Code-barres Disponibilité archives Documentaire PER Périodique 054446 Disponible
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)
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 Exemplaires (1)
Localisation Section Cote Support Code-barres Disponibilité archives Documentaire PER Périodique 056607 Disponible
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)
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 Exemplaires (1)
Localisation Section Cote Support Code-barres Disponibilité archives Documentaire PER Périodique 42675 Disponible
