Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Échographie endovasculaireL'échographie endovasculaire (couramment abrégé en IVUS suivant l'acronyme anglophone « IntraVascular UltraSound ») est une modalité d' par échographie où l'émetteur et le récepteur piézo-électrique est situé à l'extrémité d'une sonde souple à usage unique, introduite dans un vaisseau sanguin par cathétérisme sous contrôle de radioscopie. Le concept en a été développé au début des années 1970 et les premières images obtenues fin des années 1980.
Voie veineuse périphériqueLa (VVP, selon la liste des abréviations en médecine) est un dispositif médical permettant la mise en place d'un cathéter au niveau d'une veine périphérique (membre supérieur, jugulaire, rarement membre inférieur) afin de perfuser des liquides dans la circulation sanguine générale par voie parentérale (médicaments intraveineux ou encore solutés d'hydratation ou de correction de la volémie notamment). Plusieurs types de cathéter pour voie veineuse périphérique sont disponibles et sont répertoriés selon une norme internationale.
Cathéter central inséré par voie périphériquethumb|283x283px|PICC-line Un cathéter central inséré par voie périphérique (en anglais, PICC ou PIC line), est une forme d'accès intraveineux (IV) qui peut être utilisé pendant une période prolongée (par exemple, pour de longs traitement de chimiothérapie, une antibiothérapie prolongée ou une nutrition parentérale totale) ou pour l'administration de substances qui ne devraient pas être administrées par voie périphérique (par exemple, des agents antihypertenseurs).
Automate d'analyses médicalesthumb|Cobas 6000 thumb|Cobas u 411 thumb| Les automates d'analyses médicales permettent de réaliser un certain nombre d'analyses médicales en un temps limité. L'augmentation des demandes de diagnostics biologiques favorise l'apparition d'automates de plus en plus rapides et fiables au sein des laboratoires d'analyses médicales, grâce à l'industrie du diagnostic in vitro.
