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.
Efficacité énergétique (économie)En économie, l’efficacité énergétique ou efficience énergétique désigne l'état de fonctionnement d'un système pour lequel la consommation d’énergie est minimisée pour un service rendu identique. C'est un cas particulier de la notion d’efficience. Elle concerne notamment les transports motorisés, les métiers du bâtiment et l'industrie (ces derniers étant responsables respectivement d'environ 40 % et 25 % de la consommation énergétique totale de l'Union européenne).
Accord multilatéral sur l'environnementUn accord multilatéral sur l'environnement (AME) est un accord juridiquement contraignant entre trois ou plusieurs États relatifs à l'environnement. Ils sont principalement produits par l'Organisation des Nations unies. La grande majorité des AME ont été produites depuis la Conférence des Nations unies sur l'environnement humain (plus connue sous le nom de Conférence de Stockholm) en 1972. La communauté internationale a signé plus de 500 traités internationaux depuis la Conférence des Nations unies sur l'environnement humain à Stockholm.
Open-loop gainThe open-loop gain of an electronic amplifier is the gain obtained when no overall feedback is used in the circuit. The open-loop gain of many electronic amplifiers is exceedingly high (by design) – an ideal operational amplifier (op-amp) has infinite open-loop gain. Typically an op-amp may have a maximal open-loop gain of around , or 100 dB. An op-amp with a large open-loop gain offers high precision when used as an inverting amplifier.
Social-libéralismethumb|Leonard Trelawny Hobhouse, un des concepteurs du social-libéralisme, au travers notamment de son livre Liberalism paru en 1911. Le social-libéralisme ou nouveau libéralisme (son nom d'origine) dit également libéralisme social, haut libéralisme, libéralisme radical (radical liberalism), libéralisme moderne (modern liberalism), ou souvent en anglais d'Amérique du Nord, liberalism est un courant du libéralisme qui, à la suite de John Stuart Mill, met au centre de sa pensée le développement tant intérieur que matériel des êtres humains pensés dans leur interaction sociale.
Programme des Nations unies pour l'environnementLe Programme des Nations unies pour l'environnement (PNUE, en anglais United Nations Environment Program, UNEP) est une organisation dépendante de l'Organisation des Nations unies, créée en 1972, et ayant pour but de : coordonner les activités des Nations unies dans le domaine de l'environnement ; assister les pays dans la mise en œuvre de . Depuis que la notion de développement durable a été forgée (rapport Brundtland, 1987), le PNUE a cherché à intégrer la problématique environnementale dans des politiques plus globales de développement durable.
