# Indicateur

Cet article définit le concept du « juste à temps ». Il décrit aussi les divers outils et approches utiles pour sa mise en œuvre, dans le cadre ou non, d’une démarche « qualité totale ». Les problèmes de mesures de performances sont aussi abordés.

Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire des démonstrations de façon semi-automatique, tout en garantissant la correction de ces démonstrations. Ce type d'outil est utile à la vérification de logiciel critique. Cet article [...]

Au-delà des incertitudes sur les causes, le réchauffement climatique est une certitude. L'élévation de la température moyenne des océans ne laisse aucune ambiguïté sur l'ampleur des modifications à attendre sur le cycle hydrologique. Toutefois , les résultats du couplage [...]

Technologie transversale par excellence, la fabrication additive s’impose progressivement comme un outil stratégique pour plusieurs industries clés : aéronautique,...

Avec Vera Rubin, le géant de la Silicon Valley ne se contente pas d'une mise à jour technique. Il prépare un saut générationnel destiné à soutenir l'émergence...

En lançant AMI Labs, Yann LeCun donne une forme industrielle à une orientation défendue depuis plusieurs mois dans le débat sur l’intelligence artificielle....

L’hypothèse d’une commande chinoise massive pour Boeing remet le marché aéronautique au centre des relations entre Washington et Pékin. Le dossier reste toutefois...