Radiant heating and coolingRadiant heating and cooling is a category of HVAC technologies that exchange heat by both convection and radiation with the environments they are designed to heat or cool. There are many subcategories of radiant heating and cooling, including: "radiant ceiling panels", "embedded surface systems", "thermally active building systems", and infrared heaters.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
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.
ConvectionLa convection est l'ensemble des mouvements internes (verticaux ou horizontaux) qui animent un fluide et qui impliquent alors le transport des propriétés des particules de ce fluide au cours de son déplacement. Elle peut être due à des différences de température, une agitation mécanique, un pompage etc. Ce transfert implique l'échange de chaleur entre une surface et un fluide mobile à son contact, ou le déplacement de chaleur au sein d'un fluide par le mouvement d'ensemble de ses molécules d'un point à un autre.
Free coolingthumb|Schéma de principe de refroidissement d'un data center. Le free cooling — locution anglophone signifiant littéralement rafraîchissement gratuit — est une méthode économique qui utilise la différence de température entre l'air en sortie des ordinateurs et la température de l'air extérieur afin d'aider au système de refroidissement à eau. Ce principe peut être utilisé pour l'industrie, les systèmes d'air conditionnés dans les centres de traitement de données économes en énergie.
LémanLe Léman ( ), ou par tautologie lac Léman, également dénommé lac de Genève notamment dans le canton de Genève et dans plusieurs langues étrangères, est un lac d'origine glaciaire situé en Suisse et en France ; par sa superficie, c'est le plus grand lac alpin et subalpin d'Europe. Le lac, d'une longueur d'environ et d'une largeur maximale inférieure à , est en forme de croissant orienté de l'est vers l'ouest. Le rivage nord et les deux extrémités sont suisses et sont partagés entre les cantons de Genève, de Vaud et du Valais.
Hivervignette|Paysage d'un jour d'hiver enneigé au bois de la Cambre à Bruxelles, en 2017. vignette|Paysage d'un jour d'hiver enneigé à Neulingen (Bade-Wurtemberg, Allemagne). thumb|L'hiver en Finlande. Lhiver est l’une des quatre saisons de l’année dans les zones tempérées et polaires de la Terre. L'hiver suit l'automne et précède le printemps. Il existe plusieurs définitions de l'hiver : astronomique (saison comprenant les jours les plus courts de l'année), météorologique (saison comprenant les mois les plus froids de l'année), et calendaire (dont les dates varient selon les pays).
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.
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.
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.
