Transaction logicTransaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory. Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics.
Isolement basthumb|Fondation antisimique découplée par isolement bas : appui sur galets caoutchouc en tête de fondation, Municipal Office Building, Glendale. Génie parasismique L’isolement bas est une technique de construction parasismique efficace et peu coûteuse. Son but est de découpler les superstructures des bâtiments de leur partie basse afin de résister aux séismes sans avoir besoin d'une structure extrêmement résistante et dispendieuse.
Robust measures of scaleIn statistics, robust measures of scale are methods that quantify the statistical dispersion in a sample of numerical data while resisting outliers. The most common such robust statistics are the interquartile range (IQR) and the median absolute deviation (MAD). These are contrasted with conventional or non-robust measures of scale, such as sample standard deviation, which are greatly influenced by outliers.
Étalon-argentUn étalon-argent est un système monétaire reposant uniquement sur un poids d'argent métal fixe, dans le cadre d'un monométallisme qui exclue toute autre référence. Tout au long de l'histoire monétaire et commerciale, cet étalon entre en concurrence avec d'autres, comme l'étalon-or, en fonction des masses de métal plus ou moins abondantes. Un système alliant plusieurs étalons fut également en pratique, à travers un bimétallisme.
Test (informatique)vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.
