Traitement massivement parallèleEn informatique, le traitement massivement parallèle (en anglais, massively parallel processing ou massively parallel computing) est l'utilisation d'un grand nombre de processeurs (ou d'ordinateurs distincts) pour effectuer un ensemble de calculs coordonnés en parallèle (c'est-à-dire simultanément). Différentes approches ont été utilisées pour implanter le traitement massivement parallèle. Dans cette approche, la puissance de calcul d'un grand nombre d'ordinateurs distribués est utilisée de façon opportuniste chaque fois qu'un ordinateur est disponible.
Riccardo GiacconiRiccardo Giacconi, né le à Gênes (Italie) et mort le à San Diego (Californie), est un physicien italien et américain. Il est surtout connu pour ses travaux dans le domaine de l'astronomie des rayons X. Il est colauréat du prix Nobel de physique de 2002. Né à Gênes en 1931, Riccardo Giacconi a vécu longtemps à Milan, où il a déménagé à l'adolescence et où à l'université de Milan il a obtenu son diplôme avec Giuseppe Occhialini.
Contraction des longueursEn relativité restreinte, la contraction des longueurs désigne la loi suivant laquelle la mesure de la longueur d'un objet en mouvement est diminuée par rapport à la mesure faite dans le référentiel où l'objet est immobile, du fait, notamment, de la relativité de la simultanéité d'un référentiel à l'autre. Toutefois, seule la mesure de la longueur parallèle à la vitesse est contractée, les mesures perpendiculaires à la vitesse ne changent pas d'un référentiel à l'autre. En relativité générale, une contraction des longueurs est aussi prédite.
Transmission Control ProtocolTransmission Control Protocol (littéralement, « protocole de contrôle de transmissions »), abrégé TCP, est un protocole de transport fiable, en mode connecté, documenté dans la de l’IETF. Dans le modèle Internet, aussi appelé modèle TCP/IP, TCP est situé au-dessus de IP. Dans le modèle OSI, il correspond à la couche transport, intermédiaire de la couche réseau et de la couche session. Les applications transmettent des flux de données sur une connexion réseau.
Global Positioning SystemLe Global Positioning System (GPS) (en français : « Système mondial de positionnement » [littéralement] ou « Géo-positionnement par satellite »), originellement connu sous le nom de Navstar GPS, est un système de positionnement par satellites appartenant au gouvernement fédéral des États-Unis. Mis en place par le département de la Défense des États-Unis à des fins militaires à partir de 1973, le système avec vingt-quatre satellites est totalement opérationnel en 1995.
Alphabet cyrilliqueL’alphabet cyrillique est un alphabet permettant l'écriture de nombreuses langues d'Europe de l'Est et d'Asie centrale, principalement dans l'ex-URSS. Il est créé vers la fin du dans l'Empire bulgare, dans l'actuelle Bulgarie ou dans l'actuelle Macédoine du Nord, par des disciples du frère Cyrille ou peut-être Clément d'Ohrid (premier évêque de l'Église orthodoxe bulgare), à partir de l'alphabet grec dans sa graphie onciale et de l'alphabet glagolitique.
Créatine kinaseLa créatine kinase (CK), anciennement appelée phosphocréatine kinase ou créatine phosphokinase (CPK) est une enzyme (EC 2.7.3.2) exprimée par divers types de tissus. Dans la mitochondrie, où la concentration d' est toujours très importante, elle a pour fonction de catalyser la conversion de la créatine en phosphocréatine, impliquant la conversion de l'adénosine triphosphate (ATP) en adénosine diphosphate (ADP).
OpenAIOpenAI (« AI » pour artificial intelligence, ou intelligence artificielle) est une entreprise spécialisée dans le raisonnement artificiel, à « but lucratif plafonné », dont le siège social est à San Francisco. Avant , elle est reconnue association à but non lucratif. L'objectif de cette société est de promouvoir et de développer un raisonnement artificiel à visage humain qui profitera à toute l'humanité.
Théorème de complétude de GödelEn logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable.
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.
