GenevaGeneva (dʒəˈniːvə ; Genève ʒənɛv) is the second-most populous city in Switzerland (after Zürich) and the most populous city of Romandy, the French-speaking part of Switzerland. Situated in the south west of the country, where the Rhône exits Lake Geneva, it is the capital of the Republic and Canton of Geneva, and a center for international diplomacy. The city of Geneva (ville de Genève) had a population of 203,951 in 2020 (Jan. estimate) within its small municipal territory of , but the Canton of Geneva (the city and its closest Swiss suburbs and exurbs) had a population of 504,128 (Jan.
TransportTransport (in British English) or transportation (in American English) is the intentional movement of humans, animals, and goods from one location to another. Modes of transport include air, land (rail and road), water, cable, pipelines, and space. The field can be divided into infrastructure, vehicles, and operations. Transport enables human trade, which is essential for the development of civilizations.
Aquatic plantAquatic plants are plants that have adapted to living in aquatic environments (saltwater or freshwater). They are also referred to as hydrophytes or macrophytes to distinguish them from algae and other microphytes. A macrophyte is a plant that grows in or near water and is either emergent, submergent, or floating. In lakes and rivers macrophytes provide cover for fish, substrate for aquatic invertebrates, produce oxygen, and act as food for some fish and wildlife.
Continuous stirred-tank reactorThe continuous stirred-tank reactor (CSTR), also known as vat- or backmix reactor, mixed flow reactor (MFR), or a continuous-flow stirred-tank reactor (CFSTR), is a common model for a chemical reactor in chemical engineering and environmental engineering. A CSTR often refers to a model used to estimate the key unit operation variables when using a continuous agitated-tank reactor to reach a specified output. The mathematical model works for all fluids: liquids, gases, and slurries.
Water balanceThe law of water balance states that the inflows to any water system or area is equal to its outflows plus change in storage during a time interval. In hydrology, a water balance equation can be used to describe the flow of water in and out of a system. A system can be one of several hydrological or water domains, such as a column of soil, a drainage basin, an irrigation area or a city. The water balance is also referred to as a water budget. Developing water budgets is a fundamental activity in the science of hydrology.
Water-sensitive urban designWater-sensitive urban design (WSUD) is a land planning and engineering design approach which integrates the urban water cycle, including stormwater, groundwater, and wastewater management and water supply, into urban design to minimise environmental degradation and improve aesthetic and recreational appeal. WSUD is a term used in the Middle East and Australia and is similar to low-impact development (LID), a term used in the United States; and Sustainable Drainage System (SuDS), a term used in the United Kingdom.
Mathematical proofA mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".
Mode of transportMode of transport is a term used to distinguish between different ways of transportation or transporting people or goods. The different modes of transport are air, water, and land transport, which includes rails or railways, road and off-road transport. Other modes of transport also exist, including pipelines, cable transport, and space transport. Human-powered transport and animal-powered transport are sometimes regarded as their own mode, but never fall into the other categories.
Water supply networkA water supply network or water supply system is a system of engineered hydrologic and hydraulic components that provide water supply. A water supply system typically includes the following: A drainage basin (see water purification – sources of drinking water) A raw water collection point (above or below ground) where the water accumulates, such as a lake, a river, or groundwater from an underground aquifer. Raw water may be transferred using uncovered ground-level aqueducts, covered tunnels, or underground water pipes to water purification facilities.
Chemical reactorA chemical reactor is an enclosed volume in which a chemical reaction takes place. In chemical engineering, it is generally understood to be a process vessel used to carry out a chemical reaction, which is one of the classic unit operations in chemical process analysis. The design of a chemical reactor deals with multiple aspects of chemical engineering. Chemical engineers design reactors to maximize net present value for the given reaction.
International watersThe terms international waters or transboundary waters apply where any of the following types of bodies of water (or their drainage basins) transcend international boundaries: oceans, large marine ecosystems, enclosed or semi-enclosed regional seas and estuaries, rivers, lakes, groundwater systems (aquifers), and wetlands. "International waters" is not a defined term in international law. It is an informal term, which sometimes refers to waters beyond the "territorial sea" of any country.
Mathematical logicMathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.