Géométrisation des 3-variétésEn géométrie, la conjecture de géométrisation de Thurston affirme que les 3-variétés compactes peuvent être décomposées en sous-variétés admettant l'une des huit structures géométriques appelées géométries de Thurston. Formulée par William Thurston en 1976, cette conjecture fut démontrée par Grigori Perelman en 2003. On dit qu'une variété est fermée si elle est compacte et sans bord, et qu'elle est si elle n'est pas somme connexe de variétés qui ne sont pas des sphères.
Quantifications canoniquesEn physique, la quantification canonique est une procédure pour quantifier une théorie classique, tout en essayant de préserver au maximum la structure formelle, comme les symétries, de la théorie classique. Historiquement, ce n'était pas tout à fait la voie de Werner Heisenberg pour obtenir la mécanique quantique, mais Paul Dirac l'a introduite dans sa thèse de doctorat de 1926, la «méthode de l'analogie classique» pour la quantification, et l'a détaillée dans son texte classique.
Video codecA video codec is software or hardware that compresses and decompresses digital video. In the context of video compression, codec is a portmanteau of encoder and decoder, while a device that only compresses is typically called an encoder, and one that only decompresses is a decoder. The compressed data format usually conforms to a standard video coding format. The compression is typically lossy, meaning that the compressed video lacks some information present in the original video.
Longueur propreEn relativité restreinte, la longueur propre d'un corps est sa longueur mesurée dans un référentiel inertiel où il est immobile. Du fait de la contraction des longueurs, c'est la plus grande mesure que l'on puisse faire de ce corps dans un référentiel. La longueur propre ou longueur au repos d'un corps correspond à la longueur mesurée par un observateur inertiel au repos par rapport à ce corps, au moyen d'une règle ordinaire.
Quantification (physique)En physique, la quantification est une procédure permettant de construire une théorie quantique d'un champ à partir d'une théorie classique de ce champ. On parle parfois de seconde quantification pour la distinguer du principe de correspondance permettant de construire la mécanique quantique à partir de la mécanique classique, et que la procédure de quantification généralise. Le terme de quantification du champ est également utilisé, par exemple lorsque l'on parle de la « quantification du champ électromagnétique », dans laquelle les photons sont vus comme les quanta du champ.
Frame check sequenceLe frame check sequence (FCS, Séquence de vérification de trame) est un code de détection d'erreurs ajouté à la fin des trames d'un protocole de communication à commutation de paquets, par exemple une trame Ethernet. Le FCS détecte de possible erreurs lors de la transmission de trames, cependant ce n'est pas un code correcteur. Dans le cas d'Ethernet (norme IEEE 802.3), si des erreurs sont détectées, elles ne sont pas corrigées, la trame entière est rejetée et aucun message de demande de retransmission n'est envoyé.
Pulse-density modulationPulse-density modulation, or PDM, is a form of modulation used to represent an analog signal with a binary signal. In a PDM signal, specific amplitude values are not encoded into codewords of pulses of different weight as they would be in pulse-code modulation (PCM); rather, the relative density of the pulses corresponds to the analog signal's amplitude. The output of a 1-bit DAC is the same as the PDM encoding of the signal. In a pulse-density modulation bitstream, a 1 corresponds to a pulse of positive polarity (+A), and a 0 corresponds to a pulse of negative polarity (−A).
Small cancellation theoryIn the mathematical subject of group theory, small cancellation theory studies groups given by group presentations satisfying small cancellation conditions, that is where defining relations have "small overlaps" with each other. Small cancellation conditions imply algebraic, geometric and algorithmic properties of the group. Finitely presented groups satisfying sufficiently strong small cancellation conditions are word hyperbolic and have word problem solvable by Dehn's algorithm.
Quantization (image processing)Quantization, involved in , is a lossy compression technique achieved by compressing a range of values to a single quantum (discrete) value. When the number of discrete symbols in a given stream is reduced, the stream becomes more compressible. For example, reducing the number of colors required to represent a digital makes it possible to reduce its file size. Specific applications include DCT data quantization in JPEG and DWT data quantization in JPEG 2000.
Noise shapingNoise shaping is a technique typically used in digital audio, , and video processing, usually in combination with dithering, as part of the process of quantization or bit-depth reduction of a digital signal. Its purpose is to increase the apparent signal-to-noise ratio of the resultant signal. It does this by altering the spectral shape of the error that is introduced by dithering and quantization; such that the noise power is at a lower level in frequency bands at which noise is considered to be less desirable and at a correspondingly higher level in bands where it is considered to be more desirable.
