hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Complétude (logique)
En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes ; autrement, le système est dit incomplet. Le terme « complet » est également utilisé sans qualification, avec des significations différentes selon le contexte, la plupart du temps se référant à la propriété de la validité sémantique. Intuitivement, dans ce sens particulier, un système est dit complet si toute formule vraie y est démontrable. Kurt Gödel, Leon Henkin et Emil Leon Poster ont tous publié des preuves de complétude. (Voir la thèse de Church-Turing.)

Métalogique
La métalogique est l'étude de la métathéorie de la logique. Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire un argument valide et correct, la métalogique concerne les vérités qui peuvent être dérivées des langages et des systèmes qui sont utilisés pour exprimer des vérités.

Les objets de base de l'étude métalogique sont les langages formels des systèmes formels, et leurs interprétations. L'étude de l'interprétation des systèmes formels est la branche de la logique mathématique appelée théorie des modèles, et l'étude des systèmes déductifs est appelée la théorie de la démonstration.
Wilczyca
Wilczyca (prononciation [vilˈt͡ʂɨt͡sa]) est un village de la gmina de Dalików , du powiat de Poddębice, dans la voïvodie de Łódź, situé dans le centre de la Pologne.

Il se situe à environ 5 kilomètres (km) au sud-ouest de Dalików (siège de la gmina) , 9 kilomètres au sud-est de Poddębice (siège du powiat) et 29 kilomètres à l'ouest de Łódź (capitale de la voïvodie).

Poddębice
Poddębice (prononciation [pɔdːɛmˈbʲit͡sɛ]) - (en allemand : Poddembice, en 1943–1945 Wandalenbrück) est une ville, située dans le powiat de Poddębice, dans la voïvodie de Łódź, dans la partie centrale de la Pologne.

La ville est le chef-lieu du powiat de Poddębice et de la gmina mixte de Poddębice.
Azimio La Umoja
Azimio la Umoja–One Kenya Coalition Party, connu simplement comme Azimio La Umoja ou Azimio (en français : En quête d'unité), est une alliance politique kényane dirigée par Raila Odinga. Odinga est le candidat à la présidence et Martha Karua est la candidate à la vice-présidence de l'alliance pour l'élection présidentielle de 2022. Le président sortant du Kenya Uhuru Kenyatta en est le président d'honneur. Elle est composée du Mouvement démocratique orange, du Parti du jubilé, de la Coalition nationale arc-en-ciel et de vingt autres partis.

Coalition nationale arc-en-ciel
Le National Rainbow Coalition ou National Alliance of Rainbow Coalition (NARC) est un parti politique du Kenya né de l'alliance de quatre partis : National Alliance Party of Kenya (auparavant NAK et actuellement NAPK), Liberal Democratic Party (LDP), Forum for the Restoration of Democracy-Kenya (FORD-K) et le National Party of Kenya (NPK) en vue de préparer les élections présidentielles de 2002.

C'est Mwai Kibaki, le candidat du NARC qui emporte ces élections avec 62 % des suffrages valables.

En 2005, les frictions entre les anciens membres du LDP de Raila Odinga et les membres fidèles à Kibaki poussent les premiers à former l'Orange Democratic Movement (ODM) et les autres le National Rainbow Coalition – Kenya (NARC-Kenya) laissant le NARC aux mains de Charity Ngilu.

Lors de l'élection présidentielle de 2007, le NARC soutient Raila Odinga, le candidat de l'ODM.
Puy Pariou
Le puy Pariou, aussi appelé puy de Pariou et plus souvent, simplement le Pariou, est un volcan de la chaîne des Puys, dans le Massif central. Formé par la superposition de deux cônes stromboliens et d'un anneau de tuf, cet ensemble a produit trois coulées de laves au cours de son histoire éruptive.

Il est historiquement l'emblème des eaux Volvic bien que ce puy ne soit pas dans l'aire de cette source.

Anorthite
L’anorthite est une espèce minérale du groupe des silicates, du sous-groupe des tectosilicates, de formule Ca Al2 Si2 O8, avec des traces de titane (Ti), de fer (Fe), de sodium (Na) et de potassium (K).
Logique interne (EPS)
Cette notion théorique particulière au champ de l'éducation physique et sportive a pour but de caractériser une Activité physique, sportive et artistique (APSA) et ses spécificités. La logique interne « intègre les règles constitutives, l’esprit et la signification essentielle de l’activité physique et sportive » dans la définition qu'en donne Pierre Parlebas.

Activité physique
L'activité physique regroupe à la fois l'exercice physique de la vie quotidienne (à la maison, lors du jardinage, des courses et autres ravitaillements, lors du travail, de la marche, de l'usage des escaliers, des déplacements et des modes de transport actifs), l'activité physique de loisirs, et la pratique sportive. Selon l'OMS, le sport est ainsi un « sous-ensemble de l'activité physique, spécialisé et organisé ».

Outre la régularité et la fréquence de l'exercice, trois paramètres semblent importants lors de l'exercice : la quantité d'énergie dépensée en mode aérobie, le pic d'intensité de l'effort et la durée de l'effort. 30 minutes d'exercices par jour durant 5 jours apportent autant de bénéfice que 3 séances de 10 minutes espacées de 4 heures dans chaque journée, 5 jours par semaine.
Liscia (fleuve de Sardaigne)
Le Liscia est un fleuve côtier du nord de la Sardaigne dans la région historique de la Gallura, dans la province d'Olbia-Tempio. Il coule sur 57 km jusqu'à son estuaire qui fait face à l'archipel de La Maddalena

Gallura
La Gallura est une région historique et géographique du nord-est de la Sardaigne, située autour des villes d'Olbia et de Tempio Pausania, où l'on parle une variante du corse, le gallurese (ou gallurais).

Ses paysages sont marqués par le granite et le chêne-liège. Le tourisme s'est développé sur les côtes : La Maddalena, Palau, Porto Cervo, Porto Rotondo et Santa Teresa Gallura en sont les destinations principales, connues internationalement sous le nom de Costa Smeralda (Côte d'Émeraude).
(164121) 2003 YT1
(164121) 2003 YT1 est un astéroïde Apollon et aréocroiseur, classé comme potentiellement dangereux. Il fut découvert par le Catalina Sky Survey à Catalina le 18 décembre 2003.

Il s'agit d'un astéroïde binaire.

Il pourrait s'agir du corps parent du bolide de Kyoto du 28 avril 2017.

Astéroïde Apollon
Les astéroïdes Apollon sont une famille d'astéroïdes géocroiseurs. Elle tire son nom d'(1862) Apollon, le premier de cette famille à avoir été découvert. Les astéroïdes sont classés dans cette famille si leur demi-grand axe est strictement supérieur à 1 ua et leur périhélie inférieur à 1,017 ua.

On connaît actuellement (1er novembre 2023) 18 874 astéroïdes Apollon dont 1 571 sont numérotés et 69 nommés.
Piazza Grande
En Italie, dans certaines villes, la  Piazza Grande  désigne la plus grande place où se déroulent habituellement les activités, elle est souvent bordée de bâtiments prestigieux :
La Piazza Grande d'Arezzo
La Piazza Grande de Bergame
La Piazza Grande de Gubbio
La Piazza Grande de Livourne
La Piazza Grande de Mirandola
La Piazza Grande de Modène
La Piazza Grande de Naples
La Piazza Grande d'Oderzo
La Piazza Grande de Palmanova
La Piazza Grande de Pérouse
La Piazza Grande de Trieste

D'autres dénominations existent, comme Piazza Maggiore de Bologne.

En Suisse, la Piazza Grande (it) de Locarno, est la place où se déroule le Festival international du film de Locarno.

Piazza Grande (Oderzo)
La Piazza Grande est la place principale d'Oderzo, en province de Trévise.

Depuis le Moyen Âge, elle est le centre de la vie sociale, économique et religieuse de la cité.
Il s'agit d'une des plus fameuses places de Vénétie par sa particulière forme scénique.
Dédiée à Victor-Emmanuel II, à la fin du XIXe siècle, elle reprend son nom original à la fin des années 1990.
August Vollmer
August "Gus" Vollmer (7 mars 1876 – 4 novembre 1955) est le premier chef de la police de Berkeley en Californie, aux États-Unis. Il est ensuite chef du Los Angeles Police Department à Los Angeles, de 1923 à 1924. Il est une figure de proue dans le développement du domaine de la justice pénale aux États-Unis, au début du XXe siècle. Atteint de la maladie de Parkinson et d'un cancer, il se suicide, avec son arme à feu.

Chef du Los Angeles Police Department
Le Chef du service de police de Los Angeles (titre officiel en anglais : Chief of the Los Angeles Police Department, COP) dirige le Los Angeles Police Department, aux États-Unis. Le COP est le plus haut gradé du service de police. Il est nommé par le maire et doit être approuvé par la commission de la police et le conseil municipal. Il peut exercer un maximum de deux mandats de cinq ans.
Geneviève Jacquinot-Delaunay
Geneviève Jacquinot-Delaunay (1937-2014) est une enseignante-chercheuse en sciences de l'éducation et sciences de l'information et de la communication, spécialiste des technologies éducatives et du télé-enseignement.

Institut français de l'éducation
L’Institut français de l'éducation (IFE) est un centre français de recherche et de diffusion des savoirs dans le domaine de l'éducation, intégré à l'École normale supérieure de Lyon. Il est issu de l’Institut national de recherche pédagogique (INRP) dissous en 2010.
Palais des sports Hamou-Boutlélis
Le palais des sports Hamou-Boutlélis (en arabe : قصر الرياضة حمو بوتليليس) est une salle omnisports située dans le quartier populaire de nord de Médina Jédida à Oran en Algérie. Il abrite les clubs du Mouloudia Club d'Oran et de l'Association sportive madinet d'Oran. Elle est dirigée par Sid Ahmed Tab.

Mouloudia Club oranais
Le Mouloudia Club oranais (en arabe : نادي مولودية وهران) abrégé en MC Oran ou MCO, ou connu simplement sous le nom de Mouloudia d'Oran, est un club omnisports algérien fondé officiellement le 1er janvier 1917 à Oran, d'abord en tant que club de football.
Thétis
Dans la mythologie grecque, Thétis  (en grec ancien : Θέτις / Thétis) est une Néréide (nymphe marine), fille de Nérée et de Doris. Elle ne doit pas être confondue avec sa grand-mère Téthys, la plus jeune des Titanide, déesse marine majeure et mère des Océanides. Elle est la mère du héros Achille.

Titan (mythologie)
Titanide

Dans la mythologie grecque, les Titans (masculin, du grec Τιτάν / Titán et au pluriel Τιτᾶνες / Titânes) et les Titanides (féminin, du grec Τιτανίς / Titanís et au pluriel Τιτανίδες / Titanídes) sont des divinités, enfants d'Ouranos et de Gaïa, ayant précédé les Cronides et les dieux de l'Olympe.

Ayant pour demeure le mont Othrys, les Titans et les Titanides sont douze des enfants de Gaïa (la Terre) et d'Ouranos (le Ciel) : Thémis, Phébé, Céos, Cronos, Crios, Mnémosyne, Océan, Téthys, Japet, Hypérion, Théia et Rhéa.

Divinités d'une force incroyable, ils ont régné au cours du légendaire Âge d'or et ont également composé le premier panthéon des divinités grecques.
Saint-Ouën-des-Vallons
Saint-Ouën-des-Vallons est une ancienne commune française, située dans le département de la Mayenne en région Pays de la Loire, devenue le 1er janvier 2019 une commune déléguée au sein de la commune nouvelle de Montsûrs.

Elle est peuplée de 198 habitants.

La Bazouge-des-Alleux
La Bazouge-des-Alleux est une commune française, située dans le département de la Mayenne en région Pays de la Loire, peuplée de 550 habitants.

La commune fait partie de la province historique du Maine, et se situe dans le Bas-Maine.
Hadera
Hadera (חדרה)  est une ville du nord d'Israël, dans le district de Haïfa. La cité est longée par un rivage de sept kilomètres de plages que borde la mer Méditerranée, étant située à mi-chemin entre Haïfa et Tel Aviv-Jaffa. La station balnéaire est arrosée par le Nahal Hadera qui se jette dans la mer Méditerranée par une modeste embouchure.

Ma'abarot
Les ma’abarot ((he) מעברות), au singulier ma’abarah étaient des camps de transit établis en Israël qui accueillirent dans les années 1950 jusqu'à 250 000 réfugiés juifs. Les conditions de vie précaires dans ces camps ont laissé une empreinte dans la mémoire collective israélienne, en particulier dans celle des juifs originaires des pays arabes et musulmans, qui y étaient les plus nombreux.

Le mot hébreu ma’abarah dérive du mot ma’avar, transit en français.
Marie-Jeanne Bassot
Marie-Jeanne Bassot, née le 22 février 1878 à Paris et morte le 13 décembre 1935 à Levallois-Perret, est la fondatrice de la Fédération des centres sociaux et socioculturels de France en 1922.

Elle fonde également La Résidence Sociale, association reconnue d’utilité publique, instigatrice de l'action sociale en France et dont la mission actuelle est d’accueillir et d’accompagner des personnes fragilisées, en situation de handicap mental, et des personnes âgées ainsi que leurs familles.

Settlement movement
Le settlement movement est un mouvement social libéral de réformation, qui débute aux environs de 1884 à Londres et qui culmine autour des années 1920 au Royaume-Uni et aux États-Unis. L'objectif du mouvement était de réunir les riches et les pauvres pour vivre plus étroitement ensemble dans une communauté solidaire au sein de la société.
Ilinko
Ilinko (prononciation : [iˈlinkɔ]) est un village polonais de la gmina de Płońsk dans le powiat de Płońsk de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 5 kilomètres à l'ouest de Płońsk (siège de la gmina et de la powiat) et à 65 kilomètres au nord-ouest de Varsovie (capitale de la Pologne).

Płońsk (gmina)
Płońsk est une gmina rurale (gmina wiejska) de la powiat de Płońsk, dans la Voïvodie de Mazovie, dans le centre-est de la Pologne.

Son siège administratif (chef-lieu) est la ville de Płońsk, bien qu'elle ne fasse pas partie du territoire de la gmina.

La gmina couvre une superficie de 127,3 km2 pour une population de 7 135 habitants en 2006.
Association africaine des bibliothèques et des institutions d'information
L'Association africaine des bibliothèques et des institutions d’information, plus connue sous son sigle anglais AfLIA (African Library and Information Associations and Institutions) est une organisation internationale à but non lucratif dont le siège est à Accra, au Ghana,. L'association est enregistrée en vertu des lois du Ghana en tant qu'ONG. Elle est gérée selon les orientations générales de sa constitution et de ses règlements .

Sciences de l'information et des bibliothèques
Les sciences de l'information et des bibliothèques (SIB) sont la convergence des deux champs disciplinaires que sont la bibliothéconomie et la science de l'information. Elles regroupent l'ensemble des savoirs et savoir-faire utiles à la gestion de l'information consignée.

La notion de sciences de l'information se retrouve de plus en plus, depuis la fin du XXe siècle, dans les intitulés d'écoles ou de formations pour les professionnels de l'information consignée (personnes chargées de gérer une bibliothèque, un centre d'archives ou un service de documentation par exemple).
Ramón Martínez (baseball, 1972)
Ramón E. Martínez (né le 10 octobre 1972 à Philadelphie, Pennsylvanie, États-Unis) est un joueur de deuxième but évoluant dans les Ligues majeures de baseball depuis 1998.

Il porte présentement (en 2008) les couleurs des Mets de New York.

Son cousin Geovany Soto, un receveur, joue également dans les Ligues majeures pour les Cubs de Chicago.

Geovany Soto
Geovany Soto (né le 20 janvier 1983 à San Juan, Porto Rico) est un ancien receveur de la Ligue majeure de baseball.

Avec les Cubs de Chicago en 2008, Soto est élu recrue de l'année de la Ligue nationale grâce à une première saison complète de 23 coups de circuits et 86 points produits. Il est également sélectionné pour le match des étoiles de la Ligue majeure de baseball 2008 comme titulaire dans l'équipe de la Ligue nationale.
Le Savetier et le Financier
Le Savetier et le Financier est la deuxième fable du livre VIII de Jean de La Fontaine situé dans le second recueil des Fables de La Fontaine, édité pour la première fois en 1678.

Cette fable a pour source Bonaventure des Périers, Nouvelles récréations et joyeux devis, nouvelle 21 : Du savetier Blondeau ; et dans Horace, l'histoire de Vulteius Mena (Épître, I, 7).

Fables de La Fontaine
Les Fables choisies, mises en vers par M. de La Fontaine, appelées simplement Fables de La Fontaine, sont trois recueils regroupant deux cent quarante-trois fables allégoriques publiés par Jean de La Fontaine entre 1668 et 1694. La plupart, inspirées des fables d'Ésope, Babrius et Phèdre, mettent en scène des animaux anthropomorphes et contiennent une morale explicite (présentée au début ou à la fin du poème) ou implicite.

L'auteur y invente un genre en rupture avec les traditions ésopique, évangélique et humaniste, où le style et l'esprit plus que le propos se veulent didactiques. Modèle du français classique, ces apologues sont utilisés dès le début du XVIIIe siècle comme support d'enseignement par les jésuites, principal corps enseignant en France jusqu'en 1763, et par les précepteurs familiaux, puis deviennent, sous la Troisième République et jusqu'après-guerre, un incontournable de l'école primaire.
GBU-37
La GBU-37 GAM (Guided Bomb Unit-37 GPS-Aided Munition - Bombe guidée type-37 à guidage GPS) est une bombe développée pour le bombardier Northrop B-2 Spirit. La bombe peut pénétrer des cibles renforcées ou enterrées. Elle est devenue opérationnelle en 1997. Elle a été remplacée sur le B-2 par la GBU-28 de 2 272 kg (5 000 livres) à guidage GPS/INS. C'est une bombe de 2 136 kg d'une portée de 9 km.

GBU-28
La GBU-28 (Guided Bomb Unit 28) est une bombe guidée antibunker de 2 268 kg à guidage laser surnommée « Gorge profonde », à l'origine produite par les systèmes de défense de Texas Instruments Electronics Group (une division qui a été ensuite vendue à Raytheon).
Régression logistique
En statistiques, la régression logistique ou modèle logit est un modèle de régression principalement utilisé en classification binaire. Comme pour tous les modèles de régression binomiale, il s'agit d'expliquer au mieux une variable binaire (la présence ou l'absence d'une caractéristique donnée) par des observations réelles nombreuses, grâce à un modèle mathématique. En d'autres termes d'associer une variable aléatoire de Bernoulli (génériquement notée ) à un vecteur de variables aléatoires . La régression logistique constitue un cas particulier de modèle linéaire généralisé. Elle est largement utilisée en apprentissage automatique.

Efficacité (statistiques)
En statistique, l'efficacité est une mesure de la qualité d'un estimateur, d'une expérimentation ou d'un test statistique. Elle permet d'évaluer le nombre d'observations nécessaires pour atteindre un seuil : plus un estimateur est efficace, plus l'échantillon d'observations nécessaire pour atteindre un objectif de précision sera petit.

L'efficacité relative de deux procédures est le rapport de leurs efficacités, bien que le concept soit plus utilisé pour le rapport de l'efficacité d'une procédure donnée et d'une procédure théorique optimale. Leurs efficacités et l'efficacité relative dépendent de la taille de l'échantillon, mais on peut en tirer l'efficacité relative asymptotique (comme la limite de l'efficacité relative quand la taille de l'échantillon grandit) comme principale mesure de comparaison.

Un estimateur efficace est caractérisé par une variance ou une erreur quadratique moyenne petite, indiquant une faible déviance entre la valeur estimée et la valeur "réelle".
Dème de Tymféa
Le dème de Tymféa, en grec moderne : Δήμος Τυμφαίων / Dímos Tymféon, est un ancien dème du district régional de Tríkala, en Thessalie, Grèce. Depuis  2010, il est fusionné au sein du dème de Kalambáka, puis en 2018 dans le dème des Météores.

Selon le recensement de 2011, la population du dème compte 1 298 habitants.

Tríkala (district régional)
Le district régional de Tríkala (grec moderne : Περιφερειακή ενότητα Τρικάλων / Periferiakí enótita Trikálon) est l'un des cinq districts régionaux de la périphérie (région) de Thessalie, en Grèce. Il a succédé au nome de Tríkala au 1er janvier 2011 dans le cadre de la réforme Kallikratis.
Patinage de vitesse aux Jeux olympiques de 2014 - 3 000 mètres femmes
Le 3 000 mètres féminin de patinage de vitesse aux Jeux olympiques d'hiver de 2014 a lieu le 9 février 2014 à 15 h 30 au Centre de patinage Adler Arena. C'est la 15e fois que l'épreuve est disputée.

La tenante du titre est la Tchèque Martina Sáblíková qui a remporté l'épreuve à Vancouver en 2010 devant l'Allemande Stephanie Beckert, médaille d'argent, et la Canadienne Kristina Groves, médaille de bronze.

Centre de patinage Adler Arena
Le Centre de patinage Adler Arena (en russe : Адлер-Арена) est un équipement sportif situé à Adler (Russie) qui dépend du Grand-Sotchi, construit pour les Jeux olympiques d'hiver de 2014,,.

Il accueille les épreuves de patinage de vitesse. Le centre a une capacité de 8 000 places. Après les jeux olympiques il est reconverti en centre d'exposition et de spectacle. Il accueille la demi-finale de la Fed Cup 2015 entre la Russie et l'Allemagne.

Le centre a coûté 32,8 millions de dollars pour sa construction et aussi pour les ouvrages temporaires dus aux Jeux olympiques. Il a accueilli les championnats de Russie 2013 de patinage de vitesse.
Porte Florian
La porte Florian (en allemand : Florianstor ; ancien nom allemand : Florianertor) est la dernière porte de ville conservée des remparts de Cracovie,.

Construite au début du XIVe siècle, elle mesure 34,5 m de haut. Du côté du centre-ville, les artistes exposent leurs propres œuvres et des copies de tableaux célèbres dans une galerie permanente à ciel ouvert ; on y voit aussi un relief de Saint-Florian sur un des murs.

Vue générale médiévale avec la barbacane

Le Florianstor avant la rénovation

La porte Florian dans le mur de la ville

Relief Saint-Florian

La porte Florian au crépuscule

La porte Florian vue de la rue Florian

Porte de ville
Une porte de ville fait partie des fortifications d'une ville. C'était jusqu'à l'Époque moderne le seul moyen de franchir les remparts entourant la ville. Les tours et les portes avaient pour fonction de protéger le cœur de la ville contre des attaques ennemies.

Les portes de ville étaient souvent munies d'un pont-levis permettant de franchir un fossé encerclant la ville. Des herses de bois ou de fer, et de solides portes en chêne apportaient une protection supplémentaire.

À la fin du XVIIIe siècle, on a commencé à ériger des portes de ville sans fonction militaire, mais par exemple pour les douanes (l'octroi).

Aujourd'hui en Allemagne, beaucoup de portes de ville sont devenues l'emblème de ces villes, et jouent un rôle touristique.
Sous-échantillonnage de la chrominance
Le sous-échantillonnage de la chrominance est une méthode de réduction de volume des images numériques. Il consiste à diminuer le nombre d'échantillons à traiter : on parle de décimation. Il peut être suivi d'une étape de compression d'image ou de compression vidéo. Ces étapes sont souvent nécessaires afin d'adapter un signal vidéo à son mode d'enregistrement ou de transmission. La vision humaine présentant une sensibilité moindre à la couleur qu'à la luminosité, on conserve généralement moins d'informations de chrominance que de luminance sans pour autant dégrader la qualité perçue de l'image. Il est cependant possible de sous-échantillonner la luminance.

AVC-Intra
AVC-Intra est un codec vidéo développé par Panasonic. Il est utilisé dans de nombreux matériels professionnels haute définition, des caméras Panasonic équipées de cartes P2 à de nombreux logiciels professionnels de montage vidéo. L'AVC-Intra se décline en deux normes, 50 ou 100 Mbit/s, et permet une meilleure compression que les codecs précédemment utilisées par la firme, le rendant plus souple lors du transfert de fichiers, mais demandant plus de calculs. Il est basé sur la norme H.264/AVC, mais est un codec intra-image.