Méandrevignette|redresse=1.5| d'un cours d'eau représentant ses méandres : (A) mouille de concavité, (B) banc de convexité développé le long de la rive convexe, (C) situé au points d'inflexion de la courbure, 1-1' profil en travers, (E) rive concave. vignette|Méandrement. vignette|Méandres, bras morts et chevelu résultent de la dynamique naturelle des fleuves en plaine vignette|Dans les pays dits développés, depuis 500 ans au moins les méandres et bras morts tendent à disparaître, au profit d'axes navigables et canalisés dont les fonctions écologiques sont très dégradées (par ex.
Second-order logicIn logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle).
Modèle climatiqueUn modèle climatique est une modélisation mathématique du climat dans une zone géographique donnée. Historiquement, le premier modèle atmosphérique date de 1950, et a été testé sur le premier ordinateur existant, l'ENIAC. À la date du sixième rapport d'évaluation du GIEC (2021), autour de 100 modèles indépendants étaient utilisés par 49 différents laboratoires de climatologie à travers le monde. Les modèles varient en complexité. Les plus simples permettent de faire des simulations couvrant de plus larges domaines et étendues de temps.
Coupure de méandreA meander cutoff is a natural form of a cutting or cut in a river occurs when a pronounced meander (hook) in a river is breached by a flow that connects the two closest parts of the hook to form a new channel, a full loop. The steeper drop in gradient (slope) causes the river flow gradually to abandon the meander which will silt up with sediment from deposition. Cutoffs are a natural part of the evolution of a meandering river. Rivers form meanders as they flow laterally downstream, see sinuosity.
Arithmétique du second ordreEn logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels. Elle a été introduite par David Hilbert et Paul Bernays dans leur livre Grundlagen der Mathematik. L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2. L'arithmétique de second ordre a pour conséquence les théorèmes de l'arithmétique de Peano (du premier ordre), mais elle est à la fois plus forte et plus expressive que celle-ci.
Analyse prédictiveL'analyse (ou logique) prédictive englobe une variété de techniques issues des statistiques, d'extraction de connaissances à partir de données et de la théorie des jeux qui analysent des faits présents et passés pour faire des hypothèses prédictives sur des événements futurs. Dans le monde des affaires, des modèles prédictifs exploitent des schémas découverts à l'intérieur des ensembles de données historiques et transactionnelles pour identifier les risques et les opportunités.
Predictive modellingPredictive modelling uses statistics to predict outcomes. Most often the event one wants to predict is in the future, but predictive modelling can be applied to any type of unknown event, regardless of when it occurred. For example, predictive models are often used to detect crimes and identify suspects, after the crime has taken place. In many cases, the model is chosen on the basis of detection theory to try to guess the probability of an outcome given a set amount of input data, for example given an email determining how likely that it is spam.
ViscositéLa viscosité (du latin viscum, gui, glu) peut être définie comme l'ensemble des phénomènes de résistance au mouvement d'un fluide pour un écoulement avec ou sans turbulence. La viscosité diminue la liberté d'écoulement du fluide et dissipe son énergie. Deux grandeurs physiques caractérisent la viscosité : la viscosité dynamique (celle utilisée le plus généralement) et la seconde viscosité ou la viscosité de volume. On utilise aussi des grandeurs dérivées : fluidité, viscosité cinématique ou viscosité élongationnelle.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Mannequinatthumb|Mannequins lors d'un défilé de mode. Le est l'activité exercée par le mannequin, personne qui pose ou s'expose pour valoriser les produits de l'industrie de la mode. Les mannequins sont employés principalement pour la promotion de l'habillement, des accessoires de mode et des produits de beauté. Le métier, exclusivement féminin au départ, débute réellement au milieu du sur l'impulsion de Charles Frederick Worth. « Essayeuse » puis « sosie », le terme de « mannequin » ne commence à être utilisé qu'à partir du .
