Fertilité des solsvignette|Schéma global des composantes de la fertilité des sols. vignette|Le diagramme de Mulder illustre la loi de l'optimum de Liebscher. La fertilité des sols est une notion importante dans les domaines de l'agriculture et de l'agronomie, désignant l'aptitude d'un sol à produire dans les conditions actuelles de culture. Elle est une des composantes de la qualité des sols. Il n'existe pas de définition consensuelle de la fertilité des sols. La valeur scientifique du terme et la possibilité de parvenir à le définir est contestée.
GeoprofessionsGeoprofessions is a term coined by the Geoprofessional Business Association to connote various technical disciplines that involve engineering, earth and environmental services applied to below-ground ("subsurface"), ground-surface, and ground-surface-connected conditions, structures, or formations. The principal disciplines include, as major categories: geomatics engineering geotechnical engineering; geology and engineering geology; geological engineering; geophysics; geophysical engineering; environmental science and environmental engineering; construction-materials engineering and testing; and other geoprofessional services.
Precast concretePrecast concrete is a construction product produced by casting concrete in a reusable mold or "form" which is then cured in a controlled environment, transported to the construction site and maneuvered into place; examples include precast beams, and wall panels for tilt up construction. In contrast, cast-in-place concrete is poured into site-specific forms and cured on site. Recently lightweight expanded polystyrene foam is being used as the cores of precast wall panels, saving weight and increasing thermal insulation.
Engineering geologyEngineering geology is the application of geology to engineering study for the purpose of assuring that the geological factors regarding the location, design, construction, operation and maintenance of engineering works are recognized and accounted for. Engineering geologists provide geological and geotechnical recommendations, analysis, and design associated with human development and various types of structures.
Soil physicsSoil physics is the study of soil's physical properties and processes. It is applied to management and prediction under natural and managed ecosystems. Soil physics deals with the dynamics of physical soil components and their phases as solids, liquids, and gases. It draws on the principles of physics, physical chemistry, engineering, and meteorology. Soil physics applies these principles to address practical problems of agriculture, ecology, and engineering.
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.
Terrassementthumb|Travaux de terrassement par bulldozer en Israël. Le terrassement est le travail consistant à déplacer des quantités importantes de matériaux (sols, roches, sous-produits). Le remaniement des terrains naturels entraîne une modification généralement définitive de la topographie et du paysage, en créant des ouvrages en terre soit en remblai soit en déblai. Les travaux de terrassement sont basés sur trois actions principales : l'extraction, le transport, la mise en œuvre.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
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).
Incendie de Windscalevignette|278x278px|Les piles Windscale (au centre et à droite) en 1985. L'incendie de Windscale s'est produit le dans la première centrale nucléaire britannique (le site a ensuite été rebaptisé Sellafield). L'accident a été jugé de sur l'échelle INES. La centrale de Sellafield (anciennement Windscale) est située à proximité du village de Seascale, dans le comté de Cumbria sur la côte de la mer d'Irlande.
Réacteur nucléaireUn réacteur nucléaire est un ensemble de dispositifs comprenant du combustible nucléaire, qui constitue le « cœur » du réacteur, dans lequel une réaction en chaîne peut être initiée et contrôlée par des agents humains ou par des systèmes automatiques, suivant des protocoles et au moyen de dispositifs propres à la fission nucléaire. La chaleur ainsi produite est ensuite évacuée et éventuellement convertie en énergie électrique.
Carbone du solLe carbone du sol est la matière terrestre solide stockée dans les sols au niveau mondial. Cette appellation comprend à la fois la matière organique du sol et l'ensemble du carbone inorganique constituant les minéraux carbonatés. Le carbone du sol est un puits de carbone par rapport au cycle mondial du carbone, jouant un rôle dans la biogéochimie, l'atténuation du changement climatique et dans la construction de modèles climatiques mondiaux. Le carbone du sol est présent sous deux formes : inorganique et organique.
