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.
Automatisation de testL'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.
Réserve d'orthumb| Mur de lingot d'or, coffre de la Federal Reserve de New-York Une réserve d'or est une quantité d'or conservée par une banque centrale ou une institution financière, dans le but de sécuriser une transaction, un accord de crédit ou de constituer un fonds de garantie. Cet or se présente matériellement sous la forme de lingots de différents poids et de pièces en or. En 2012, les réserves d'or des banques centrales dans le monde sont estimées à , soit environ 20 % du stock d'or estimé de la planète.
Shock mountA shock mount or isolation mount is a mechanical fastener that connects two parts elastically. They are used for shock and vibration isolation. Isolation mounts allow a piece of equipment to be securely mounted to a foundation and/or frame and, at the same time, allow it to float independently from the substrate. Shock mounts can be found in a wide variety of applications. Shock mounts can be used to isolate the foundation or substrate from the dynamics of the mounted equipment.
Programme informatiqueUn programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur. Un programme source est un code écrit par un informaticien dans un langage de programmation. Il peut être compilé vers une forme binaire ou directement interprété. Un programme binaire décrit les instructions à exécuter par un microprocesseur sous forme numérique. Ces instructions définissent un langage machine.
ExternalitéL'externalité caractérise le fait qu'un agent économique crée, par son activité, un effet externe en procurant à autrui, sans contrepartie monétaire, une utilité ou un avantage de façon gratuite, ou au contraire une nuisance, un dommage sans compensation (coût social, coût écosystémique, pertes de ressources pas, peu, difficilement, lentement ou coûteusement renouvelables...).
