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.
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.
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.
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.
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 .
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.
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.
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.
