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.
Négociationvignette|300x300px| : peinture d'un artiste anonyme représentant la négociation du Traité de Londres à Somerset House en . Ces négociations ont mis fin à la guerre anglo-espagnole. (National Portrait Gallery) La négociation est un terme désignant les démarches entreprises pour parvenir à un accord ou conclure une affaire. Les parties prenantes doivent alors effectuer des compromis pour trouver cet accord. Il est contestable d’employer le terme de négociation pour désigner une délibération avec soi-même, un ajustement immédiat de son comportement ou un accord tacite.
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.
Algorithmethumb|Algorithme de découpe d'un polygone quelconque en triangles (triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes. Le domaine qui étudie les algorithmes est appelé l'algorithmique. On retrouve aujourd'hui des algorithmes dans de nombreuses applications telles que le fonctionnement des ordinateurs, la cryptographie, le routage d'informations, la planification et l'utilisation optimale des ressources, le , le traitement de textes, la bio-informatique L' algorithme peut être mis en forme de façon graphique dans un algorigramme ou organigramme de programmation.
Réchauffement climatiquevignette|redresse=1.35|Températures moyennes de l'air en surface de 2011 à 2020 par rapport à une moyenne de référence de 1951 à 1980. vignette|redresse=1.35|Température observée par la NASA par rapport à la moyenne de 1850-1900 comme référence préindustrielle. Le principal facteur d'augmentation des températures mondiales à l'ère industrielle est l'activité humaine, les forces naturelles ajoutant de la variabilité. vignette|redresse=1.35|L'énergie circule entre l'espace, l'atmosphère et la surface de la Terre.
Couverture médiatique du réchauffement climatiqueLa couverture médiatique du réchauffement climatique influence l'opinion publique sur le réchauffement climatique. Elle relaie le consensus scientifique sur le réchauffement climatique selon lequel la température moyenne à la surface du globe augmente depuis les 50 dernières années et que cette tendance est principalement due aux émissions anthropiques des gaz à effet de serre. Depuis 2007, aucun corps scientifique de calibre national ou international n'a contesté cette affirmation, quoique quelques organisations n'aient pas pris position.
Negotiation theoryThe foundations of negotiation theory are decision analysis, behavioral decision-making, game theory, and negotiation analysis. Another classification of theories distinguishes between Structural Analysis, Strategic Analysis, Process Analysis, Integrative Analysis and behavioral analysis of negotiations. Negotiation is a strategic discussion that resolves an issue in a way that both parties find acceptable. Individuals should make separate, interactive decisions; and negotiation analysis considers how groups of reasonably bright individuals should and could make joint, collaborative decisions.
Algorithme de Primthumb|right|Arbre couvrant de poids minimum L'algorithme de Prim est un algorithme glouton qui calcule un arbre couvrant minimal dans un graphe connexe pondéré et non orienté. En d'autres termes, cet algorithme trouve un sous-ensemble d'arêtes formant un arbre sur l'ensemble des sommets du graphe initial et tel que la somme des poids de ces arêtes soit minimale. Si le graphe n'est pas connexe, alors l'algorithme détermine un arbre couvrant minimal d'une composante connexe du graphe.
Justice climatiquevignette|Manifestation d'enfants pour la justice climatique. La notion de justice climatique désigne les approches éthiques, morales, de justice et politique de la question de l'égalité face au dérèglement climatique, plutôt que les approches uniquement environnementales ou physiques. Elle est aussi utilisée pour désigner les plaintes et actions juridiques déposées pour action insuffisante contre le changement climatique et pour l'adaptation. Entre 2006 et 2019, plus de relatives au climat ont été déposées dans une trentaine de pays, parfois par des enfants.
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
RaisonLa raison est généralement considérée comme une faculté propre de l'esprit humain dont la mise en œuvre lui permet de créer des critères de vérité et d'erreur et d'atteindre ses objectifs. Elle repose sur la capacité qu'aurait l'être humain de faire des choix en se basant sur son intelligence, ses perceptions et sa mémoire tout en faisant abstraction de ses préjugés, ses émotions ou ses pulsions. Cette faculté a donc plusieurs emplois : connaissance, éthique et technique.
Atomic sentenceIn logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language. From a logical analysis point of view, the truth or falsity of sentences in general is determined by only two things: the logical form of the sentence and the truth or falsity of its simple sentences.
Algorithme de DijkstraEn théorie des graphes, l'algorithme de Dijkstra (prononcé ) sert à résoudre le problème du plus court chemin. Il permet, par exemple, de déterminer un plus court chemin pour se rendre d'une ville à une autre connaissant le réseau routier d'une région. Plus précisément, il calcule des plus courts chemins à partir d'une source vers tous les autres sommets dans un graphe orienté pondéré par des réels positifs. On peut aussi l'utiliser pour calculer un plus court chemin entre un sommet de départ et un sommet d'arrivée.
Groupe d'experts intergouvernemental sur l'évolution du climatLe Groupe d'experts intergouvernemental sur l’évolution du climat (GIEC, ou IPCC pour l'anglais Intergovernmental panel on climate change) est un organisme intergouvernemental chargé d'évaluer l'ampleur, les causes et les conséquences du changement climatique en cours. Créé en 1988 sous l'égide de l'Organisation météorologique mondiale (OMM) et du Programme des Nations unies pour l'environnement (PNUE) à la suite d'une initiative politique internationale, le GIEC est ouvert à tous les pays membres de l'Organisation des Nations unies.
Algorithme d'EuclideEn mathématiques, l'algorithme d'Euclide est un algorithme qui calcule le plus grand commun diviseur (PGCD) de deux entiers, c'est-à-dire le plus grand entier qui divise les deux entiers, en laissant un reste nul. L'algorithme ne requiert pas de connaître la factorisation de ces deux nombres. vignette|Peinture censée représenter le mathématicien Euclide d'Alexandrie, par Justus of Ghent. Selon Donald Knuth, l'algorithme d'Euclide est l'un des plus anciens algorithmes.
Algorithme de Cocke-Younger-KasamiEn informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961. Il permet de déterminer si un mot est engendré par une grammaire, et si oui, d'en donner un arbre syntaxique. L'algorithme est nommé d'après les trois personnes qui l'ont redécouvert indépendamment, J. Cocke, dont l'article n'a jamais été publié, D. H. Younger et T. Kasami qui a publié un rapport interne aux US-AirForce.
Grand modèle de langageUn grand modèle de langage, grand modèle linguistique, grand modèle de langue, modèle massif de langage ou encore modèle de langage de grande taille (LLM, pour l'anglais large language model) est un modèle de langage possédant un grand nombre de paramètres (généralement de l'ordre du milliard de poids ou plus). Ce sont des réseaux de neurones profonds entraînés sur de grandes quantités de texte non étiqueté utilisant l'apprentissage auto-supervisé ou l'apprentissage semi-supervisé.
Codage de HuffmanLe codage de Huffman est un algorithme de compression de données sans perte. Le codage de Huffman utilise un code à longueur variable pour représenter un symbole de la source (par exemple un caractère dans un fichier). Le code est déterminé à partir d'une estimation des probabilités d'apparition des symboles de source, un code court étant associé aux symboles de source les plus fréquents. Un code de Huffman est optimal au sens de la plus courte longueur pour un codage par symbole, et une distribution de probabilité connue.
Algorithme de ShorEn arithmétique modulaire et en informatique quantique, l’algorithme de Shor est un algorithme quantique conçu par Peter Shor en 1994, qui factorise un entier naturel N en temps O et en espace . Beaucoup de cryptosystèmes à clé publique, tels que le RSA, deviendraient vulnérables si l'algorithme de Shor était un jour implanté dans un calculateur quantique pratique. Un message chiffré avec RSA peut être déchiffré par factorisation de sa clé publique N, qui est le produit de deux nombres premiers.
Théorème du codage de sourceLe théorème du codage de source (ou premier théorème de Shannon, ou encore théorème de codage sans bruit) est un théorème en théorie de l'information, énoncé par Claude Shannon en 1948, qui énonce la limite théorique pour la compression d'une source. Le théorème montre que l'on ne peut pas compresser une chaine de variables aléatoires i.i.d, quand la longueur de celle-ci tend vers l'infini, de telle sorte à ce que la longueur moyenne des codes des variables soit inférieure à l'entropie de la variable source.
