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).
Brushed DC electric motorA brushed DC electric motor is an internally commutated electric motor designed to be run from a direct current power source and utilizing an electric brush for contact. Brushed motors were the first commercially important application of electric power to driving mechanical energy, and DC distribution systems were used for more than 100 years to operate motors in commercial and industrial buildings. Brushed DC motors can be varied in speed by changing the operating voltage or the strength of the magnetic field.
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 (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.
Cortex moteurLe cortex moteur désigne l'ensemble des aires du cortex cérébral qui participent à la planification, au contrôle et à l'exécution des mouvements volontaires des muscles du corps. D'un point de vue anatomique, le cortex moteur est situé dans la partie postérieure du lobe frontal, au niveau de la région caudale de la circonvolution frontale ascendante en avant du sillon central. Le cortex moteur est en interaction constante avec d'autres structures nerveuses impliquées dans le mouvement comme le système des ganglions de la base et le cervelet.
Représentation unitaireEn mathématiques, une représentation unitaire d'un groupe G est une représentation linéaire π de G sur un espace de Hilbert complexe V telle que π(g) est un opérateur unitaire pour tout g ∈ G. La théorie générale est bien développée dans le cas où G est un groupe topologique localement compact (séparé) et les représentations sont fortement continues. La théorie a été largement appliquée en mécanique quantique depuis les années 1920, particulièrement sous l'influence par le livre de 1928 de Hermann Weyl, Gruppentheorie und Quantenmechanik.
Système dynamiqueEn mathématiques, en chimie ou en physique, un système dynamique est la donnée d’un système et d’une loi décrivant l'évolution de ce système. Ce peut être l'évolution d'une réaction chimique au cours du temps, le mouvement des planètes dans le système solaire (régi par la loi universelle de la gravitation de Newton) ou encore l'évolution de la mémoire d'un ordinateur sous l'action d'un programme informatique. Formellement on distingue les systèmes dynamiques à temps discrets (comme un programme informatique) des systèmes dynamiques à temps continu (comme une réaction chimique).
Canon (musique)vignette|droite| Tout par compas suy composés (folio 12). Canon circulaire de Baude Cordier, extrait du Codex Chantilly, manuscrit du . Un canon (en kanōn « règle, précepte ») est un procédé de composition musicale contrapuntique dans laquelle plusieurs voix, vocales ou instrumentales, jouent ou chantent une imitation de la mélodie, mais de manière différée. C'est la forme la plus stricte de l'imitation polyphonique. Dans ses origines, la construction du canon se détermine entièrement par l'invention de la mélodie qui donne la règle aux autres voix.
Cadence harmoniqueEn musique classique, une cadence harmonique (ou simplement cadence) est une formule mélodique et harmonique qui ponctue une phrase musicale, une section ou un morceau entier. En harmonie tonale, une cadence est une progression harmonique destinée à marquer la fin d’une pièce ou, plus généralement, d’une phrase musicale, par son caractère conclusif ou suspensif : exemple d'enchaînement conclusif : accord de dominante vers un accord de tonique ; exemple d'enchaînement suspensif : accord préparatoire vers un accord de dominante.
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.
