VRLA batteryA valve regulated lead–acid (VRLA) battery, commonly known as a sealed lead–acid (SLA) battery, is a type of lead–acid battery characterized by a limited amount of electrolyte ("starved" electrolyte) absorbed in a plate separator or formed into a gel; proportioning of the negative and positive plates so that oxygen recombination is facilitated within the cell; and the presence of a relief valve that retains the battery contents independent of the position of the cells.
Coloration de graphethumb|Une coloration du graphe de Petersen avec 3 couleurs. En théorie des graphes, la coloration de graphe consiste à attribuer une couleur à chacun de ses sommets de manière que deux sommets reliés par une arête soient de couleur différente. On cherche souvent à utiliser le nombre minimal de couleurs, appelé nombre chromatique. La coloration fractionnaire consiste à chercher non plus une mais plusieurs couleurs par sommet et en associant des coûts à chacune.
Ensemble dominantEn théorie des graphes, un ensemble dominant (ou dominating set en anglais) d'un graphe G = ( S, A ) est un sous-ensemble D de l'ensemble S des sommets tel que tout sommet qui n'appartient pas à D possède au moins une arête d'extrémité un sommet de D. Le problème de l'ensemble dominant est de déterminer, étant donné G et un entier naturel k, si G possède un ensemble dominant d'au plus k sommets. Ce problème est NP-complet.
Transmission mediumA transmission medium is a system or substance that can mediate the propagation of signals for the purposes of telecommunication. Signals are typically imposed on a wave of some kind suitable for the chosen medium. For example, data can modulate sound, and a transmission medium for sounds may be air, but solids and liquids may also act as the transmission medium. Vacuum or air constitutes a good transmission medium for electromagnetic waves such as light and radio waves.
Signal transmissionIn telecommunications, transmission is the process of sending or propagating an analog or digital signal via a medium that is wired, wireless, or fiber-optic. Transmission system technologies typically refer to physical layer protocol duties such as modulation, demodulation, line coding, equalization, error control, bit synchronization and multiplexing, but it may also involve higher-layer protocol duties, for example, digitizing an analog signal, and data compression.
TélédiffusionLa télédiffusion, en anglais : broadcasting et en allemand Rundfunk désigne une technique de retransmission de signaux de télévision vers un grand nombre de récepteurs ou téléviseurs. La télédiffusion est un moyen unidirectionnel pour propager des signaux de télévision ne dépendant pas du nombre de récepteurs en fonction et en mode de retransmission numérique, ne subissant pas les limites ou dysfonctionnements éventuels, en termes de débit ou d'infrastructure de réseau local.
Isabelle (logiciel)The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring yet supporting explicit proof objects. Isabelle is available inside a flexible system framework allowing for logically safe extensions, which comprise both theories as well as implementations for code-generation, documentation, and specific support for a variety of formal methods.
Dixième problème de HilbertLe dixième problème de Hilbert fait partie de la liste des 23 problèmes posés par David Hilbert en 1900 à Paris, lors de sa conférence au congrès international des mathématiciens. Il énonce : énoncé| X. — De la possibilité de résoudre une équation diophantienne. On donne une équation diophantienne à un nombre quelconque d'inconnues et à coefficients entiers rationnels : On demande de trouver une méthode par laquelle, au moyen d'un nombre fini d'opérations, on pourra distinguer si l'équation est résoluble en nombres entiers rationnels.
Graphe distance-unitéEn mathématiques, plus particulièrement en théorie des graphes, un graphe distance-unité est un graphe s'obtenant à partir d'un ensemble de points du plan euclidien en reliant par une arête toutes les paires de points étant à une distance de 1. Les arêtes peuvent se croiser si bien qu'un graphe distance-unité n'est pas nécessairement un graphe planaire. S'il n'y a pas de croisement entre les arêtes, alors le graphe est qualifié de graphe allumette.
Télévision IPthumb|Pays où la télévision IP est disponible en 2010. La télévision IP, télévision sur IP ou IPTV (de l'anglais « Internet Protocol Television ») est une forme de télévision diffusée sur un réseau utilisant l'Internet Protocol. Il peut s'agir d'une offre proposée par un fournisseur d'accès à Internet, d'un service de vidéo à la demande ou d'une application Android possiblement incluse dans un téléviseur connecté. Il existe également des services illégaux par le biais d'applications Android ou d'un décodeur TV.
