Convergence (géologie)A convergent boundary (also known as a destructive boundary) is an area on Earth where two or more lithospheric plates collide. One plate eventually slides beneath the other, a process known as subduction. The subduction zone can be defined by a plane where many earthquakes occur, called the Wadati–Benioff zone. These collisions happen on scales of millions to tens of millions of years and can lead to volcanism, earthquakes, orogenesis, destruction of lithosphere, and deformation.
Bilan de matièreIn physics, a mass balance, also called a material balance, is an application of conservation of mass to the analysis of physical systems. By accounting for material entering and leaving a system, mass flows can be identified which might have been unknown, or difficult to measure without this technique. The exact conservation law used in the analysis of the system depends on the context of the problem, but all revolve around mass conservation, i.e., that matter cannot disappear or be created spontaneously.
Distillationthumb|200px|Une colonne à distiller au musée Stella Matutina de Saint-Leu, à La Réunion. La distillation est un procédé de séparation de mélange de substances liquides dont les températures d'ébullition sont différentes. Elle permet de séparer les constituants d'un mélange homogène. Sous l'effet de la chaleur ou d'une faible pression (loi des gaz parfaits), les substances se vaporisent successivement, et la vapeur obtenue est liquéfiée pour donner le distillat.
Tectonique des plaquesvignette|Carte des principales plaques tectoniques terrestres. La tectonique des plaques (du latin tardif tectonicus, dérivé du grec , « de construction ») est un modèle scientifique expliquant la dynamique globale de la lithosphère terrestre. Ce modèle théorique a été constitué à partir du concept de dérive des continents, qui fut développé par Alfred Wegener au début du . La théorie de la tectonique des plaques fut acceptée par la communauté géologique internationale à la fin des années 1960, à la suite de l'émission des concepts du « double tapis-roulant océanique ».
Système métriqueLe système métrique est un système de mesure décimal adopté internationalement. Il est largement utilisé et, lorsqu'il est utilisé, c'est le seul ou le plus commun des systèmes de poids et de mesures. Il est maintenant connu sous le nom de système international d'unités (SI). Il est utilisé pour mesurer les choses quotidiennes telles que la masse d'un sac de farine, la taille d'une personne, la vitesse d'une voiture, et le volume de carburant dans son réservoir. Il est également utilisé dans la science, l'industrie et le commerce.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Production (économie)En économie, la production est la « quantité de biens ou de services produite dans une période de temps donnée, par une entreprise, une industrie ou un pays », qu'ils soient consommés (biens et services finaux) ou utilisés dans le processus de production (consommations intermédiaires). Le principal agrégat utilisé pour mesurer la production est appelé produit intérieur brut (PIB), la somme des valeurs ajoutées brutes calculées au prix de marché, sur une période (en général un an) et un territoire (en général un pays) donnés.
Faille transformantevignette|Failles transformantes (en rouge). vignette|Carte mondiale des principales failles transformantes (en vert). Les failles transformantes sont des limites de plaque lithosphérique où il n'y a ni subduction ni création de lithosphère (limite conservative). Elles sont situées en bordure de plaques tectoniques et découpent les dorsales perpendiculairement. Les frontières près de ce type de faille sont géologiquement actives (séismes, volcans...). La faille transformante agit selon un mouvement de coulissage.
Balance commercialeLa balance commerciale est la différence, en termes de valeur monétaire (en monnaie nationale), entre les exportations et les importations de biens ou de biens et services (dépend du pays) dans une économie sur une période donnée, généralement, l'année. On parle aussi de solde commercial. Si l'économie nationale est insérée dans une zone de libre-échange (type Zone euro en Europe, par exemple), l'évaluation du contenu de la balance commerciale peut être faite en monnaie supranationale.
Système circulatoire400px|vignette|Schéma du système circulatoire humain. En biologie, un est un système d'organes en circuit permettant le déplacement de fluides dans un organisme. Le système circulatoire a pour rôle d'assurer le transport et l'échange interne des ressources (notamment les nutriments et le dioxygène) vers les cellules de l'organisme, ainsi que de se charger de la collecte des déchets, par exemple du dioxyde de carbone.
Base (algèbre linéaire)vignette|Le même vecteur peut être représenté dans deux bases différentes (flèches violettes et rouges). En mathématiques, une base d'un espace vectoriel V est une famille de vecteurs de V linéairement indépendants et dont tout vecteur de V est combinaison linéaire. En d'autres termes, une base de V est une famille libre de vecteurs de V qui engendre V. alt=|vignette|upright=2|. La géométrie plane, celle d'Euclide, peut comporter une approche algébrique, celle de Descartes.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
