Onde transversaleEn physique ondulatoire, une ou est une onde dont la perturbation du milieu se fait dans l'une des directions orthogonales à celle de sa propagation. Lorsque ces directions sont parallèles, l'onde est dite longitudinale. Les vagues à la surface de l'eau sont des ondes transversales. Une onde sur une corde est également transverse. Les ondes électromagnétiques sont des ondes transversales. thumb|305px|Propagation d'une perturbation des champ électrique E et champ magnétique B. Onde électromagnétique Les ond
Mesure physiqueLa mesure physique est l'action de déterminer la ou les valeurs d'une grandeur (longueur, capacité), par comparaison avec une grandeur constante de même espèce prise comme terme de référence (étalon ou unité). Selon la définition canonique : La mesure physique vise à l'objectivité et à la reproductibilité. La comparaison est numérique ; on exprime une caractéristique bien définie de l'objet par un nombre rationnel multipliant l'unité.
Dictionnaire des donnéesUn dictionnaire des données est une collection de métadonnées ou de données de référence nécessaire à la conception d'une base de données relationnelle. Il revêt une importance stratégique particulière, car il est le vocabulaire commun de l'organisation. Il décrit des données aussi importantes que les clients, les nomenclatures de produits et de services, les annuaires, etc. Il est souvent représenté par un tableau à quatre colonnes contenant le nom, le code et le type de donnée ainsi que des commentaires.
Web des donnéesLe Web des données (linked data, en anglais) est une initiative du W3C visant à favoriser la publication de données structurées sur le Web, non pas sous la forme de silos de données isolés les uns des autres, mais en les reliant entre elles pour constituer un réseau global d'informations. Il s'appuie sur les standards du Web tels que HTTP et URI. Plutôt qu'utiliser ces standards uniquement pour faciliter la navigation par les êtres humains, le Web des données les étend pour partager l'information également entre machines.
Groupe quotientDans l'étude des groupes, le quotient d'un groupe est une opération classique permettant la construction de nouveaux groupes à partir d'anciens. À partir d'un groupe G et d'un sous-groupe H de G, on peut définir une loi de groupe sur l'ensemble G/H des classes de G suivant H, à condition que le sous-groupe H soit normal, c'est-à-dire que les classes à droite soient égales aux classes à gauche (gH = Hg). Étant donné un élément g de G, nous définissons la classe à gauche gH = { gh | h ∈ H }.
Nijssen information analysis methodNIAM ou Nijssen information analysis method (appelé aussi modèle relationnel binaire) est une méthode d'analyse et de conception pour les systèmes d'information. Ultérieurement l'acronyme NIAM a eu d'autres interprétations: aN Information Analysis Méthod ou Natural language Information Method L'auteur de la méthode, Nijssen, fut ingénieur chez Control Data Europe. NIAM utilise une représentation graphique pour spécifier en partie un « schéma conceptuel de données » (invariant) complétée par un langage linéaire pour représenter des contraintes non prises en compte par la notation graphique.
Transverse modeA transverse mode of electromagnetic radiation is a particular electromagnetic field pattern of the radiation in the plane perpendicular (i.e., transverse) to the radiation's propagation direction. Transverse modes occur in radio waves and microwaves confined to a waveguide, and also in light waves in an optical fiber and in a laser's optical resonator. Transverse modes occur because of boundary conditions imposed on the wave by the waveguide.
Unité de mesureEn physique et en métrologie, une est une . Une unité de mesure peut être définie à partir de constantes fondamentales ou par un étalon, utilisé pour la mesure. Les systèmes d'unités, définis en cherchant le plus large accord dans le domaine considéré, sont rendus nécessaires par la méthode scientifique, dont l'un des fondements est la reproductibilité des expériences (donc des mesures), ainsi que par le développement des échanges d'informations commerciales ou industrielles.
Quark topLe quark top (en abrégé t) est un quark, une particule élémentaire de la physique des particules. vignette|300px|Diagramme de désintégration des quarks. Comme tous les quarks, le quark top est un fermion. Il s'agit d'un quark de possédant une charge électrique de +2/3 e. Il est le quark le plus massif avec une masse de (presque autant qu'un atome d'or). L'antiparticule du quark top est l'antiquark top, de charge électrique −2/3 e.
Lambda cubethumb|Le lambda-cube. Initialement proposé par Henk Barendregt, le -cube permet de visualiser les différentes dimensions pour lesquelles le calcul des constructions apporte une généralisation par rapport au lambda-calcul simplement typé où un terme ne peut dépendre que d'un autre terme. Chaque axe représente une nouvelle forme d'abstraction : Terme dépendant de type : le polymorphisme ; Type dépendant de type : présence d'opérateurs de types ; Type dépendant de terme. Catégorie:Calculabilité Catégorie:Théor
Polarisation (optique)La polarisation est une propriété qu'ont les ondes vectorielles (ondes qui peuvent osciller selon plus d'une orientation) de présenter une répartition privilégiée de l'orientation des vibrations qui les composent. Les ondes électromagnétiques, telles que la lumière, ou les ondes gravitationnelles ont ainsi des propriétés de polarisation. Les ondes mécaniques transverses dans les solides peuvent aussi être polarisées. Cependant, les ondes longitudinales (telles que les ondes sonores) ne sont pas concernées.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
