Science Infos

24 mai 2007

Preuves formelles, preuves calculatoires

Si elle est complètement détaillée, une preuve se ramène à l'utilisation de règles logiques, dont la correction est précisément définie de manière syntaxique : c'est là une des caractéristiques du raisonnement mathématique. Réussir cette opération en...

Posté par ScienceInfos à 12:29 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

24 mai 2007

Les machines à voter électroniques en débat...

Plus d’un million d’électeurs utiliseront des ordinateurs de vote en France en 2007. Ces machines, qui enregistrent les votes des électeurs pendant le scrutin puis les additionnent lors du dépouillement, sont introduites dans les bureaux de vote dans...

Posté par ScienceInfos à 00:49 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

24 mai 2007

les splendeurs révélées de la civilisation Sicán

Dans la forêt de Pómac, au nord-ouest du Pérou, les scientifiques ont exhumé un véritable trésor archéologique. Plus de vingt tombes intactes ayant appartenu à des seigneurs du royaume de Sicán, une civilisation fastueuse de l'Amérique précolombienne....

Posté par ScienceInfos à 00:41 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

24 mai 2007

LHC : la contribution française à la construction du plus grand accélérateur de particules au monde s'achève

Le dernier aimant quadripolaire a été descendu dans le tunnel du plus grand accélérateur de particules au monde, le grand collisionneur de hadrons (LHC, Large Hadron Collider) du CERN. Cet aimant fait partie d’une série de 392 unités qui garantiront la...

Posté par ScienceInfos à 00:34 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

24 mai 2007

40 ans de recherche à l'Inria

Créer l'Inria fut une aventure inoubliable et exaltante. Depuis le général de Gaulle, soucieux de préserver l'indépendance nationale jusqu'à nos instances actuelles, à chaque fois la place de la recherche française en informatique souleva des questions...

Posté par ScienceInfos à 00:23 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

24 mai 2007

La dynamique du champ magnétique terrestre reproduite en laboratoire

La Terre a subi au cours des âges géologiques plusieurs renversements erratiques de son champ magnétique. Celui du soleil se renverse quant à lui périodiquement selon son cycle d’activité de 22 ans. Ces dynamiques magnétiques, encore assez mystérieuses,...

Posté par ScienceInfos à 00:17 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

23 mai 2007

Traitement et prévention du SIDA : quelles nouvelles pistes ?

A l'occasion de la quatrième conférence francophone sur le VIH/sida qui s'est tenue fin mars à la Cité des sciences et de l'industrie à Paris, un tour de piste des nouvelles approches thérapeutiques et de prévention développées actuellement pour lutter...

Posté par ScienceInfos à 23:53 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

23 mai 2007

Chiralité et repliement des protéines

L’absence de symétrie est l’une des grandes caractéristiques et l’un des grands mystères du monde vivant : de nombreuses molécules chimiques ou biologiques existent sous deux formes, droite ou gauche. Ces deux formes ne sont pas superposables mais sont...

Posté par ScienceInfos à 23:45 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

23 mai 2007

SOHO observe un signal attribué à la dynamique du cœur du Soleil

Une équipe d'astrophysiciens européens, comprenant la participation de chercheurs du CEA et du CNRS, a détecté un signal qui, associé à la connaissance théorique de notre étoile, révèle un cœur nucléaire tournant plus rapidement que le reste de l’étoile....

Posté par ScienceInfos à 23:39 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote

23 mai 2007

De la matière cachée dans les débris de collision de galaxies

En observant et en simulant sur ordinateur les débris d’une collision de deux galaxies, une équipe internationale menée par des astrophysiciens du laboratoire AIM* (CEA/DSM, CNRS, Université Paris Diderot), avec la participation de chercheurs du LAM**...

Posté par ScienceInfos à 23:05 - Commentaires […] - Permalien [#]

Partager cet article

Vous aimez ?

0 vote