Drainage basinA drainage basin is an area of land where all flowing surface water converges to a single point, such as a river mouth, or flows into another body of water, such as a lake or ocean. A basin is separated from adjacent basins by a perimeter, the drainage divide, made up of a succession of elevated features, such as ridges and hills. A basin may consist of smaller basins that merge at river confluences, forming a hierarchical pattern. Other terms for a drainage basin are catchment area, catchment basin, drainage area, river basin, water basin, and impluvium.
Cross-validation (statistics)Cross-validation, sometimes called rotation estimation or out-of-sample testing, is any of various similar model validation techniques for assessing how the results of a statistical analysis will generalize to an independent data set. Cross-validation is a resampling method that uses different portions of the data to test and train a model on different iterations. It is mainly used in settings where the goal is prediction, and one wants to estimate how accurately a predictive model will perform in practice.
RhineThe Rhine (raɪn ) is one of the major European rivers. The river begins in the Swiss canton of Graubünden in the southeastern Swiss Alps. It forms part of the Swiss-Liechtenstein, Swiss-Austrian, and Swiss-German borders. After that the Rhine defines much of the Franco-German border, after which it flows in a mostly northerly direction through the German Rhineland. Finally in Germany, the Rhine turns into a predominantly westerly direction and flows into the Netherlands where it eventually empties into the North Sea.
Sedimentary basinSedimentary basins are region-scale depressions of the Earth's crust where subsidence has occurred and a thick sequence of sediments have accumulated to form a large three-dimensional body of sedimentary rock. They form when long-term subsidence creates a regional depression that provides accommodation space for accumulation of sediments. Over millions or tens or hundreds of millions of years the deposition of sediment, primarily gravity-driven transportation of water-borne eroded material, acts to fill the depression.
MeuseThe Meuse (mjuːz , mɜːz, USalsomɜːrz,_mʌz , møz; Moûze muːs) or Maas (mɑːs , maːs; Maos mɔːs or Maas maːs) is a major European river, rising in France and flowing through Belgium and the Netherlands before draining into the North Sea from the Rhine–Meuse–Scheldt delta. It has a total length of . From 1301 the upper Meuse roughly marked the western border of the Holy Roman Empire with the Kingdom of France, after Count Henry III of Bar had to receive the western part of the County of Bar (Barrois mouvant) as a French fief from the hands of King Philip IV.
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.
Endorheic basinAn endorheic basin (ˌɛndoʊˈriː.ɪk; also endoreic basin and endorreic basin) is a drainage basin that normally retains water and allows no outflow to other, external bodies of water (e.g. rivers and oceans), instead, the water drainage flows into permanent and seasonal lakes and swamps that equilibrate through evaporation. Endorheic basins also are called closed basins, terminal basins, and internal drainage systems. Endorheic regions contrast with open lakes (exorheic regions), where surface waters eventually drain into the ocean.
ProvenceProvence (prəˈvɒ̃s, USalsoprəʊˈ-, UKalsoprɒˈ-, pʁɔvɑ̃s) is a geographical region and historical province of southeastern France, which extends from the left bank of the lower Rhône to the west to the Italian border to the east; it is bordered by the Mediterranean Sea to the south. It largely corresponds with the modern administrative region of Provence-Alpes-Côte d'Azur and includes the departments of Var, Bouches-du-Rhône, Alpes-de-Haute-Provence, as well as parts of Alpes-Maritimes and Vaucluse.
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.
SubsetIn mathematics, set A is a subset of a set B if all elements of A are also elements of B; B is then a superset of A. It is possible for A and B to be equal; if they are unequal, then A is a proper subset of B. The relationship of one set being a subset of another is called inclusion (or sometimes containment). A is a subset of B may also be expressed as B includes (or contains) A or A is included (or contained) in B. A k-subset is a subset with k elements. The subset relation defines a partial order on sets.
