GenèveGenève est une ville suisse située à l'extrémité sud-ouest du Léman. Elle est la deuxième ville la plus peuplée de Suisse après Zurich, et le chef-lieu de la République et canton de Genève (GE). Au , la ville comptait dans , mais à la même date, son aire métropolitaine transfrontalière, définie par Eurostat et l'OFS suivant la méthodologie des zones urbaines fonctionnelles, c'est-à-dire l'agglomération et la couronne périurbaine, comptait dans à cheval sur la Suisse et la France.
Transportvignette|alt=Une planche du Larousse universel de 1922 illustrant les modes de transport|Une planche illustrant les modes de transport (Larousse universel en 2 volumes, 1922). vignette|Le réseau routier de transport automobile est confronté aux fleuves et petits bras de mer qui peuvent être traversés par de grands ponts, des tunnels, des bacs ou des ferrys. vignette|L'avion est un mode de transport en très forte croissance depuis la seconde moitié du , mais dont les impacts écologiques et climatiques sont importants ( à raison de de kérosène, les vols intra-européens émettent environ par an en 2007.
Plante aquatiqueLes plantes aquatiques, ou hydrophytes sont des plantes vasculaires hygrophytes dont la totalité du cycle biologique se réalise dans l'eau ou à sa surface et ne supportent pas l'exondation. On rencontre dans ces différents groupes des plantes totalement immergées, d'autres, les plus nombreuses, partiellement émergées ou à feuilles flottantes. Le facteur principal qui contrôle la répartition des plantes aquatiques est la disponibilité de l'eau.
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.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Mode de transportvignette|Autobus utilisant le Washington State Ferry Un mode de transport est une forme particulière de transport qui se distingue principalement par le véhicule utilisé, et par conséquent par l'infrastructure qu'il met en œuvre. vignette|Transport par les airs et par la terre (page illustrative de The How and Why Library, 1909).
Réseau de distribution d'eauUn réseau de distribution d'eau est une structure permettant de garantir l'approvisionnement en eau potable d'une zone (résidence, village, ville) ou industrielle. Cette eau est généralement froide mais certaines villes distribuent aussi de l'eau chaude sanitaire. Des enjeux sanitaires sont liés à la qualité de l'eau (qui est encore dans certaines régions dégradée par le plomb de tuyauteries anciennes, peut contenir des fibres d'amiante libérées par des tuyaux d'amiante-ciment, ou des contaminants liés à des fuites du réseau.
Réacteur (chimie)En chimie, un réacteur est une enceinte ou récipient apte à la réalisation et l'optimisation de réactions chimiques et généralement de procédés de transformation de la matière (génie des procédés). Le but recherché dans un réacteur est l'homogénéité du milieu réactionnel du point de vue de la température et du mélange des réactifs. Par exemple : cuve : réacteur ouvert à l'atmosphère permettant de faire une transformation chimique ; bioréacteur : réacteur permettant de faire une transformation biologique.
Haute merOn désigne par eaux internationales ou par haute mer, ce dernier terme étant le seul employé en droit de la mer, les zones maritimes qui ne sont sous l'autorité d'aucun État (par opposition aux « eaux sous juridiction d'un État côtier »). Plus précisément il s'agit de toutes les parties de la mer qui sont , selon l’article 86 de la convention des Nations unies sur le droit de la mer (CNUDM). vignette|500px|Les eaux internationales qui sont hors de la zone économique d’États apparaissent en bleu foncé.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
