Convention sur l'interdiction des armes chimiquesLa Convention sur l'interdiction des armes chimiques (CIAC), officiellement Convention sur l'interdiction de la mise au point, de la fabrication, du stockage et de l'usage des armes chimiques et sur leur destruction, est un traité international de désarmement qui interdit la mise au point, la fabrication, le stockage et l'usage des armes chimiques. La Convention a été signée le à Paris et est entrée en vigueur le .
Énergie cinétiqueEn physique, l' est l’énergie que possède un corps du fait de son mouvement dans un référentiel donné. L'énergie cinétique n'est pas un invariant galiléen, c'est-à-dire que sa valeur dépend du référentiel choisi. Son unité est le joule. L'énergie cinétique d'un point matériel dans un référentiel galiléen est égale au travaux des forces appliquées pour faire passer le point du repos à un mouvement. vignette|Les wagons des montagnes russes possèdent une énergie cinétique maximale en bas de leur parcours.
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.
Chemical plantA chemical plant is an industrial process plant that manufactures (or otherwise processes) chemicals, usually on a large scale. The general objective of a chemical plant is to create new material wealth via the chemical or biological transformation and or separation of materials. Chemical plants use specialized equipment, units, and technology in the manufacturing process.
Énergie potentielleL'énergie potentielle d'un système physique est l'énergie liée à une interaction, qui a la capacité de se transformer en d'autres formes d'énergie, le plus souvent en énergie cinétique, une énergie de mouvement. La force qui modélise l'interaction est une force conservative c'est-à-dire que son travail ne dépend pas du chemin suivi lors du déplacement, mais uniquement du point de départ et du point d'arrivée : .
Chimie analytiqueLa chimie analytique est la partie de la chimie qui concerne l'analyse des produits, c'est-à-dire l'identification et la caractérisation de substances chimiques connues ou non. La substance chimique dont on cherche à déterminer les propriétés est appelée « analyte ». Ses applications vont du suivi de production (vérifier qu'une chaîne fabrique un produit conforme aux spécifications) à l'enquête policière (déterminer la nature d'une trace, la provenance d'une terre, d'une peinture).
TélédétectionLa télédétection est l'ensemble des techniques utilisées pour déterminer à distance les propriétés d'objets naturels ou artificiels à partir des rayonnements qu'ils émettent ou réfléchissent. Les techniques de télédétection comprennent l'ensemble du processus : la capture et l'enregistrement de l'énergie d'un rayonnement émis ou réfléchi par les objets observés, le traitement des données résultantes et enfin l'analyse des données finales. Ce processus met en œuvre un capteur (appareil photographique, laser, radar, sonar, lidar, sismographe, gravimètre,.
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.
Gène rapporteurvignette|En rouge, le gène d'intérêt étudié ; en vert le gène rapporteur. Un gène rapporteur est un gène dont le produit (protéine) possède une caractéristique lui permettant d'être observé en laboratoire (fluorescence, activité enzymatique détectable). Les gènes rapporteurs sont utilisés pour permettre de visualiser ou mesurer l'expression d'un gène d'intérêt, pour cela le gène rapporteur peut être fusionné au gène étudié, ou mis sous le contrôle du promoteur de ce dernier.
Proof of spaceProof of space (PoS) is a type of consensus algorithm achieved by demonstrating one's legitimate interest in a service (such as sending an email) by allocating a non-trivial amount of memory or disk space to solve a challenge presented by the service provider. The concept was formulated in 2013 by Dziembowski et al. and (with a different formulation) by Ateniese et al.. Proofs of space are very similar to proofs of work (PoW), except that instead of computation, storage is used to earn cryptocurrency.