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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
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.
Spectroscopie infrarougethumb|Un spectromètre infrarouge. La spectroscopie infrarouge (parfois désignée comme spectroscopie IR) est une classe de spectroscopie qui traite de la région infrarouge du spectre électromagnétique. Elle recouvre une large gamme de techniques, la plus commune étant un type de spectroscopie d'absorption. Comme pour toutes les techniques de spectroscopie, elle peut être employée pour l'identification de composés ou pour déterminer la composition d'un échantillon.
Diffraction de neutronsLa diffractométrie de neutrons est une technique d'analyse basée sur la diffraction des neutrons sur la matière. Elle est complémentaire à la diffractométrie de rayons X. L'appareil de mesure utilisé s'appelle un diffractomètre. Les données collectées forment le diagramme de diffraction ou diffractogramme. La diffraction n'ayant lieu que sur la matière cristalline, on parle aussi de radiocristallographie. Pour les matériaux non-cristallins, on parle de diffusion. La diffraction fait partie des méthodes de diffusion élastique.
ComportementLe terme « comportement » désigne les actions d'un être vivant. Il a été introduit en psychologie française en 1908 par Henri Piéron comme équivalent français de l'anglais-américain behavior. On l'utilise notamment en éthologie (humaine et animale) ou en psychologie expérimentale. Il peut aussi être pris comme équivalent de conduite dans l'approche psychanalytique. Le comportement d'un être vivant est la partie de son activité qui se manifeste à un observateur.
Physique théoriquevignette|Discussion entre physiciens théoriciens à l'École de physique des Houches. La physique théorique est la branche de la physique qui étudie l’aspect théorique des lois physiques et en développe le formalisme mathématique. C'est dans ce domaine que l'on crée les théories, les équations et les constantes en rapport avec la physique. Elle constitue un champ d'études intermédiaire entre la physique expérimentale et les mathématiques, et a souvent contribué au développement de l’une comme de l’autre.
Scientific theoryA scientific theory is an explanation of an aspect of the natural world and universe that can be (or a fortiori, that has been) repeatedly tested and corroborated in accordance with the scientific method, using accepted protocols of observation, measurement, and evaluation of results. Where possible, theories are tested under controlled conditions in an experiment. In circumstances not amenable to experimental testing, theories are evaluated through principles of abductive reasoning.
ThéorieUne théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée : théorie des matrices, des torseurs, des probabilités.
Coordination polymerA coordination polymer is an inorganic or organometallic polymer structure containing metal cation centers linked by ligands. More formally a coordination polymer is a coordination compound with repeating coordination entities extending in 1, 2, or 3 dimensions. It can also be described as a polymer whose repeat units are coordination complexes.
Bande interditeredresse=.9|vignette|Bandes d'un semiconducteur. La bande interdite d'un matériau, ou gap, est l'intervalle, situé entre la bande de valence et la bande de conduction, dans lequel la densité d'états électroniques est nulle, de sorte qu'on n'y trouve pas de niveau d'énergie électronique. La largeur de bande interdite, ou band gap en anglais, est une caractéristique fondamentale des matériaux semiconducteurs ; souvent notée , elle est généralement exprimée en électronvolts (eV). Fichier:Band filling diagram.
