Neutron scatteringNeutron scattering, the irregular dispersal of free neutrons by matter, can refer to either the naturally occurring physical process itself or to the man-made experimental techniques that use the natural process for investigating materials. The natural/physical phenomenon is of elemental importance in nuclear engineering and the nuclear sciences. Regarding the experimental technique, understanding and manipulating neutron scattering is fundamental to the applications used in crystallography, physics, physical chemistry, biophysics, and materials research.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
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.
Diffusion élastiqueUne diffusion élastique (ou collision élastique) est une interaction, entre deux corps ou plus, au cours de laquelle l'énergie cinétique totale est conservée, mais à la suite de laquelle les directions de propagation sont modifiées. Ce changement de direction, dû aux forces d'interaction, est ce qui constitue la diffusion. Ce type de diffusion est qualifié d'élastique par opposition aux collisions inélastiques au cours desquelles l'énergie cinétique n'est pas conservée.
Spectroscopie neutronique à écho de spinLa 'spectroscopie neutronique à écho de spin' (neutron spin echo ou NSE en anglais) est une technique de spectroscopie proposée dès 1972 par Ferenc Mezei. Les instruments dédiés permettent d'étudier des phénomènes relativement lents à l'échelle microscopique, avec des temps caractéristiques allant jusqu'à quelques centaines de nanosecondes. Son utilisation sur la base de spectromètres à trois axes permet également d'améliorer leur résolution en énergie d'au moins deux ordres de grandeur (E de l'ordre du eV).
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.
Spectroscopie RamanLa spectroscopie Raman (ou spectrométrie Raman) et la microspectroscopie Raman sont des méthodes non destructives d'observation et de caractérisation de la composition moléculaire et de la structure externe d'un matériau, qui exploite le phénomène physique selon lequel un milieu modifie légèrement la fréquence de la lumière y circulant. Ce décalage en fréquence dit l'effet Raman correspond à un échange d'énergie entre le rayon lumineux et le milieu, et donne des informations sur le substrat lui-même.
Diffusion des ondesLa diffusion est le phénomène par lequel un rayonnement, comme la lumière, le son ou un faisceau de particules, est dévié dans diverses directions par une interaction avec d'autres objets. La diffusion peut être isotrope, c'est-à-dire répartie uniformément dans toutes les directions, ou anisotrope. En particulier, la fraction de l'onde incidente qui est retournée dans la direction d'où elle provient est appelée rétrodiffusion (backscatter en anglais). La diffusion peut s'effectuer avec ou sans variation de fréquence.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Applied spectroscopyApplied spectroscopy is the application of various spectroscopic methods for the detection and identification of different elements or compounds to solve problems in fields like forensics, medicine, the oil industry, atmospheric chemistry, and pharmacology. A common spectroscopic method for analysis is Fourier transform infrared spectroscopy (FTIR), where chemical bonds can be detected through their characteristic infrared absorption frequencies or wavelengths.
