Analyse réelleL'analyse réelle est la branche de l'analyse qui étudie les ensembles de réels et les fonctions de variables réelles. Elle étudie des concepts comme les suites et leurs limites, la continuité, la dérivation, l'intégration et les suites de fonctions. La présentation de l'analyse réelle dans les ouvrages avancés commence habituellement avec des démonstrations simples de résultats de la théorie naïve des ensembles, une définition claire de la notion de fonction, une introduction aux entiers naturels et la démonstration importante du raisonnement par récurrence.
Rate–distortion theoryRate–distortion theory is a major branch of information theory which provides the theoretical foundations for lossy data compression; it addresses the problem of determining the minimal number of bits per symbol, as measured by the rate R, that should be communicated over a channel, so that the source (input signal) can be approximately reconstructed at the receiver (output signal) without exceeding an expected distortion D. Rate–distortion theory gives an analytical expression for how much compression can be achieved using lossy compression methods.
Livraison continueLa livraison continue (continuous delivery, CD) est une approche d’ingénierie logicielle dans laquelle les équipes produisent des logiciels dans des cycles courts, ce qui permet de le mettre à disposition à n’importe quel moment. Le but est de construire, tester et diffuser un logiciel plus rapidement. L’approche aide à réduire le temps d'évaluation des risques, et les risques associés à la livraison de changement en adoptant une approche plus incrémentielle des modifications en production.
Variation naturelleEn démographie, la variation naturelle ou le solde naturel (ou l'accroissement naturel) est la différence entre le nombre de naissances vivantes et le nombre de décès sur un territoire au cours d'une période. Elle peut être soit positive, soit négative, soit nulle. L'accroissement naturel (ou excédent naturel) de la population est le cas où la variation naturelle est positive, ce qui implique que le nombre de naissances vivantes dépasse, sur la période considérée, le nombre de décès.
Automate sur les mots infinisEn informatique théorique, et spécialement en théorie des automates, un automate sur les mots infinis ou ω-automate est un automate fini qui accepte des mots infinis. Un tel automate lit un mot infini, ainsi, l'exécution ne s'arrête pas ; les conditions d'acceptation portent sur l'exécution elle-même là où elles ne traitent que de l'état d'arrivée (et de la possibilité de lire le mot) dans le cas des automates sur les mots finis.
Fréquence cardiaqueLa fréquence cardiaque est le nombre de battements cardiaques (ou pulsations) par unité de temps (généralement la minute). C'est une notion quantitative qui peut aussi se définir en nombre de cycles par seconde, par l'inverse de la période. Par abus de langage, on confond souvent la fréquence cardiaque avec le rythme cardiaque ou le pouls. Le rythme cardiaque est une notion qualitative qui désigne la manière avec laquelle s'effectue une révolution cardiaque, la manière dont les cycles se succèdent.
Quantification (signal)En traitement des signaux, la quantification est le procédé qui permet d'approcher un signal continu par les valeurs d'un ensemble discret d'assez petite taille. On parle aussi de quantification pour approcher un signal à valeurs dans un ensemble discret de grande taille par un ensemble plus restreint. L'application la plus courante de la quantification est la conversion analogique-numérique mais elle doit le développement de sa théorie aux problèmes de quantification pour la compression de signaux audio ou .
Transformation de Fourier discrèteEn mathématiques, la transformation de Fourier discrète (TFD) sert à traiter un signal numérique. Elle constitue un équivalent discret (c'est-à-dire pour un signal défini à partir d'un nombre fini d'échantillons) de la transformation de Fourier (continue) utilisée pour traiter un signal analogique. Plus précisément, la TFD est la représentation spectrale discrète dans le domaine des fréquences d'un signal échantillonné. La transformation de Fourier rapide est un algorithme particulier de calcul de la transformation de Fourier discrète.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Scale space implementationIn the areas of computer vision, and signal processing, the notion of scale-space representation is used for processing measurement data at multiple scales, and specifically enhance or suppress image features over different ranges of scale (see the article on scale space). A special type of scale-space representation is provided by the Gaussian scale space, where the image data in N dimensions is subjected to smoothing by Gaussian convolution.
