Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
HangeulLe hangeul (prononcé en coréen : ), aussi orthographié hangûl ou hangul en français, appelé josŏn'gŭl en Corée du Nord, est l’alphabet officiel du coréen, à la fois en Corée du Nord et en Corée du Sud. Le hangeul est fréquemment cité pour son histoire particulière : créé au par le roi Sejong le Grand, il est interdit à sa mort, mais perpétué entretemps par les romans féminins avant d'être réintroduit à la fin du sous l'occupation japonaise.
Wi-Fithumb|Exemple d'application du Wi-Fi : impression sans fil. Le (ou la) Wi-Fi, aussi orthographié wifi, est un ensemble de protocoles de communication sans fil régis par les normes du groupe IEEE 802.11 (ISO/CEI 8802-11). Un réseau Wi-Fi permet de relier par ondes radio plusieurs appareils informatiques (ordinateur, routeur, smartphone, modem Internet) au sein d'un réseau informatique afin de permettre la transmission de données entre eux. Apparues pour la première fois en 1997, les normes IEEE 802.
Li-FiLe Li-Fi (ou Light Fidelity) est une technologie de communication sans fil reposant sur l'utilisation de la lumière visible, de longueur d'onde comprise entre 480 nm (670 THz, bleu-vert) et 650 nm (460 THz, orange-rouge). Alors que le Wi-Fi utilise une partie radio du spectre électromagnétique hors du spectre visible, le Li-Fi utilise la partie visible (optique) du spectre électromagnétique. Le principe du Li-Fi repose sur le codage et l'envoi de données via la modulation d'amplitude des sources de lumière (scintillation imperceptible à l'œil), selon un protocole bien défini et standardisé.
De factoDe facto (prononcer « dé facto ») est une locution latine signifiant « de par les faits », « dans les faits » ou encore « dans la pratique ». Elle s'oppose couramment à la locution « de jure » (signifiant « de par la loi » ou « en droit »). Elle est utilisée pour désigner ce qui relève des faits, en opposition à ce qui est avancé par un groupe comme étant officiel (et conséquemment pas nécessairement vrai ou appliqué dans la réalité). De facto peut également désigner ce qui est officieux sans forcément être officiel.
RS-232RS-232 (parfois appelée EIA RS-232, EIA 232 ou TIA 232) est une norme standardisant une voie de communication de type série. Disponible sur presque tous les PC depuis 1981 jusqu'au milieu des années 2000, il est communément appelé le « port série ». Sur les systèmes d'exploitation MS-DOS et Windows, les ports RS-232 sont désignés par les noms COM1, COM2, etc. Cela leur a valu le surnom de « ports COM », encore utilisé de nos jours.
MexiqueLe Mexique, officiellement et en forme longue les États-Unis mexicains (en espagnol : México et Estados Unidos Mexicanos), est un pays situé dans la partie méridionale de l'Amérique du Nord. Délimité à l'est-sud-est par le Guatemala et le Belize, et au nord-nord-ouest par les États-Unis d'Amérique, il est bordé à l'est par le golfe du Mexique et la mer des Caraïbes et au sud-ouest par l'océan Pacifique. C'est le quatorzième pays en superficie, avoisinant deux millions de kilomètres carrés.
De jureDe jure (prononcer « dé youré ») est une locution latine signifiant « de droit », « de par le droit » ou encore « par la loi ». Elle s'oppose couramment à la locution « de facto » (signifiant « de fait » ou « dans les faits »). La locution est d'origine romaine. Exemples d'utilisation : Le français est langue officielle de jure de 29 États et territoires dans le monde.
EIA-485EIA-485 (souvent appelée RS-485) est une norme qui définit les caractéristiques électriques de la couche physique d'une interface numérique sérielle. La transmission se fait sur une ligne électrique, en pratique une paire torsadée, par des variations de tension en mode différentiel. Citons, entre autres avantages de l'implémentation de cette norme, l'établissement de réseaux filaires de communications numériques sur de longues distances et/ou en environnement électrique bruité (milieu industriel).
Parti de la révolution démocratiqueLe Parti de la révolution démocratique (Partido de la Revolución Democrática) ou PRD est un parti politique mexicain fondé le d'une scission du Parti révolutionnaire institutionnel (PRI), avec une idéologie politique de centre gauche. Il est longtemps l'un des trois partis majeurs du Mexique, avant de s'affaiblir au profit du Mouvement de régénération nationale. Il est membre de l'Internationale socialiste et de la Conférence permanente des partis politiques d'Amérique latine et des Caraïbes (COPPPAL).
Flexible electronicsFlexible electronics, also known as flex circuits, is a technology for assembling electronic circuits by mounting electronic devices on flexible plastic substrates, such as polyimide, PEEK or transparent conductive polyester film. Additionally, flex circuits can be screen printed silver circuits on polyester. Flexible electronic assemblies may be manufactured using identical components used for rigid printed circuit boards, allowing the board to conform to a desired shape, or to flex during its use.
Produit semi-directEn théorie des groupes, le produit semi-direct permet de définir un groupe G à partir de deux groupes H et K, et généralise la notion de produit direct de deux groupes. Un groupe G est produit semi-direct interne d'un sous-groupe normal H par un sous-groupe K si et seulement si l'une des définitions équivalentes suivantes est vérifiée : (en d'autres termes, H et K sont compléments l'un de l'autre dans G) ; (tout élément de G s'écrit de manière unique comme produit d'un élément de H et d'un élément de K) ; la restriction à K de la surjection canonique est un isomorphisme entre et ; la surjection canonique se scinde par un morphisme tel que .
