Effet de serreL'effet de serre est un processus naturel résultant de l'influence de l'atmosphère sur les différents flux thermiques contribuant aux températures au sol d'un objet céleste. La prise en compte de ce processus est nécessaire pour comprendre les températures observées à la surface des planètes ou satellites recouverts d'une atmosphère épaisse comme la Terre, Vénus et Titan, et le processus doit se produire aussi pour certaines exoplanètes. Le terme fait référence à l'effet analogue qu'une serre a sur la température des plantations qu'elle abrite.
Atmospheric modelIn atmospheric science, an atmospheric model is a mathematical model constructed around the full set of primitive, dynamical equations which govern atmospheric motions. It can supplement these equations with parameterizations for turbulent diffusion, radiation, moist processes (clouds and precipitation), heat exchange, soil, vegetation, surface water, the kinematic effects of terrain, and convection. Most atmospheric models are numerical, i.e. they discretize equations of motion.
UncertaintyUncertainty refers to epistemic situations involving imperfect or unknown information. It applies to predictions of future events, to physical measurements that are already made, or to the unknown. Uncertainty arises in partially observable or stochastic environments, as well as due to ignorance, indolence, or both. It arises in any number of fields, including insurance, philosophy, physics, statistics, economics, finance, medicine, psychology, sociology, engineering, metrology, meteorology, ecology and information science.
Prévision numérique du tempsLa prévision numérique du temps (PNT) est une application de la météorologie et de l'informatique. Elle repose sur le choix d'équations mathématiques offrant une proche approximation du comportement de l'atmosphère réelle. Ces équations sont ensuite résolues, à l'aide d'un ordinateur, pour obtenir une simulation accélérée des états futurs de l'atmosphère. Le logiciel mettant en œuvre cette simulation est appelé un modèle de prévision numérique du temps.
Lagunagevignette|upright=1.5|Schémas de lagunage naturel. vignette|upright=1.5|Le lagunage peut aussi être linéaire et avoir vocation de corridor biologique (utilisant un fossé ou ici une berge de canal, en bordure de la Deûle, en aval de Lille). Réalisation : VNF (photo de 2004). vignette|upright=1.5|Des berges lagunées ont été créées (2010) par VNF (Voies navigables de France), en guise de mesure compensatoire à la mise à grand gabarit de l'Escaut dans le nord de la France. vignette|upright=1.
Optimisation de codeEn programmation informatique, l'optimisation de code est la pratique consistant à améliorer l'efficacité du code informatique d'un programme ou d'une bibliothèque logicielle. Ces améliorations permettent généralement au programme résultant de s'exécuter plus rapidement, de prendre moins de place en mémoire, de limiter sa consommation de ressources (par exemple les fichiers), ou de consommer moins d'énergie électrique. La règle numéro un de l'optimisation est qu'elle ne doit intervenir qu'une fois que le programme fonctionne et répond aux spécifications fonctionnelles.
Gaz de coucheLe « gaz de couche » parfois dit « gaz de houille » (expression qui a aussi un autre sens) ou gaz de charbon, est un gaz, principalement constitué de méthane, qui est piégé (adsorbé) au cœur de la matrice solide du charbon (charbon bitumineux et anthracite surtout) dans les bassins houillers, dans les micropores du charbon non exploité ou incomplètement exploité. Ce gaz a d'abord été connu comme « grisou », si redouté des mineurs en raison des explosions souvent mortelles de poches de gaz accumulé dans certaines galeries.
Object code optimizerAn object code optimizer, sometimes also known as a post pass optimizer or, for small sections of code, peephole optimizer, forms part of a software compiler. It takes the output from the source language compile step - the object code or - and tries to replace identifiable sections of the code with replacement code that is more algorithmically efficient (usually improved speed). The earliest "COBOL Optimizer" was developed by Capex Corporation in the mid 1970s for COBOL.
Variété abélienneEn mathématiques, et en particulier, en géométrie algébrique et géométrie complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de est l'équivalent de la compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique. Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite.
Optimizing compilerIn computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.
