# Diagnostic assisté par ordinateur

La nécessité d’utiliser des méthodes numériques pour modéliser les très nombreuses données spatio-temporelles issues des observations médicales et biologiques est apparue au début des années 1970, du fait de l’explosion des outils d’acquisition en signal et image pour [...]

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 [...]

dans un contexte de gestes médico-chirurgicaux assistés par ordinateur (GMCAO). Pour chaque organe d... en fin d'article. L'acronyme GMCAO (Gestes Médico-Chirurgicaux Assistés par Ordinateur) a [...]