Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Mécanique des fluides numériqueLa mécanique des fluides numérique (MFN), plus souvent désignée par le terme anglais computational fluid dynamics (CFD), consiste à étudier les mouvements d'un fluide, ou leurs effets, par la résolution numérique des équations régissant le fluide. En fonction des approximations choisies, qui sont en général le résultat d'un compromis en termes de besoins de représentation physique par rapport aux ressources de calcul ou de modélisation disponibles, les équations résolues peuvent être les équations d'Euler, les équations de Navier-Stokes, etc.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Échographie DopplerL'échographie Doppler est un examen médical échographique en deux dimensions non invasif qui permet d'explorer les flux sanguins intracardiaques et intravasculaires. Elle est basée sur un phénomène physique des ultrasons : l'effet Doppler. Elle est souvent surnommée écho Doppler. L'effet Doppler permet de quantifier les vitesses circulatoires. L'échographie permet de visualiser les structures vasculaires.
Écoulement laminaireEn mécanique des fluides, l'écoulement laminaire est le mode d'écoulement d'un fluide où l'ensemble du fluide s'écoule plus ou moins dans la même direction, sans que les différences locales se contrarient (par opposition au régime turbulent, fait de tourbillons qui se contrarient mutuellement). L'écoulement laminaire est généralement celui qui est recherché lorsqu'on veut faire circuler un fluide dans un tuyau (car il crée moins de pertes de charge), ou faire voler un avion (car il est plus stable, et prévisible par les équations).
Computational economicsComputational Economics is an interdisciplinary research discipline that involves computer science, economics, and management science. This subject encompasses computational modeling of economic systems. Some of these areas are unique, while others established areas of economics by allowing robust data analytics and solutions of problems that would be arduous to research without computers and associated numerical methods.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Hémodynamiquevignette L'hémodynamique (ou « dynamique du sang »), du grec haima, « le sang » et dunamis, dunamikos, « la force », est la science des propriétés physiques de la circulation sanguine en mouvement dans le système cardiovasculaire. Cette discipline couvre des aspects physiologiques et cliniques avec l'angiologie. Le système circulatoire est constitué d'un ensemble moteur de pompes (pompe cardiaque, pompe musculaire veineuse, pompe abdomino-thoracique) et de conduits tubulaires résistants (les vaisseaux sanguins).
Mesure physiqueLa mesure physique est l'action de déterminer la ou les valeurs d'une grandeur (longueur, capacité), par comparaison avec une grandeur constante de même espèce prise comme terme de référence (étalon ou unité). Selon la définition canonique : La mesure physique vise à l'objectivité et à la reproductibilité. La comparaison est numérique ; on exprime une caractéristique bien définie de l'objet par un nombre rationnel multipliant l'unité.
Tomographie par émission monophotoniquevignette|droite|Image dans le plan axial du cerveau obtenue par tomographie d'émission monophotonique utilisant le Tc-99. La tomographie par émission monophotonique, en abrégé TEMP, ou même SPECT (de l'Single photon emission computed tomography), aussi appelée tomoscintigraphie par émission monophotonique, est une technique qui repose sur le principe de la scintigraphie et qui permet d'effectuer des images ainsi que des reconstructions en trois dimensions d'organes et de leur métabolisme à l'aide d'un ensemble de gamma caméras tournant autour du patient.
