Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Bruit de mesureEn métrologie, le bruit de mesure est l'ensemble des signaux parasites qui se superposent au signal que l'on cherche à obtenir au moyen d'une mesure d'un phénomène physique. Ces signaux sont une gêne pour la compréhension de l'information que le signal transporte. La métrologie vise donc notamment à connaître leurs origines et à les caractériser, afin de les éliminer et d'obtenir le signal d'origine aussi distinctement que possible. La source du bruit d'origine externe est externe au système physique générant le signal utile et agit par influence sur celui-ci.
Fonction symétriqueEn mathématiques, une fonction symétrique est une fonction invariante par permutation de ses variables. Le cas le plus fréquent est celui d'une fonction polynomiale symétrique, donnée par un polynôme symétrique. Une fonction en n variables est symétrique si pour toute permutation s de l'ensemble d'indices {1, ... ,n}, l'égalité suivante est vérifiée : Pour n = 1, toute fonction est symétrique. Pour n = 2, la fonction est symétrique, alors que la fonction ne l'est pas. Une équation est une équation symétrique lorsque la fonction est symétrique.
Hermitian symmetric spaceIn mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds. Every Hermitian symmetric space is a homogeneous space for its isometry group and has a unique decomposition as a product of irreducible spaces and a Euclidean space.
Lecteur de code-barresUn lecteur de code-barres ou douchette de code-barres est un appareil électronique servant à lire les informations stockées sous la forme de code-barres. Il est l'ancêtre du lecteur de code QR. Tout d'abord implémentés sous la forme de crayons optiques avec lesquels l'utilisateur devait manuellement balayer le code à une vitesse aussi constante que possible, ils ont ensuite évolués grâce à l'application de miroirs mobiles, vers des scanners automatiques.
Topological indexIn the fields of chemical graph theory, molecular topology, and mathematical chemistry, a topological index, also known as a connectivity index, is a type of a molecular descriptor that is calculated based on the molecular graph of a chemical compound. Topological indices are numerical parameters of a graph which characterize its topology and are usually graph invariant. Topological indices are used for example in the development of quantitative structure-activity relationships (QSARs) in which the biological activity or other properties of molecules are correlated with their chemical structure.
Dosvignette|Dos humain En anatomie, chez les animaux vertébrés parmi lesquels les humains, le dos est la partie du corps consistant en les vertèbres et les côtes. Les dorsaux étaient les muscles les plus sollicités par les singes (déplacement arboricole), c'est pourquoi ce sont encore des muscles puissants et volumineux. Le dos humain se compose de sept vertèbres cervicales, douze vertèbres thoraciques (ou dorsales), cinq vertèbres lombaires (ou lombales), cinq vertèbres sacrales et le coccyx.
Structured data analysis (statistics)Structured data analysis is the statistical data analysis of structured data. This can arise either in the form of an a priori structure such as multiple-choice questionnaires or in situations with the need to search for structure that fits the given data, either exactly or approximately. This structure can then be used for making comparisons, predictions, manipulations etc. Algebraic data analysis Bayesian analysis Cluster analysis Combinatorial data analysis Formal concept analysis Functional data analysi
Chimie mathématiqueLa chimie mathématique est le domaine de la chimie théorique consacré aux applications des mathématiques à la chimie. Elle concerne principalement la modélisation mathématique de phénomènes chimiques. La première tentative de mathématiser la chimie a été faite par Mikhaïl Lomonossov (1711-1765). Son manuscrit Elementa Chimiae Mathematicae (éléments de chimie mathématique, en latin) a été retrouvé après sa mort parmi ses papiers. Apparemment, Lomonosov, inspiré par les travaux de Principia I.
Code QRvignette|Un exemple de code QR représentant l'URL . vignette|L'une des nombreuses plaques (plus de ), de la « Monmouthpedia » du village de Monmouth (chef-lieu du comté du Monmouthshire au Pays de Galles).Cette plaque porte un code QR (dit « QRpedia »), permettant aux touristes ou autres usagers d'accéder directement à la page Wikipédia présentant le Shire Hall, en complément des guides touristiques existants. Un code QR (en anglais ), en forme longue (« code à réponse rapide »), est un type de code-barres à deux dimensions constitué de modules-carrés noirs disposés dans un carré à fond blanc.
