NanoclusterNanoclusters are atomically precise, crystalline materials most often existing on the 0-2 nanometer scale. They are often considered kinetically stable intermediates that form during the synthesis of comparatively larger materials such as semiconductor and metallic nanocrystals. The majority of research conducted to study nanoclusters has focused on characterizing their crystal structures and understanding their role in the nucleation and growth mechanisms of larger materials.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Chimie des gaz noblesLes gaz nobles, souvent appelés gaz rares, rarement gaz inertes (cf. l'article Gaz noble au sujet de ces différentes dénominations), forment une famille d'éléments a priori très peu réactifs car, ayant une couche de valence complète, ils n’ont aucun électron de valence pour former une liaison chimique. Il en découle que ces éléments ont une énergie d'ionisation élevée et une affinité électronique pratiquement nulle, et on a longtemps cru qu'ils ne pouvaient participer à aucune réaction chimique pour former des composés.
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.
Énergie d'ionisationthumb|right|600px|Graphique des premières énergies d'ionisation en eV, en fonction du numéro atomique. L'énergie d'ionisation augmente graduellement des métaux alcalins jusqu'aux gaz nobles. Et dans une colonne donnée du tableau périodique, l'énergie d'ionisation diminue du premier rang jusqu'au dernier, à cause de la distance croissante du noyau jusqu'à la couche des électrons de valence.
Laser absorption spectrometryLaser absorption spectrometry (LAS) refers to techniques that use lasers to assess the concentration or amount of a species in gas phase by absorption spectrometry (AS). Optical spectroscopic techniques in general, and laser-based techniques in particular, have a great potential for detection and monitoring of constituents in gas phase. They combine a number of important properties, e.g. a high sensitivity and a high selectivity with non-intrusive and remote sensing capabilities.
Absorption (optique)L'absorption en optique, ou en électromagnétisme, désigne un processus physique par lequel l'énergie électromagnétique est transformée en une autre forme d'énergie. Au niveau des photons (quanta de lumière), l'absorption représente le phénomène par lequel l'énergie d'un photon est prise par une autre particule, par exemple un électron. Dans ce cas, si l'énergie du photon (, relation de Planck-Einstein) est égale à celle d'un état excité (ou à la différence entre deux états excités), celui-ci sera absorbé via une transition électronique d'un électron de valence.
Énergie de dissociation d'une liaisonvignette|Animation de la dissociation d'une molécule diatomique AB en deux atomes A et B En chimie, l'énergie de dissociation d'une liaison (D0) réfère à l'une des mesures de l'énergie d'une liaison chimique. Elle correspond au changement d'enthalpie lors d'un clivage homolytique avec des réactifs et des produits de la réaction d'homolyse à 0 K (zéro absolu). D'ailleurs, l'énergie de dissociation d'une liaison est parfois appelée l'enthalpie de dissociation d'une liaison.
Spectroscopie ultraviolet-visibleLa spectroscopie ultraviolet-visible ou spectrométrie ultraviolet-visible est une technique de spectroscopie mettant en jeu les photons dont les longueurs d'onde sont dans le domaine de l'ultraviolet ( - ), du visible ( - ) ou du proche infrarouge ( - ). Soumis à un rayonnement dans cette gamme de longueurs d'onde, les molécules, les ions ou les complexes sont susceptibles de subir une ou plusieurs transitions électroniques. Cette spectroscopie fait partie des méthodes de spectroscopie électronique.
Substructural type systemSubstructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as , locks, and memory by keeping track of changes of state that occur and preventing invalid states. Several type systems have emerged by discarding some of the structural rules of exchange, weakening, and contraction: Ordered type systems (discard exchange, weakening and contraction): Every variable is used exactly once in the order it was introduced.
