Histoire de la géologieLa géologie est la science qui traite de la composition, de la structure, de l'histoire et de l'évolution des couches internes et externes de la Terre, et des processus qui la façonnent. Certains des phénomènes géologiques les plus visibles intéressent l'humanité depuis longtemps, tremblements de terre, volcans et érosion. La première trace d'un tel intérêt est une peinture murale montrant une éruption volcanique au Néolithique, à Çatal Hüyük (Turquie) et datant du VIe millénaire avant l'ère commune.
Loi du χ²En statistiques et en théorie des probabilités, la loi du centrée (prononcé « khi carré » ou « khi-deux ») avec k degrés de liberté est la loi de la somme de carrés de k lois normales centrées réduites indépendantes. La loi du est utilisée en inférence statistique et pour les tests statistiques notamment le test du χ2. La loi du χ2 non centrée généralise la loi du . Soient k variables aléatoires X, ... , X indépendantes suivant la loi normale centrée et réduite, c'est-à-dire la loi normale de moyenne 0 et d'écart-type 1.
BergeUne berge est d'abord un talus plongeant dans l'eau, une pente naturelle, aménagée ou entièrement artificielle en contact avec l'eau de la rivière. En ce premier sens, ce terme technique, propre à la batellerie, aux aménageurs ripuaires ou aux maîtres de rivière, diffère fondamentalement de la rive qui est l'espace de terre entre le point haut de ladite berge et la rivière, et correspond à la bordure pentue (relevée ou escarpée) d'un cours d'eau (torrent, rivière, fleuve), ou d'une pièce d'eau fermée (étang, lac).
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.
Loi logistiqueEn probabilité et en statistiques, la loi logistique est une loi de probabilité absolument continue à support infini utilisé en régression logistique et pour les réseaux de neurones à propagation avant. Son nom de loi logistique est issu du fait que sa fonction de répartition est une fonction logistique. La loi logistique a deux paramètres μ et s > 0 et sa densité est Sa fonction de répartition est Son espérance et sa variance sont données par les formules suivantes : La loi logistique standard est la loi logistique de paramètres 0 et 1.
Dangerthumb|right|Panneau de danger, selon la signalisation routière française Un danger est une cause possible de dommage (à une personne, un peuple, un bien, à l'environnement, etc.). La probabilité de survenue de ce dommage est le risque associé à ce danger. On parle évidemment de dangerosité d'une situation ou d'un individu présentant un caractère dangereux. Un danger, dans l'acception anthropique la plus commune, est une menace susceptible d'altérer significativement l'intégrité physique d'une personne, avec une gravité pouvant aller jusqu'à la mort.
Loi de GumbelEn théorie des probabilités, la loi de Gumbel (ou distribution de Gumbel), du nom d'Émil Julius Gumbel, est une loi de probabilité continue. La loi de Gumbel est un cas particulier de la loi d'extremum généralisée au même titre que la loi de Weibull ou la loi de Fréchet. La loi de Gumbel est une approximation satisfaisante de la loi du maximum d'un échantillon de variables aléatoires indépendantes toutes de même loi, dès que cette loi appartient, précisément, au domaine d'attraction de la loi de Gumbel.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Disaster responseDisaster response refers to the actions taken directly before, during or in the immediate aftermath of a disaster. The objective is to save lives, ensure health and safety and to meet the subsistence needs of the people affected. This includes warning/evacuation, search and rescue, providing immediate assistance, assessing damage, continuing assistance and the immediate restoration or construction of infrastructure (i.e. provisional storm drains or diversion dams).
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).
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.
