-->

Actualité Sciences BETA

L'actualité scientifique en temps réel

Langue :

Accueil > Actualités > Interstices

Partenaires

Publicités

Interstices

Découvrir la recherche en informatique

Aborder les sciences informatiques sans avoir recours à un ordinateur ? Découvrez comment à travers les activités proposées par Computer Science Unplugged, désormais disponible en français.rn


Aborder les sciences informatiques sans avoir recours à un ordinateur ? Découvrez comment à travers les activités proposées par Computer Science Unplugged.


6 vote(s) :

La vérité et la machine

Publié le mercredi 30 septembre 2009 à 17:30 sur Interstices

Peut-on être sûr de la vérité d'une preuve ? Cette preuve de la preuve, comment l'obtenir en pratique ? Longtemps réservée aux informaticiens et aux logiciens, la vérification formelle de démonstration est utilisée par une fraction grandissante de la communauté mathématique.


6 vote(s) :

Gossple, un outil de recherche personnalisé

Publié le jeudi 17 septembre 2009 à 16:00 sur Interstices

Créer un moteur de recherche adapté aux besoins de chaque internaute, tel est le projet de la chercheuse Anne-Marie Kermarrec et de son équipe. Dans ce dix-huitième épisode du podcast audio, elle nous raconte comment elle imagine Gossple, un projet de moteur de recherche collaboratif pour lequel elle a remporté une bourse européenne.


5 vote(s) :

Odile Macchi, au bonheur des maths

Publié le mardi 15 septembre 2009 à 11:00 sur Interstices

Odile Macchi est une femme de caractère, une mathématicienne renommée en traitement du signal qui a su s’imposer dans un monde masculin et animer cette communauté avec efficacité. rnUne matheuse heureuse, finalement.


12 vote(s) :

Ces surfaces qui nous entourent

Publié le jeudi 30 juillet 2009 à 17:00 sur Interstices

Surfaces, c'est le thème proposé aux étudiants des classes préparatoires aux grandes écoles pour leurs TIPE de l'année 2009-2010. Une occasion pour nous de plancher sur ce sujet.


< Préc 1 ... 2 3 4 5 6 7 8 ... 28 Suiv >

(163 news)