Bassin versantvignette|upright=1.5|alt=Vue numérique d'un relief et mise en évidence d'une rivière, de ses affluents et du périmètre de son bassin versant.|Bassin versant de la , en Roumanie. Un bassin versant est une zone géographique de collecte des eaux de surface par un cours d'eau et ses affluents. Il est limité à l'amont par une ligne de partage des eaux qui correspond souvent, mais pas toujours, à une ligne de crête.
Validation croiséeLa validation croisée () est, en apprentissage automatique, une méthode d’estimation de fiabilité d’un modèle fondée sur une technique d’échantillonnage. Supposons posséder un modèle statistique avec un ou plusieurs paramètres inconnus, et un ensemble de données d'apprentissage sur lequel on peut apprendre (ou « entraîner ») le modèle. Le processus d'apprentissage optimise les paramètres du modèle afin que celui-ci corresponde le mieux possible aux données d'apprentissage.
Bassin sédimentaireUn bassin sédimentaire est une dépression relative de la croûte terrestre située sur un continent émergé, un plateau continental, ou encore dans un océan, formée par subsidence thermique ou tectonique et qui recueille des quantités relativement importantes de matériaux sédimentaires qui, par des phénomènes de diagenèse, se transforment ensuite petit à petit en couches stratifiées de roches sédimentaires. Parmi ces matériaux on peut en particulier trouver des accumulations d'origine organique, comme du charbon.
RhinLe 'Rhin' (en français , allemand Rhein, néerlandais Rijn, romanche Rein) est un fleuve international d'Europe centrale et de l'Ouest, long de . Il est la colonne vertébrale de l'Europe rhénane, l’espace économique le plus dynamique d’Europe et l’un des grands lieux de puissance du monde. Son bassin versant, de , comprend le Liechtenstein, la majeure partie de la Suisse et du grand-duché de Luxembourg, une partie de l'Autriche, de l'Italie et de la Belgique, de grandes parties de l'Allemagne et des Pays-Bas et une partie de la France.
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.
Tropical cyclone basinsTraditionally, areas of tropical cyclone formation are divided into seven basins. These include the north Atlantic Ocean, the eastern and western parts of the northern Pacific Ocean, the southwestern Pacific, the southwestern and southeastern Indian Oceans, and the northern Indian Ocean (Arabian Sea and Bay of Bengal). The western Pacific is the most active and the north Indian the least active.
Endoréismevignette|upright=1.5|Le delta de l'Okavango, au Botswana, partie la plus basse d'un bassin endoréique d'Afrique australe (image satellite). En hydrologie, l’endoréisme (du grec ancien : [« couler »] avec le préfixe endo- [« dedans »] et le suffixe -isme) d'un cours d'eau ou d'un bassin versant est le fait qu'il ne se déverse pas dans une mer, mais est au contraire clos, retenant ses eaux (superficielles ou non) dans une cuvette fermée. Les pluies ou autres formes de précipitations qui l'alimentent le quittent uniquement par évaporation .
Meuse (fleuve)La Meuse (prononcé ; en néerlandais et en allemand, Maas ; en wallon, Moûse ; en latin Mosa) est un fleuve européen qui prend sa source en France et se jette dans la mer du Nord après un cours long d'approximativement traversant la France, la Belgique et les Pays-Bas. Son bassin est relativement étroit et est orienté sud-nord bien que, entre Namur et Liège, son cours soit orienté ouest-est et est-ouest depuis un de ses affluents, le Niers, jusqu'à la mer du Nord.
Inclusion (mathématiques)En mathématiques, l’inclusion est une relation d'ordre entre ensembles. On dit qu'un ensemble A est inclus dans un ensemble B si tous les éléments de A sont aussi éléments de B. On dit dans ce cas que A est un sous-ensemble ou une partie de B, ou encore que B est sur-ensemble de A. Cette relation n'est pas symétrique a priori, car il peut y avoir des éléments du deuxième ensemble qui n'appartiennent pas au premier. Plus précisément, il y a inclusion dans les deux sens entre deux ensembles si et seulement si ces deux ensembles sont égaux.
Jeux d'entrainement, de validation et de testEn apprentissage automatique, une tâche courante est l'étude et la construction d'algorithmes qui peuvent apprendre et faire des prédictions sur les données. De tels algorithmes fonctionnent en faisant des prédictions ou des décisions basées sur les données, en construisant un modèle mathématique à partir des données d'entrée. Ces données d'entrée utilisées pour construire le modèle sont généralement divisées en plusieurs jeux de données .
Regression validationIn statistics, regression validation is the process of deciding whether the numerical results quantifying hypothesized relationships between variables, obtained from regression analysis, are acceptable as descriptions of the data. The validation process can involve analyzing the goodness of fit of the regression, analyzing whether the regression residuals are random, and checking whether the model's predictive performance deteriorates substantially when applied to data that were not used in model estimation.
Imagerie spatialethumb|Première image de la Terre prise par un satellite en orbite. Elle montre une zone éclairée par le Soleil dans l'océan Pacifique et la couverture nuageuse. L'image a été faite alors que le satellite Explorer 6 se trouvait à environ d'altitude, le . thumb|La région des Grands lacs vus depuis l'ISS en 2013 par l'astronaute canadien Chris Hadfield. L'imagerie spatiale est une technique d'observation à distance qui repose sur la prise d'images dans le domaine optique (lumière visible, infrarouge et ultraviolet) depuis l'espace par des équipements installés à bord de satellites artificiels.
Statistical model validationIn statistics, model validation is the task of evaluating whether a chosen statistical model is appropriate or not. Oftentimes in statistical inference, inferences from models that appear to fit their data may be flukes, resulting in a misunderstanding by researchers of the actual relevance of their model. To combat this, model validation is used to test whether a statistical model can hold up to permutations in the data.
Système d'information géographiqueUn système d'information géographique ou SIG (en anglais, geographic information system ou GIS) est un système d'information conçu pour recueillir, stocker, traiter, analyser, gérer et présenter tous les types de données spatiales et géographiques. L’acronyme SIG est parfois utilisé pour définir les « sciences de l’information géographique » ou « études sur l’information géospatiale ». Cela se réfère aux carrières ou aux métiers qui impliquent l'usage de systèmes d’information géographique et, dans une plus large mesure, qui concernent les disciplines de la géo-informatique (ou géomatique).
Provencevignette|Vue de la Mer Méditerranée depuis Toulon La Provence (prononcé dans une large partie de la France, en français de Provence; Provença/Prouvènço en occitan provençal, de l'ancien provençal Provensa, dérivant du latin provincia, "province") est une région historique et culturelle ainsi qu'un ancien État indépendant puis associé à la France. Elle correspond à l'actuelle région Provence-Alpes-Côte d'Azur et au sud de la région Auvergne-Rhône-Alpes.
Vote à second tour instantanévignette|upright=1.5|Fonctionnement d'un vote à second tour instantané Le vote à second tour instantané, aussi appelé vote alternatif, est un système électoral par classement utilisé pour choisir un gagnant. Il est notamment utilisé en Australie, à Nauru, en Papouasie-Nouvelle-Guinée et jusqu'en 2014 aux Fidji pour l'élection des membres du parlement, ainsi qu'en Irlande, en Inde et au Sri-Lanka pour l'élection du président. Ce système est notamment utilisé lors de référendums pour départager plusieurs options, par exemple en 2015 en Nouvelle Zélande ou encore en 2018 à Guernesey.
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.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Prover9Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.
Ligne de partage des eauxLa ligne de partage des eaux est une limite géographique qui divise hydrographiquement en plusieurs bassins versants. Plus précisément, de chaque côté de cette ligne, les eaux de pluie s’écoulent vers des exutoires différents. Le plus souvent, cette ligne, longue et sinueuse, correspond à une ligne de crêtes topographiques parcourant des hauteurs composées de montagnes, de collines, voire de simples ondulations de terrain.
