Une carte mondiale de la biodiversité / Salomé Remaud in Sciences Ouest, 395 (janvier 2022)

[article]  inSciences Ouest > 395 (janvier 2022) Titre : Une carte mondiale de la biodiversité Type de document : texte imprimé Auteurs : Salomé Remaud, Auteur Année : 2022 Article : p. 5 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 [article]  Une carte mondiale de la biodiversité de Salomé Remaud In Sciences Ouest, 395 (janvier 2022), p. 5 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.

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

[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 Année : 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 ? de Agnès Vernet, Hervé Chneiweiss, Marie-Laure Théodule In Sciences & avenir. Hors série, 215 (10/2023), p.75-77 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.

Réservation

Réserver ce document

Exemplaires(1)

Cote	Section	Localisation	Code-barres	Disponibilité
ARCHIVES	documentaire	CDI	025507	Disponible

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

[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. 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 de Philippe Pajot In Sciences & avenir. Hors série, 176 (10/2013), p.22-23 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.

Réservation

Réserver ce document

Exemplaires(1)

Cote	Section	Localisation	Code-barres	Disponibilité
ARCHIVES	documentaire	CDI	015749	Disponible