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.
Eau en bouteilleL'eau en bouteille ou eau embouteillée est une eau conditionnée dans des bouteilles (bonbonnes parfois) destinée à la consommation humaine. Il existe plusieurs catégories d'eau embouteillée, chacune devant répondre à une conformité aux réglementations (qui varient selon les pays). Dans le monde les bouteilles de verre (autrefois souvent consignées) disparaissent de plus en plus au profit des bouteilles en plastiques et des cannettes métalliques, et le secteur et marché de la production est de plus en plus concentré entre les mains de quelques géants de l'agroalimentaire dont Coca-Cola est le premier.
Protection de l'eauvignette|redresse=1.5|Économies d'émissions de gaz à effet de serre associées à différents changements de mode de vie (en kg équivalent par an). Les équipements qui allègent la consommation d'eau permettent de réduire l'empreinte carbone (liée au captage, au transport de l'eau, à l'entretien des réseaux des eaux usés, etc.). La protection de l'eau est l'effort humain de garder l'eau. Il faut garder l'équilibre écologique. Les océans et d'autres eaux sont touchées par la pollution. L'acidification des océans a lieu.
Dépôt (géologie)Deposition is the geological process in which sediments, soil and rocks are added to a landform or landmass. Wind, ice, water, and gravity transport previously weathered surface material, which, at the loss of enough kinetic energy in the fluid, is deposited, building up layers of sediment. This thing occurs occurs when the forces responsible for sediment transportation are no longer sufficient to overcome the forces of gravity and friction, creating a resistance to motion; this is known as the null-point hypothesis.
Alimentation en eau potableL’alimentation en eau potable (sigle : AEP) est l’ensemble des équipements, des services et des actions qui permettent, en partant d’une eau brute, de produire une eau conforme aux normes de potabilité en vigueur, distribuée ensuite aux consommateurs. On considère quatre étapes distinctes dans cette alimentation : prélèvements - captages (eau de surface ou eau souterraine) ; traitement pour potabiliser l'eau ; adduction (transport et stockage) ; distribution au consommateur.
Guerre de l'eauLe terme guerre de l'eau peut avoir différentes significations : La « guerre de l'eau dans le monde » évoquée au sujet de la répartition de la ressource hydrique entre autres en Asie, au Moyen-Orient et en Afrique ; La guerre de l'eau en Bolivie suite de la privatisation du système municipal de gestion de l'eau de Cochabamba ; Les guerres de l'eau en Californie découlant de la sécheresse et, entre autres, des besoins en eau croissant de l'agglomération de Los Angeles. La Guerre de l'eau en France comprenan
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Résine échangeuse d'ionsvignette|Microbilles de résine échangeuse d'ions. Une résine échangeuse d'ions est une résine ou un polymère agissant comme milieu permettant l'échange d'ions. Il s'agit d'une structure de support, ou matrice, qui se présente le plus souvent sous la forme de microbilles insolubles de de diamètre, de couleur blanche à jaune pâle, produites à partir de composés organiques polymérisés. Ces microbilles sont généralement poreuses, d'où une surface spécifique élevée, répartie à la fois à la surface et à l'intérieur de chaque microbille.
GéomorphologieLa géomorphologie (du grec γῆ, , la Terre, μορφή, , la forme et λόγος, , l’étude) est l'étude scientifique des reliefs et des processus qui les façonnent sur les planètes telluriques. thumb|300px|La surface de la Terre (NOAA) Les géomorphologues analysent les paysages, cherchent à en comprendre l'histoire et l’évolution et à prévoir les changements futurs à travers une combinaison d'observations de terrain, d'expérimentations en laboratoire et de modélisations numériques. thumb|upright|Le Cono de Arita en Salar d'Arizaro, Salta (Argentine).
Hydraulique à surface librealt=Écoulement à surface libre rivière James (ressaut hydraulique).|vignette|Écoulement à surface libre rivière James (ressaut hydraulique). L’hydraulique à surface libre est la branche de l'hydraulique et de la mécanique des fluides qui s’intéresse aux écoulements de liquides dans un canal avec une surface libre. Un écoulement en surface libre désigne un écoulement avec une interface libre entre l’air et l’eau, comme dans une rivière, par opposition à un écoulement en charge, où cette interface est absente dans une conduite sous pression par exemple.
