hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Communicating sequential processes
En programmation concurrente, Communicating sequential processes (CSP)  est une algèbre de processus permettant de modéliser l'interaction de systèmes.

CSP intègre un mécanisme de synchronisation basé sur le principe du rendez-vous (détaillé plus loin au travers de la commande d'entrée/sortie). Combinant ce mécanisme à une syntaxe simple et concise, CSP permet l'implémentation rapide des paradigmes classiques de la concurrence, tels que producteurs/consommateurs ou lecteurs/écrivains. Ce n'est pas un langage de programmation complet.

CSP fut décrit en premier par C. A. R. Hoare dans un article de 1978, mais a depuis évolué de façon substantielle. CSP a été mis en pratique industriellement comme un outil de spécification formelle de l'exécution concurrente de systèmes variés — tels que le T9000 Transputer ou un système informatique de transaction commerciale sécurisé 
. C'est un champ de recherche toujours actif.

Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).

Ces méthodes permettent d'obtenir une très forte assurance de l'absence de bug dans les logiciels (Evaluation Assurance Level, Safety Integrity Level). Elles sont utilisées dans le développement des logiciels les plus critiques. Leur amélioration et l'élargissement de leurs champs d'application pratique sont la motivation de nombreuses recherches scientifiques en informatique.
Championnat d'Angola de football 2018-2019
La saison 2018-2019 du Championnat d'Angola de football est la quarante-et-unième édition de la première division de football en Angola. Les seize meilleures équipes du pays sont regroupées au sein d'une poule unique où elles s'affrontent deux fois, à domicile et à l'extérieur. En fin de saison, les trois derniers du classement sont relégués et remplacés par les trois meilleures équipes du Gira Angola, la deuxième division angolaise.

Championnat d'Angola de football
Le championnat d'Angola de football (appelé Girabola) a été créé en 1979. Auparavant, une compétition locale est organisée depuis 1941, l'Angola étant, avant son accession à l'indépendance, une colonie portugaise.
Loi sur l'Alberta
La Loi sur l’Alberta (anglais : Alberta Act), entrée en vigueur le 1er septembre 1905, fut la loi du Parlement du Canada qui a créé la province de l'Alberta.

La Loi sur l’Alberta est de nature similaire à la Loi sur la Saskatchewan, qui a créé au même moment la province de la Saskatchewan. A l'instar de la Loi sur la Saskatchewan, la Loi sur l’Alberta fut controversée parce qu'elle (art. 21) permettait au gouvernement du Canada de garder le contrôle de toutes les ressources naturelles et terres publiques (en) de l'Alberta. L'Alberta n'a pas pris le contrôle de ces ressources avant l'adoption des Lois sur les ressources naturelles (en) en 1930.

La Loi sur l’Alberta a défini les limites des circonscriptions électorales de la première élection générale albertaine de 1905.

La Loi sur l’Alberta fait partie de la Constitution du Canada.
L'Acte de l’Alberta a été renommé en Loi sur l’Alberta dans la Loi constitutionnelle de 1982.

Loi constitutionnelle de 1982
La Loi constitutionnelle de 1982 est l'un des deux textes fondamentaux de la Constitution du Canada. Elle a été adoptée par le Parlement du Royaume-Uni par la Loi de 1982 sur le Canada.

Cette loi comprend, entre autres choses : la Charte canadienne des droits et libertés et la procédure de modification de la Constitution du Canada, parachèvement le processus graduel initié au vingtième siècle connu comme le rapatriement de la Constitution du Canada. Son annexe formalise dans la constitution certains autres textes constitutionnels antérieurs comme la Loi constitutionnelle de 1867 et le Statut de Westminster de 1931.
Swiss Market Index
Le Swiss Market Index (SMI), que l'on peut traduire par « Indice du marché suisse », est un indice boursier du marché actions regroupant les 20 principales valeurs (blue chips) du marché suisse cotées à la SIX Swiss Exchange.

Indice boursier
Un indice boursier représente le taux de croissance, entre deux dates, de la juste valeur d'un portefeuille théorique d'actions cotées sur les marchés organisés appartenant à une liste d'entreprises sélectionnée par des choix raisonnés.
Stara Wieś (Radzyń Podlaski)
Stara Wieś (prononciation [ˈstara ˈvjɛɕ]) est un village de la gmina de Borki du powiat de Radzyń Podlaski dans la voïvodie de Lublin, situé dans l'est de la Pologne.

Le village comptait approximativement une population de 649 habitants en 2014.

Borki (gmina)
Borki est une gmina rurale (gmina wiejska) du powiat de Radzyń Podlaski, dans la Voïvodie de Lublin, dans l'est de la Pologne.

Son siège administratif (chef-lieu) est le village de Borki, qui se situe environ 10 kilomètres (km) au sud-ouest de Radzyń Podlaski (siège du powiat) et 53 kilomètres au nord de la capitale régionale Lublin (capitale de la voïvodie).

La gmina couvre une superficie de 111,83 km2 pour une population de 6 166 habitants en 2006.
Tetsurō Oda
Tetsurō Oda (織田哲郎, Oda Tetsurō, né le 11 mars 1958 au Japon) est un chanteur, auteur-compositeur, guitariste et producteur de musique japonais réputé. Il débute en 1978, et sort en solo une vingtaine de singles et une quinzaine d'albums entre 1981 et 2007. Il produit aussi et écrit pour d'autres artistes, notamment Nanase Aikawa, ZARD, Deen ou encore Mi-Ke. Il a composé de nombreux tubes, dont Odoru Pompokolin (en) pour B.B.Queens (en).

ZARD
ZARD est à l'origine un groupe de J-pop réuni en 1991 autour de la chanteuse et ex-mannequin japonaise Izumi Sakai, qui en reste rapidement le seul membre permanent, ZARD devenant de fait son « projet vocal » personnel, jusqu'à son décès en 2007.

Malgré sa discrétion médiatique, donnant rarement des interviews ou des concerts, ZARD est l'un des 10 meilleurs vendeurs de l'histoire de la musique japonaise avec plus de 36 millions de disques écoulés. ZARD est connu en Occident pour avoir interprété de nombreux génériques de séries anime, notamment pour Détective Conan ou Dragon Ball GT. ZARD s'éteint donc en mai 2007 avec sa chanteuse malade d'un cancer, décès présumé accidentel qui suscite un grand émoi et de nombreux hommages au Japon.
Réserve indienne de Warm Springs
La réserve indienne de Warm Springs est une réserve indienne qui s'étend sur 2 640,2 km2 au centre nord de l'Oregon, aux États-Unis. La confédération est composée de trois tribus : les Wasco, les Warm Springs et les Païutes. Depuis 1938, elles se sont rassemblées et portent le nom de Tribus confédérées de Warm Springs. La réserve a été créée en 1855 par traité.

Le film Tonka, cheval sauvage (1958) de Walt Disney Pictures a été tourné dans la réserve et de nombreux indiens ont servi de figurants.

Réserve indienne (États-Unis)
Aux États-Unis, une réserve indienne (Indian reservation en anglais) est un territoire réservé aux tribus nord-amérindiennes dépendant du Bureau des affaires indiennes, dépendant du département de l'Intérieur des États-Unis. Il y a environ 326 réserves indiennes aux États-Unis, ce qui ne correspond pas à l'intégralité des 574 tribus reconnues dans tout le pays car certains peuples n'ont pas de réserve, d'autres en ont plus d'une, et d'autres encore partagent leur occupation. La superficie et la population des réserves sont très disparates. La plupart des réserves se situent à l'ouest du fleuve Mississippi.

Les réserves indiennes ne sont que « prêtées » à leurs occupants et restent la propriété des États selon la loi américaine. Certains espaces, partiellement vendus à des habitants non indiens, sont sources de nombreuses difficultés administratives, politiques et juridiques.
Coupe latine de rink hockey 1962
La Coupe latine de rink hockey 1962 est la 7e édition de la compétition organisée par le Comité européen de rink hockey. Cette édition a lieu à Porto, au Portugal du 26 au 28 octobre 1962. Le Portugal remporte pour la cinquième fois ce tournoi.

Coupe latine (rink hockey)
La Coupe latine est une compétition de rink hockey au cours de laquelle s'affrontent les sélections sub-23 des quatre nations européennes : Portugal, Espagne, Italie et France. Elle est organisée par le Comité européen de rink hockey.

Le premier tournoi voit le jour en 1956 et se renouvelle chaque année jusqu'en 1963. Durant cette période, chaque pays organise la compétition chacun son tour.

Après une longue période d'absence, le tournoi revient en 1987 et il est exclusivement réservé aux jeunes joueurs dont l'âge se situe en 20 et 23 ans. Ce nouveau format va durer jusqu'en 2004. À noter qu'en 2001, en l'absence de l'Espagne, c'est l'Allemagne qui prend part à la compétition.

Depuis 2006, ce tournoi est exclusivement réservé aux moins de 23 ans afin que les jeunes joueurs non retenus en sélection adulte puissent bénéficier d'une expérience internationale et se joue tous les deux ans sous la forme d’une rotation entre les quatre pays.
Champ pétrolifère de Midway-Sunset
Le champ pétrolifère de Midway-Sunset est un champ pétrolifère situé au sein de la vallée de San Joaquin, dans le comté de Kern en Californie aux États-Unis. C'est le plus grand champ pétrolier connu de la Californie et le 3e plus étendu des États-Unis.

Il est exploité principalement par la société Chevron.

Le champ est découvert en 1894, et fin 2006, il a déjà produit près de 3 milliards de barils soit 48 000 000 m3 de pétrole. À cette époque, ses réserves étaient estimées à approximativement 532 millions de m3, soit 18 % de celles de la Californie.

Comté de Kern
Le comté de Kern (en anglais : Kern County) est un comté de l'État américain de Californie. Au recensement des États-Unis de 2020, il compte 909 235 habitants. Le siège de comté est Bakersfield.

Ce comté de 21 138 km2 exploite les ressources du sous-sol et de l'agriculture. Il reste la première région pour la production du pétrole en Californie et concentre 85 % des 43 000 puits de l'État. Il représente 10 % de la production nationale. On trouve également de l'or et de la kernite. La base aérienne d'Edwards est localisée en son sud-est.
Trésor des Atrébates
Le trésor des Atrébates est un ensemble de quarante-deux pièces, essentiellement des parures gauloises en or, découvert dans des conditions controversées en 2010 à Warlincourt-lès-Pas, dans le département du Pas-de-Calais (France).

Daté de la fin de l'âge du fer, vers les IIe – Ier siècles av. J.-C., le trésor est attribué au peuple gaulois des Atrébates.

Musée d'Archéologie nationale
Le musée des Antiquités nationales, créé en 1862 et devenu musée d'Archéologie nationale et domaine national de Saint-Germain-en-Laye en 2009, est un musée consacré à l'archéologie de la France. Il présente également une riche collection d'archéologie comparée des cinq continents. Il est installé dans le château de Saint-Germain-en-Laye (Yvelines), restauré par Eugène Millet, élève d'Eugène Viollet-le-Duc, pour accueillir les salles d'exposition du musée.
Roue Tourangelle 2024
La 22e édition de la Roue Tourangelle a eu lieu le 24 mars 2024. Cette course cycliste d'un jour fait partie de la Coupe de France en tant que 5e manche de l'édition 2024.
Elle fait aussi partie du calendrier UCI Europe Tour 2024 en catégorie 1.1 (troisième catégorie mondiale)

L'épreuve est remportée par Jason Tesson de l'équipe TotalEnergies qui s'impose au sprint devant Gerben Thijssen (Intermarché-Wanty) et Jenthe Biermans (Arkéa-B&B Hotels).

Roue Tourangelle
La Roue Tourangelle est une course cycliste française créée en 2002. Elle est ouverte aux professionnels depuis 2004 et fait partie de l'UCI Europe Tour dans la catégorie 1.2 de 2005 à 2012, puis en catégorie 1.1 depuis l'édition 2013. Elle est par conséquent ouverte aux équipes UCI ProTeams, aux équipes continentales professionnelles françaises, aux équipes continentales, à des équipes nationales et à des équipes régionales ou de clubs.

La course intègre la Coupe de France en 2015. L'édition 2020 est annulée en raison de la pandémie de Covid-19.
Valérie Lacroute
Valérie Lacroute, née le 29 octobre 1965 à Chalon-sur-Saône (Saône-et-Loire), est une femme politique française. Maire de Nemours entre 2008 et 2017, elle devient députée de la deuxième circonscription de Seine-et-Marne à partir de 2012 avant de retourner à la tête de la municipalité à partir de 2020.

Cumul des mandats en France
Le cumul des mandats en France, par sa fréquence et son importance, fait depuis longtemps figure d'exception,. Ainsi, 82 % des députés et 77 % des sénateurs exercent au moins un autre mandat électif en 2012. Ces parlementaires sont généralement à la tête d'un exécutif local : 45 % des députés et 48 % des sénateurs sont soit maire, soit président de conseil départemental, soit président de conseil régional. Après l'adoption des lois du 14 février 2014, le cumul d'un mandat de parlementaire et d'un mandat exécutif local est interdit pour les députés et les sénateurs à partir des élections législatives et élections sénatoriales de 2017, ainsi que pour les députés européens à partir des élections européennes de 2019.
Alcée fils d'Héraclès
Dans la mythologie grecque, Alcée (en grec ancien Ἀλκαῖος / Alkaĩos, en latin Alcaeus) est le fils qu'Héraclès eut en Lydie de la reine Omphale, ou selon d'autres, d'une suivante de la reine. Il fut la tige de la 2e race des rois de Lydie (les Héraclides), et commença à régner vers 1292 av. J.-C. Il a pour fils Bélus.

Lydie
La Lydie est un ancien pays d'Asie Mineure, proche de la mer Égée, dont la capitale était Sardes. Elle devient le cœur d'un royaume qui prend une grande importance politique durant la première moitié du VIe siècle av. J.-C., en particulier sous son principal roi, Crésus, qui est aussi son dernier puisqu'il est défait par les troupes perses conduites par Cyrus II vers 547 av. J.-C. Le terme reste appliqué à la région durant le reste de l'Antiquité, mais elle ne retrouve plus son autonomie politique, passant sous la domination des royaumes hellénistiques puis sous celle des Romains.
Nathalie Perrin-Gilbert
Nathalie Perrin-Gilbert, née le 28 octobre 1971 à Lyon, est une femme politique française.

Maire du 1er arrondissement de Lyon de 2001 à 2020, elle est adjointe au maire de Lyon, Grégory Doucet, déléguée à la Culture, de juillet 2020 à mai 2024.

Deuxième circonscription du Rhône
La deuxième circonscription du Rhône est l'une des 14 circonscriptions législatives que compte le département français du Rhône (69), situé en région Auvergne-Rhône-Alpes Depuis 2015, elle est située entièrement dans la métropole de Lyon.

La circonscription est aussi l'une des quatre de la ville de Lyon, couvrant ses 1er et 4e arrondissements et une partie de ses 2e et 9e arrondissements.

Elle est représentée à l'Assemblée nationale lors de la XVIIe législature de la Cinquième République par Boris Tavernier, élu en juin 2024 sous l'étiquette du Nouveau Front populaire et qui siège au sein du Groupe écologiste et social.
Électrophorèse capillaire
L'électrophorèse capillaire (en anglais capillary electrophoresis : CE) peut être utilisée pour séparer des espèces ioniques selon leur charge et les forces de friction qui s'exercent sur elles.

En électrophorèse traditionnelle, les éléments chargés électriquement se déplacent dans le liquide conducteur sous l'influence d'un champ électrique. Introduite dans les années 1990, la CE a été conçue pour séparer des espèces chimiques selon leur rapport charge / taille à l'intérieur d'un petit tube capillaire rempli d'un électrolyte.

Électrophorèse
L’électrophorèse est le mouvement de particules électriquement chargées en colloïde ou de molécules chargées dissoutes, relativement à un fluide et sous l'influence d'un champ électrique spatialement uniforme. L'électrophorèse permet de différencier des espèces chargées, notamment des protéines, après leur déplacement dans un champ électrique.

L’électrophorèse est — avec la chromatographie — la principale des techniques utilisées en biologie pour la séparation et la caractérisation d'espèces. Elle a quelques applications en chimie, mais est principalement utilisée en biochimie ou biologie moléculaire pour la séparation des protéines ou des acides nucléiques. Dans un milieu donné, la séparation des espèces se fait en fonction de leur charge électrique et pour des charges identiques, en fonction de leur taille.
Rookie (EP)
Rookie est le quatrième mini-album du girl group sud-coréen Red Velvet. Il est sorti le 1er février 2017 sous SM Entertainment.

L'EP fait suite à Russian Roulette, sorti en 2016. Il se compose de six pistes, dont Rookie.

Le mini album a été un succès commercial, en étant en tête du Gaon Album Chart et du Billboard's World Albums.

M Countdown
M Countdown (coréen : 엠 카운트다운) est une émission de télévision sud-coréenne diffusée sur Mnet et animée par Sung Han-bin et Myung Jaehyun. Cette émission est diffusée tous les jeudis à 18h00. L'émission est diffusée également en direct en Chine, Hong Kong, Japon, Philippines, États-Unis, Taiwan, Malaisie, Singapour et d'autres pays.
Histoire de la paléoanthropologie
La paléoanthropologie est la science qui étudie les fossiles humains ou pré-humains, et l'histoire évolutive de la lignée humaine. Elle est née dans la seconde moitié du XIXe siècle, peu de temps après la préhistoire, qui, en tant que discipline, s'intéresse plutôt aux artéfacts laissés par les hommes préhistoriques, notamment leurs industries lithiques.

L'idée d'évolution des espèces émerge au sein de la science au début du XIXe siècle avec Jean-Baptiste de Lamarck, et s'affirme avec le travail de Charles Darwin, publié en 1859 et 1871, qui suit de peu la découverte en 1856 du premier homme fossile, l'Homme de Néandertal.

Richard Leakey
Richard Leakey, né le 19 décembre 1944 à Nairobi et mort le 2 janvier 2022 près de Nairobi, est un paléoanthropologue kenyan d'origine britannique. Il a mené de nombreuses fouilles au Kenya, qui ont conduit à la découverte de nombreux fossiles humains et d'Hominina anciens, avant de s'impliquer dans la conservation de la nature et dans la politique du Kenya, puis de devenir professeur d'université à New York, aux États-Unis. Il est l'auteur d'une dizaine d'ouvrages de vulgarisation, dont la majorité en collaboration avec Roger Lewin.
Baie de Saryshyganak
La baie de Sarishyganak (signifiant en Kazak : baie jaune) ou Grande Sarishyganak est une baie au nord-est de la petite mer d'Aral.

Avant 1970, cette baie était poissoneuse et faisait vivre la ville d'Aralsk ; après la catastrophe de la mer d'Aral, elle s'est presque entièrement asséchée.

Après la construction du barrage de Kokaral, elle a retrouvé un certain volume d'eau et mesure dorénavant 29 km de long et 10,5 km de large, mais sa profondeur est faible et elle se trouve toujours à 22 km au sud-ouest de la ville d'Aralsk. Plusieurs projets existent pour lui faire recouvrir la totalité de sa superficie et de son volume d'eau.

La côte ouest est occupée par la péninsule sablonneuse de Koktyrnak. Le désert d'Aral Karakum couvre presque tout l'est et le sud-est. Au nord, des herbes épaisses et des buissons poussent. Les rives servent d'aires d'hivernage.

Barrage de Kokaral
Le barrage de Kokaral ou de Kok-Aral est construit dans l'ancienne mer d'Aral afin de maintenir un certain niveau dans la Petite mer d'Aral qui n'est que la partie nord de ce qu'il reste de cette mer. La construction du barrage actuel s'est achevée en août 2005.
NGC 7132
NGC 7132 est une galaxie spirale située dans la constellation de Pégase. Sa vitesse par rapport au fond diffus cosmologique est de 7 934 ± 25 km/s, ce qui correspond à une distance de Hubble de 117,0 ± 8,2 Mpc (∼382 millions d'al). NGC 7132 a été découverte par l'astronome américain Lewis Swift en 1884.

À ce jour, une mesure non basée sur le décalage vers le rouge (redshift) donne une distance d'environ 81,900 Mpc (∼267 millions d'al). Cette valeur est nettement à l'extérieur des valeurs de la distance de Hubble. Notons que c'est avec la valeur moyenne des mesures indépendantes, lorsqu'elles existent, que la base de données NASA/IPAC calcule le diamètre d'une galaxie et qu'en conséquence le diamètre de NGC 7132 pourrait être d'environ 49,7 kpc (∼162 000 al) si on utilisait la distance de Hubble pour le calculer.

Pégase (constellation)
Pegasus

Pégase est une constellation de l'hémisphère nord, située au sud d'Andromède, au nord des Poissons et au nord-ouest du Verseau. C'est la septième constellation du ciel par la taille (1 121 degrés2).
Królewski Las
Królewski Las (prononciation : [kruˈlɛfski ˈlas]) est un village polonais de la gmina de Góra Kalwaria dans le powiat de Piaseczno de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 6 kilomètres au sud-est de Góra Kalwaria (siège de la gmina), 22 kilomètres au sud-est de Piaseczno (siège du powiat) et à 36 kilomètres au sud-est de Varsovie (capitale de la Pologne).

Piaseczno
Piaseczno (prononciation : [pʲaˈsɛt͡ʂnɔ]) est une ville de la voïvodie de Mazovie, dans le nord-est de la Pologne, située le long de la route nationale no 8, tronçon polonais de la Via Baltica.

Elle est située approximativement à 16 kilomètres au sud de Varsovie, capitale de la Pologne.

Elle couvre une surface de 16,22 km2 et comptait 44 017 habitants en 2013.

Piaseczno est le siège administratif (chef-lieu) du powiat de Piaseczno, ainsi que de la gmina de même nom.

Située au sud de Varsovie, c’est une ville résidentielle de la banlieue immédiate de la capitale, fortement dépendante de celle-ci autant du point de vue économique que culturel.
Édouard Sené
Édouard Sené (1887-1932) est un militant syndical, journaliste engagé, plusieurs fois condamné pour complicité avec les mouvements anarchistes et anti-militaristes, mais soutenu par toute la Presse. Mobilisé, malade, il est affecté en 1916 au 12e Groupe d'autos-mitrailleuses et autos-canons. Il y crée le journal de tranchées Taca Tac Teuf Teuf. Sous-officier, son attitude courageuse lui vaut deux citations en 1918 et la Croix de guerre. Après la guerre il reprend son métier de journaliste dans plusieurs supports de presse dont Détective où il est rédacteur en chef à sa mort en janvier 1932.

Le Libertaire
Le Libertaire est un journal anarchiste fondé à New York en 1858 par Joseph Déjacque. Le titre disparaît en 1861. Il reparaît en 1892 à Alger, puis de 1893 à 1894 à Saint-Josse-ten-Noode, en Belgique. Le 16 novembre 1895, Sébastien Faure lance en France Le Libertaire, hebdomadaire qui deviendra l'un des titres principaux de la presse anarchiste de l'époque avec Les Temps nouveaux et La Sociale.