Laser au dioxyde de carboneLe laser au dioxyde de carbone (laser au ) est un des plus anciens développé par Kumar Patel dans les laboratoires Bell en 1964 et il garde encore de nos jours de très nombreuses applications. vignette|centré|upright=3|Schéma de principe d'un laser au dioxyde de carbone (). Les lasers au dioxyde de carbone en mode continu ont une grande puissance et sont aisément disponibles. Ils sont également très efficaces ; le rapport entre la puissance de pompage (puissance d'excitation) et la puissance de sortie atteint 20 %.
Module sur un anneauEn mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques, : pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.
Laser hélium-néonthumb|right|Laser hélium-néon en démonstration au Laboratoire Kastler Brossel. Un laser hélium-néon est un laser à de petite dimension. Il a de nombreuses applications scientifiques et industrielles, on l'utilise aussi au laboratoire pour les démonstrations d'optique. Il émet dans le rouge à (nanomètres). Le milieu amplificateur est un mélange de gaz néon et hélium, dans une proportion variant de 1/5 à 1/20, enfermé à basse pression (en moyenne par centimètre de longueur de la cavité) dans une ampoule de verre.
Module libreEn algèbre, un module libre est un module M qui possède une base B, c'est-à-dire un sous-ensemble de M tel que tout élément de M s'écrive de façon unique comme combinaison linéaire (finie) d'éléments de B. Une base de M est une partie B de M qui est à la fois : génératrice pour M, c'est-à-dire que tout élément de M est combinaison linéaire d'éléments de B ; libre, c'est-à-dire que pour toutes familles finies (ei)1≤i≤n d'éléments de B deux à deux distincts et (ai)1≤i≤n d'éléments de l'anneau sous-jacent telles que a1e1 + .
Finitely generated moduleIn mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.
PérovskiteLa pérovskite désigne originellement un minéral du titanate de calcium de formule . On appelle plus généralement pérovskites les minéraux de même structure, dont un polymorphe de considéré comme le minéral le plus abondant du manteau terrestre. Dans la croûte, les pérovskites sont des minéraux accessoires communément trouvés dans les carbonatites et l'un des hôtes majeurs pour les terres rares et le niobium. Cette espèce minérale a été décrite en 1839 par le minéralogiste allemand Gustav Rose, à partir d'échantillons provenant de l'Oural.
Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
Faisceau (de modules)En mathématique, un faisceau de modules est un faisceau sur un espace localement annelé qui possède une structure de module sur le faisceau structural . Sur un espace localement annelé , un faisceau de -modules (ou un -Module) est un faisceau sur tel que soit un -module pour tout ouvert , et que pour tout ouvert contenu dans , l'application restriction soit compatible avec les structures de modules: pour tous , on a Les notions de sous--modules et de morphismes de -modules sont claires.
D-moduleEn mathématiques, un D-module est un module sur un anneau D d'opérateurs différentiels. L'intérêt principal des D-modules réside en son utilisation dans l'étude d'équations aux dérivées partielles. La théorie générale des D-modules nécessite une variété algébrique lisse X définie sur un corps K algébriquement clos de caractéristique nulle, par exemple K = C. Le faisceau des opérateurs différentiels DX est défini comme la OX-algèbre générée par les champs de vecteurs sur X, interprétés comme des dérivations.
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).
