# Assistance

assistant de preuve... Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire... 'outil est utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve [...]

assistance... -assistance d’Expert Téléportation permettent aux techniciens présents sur site, quand c’est nécessaire... , de disposer d’une assistance en temps réel par un expert qualifié. Expert Téléportation, [...]

Cet article propose  une définition générique des exosquelettes ainsi qu’une vision structurée des recherches sur ces dispositifs, pour permettre au lecteur de comprendre la technologie et les limites de ces dispositifs, leur grande diversité et les nombreuses [...]

Pendant vingt-cinq ans, être visible sur internet a voulu dire une chose : être bien classé sur Google. C’est bien connu, l’internaute ne cherche pas beaucoup...

Fondée en 1992 dans le Grand Ouest, MTI conçoit et fabrique des machines spéciales pour l’industrie, notamment pour les secteurs de la menuiserie bois, aluminium...

Longtemps cantonnée à l’analyse d’images ou à l’aide à la décision, l’intelligence artificielle s’intègre désormais aux chaînes militaires et aux activités de...

Pour vous accompagner et vous fournir une information toujours plus riche, Techniques de l'Ingénieur s'associe au Réseau National des Ecoles Doctorales - Sciences...

Issue d’IFP Energies nouvelles, GreenWITS propose des solutions numériques destinées à optimiser la conception, l’exploitation et le pilotage des parcs éoliens.

En utilisant des modèles d’IA et du machine learning, la start-up Scienta lab entend optimiser la recherche et le développement de nouveaux médicaments destinés...

Dans l’industrie, la robotique traditionnelle est encore largement dominée par des systèmes rigides difficiles à déployer et coûteux. 95% des tâches restent...

Utiliser des notions en « tion » permet de faciliter l’appréhension des aspects intrinsèque et extrinsèque de la complexité d’un système.