Lobbyingvignette| Le lobby de la Chambre des communes du Royaume-Uni, multi-portrait du caricaturiste pour le journal satirique Vanity Fair, 1886. En politique, le lobbying, lobbyisme ou représentation d'intérêts, est l'acte de tenter légalement d'influencer les actions, les politiques ou les décisions des représentants du gouvernement, des législateurs ou des organismes de réglementation.
Fossil fuels lobbyThe fossil fuels lobby includes paid representatives of corporations involved in the fossil fuel industry (oil, gas, coal), as well as related industries like chemicals, plastics, aviation and other transportation. Because of their wealth and the importance of energy, transport and chemical industries to local, national and international economies, these lobbies have the capacity and money to attempt to have outsized influence governmental policy.
Politique climatiqueLa politique climatique d'une organisation internationale, d'un État ou d'un groupe d'États, ou d'une collectivité territoriale définit les actions à entreprendre pour lutter contre le réchauffement climatique. Elle se traduit par un plan d'action stratégique, souvent appelé plan climat. Elle vise généralement conjointement deux objectifs : l'atténuation du changement climatique et l'adaptation au changement climatique.
Déni du réchauffement climatiquevignette| Dérision du déni du réchauffement climatique. Le « déni du réchauffement climatique » est une attitude de dénégation face au consensus scientifique sur le réchauffement climatique. Certaines personnes admettent qu'il y a un réel changement, allant dans le sens d'un réchauffement global, mais nient que ce changement a une origine ou une part anthropique ; ils l'attribuent exclusivement aux variations naturelles du climat.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Influence socialeL’influence sociale ou la pression sociale est l'influence exercée par un individu, ou par un groupe sur chacun de ses membres, dont le résultat est d'imposer des normes dominantes en matière d'attitude et de comportement. . Cette influence entraîne la modification des comportements, attitudes, croyances, opinions ou sentiments d'un individu ou d'un groupe à la suite du contact avec un autre individu ou groupe. Pour noter un tel effet d’influence, une quelconque relation doit exister entre ces entités.
ÉcologismeLécologisme, ou environnementalisme, est à la fois un courant de pensée (idéologie ou philosophie) et un corpus de valeurs et de propositions, dont l'orientation de l'activité politique ou parapolitique vise au respect, à la protection, à la préservation ou à la restauration de l'environnement. Ce mouvement éco-centrique a comme projet la conservation de la nature et le « respect » des équilibres naturels.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Advocacy groupAdvocacy groups, also known as interest groups, special interest groups, lobbying groups, pressure groups, or public associations use various forms of advocacy and/or lobbying in order to influence public opinion and ultimately public policy. They play an important role in the development of political and social systems. Motives for action may be based on political, economic, religious, moral, commercial or common good-based positions.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Atténuation du changement climatiquethumb|Consommation globale d'énergie entre 2000 et 2020. L'atténuation du changement climatique ou « atténuation du réchauffement climatique » (en anglais, climate change mitigation) regroupe les actions visant à atténuer l'ampleur du réchauffement mondial d'origine humaine par la réduction des émissions de gaz à effet de serre ou la capture et séquestration du dioxyde de carbone de l'atmosphère.
Gouvernement de coalitionPar opposition au gouvernement homogène, un gouvernement de coalition est un gouvernement formé par des représentants de plusieurs partis politiques. Un gouvernement de coalition est un gouvernement parlementaire constitué par des membres de plusieurs partis qui ont accepté de coopérer en formant une coalition. La raison habituelle d'un tel arrangement est qu'aucun parti seul n'a suffisamment de députés pour constituer une majorité au parlement.
Théorie de la stabilitéEn mathématiques, la théorie de la stabilité traite la stabilité des solutions d'équations différentielles et des trajectoires des systèmes dynamiques sous des petites perturbations des conditions initiales. L'équation de la chaleur, par exemple, est une équation aux dérivées partielles stable parce que des petites perturbations des conditions initiales conduisent à des faibles variations de la température à un temps ultérieur en raison du principe du maximum.
Politique aux États-UnisCet article concerne la politique aux États-Unis, les institutions politiques des États et du gouvernement fédéral et la vie politique américaine indépendamment des administrations successives. Les États-Unis sont une république fédérale à régime présidentiel. Le système politique des États-Unis repose sur trois principes fondamentaux : la République, la démocratie et le fédéralisme. Il est défini par la Constitution des États-Unis de 1787 et ses 27 amendements.
Normative social influenceNormative social influence is a type of social influence that leads to conformity. It is defined in social psychology as "...the influence of other people that leads us to conform in order to be liked and accepted by them." The power of normative social influence stems from the human identity as a social being, with a need for companionship and association. Normative social influence involves a change in behaviour that is deemed necessary in order to fit in a particular group.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Scrutin majoritaire uninominalLe scrutin uninominal, ou scrutin uninominal majoritaire, est un système électoral dans lequel une seule personne est élue lors d'un scrutin. Il peut être utilisé soit pour pourvoir une fonction unique, soit pour élire une assemblée, en divisant le territoire en autant de circonscriptions que de sièges à pourvoir. Il s'agit d'un scrutin majoritaire. Il s'oppose au scrutin plurinominal. Il existe plusieurs types de scrutin uninominal.
