Diffusion BrillouinLa 'diffusion Brillouin' est la diffusion inélastique de la lumière par les ondes acoustiques d'un milieu. Dans une expérience de diffusion Brillouin, on illumine un milieu à l'aide d'un faisceau laser et on détecte la lumière diffusée à une fréquence légèrement différente. Les décalages en fréquence observés sont de l'ordre de 1 à 200 GHz environ. La mesure de ce décalage permet de remonter à certaines propriétés du milieu. Cet effet a été prédit en 1914 par Léon Brillouin.
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.
Diffusion RayleighLa diffusion Rayleigh est un mode de diffusion des ondes, par exemple électromagnétiques ou sonores. Elle opère lorsque la longueur d'onde est beaucoup plus grande que la taille des particules diffusantes. On parle de diffusion élastique, car cela se fait sans variation d'énergie, autrement dit l'onde conserve la même longueur d'onde. Elle est nommée d'après John William Strutt Rayleigh, qui en a fait la découverte.
Diffusion RamanLa diffusion Raman, ou effet Raman, est un phénomène optique découvert indépendamment en 1928 par les physiciens Chandrashekhara Venkata Râman et Leonid Mandelstam. Cet effet consiste en la diffusion inélastique d'un photon, c'est-à-dire le phénomène physique par lequel un milieu peut modifier légèrement la fréquence de la lumière qui y circule. Ce décalage en fréquence correspond à un échange d'énergie entre le rayon lumineux et le milieu. Cet effet physique fut prédit par Adolf Smekal en 1923.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
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.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
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.
RétrodiffusionLa rétrodiffusion est la partie de la diffusion d'ondes, de particules ou de signaux vers leur direction d'origine. Il s'agit généralement d'une réflexion diffuse, par opposition à une réflexion spéculaire provenant d'un miroir, bien qu'une rétrodiffusion spéculaire puisse se produire à incidence normale avec une surface. La rétrodiffusion a des applications importantes en astronomie, en photographie, en radar et en échographie médicale.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
ObservationL’observation est un des régimes de la preuve scientifique : c'est une expérience d'accumulation et de recueil d'informations sur un phénomène, un objet d'étude, en absence de variables ou sans contrôler les variables et les paramètres. L'observation est une étape différente, et souvent complémentaire, d'une expérimentation ou expérience dite contrôlée. Elle permet de valider/invalider des hypothèses ou de vérifier des observations ou des expérimentations antérieures.
Diffusion ComptonEn physique, la diffusion Compton (aussi appelée effet Compton) est une diffusion élastique (reposant sur la conservation de l'énergie cinétique globale du système étudié) lorsqu'on considère un électron libre, mais inélastique pour un électron lié. Ce phénomène s'observe lorsqu'un photon incident entre en collision avec un électron libre (ou plus précisément avec un électron faiblement lié) d'un atome. Au cours de ce processus, l'électron est éjecté de l'atome, qui est donc ionisé, tandis qu'un photon est diffusé.
Diffusion ThomsonLa diffusion Thomson est la diffusion d'un photon de faible énergie sur une particule chargée de matière au repos, généralement un électron libre, c'est-à-dire non lié à un atome. La diffusion Thomson est un des deux régimes particuliers de la diffusion Compton plus générale. Cette diffusion a été expliquée par Joseph John Thomson. Cette diffusion (voir Diffusion des particules) s'effectue pour des énergies faibles, le rayonnement électromagnétique est absorbé puis réémis par la particule.
Aide au développementL'aide au développement désigne une action volontaire par un acteur extérieur pour impulser le développement d'un pays tiers (pays en développement). Les conceptions du développement sont nombreuses, les différentes formes de l'aide le sont tout autant. L'aide au développement trouve son origine dans le discours sur l'état de l'Union du président des États-Unis Harry Truman le :Nous devons nous lancer dans un nouveau programme de construction pour mettre les bénéfices de nos avancées scientifiques et de nos progrès industriels au service de l'amélioration et de la croissance des régions sous-développées.
International developmentInternational development or global development is a broad concept denoting the idea that societies and countries have differing levels of economic or human development on an international scale. It is the basis for international classifications such as developed country, developing country and least developed country, and for a field of practice and research that in various ways engages with international development processes. There are, however, many schools of thought and conventions regarding which are the exact features constituting the "development" of a country.
Méthode expérimentaleLes méthodes expérimentales scientifiques consistent à tester la validité d'une hypothèse, en reproduisant un phénomène (souvent en laboratoire) et en faisant varier un paramètre. Le paramètre que l'on fait varier est impliqué dans l'hypothèse. Le résultat de l'expérience valide ou non l'hypothèse. La démarche expérimentale est appliquée dans les recherches dans des sciences telles que, par exemple, la biologie, la physique, la chimie, l'informatique, la psychologie, ou encore l'archéologie.
