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.
Noble gas compoundIn chemistry, noble gas compounds are chemical compounds that include an element from the noble gases, group 18 of the periodic table. Although the noble gases are generally unreactive elements, many such compounds have been observed, particularly involving the element xenon. From the standpoint of chemistry, the noble gases may be divided into two groups: the relatively reactive krypton (ionisation energy 14.0 eV), xenon (12.1 eV), and radon (10.7 eV) on one side, and the very unreactive argon (15.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Ionization energyIn physics and chemistry, ionization energy (IE) (American English spelling), ionisation energy (British English spelling) is the minimum energy required to remove the most loosely bound electron of an isolated gaseous atom, positive ion, or molecule. The first ionization energy is quantitatively expressed as X(g) + energy ⟶ X+(g) + e− where X is any atom or molecule, X+ is the resultant ion when the original atom was stripped of a single electron, and e− is the removed electron.
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 (electromagnetic radiation)In physics, absorption of electromagnetic radiation is how matter (typically electrons bound in atoms) takes up a photon's energy — and so transforms electromagnetic energy into internal energy of the absorber (for example, thermal energy). A notable effect is attenuation, or the gradual reduction of the intensity of light waves as they propagate through a medium. Although the absorption of waves does not usually depend on their intensity (linear absorption), in certain conditions (optics) the medium's transparency changes by a factor that varies as a function of wave intensity, and saturable absorption (or nonlinear absorption) occurs.
Bond-dissociation energyThe bond-dissociation energy (BDE, D0, or DH°) is one measure of the strength of a chemical bond . It can be defined as the standard enthalpy change when is cleaved by homolysis to give fragments A and B, which are usually radical species. The enthalpy change is temperature-dependent, and the bond-dissociation energy is often defined to be the enthalpy change of the homolysis at 0 K (absolute zero), although the enthalpy change at 298 K (standard conditions) is also a frequently encountered parameter.
Ultraviolet–visible spectroscopyUV spectroscopy or UV–visible spectrophotometry (UV–Vis or UV/Vis) refers to absorption spectroscopy or reflectance spectroscopy in part of the ultraviolet and the full, adjacent visible regions of the electromagnetic spectrum. Being relatively inexpensive and easily implemented, this methodology is widely used in diverse applied and fundamental applications. The only requirement is that the sample absorb in the UV-Vis region, i.e. be a chromophore. Absorption spectroscopy is complementary to fluorescence spectroscopy.
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.
