Joseph-Louis LagrangeJoseph Louis de Lagrange (en italien Giuseppe Luigi Lagrangia ou aussi Giuseppe Ludovico De la Grange Tournier), né à Turin le de parents français descendants de Descartes et mort à Paris le , est un mathématicien, mécanicien et astronome italien, originaire du royaume de Sardaigne et naturalisé français. À l'âge de trente ans, il quitte Turin et va séjourner à Berlin pendant vingt-et-un ans. Ensuite, il s'installe pour ses vingt-six dernières années à Paris où il prend la nationalité française en 1802.
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é.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
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.
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.
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).
OpenGLthumb|500px|Un traitement de pipeline 3D (Graphics Pipeline Process). OpenGL (Open Graphics Library) est un ensemble normalisé de fonctions de calcul d'images 2D ou 3D lancé par Silicon Graphics en 1992. Cette interface de programmation est disponible sur de nombreuses plateformes où elle est utilisée pour des applications qui vont du jeu vidéo jusqu'à la CAO en passant par la modélisation. OpenGL permet à un programme de déclarer la géométrie d'objets sous forme de points, de vecteurs, de polygones, de bitmaps et de textures.
OpenGL ESOpenGL ES (Open Graphics Library for Embedded System, parfois abrégé en OGLES ou GLES) est une spécification du Khronos Group qui définit une API multiplateforme pour la conception d'applications générant des images 3D dérivée de la spécification OpenGL, sous une forme adaptée aux plateformes mobiles ou embarquées telles que les téléphones mobiles, les assistants personnels (PDA), les consoles de jeu vidéo portables, les lecteurs multimédia de poche ou de salon... La console PlayStation 3 utilise également un dérivé d'OpenGL ES, nommé PSGL.
Jeju (langue)Le jeju (autonyme : 제주말, jeju-mal ; hangul / hanja : 제주어 / 濟州語, RR : jeju-eo), ou jejuan est une langue coréanique parlée sur l'île de Jeju, qui forme la province de Jeju en Corée du Sud. Il diffère grandement des dialectes coréens du continent. Le coréen standard est la langue la plus courante en Corée, tandis que la langue de Jeju est considérée comme une langue très locale. Le jeju est principalement compris et parlé par la génération plus âgée.
Fonds indicielUn fonds indiciel (index fund ou tracker en anglais) est un fonds de placement qui cherche à reproduire dans la mesure du possible le rendement d'un indice boursier précis, comme le CAC 40 ou le S&P 500. La gestion passive de tels fonds entraîne des frais de gestion généralement moins élevés que les fonds dits traditionnels (généralement moins de 1 %). En France, ces fonds gérés par des organismes de placement collectif en valeurs mobilières sont également désignés par OPCVM indiciels.
CoréenLe coréen est une langue parlée en Corée, dans les districts frontaliers de la République populaire de Chine (Yanbian) et dans les communautés émigrées (notamment au Japon, en Chine (Pékin, Shandong), en Russie, en Australie, aux États-Unis, en France, etc.), et est la langue officielle de la Corée du Nord et de la Corée du Sud. Si le coréen était anciennement considéré comme un isolat, les études les plus récentes considèrent qu'il fait partie des langues coréaniques, dont il est le seul survivant.
