Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Water treatmentWater treatment is any process that improves the quality of water to make it appropriate for a specific end-use. The end use may be drinking, industrial water supply, irrigation, river flow maintenance, water recreation or many other uses, including being safely returned to the environment. Water treatment removes contaminants and undesirable components, or reduces their concentration so that the water becomes fit for its desired end-use. This treatment is crucial to human health and allows humans to benefit from both drinking and irrigation use.
Thermothérapie (cancérologie)thumb|Appareil de thermothérapie par ultrasons focalisés. La thermothérapie, thérapie par hyperthermie ou thermoablation, est une technique médicale qui consiste à employer l'hyperthermie à des fins thérapeutiques dans le traitement du cancer. Elle est en générale prescrite en complément de radiothérapie ou de chimiothérapie dont elle potentialise les effets. La technique est employée pour l'ablation de tumeurs par thermothérapie.
Short-circuit evaluationShort-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming languages in which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression: when the first argument of the AND function evaluates to false, the overall value must be false; and when the first argument of the OR function evaluates to true, the overall value must be true.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Structure de donnéesEn informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.
StructureA structure is an arrangement and organization of interrelated elements in a material object or system, or the object or system so organized. Material structures include man-made objects such as buildings and machines and natural objects such as biological organisms, minerals and chemicals. Abstract structures include data structures in computer science and musical form. Types of structure include a hierarchy (a cascade of one-to-many relationships), a network featuring many-to-many links, or a lattice featuring connections between components that are neighbors in space.
Traitement des eaux usées industriellesLe traitement des eaux usées industrielles décrit les procédés utilisés pour traiter les eaux usées produites par les industries en tant que sous-produits indésirables. Après traitement, les eaux usées industrielles (ou effluents) traitées peuvent être réutilisées ou rejetées dans un égout sanitaire ou une eau de surface dans l'environnement. La plupart des industries produisent des eaux usées. Les tendances récentes ont été de minimiser une telle production ou de recycler les eaux usées traitées dans le processus de production.
MagnétismeLe magnétisme représente un ensemble de phénomènes physiques dans lesquels les objets exercent des forces attractives ou répulsives sur d'autres matériaux. Les courants électriques et les moments magnétiques des particules élémentaires fondamentales sont à l’origine du champ magnétique qui engendre ces forces. Tous les matériaux sont influencés, de manière plus ou moins complexe, par la présence d'un champ magnétique, et l’état magnétique d'un matériau dépend de sa température (et d'autres variables telles que la pression et le champ magnétique extérieur) de sorte qu'un matériau peut présenter différentes formes de magnétisme selon sa température.
Dipôle magnétiquevignette|Dipôle magnétique de la Terre Un dipôle magnétique est l'équivalent pour le champ magnétique de ce qu'est un dipôle électrostatique pour le champ électrique. Il est entièrement caractérisé par le vecteur moment magnétique (ou moment dipolaire magnétique), l'équivalent pour le magnétisme de ce qu'est le moment dipolaire pour l'électrostatique. La représentation matérielle la plus simple d'un dipôle magnétique est une boucle de courant, c'est-à-dire un courant électrique circulaire.
