Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Internal combustion engine coolingInternal combustion engine cooling uses either air or liquid to remove the waste heat from an internal combustion engine. For small or special purpose engines, cooling using air from the atmosphere makes for a lightweight and relatively simple system. Watercraft can use water directly from the surrounding environment to cool their engines. For water-cooled engines on aircraft and surface vehicles, waste heat is transferred from a closed loop of water pumped through the engine to the surrounding atmosphere by a radiator.
Ground source heat pumpA ground source heat pump (also geothermal heat pump) is a heating/cooling system for buildings that uses a type of heat pump to transfer heat to or from the ground, taking advantage of the relative constancy of temperatures of the earth through the seasons. Ground source heat pumps (GSHPs) – or geothermal heat pumps (GHP) as they are commonly termed in North America – are among the most energy-efficient technologies for providing HVAC and water heating, using far less energy than can be achieved by burning a fuel in a boiler/furnace or by use of resistive electric heaters.
Canton de GenèveLe canton de Genève (GE), officiellement la République et canton de Genève, est l'un des de la Suisse. Son chef-lieu est Genève. Au , la population du canton s’établit à . Il s’agit du successeur de la république de Genève, indépendante depuis le jusqu'à son intégration dans la République française en 1798. Elle retrouve son indépendance le après le départ des armées de , puis devient un canton suisse le . La république et canton de Genève occupe une superficie modeste, inférieure à celle du district de Nyon, mais elle est densément peuplée, car elle abrite la seconde ville de Suisse.
Ventilateur d'ordinateurthumb|Ventilateurs de , souvent utilisés dans les ordinateurs personnels. thumb|Ventilateurs de boitier. thumb|Ventilateur de processeur Thermalright Le Grand Macho RT en fonctionnement. Un ventilateur d'ordinateur est un ventilateur installé à l'intérieur d'un ordinateur ou fixé à celui-ci et utilisé pour en refroidir activement le boîtier. Il permet un flux d'air frais vers l'intérieur et d'air chaud vers l'extérieur ou améliore la circulation d'air sur le dissipateur thermique d'un composant particulier.
Modélisation tridimensionnelleLa modélisation tridimensionnelle est l'étape en infographie tridimensionnelle qui consiste à créer, dans un logiciel de modélisation 3D, un objet en trois dimensions, par ajout, soustraction et modifications de ses constituants. La révolution consiste à faire tourner un profil 2D autour d'un axe 3D : on obtient ainsi un volume de révolution. C'est la technique majoritairement utilisée dans le jeu vidéo, et le cinéma d'animation. La modélisation polygonale induit une marge d'erreur de proportions et de dimensions le plus souvent invisible à l'œil nu.
Hiver nucléaireUn hiver nucléaire est un phénomène climatique hypothétique de baisse globale des températures de surface, prédit comme pouvant être le résultat d’une guerre nucléaire massive. Il serait analogue à l’hiver volcanique ou à l'hiver d'impact. Un hiver nucléaire serait un refroidissement global et durable du climat terrestre lié à l'absorption des rayonnements du Soleil par les aérosols injectés dans la stratosphère par un grand nombre d'explosions nucléaires.
Prévision numérique du tempsLa prévision numérique du temps (PNT) est une application de la météorologie et de l'informatique. Elle repose sur le choix d'équations mathématiques offrant une proche approximation du comportement de l'atmosphère réelle. Ces équations sont ensuite résolues, à l'aide d'un ordinateur, pour obtenir une simulation accélérée des états futurs de l'atmosphère. Le logiciel mettant en œuvre cette simulation est appelé un modèle de prévision numérique du temps.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
Convection mantelliquevignette| redresse=2| Une des visions modernes de la convection mantellique (selon ). La convection mantellique est un phénomène physique se produisant à l’intérieur du manteau terrestre. Il peut avoir lieu sur d'autres planètes ou satellites telluriques sous certaines conditions. La convection mantellique est une composante essentielle de la théorie de la tectonique des plaques. Il existe une différence notable de température entre le manteau lithosphérique et l'asthénosphère sous-jacente, qui est responsable d'une descente de manteau froid lithosphétique (au niveau des zones de subduction) dans l'asthénosphère plus dense.
Infographie tridimensionnelleLa synthèse d'images tridimensionnelles, souvent appelée infographie tridimensionnelle ou infographie 3D (3D pour trois dimensions : x, y, z, les trois axes qui constituent le repère orthonormé de la géométrie dans l'espace), est un ensemble de techniques notamment issues de la CAO qui permet la représentation d'objets en perspective sur un moniteur d'ordinateur. Elle est actuellement très utilisée en art numérique dans l'industrie du film, initiée par les studios Pixar, Disney, DreamWorks, Blue Sky, Illumination et ILM et, .
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
