Lave torrentiellethumb|Lave torrentielle dans le canton d'Uri, en Suisse. vignette|Petite lave torrentielle sur le Rieu Bel à Villargondran. Une lave torrentielle est un phénomène géologique en situation de relief, notamment de montagne (composante essentielle de l'évolution paysagère à long terme). Son déclenchement est lié à des précipitations météorologiques violentes, soudaines et concentrées, qui peuvent être accompagnées de grêle ou d'orage.
Quantité de mouvementEn physique, la quantité de mouvement est le produit de la masse par le vecteur vitesse d'un corps matériel supposé ponctuel. Il s'agit donc d'une grandeur vectorielle, définie par , qui dépend du référentiel d'étude. Par additivité, il est possible de définir la quantité de mouvement d'un corps non ponctuel (ou système matériel), dont il est possible de démontrer qu'elle est égale à la quantité de mouvement de son centre d'inertie affecté de la masse totale du système, soit (C étant le centre d'inertie du système).
Wave heightIn fluid dynamics, the wave height of a surface wave is the difference between the elevations of a crest and a neighboring trough. Wave height is a term used by mariners, as well as in coastal, ocean and naval engineering. At sea, the term significant wave height is used as a means to introduce a well-defined and standardized statistic to denote the characteristic height of the random waves in a sea state, including wind sea and swell. It is defined in such a way that it more or less corresponds to what a mariner observes when estimating visually the average wave height.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Airy wave theoryIn fluid dynamics, Airy wave theory (often referred to as linear wave theory) gives a linearised description of the propagation of gravity waves on the surface of a homogeneous fluid layer. The theory assumes that the fluid layer has a uniform mean depth, and that the fluid flow is inviscid, incompressible and irrotational. This theory was first published, in correct form, by George Biddell Airy in the 19th century.
Impact cosmiquevignette|Représentation d'artiste d'un astéroïde tombant sur la Terre. Un impact cosmique est la collision entre deux ou plusieurs objets célestes provoquant des effets notables. Dans la majorité des cas un petit corps du système solaire, astéroïde ou comète, entre en collision avec une planète, telle que la Terre. La fréquence des impacts cosmiques dans le système solaire a varié en fonction de l'époque : très fréquents durant la formation du système solaire il y a 4,6 milliards d'années, ils se sont progressivement raréfiés au fur et à mesure que le nombre de corps célestes en circulation diminuait.
Plan d'expériencesOn nomme plan d'expériences (en anglais, design of experiments ou DOE) la suite ordonnée d'essais d'une expérimentation, chacun permettant d'acquérir de nouvelles connaissances en maîtrisant un ou plusieurs paramètres d'entrée pour obtenir des résultats validant un modèle avec une bonne économie de moyens (nombre d'essais le plus faible possible, par exemple). Un exemple classique est le « plan en étoile » où en partant d'un jeu de valeurs choisi pour les paramètres d'un essai central, on complète celui-ci par des essais où chaque fois un seul des facteurs varie « toutes choses égales par ailleurs ».
Cratère d'impactUn cratère d'impact est une dépression de forme plus ou moins circulaire issue de la collision d'un objet sur un autre de taille suffisamment grande pour qu'il ne soit pas complètement détruit par l'impact. Quand la dépression est beaucoup moins profonde que large, on parle d'un bassin d'impact. L'expression est particulièrement utilisée en astronomie pour désigner la dépression résultant d'un impact cosmique, c'est-à-dire de la collision d'objets célestes (un astéroïde ou une comète) percutant la Terre, la Lune ou tout autre corps solide se mouvant dans l'espace et suffisamment gros pour que la puissance de l'impact ne cause pas sa destruction.
Landslide classificationThere have been known various classifications of landslides. Broad definitions include forms of mass movement that narrower definitions exclude. For example, the McGraw-Hill Encyclopedia of Science and Technology distinguishes the following types of landslides: fall (by undercutting) fall (by toppling) slump rockslide earthflow sinkholes, mountain side rockslide that develops into rock avalanche Influential narrower definitions restrict landslides to slumps and translational slides in rock and regolith, not involving fluidisation.
