Aller au contenu | Aller au menu

Actualité Sciences BETA

L'actualité scientifique en temps réel

Langue :

• 
• 

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

0 commentaire | 4 votes | Lire l'article

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

0 commentaire | 0 vote | Lire l'article

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.

0 commentaire | 6 votes | Lire l'article

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.

0 commentaire | 6 votes | Lire l'article

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.

0 commentaire | 5 votes | Lire l'article

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.

0 commentaire | 12 votes | Lire l'article

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

(163 news)

Accueil | Retour en haut | Nous contacter

© 2008 Actualité Sciences | Version 1.1.4 | 0.709 secs