Optique adaptativeL'optique adaptative est une technique qui permet de corriger en temps réel les déformations évolutives et non-prédictives d'un front d'onde grâce à un miroir déformable. Elle utilise un principe similaire à l'optique active. Tout d'abord développée dans les années 1950, son domaine principal d'utilisation est l'astronomie mais commence à s'étendre à bon nombre d'autres domaines (fusion, médical, télécommunications). On commence à l'utiliser en ophtalmologie afin de produire des images très précises de la rétine.
Scanner (informatique)Un scanner, ou scanneur, aussi appelé numériseur à balayage, est un périphérique informatique qui permet de numériser des documents ou autres, comme les empreintes digitales par exemple. Un scanner analyse le document en mesurant sa réflectance élément de surface par élément de surface. Les éléments reçoivent, simultanément ou séquenciellement, un rayon lumineux ; un ou plusieurs capteurs transforment la lumière réfléchie en un signal électrique qui est numérisé, constituant ainsi une transférée à l'ordinateur, pour y être ensuite sauvegardé, traité ou analysé.
Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Continuité uniformeEn topologie, la continuité uniforme (ou l'uniforme continuité) est une propriété plus forte que la continuité, et se définit dans les espaces métriques ou plus généralement les espaces uniformes. Contrairement à la continuité, la continuité uniforme n'est pas une notion « purement topologique » c'est-à-dire ne faisant intervenir que des ouverts : sa définition dépend de la distance ou de la structure uniforme. Le contexte typique de la définition de la continuité uniforme est celui des espaces métriques. N.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
EstoppelL'estoppel est un principe juridique d'origine anglaise (de common law) qui peut revêtir deux sens. Dans un premier sens, c'est une objection qui s'oppose, en droit international public, à ce qu'un État partie à un procès puisse contredire une position qu’il a prise antérieurement et dans laquelle les autres États ou des organisations internationales avaient placé leur légitime confiance. Dans un second sens, c'est une notion qui sanctionne, en droit civil de common law, les contradictions de comportement d'un plaideur au cours des phases successives du procès.
JPEGJPEG (sigle de Joint Photographic Experts Group) est une norme qui définit le format d'enregistrement et l'algorithme de décodage pour une représentation numérique compressée d'une image fixe. Les extensions de nom de fichiers les plus communes pour les fichiers employant la compression JPEG sont .jpg et .jpeg, cependant .jpe, .jfif et .jif furent aussi utilisées. JPEG est l’acronyme de Joint Photographic Experts Group. Il s'agit d'un comité d’experts qui édicte des normes de compression pour l’image fixe.
Constraint Handling RulesConstraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre (ECRC) in Munich, Germany. Originally intended for constraint programming, CHR finds applications in grammar induction, type systems, abductive reasoning, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing, and verification.
Pouvoir de résolutionLe pouvoir de résolution, ou pouvoir de séparation, pouvoir séparateur, résolution spatiale, résolution angulaire, exprime la capacité d'un système optique de mesure ou d'observation – les microscopes, les télescopes ou l'œil, mais aussi certains détecteurs, particulièrement ceux utilisés en – à distinguer les détails. Il peut être caractérisé par l'angle ou la distance minimal(e) qui doit séparer deux points contigus pour qu'ils soient correctement discernés.
Application lipschitzienneEn analyse mathématique, une application lipschitzienne (du nom de Rudolf Lipschitz) est une application possédant une certaine propriété de régularité qui est plus forte que la continuité. Intuitivement, c'est une fonction qui est limitée dans sa manière d'évoluer. Tout segment reliant deux points du graphe d'une telle fonction aura une pente inférieure, en valeur absolue, à une constante appelée constante de Lipschitz. Les fonctions lipschitziennes sont un cas particulier de fonctions höldériennes.
