Momentum operatorIn quantum mechanics, the momentum operator is the operator associated with the linear momentum. The momentum operator is, in the position representation, an example of a differential operator. For the case of one particle in one spatial dimension, the definition is: where ħ is Planck's reduced constant, i the imaginary unit, x is the spatial coordinate, and a partial derivative (denoted by ) is used instead of a total derivative (d/dx) since the wave function is also a function of time. The "hat" indicates an operator.
Projecteur de diapositivesUn projecteur de diapositives est un instrument d'optique permettant de visionner des diapositives par projection de l'image sur une surface blanche de grande taille (que ce soit un mur ou un écran adapté). Si son usage s'est répandu dans les années 1950, le terme « diapositif (ve) » apparaît dès 1892 dans la langue française avec la lanterne magique car le projecteur de diapositives en est le descendant direct par son principe de fonctionnement et ses buts. vignette|Un projecteur de diapositives Zett 250.
Équation différentielle linéaireUne équation différentielle linéaire est un cas particulier d'équation différentielle pour lequel on peut appliquer des procédés de superposition de solutions, et exploiter des résultats d'algèbre linéaire. De nombreuses équations différentielles de la physique vérifient la propriété de linéarité. De plus, les équations différentielles linéaires apparaissent naturellement en perturbant une équation différentielle (non linéaire) autour d'une de ses solutions.
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).
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.
Équation aux dérivées partiellesEn mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles (parfois appelée équation différentielle partielle et abrégée en EDP) est une équation différentielle dont les solutions sont les fonctions inconnues dépendant de plusieurs variables vérifiant certaines conditions concernant leurs dérivées partielles. Une EDP a souvent de très nombreuses solutions, les conditions étant moins strictes que dans le cas d'une équation différentielle ordinaire à une seule variable ; les problèmes comportent souvent des conditions aux limites qui restreignent l'ensemble des solutions.
Time–frequency representationA time–frequency representation (TFR) is a view of a signal (taken to be a function of time) represented over both time and frequency. Time–frequency analysis means analysis into the time–frequency domain provided by a TFR. This is achieved by using a formulation often called "Time–Frequency Distribution", abbreviated as TFD. TFRs are often complex-valued fields over time and frequency, where the modulus of the field represents either amplitude or "energy density" (the concentration of the root mean square over time and frequency), and the argument of the field represents phase.
Opérateur (physique)Un opérateur est, en mécanique quantique, une application linéaire d'un espace de Hilbert dans lui-même. Le terme est une spécialisation du concept mathématique d'opérateur. Une observable est un opérateur hermitien. En mécanique classique, le mouvement des particules (ou d'un système de particules) est complètement déterminé par le Lagrangien ou, de façon équivalente, l'Hamiltonien , une fonction des coordonnées généralisées q, vitesse généralisée et son moment conjugué : Si ou est indépendant des coordonnées généralisées , donc que et ne changent pas en fonction de , le moment conjugué de ces coordonnées sera conservé (c'est une partie du théorème de Noether, et l'invariance du mouvement en respect de la coordonnée est une symétrie).
Audio frequencyAn audio frequency or audible frequency (AF) is a periodic vibration whose frequency is audible to the average human. The SI unit of frequency is the hertz (Hz). It is the property of sound that most determines pitch. The generally accepted standard hearing range for humans is 20 to 20,000 Hz. In air at atmospheric pressure, these represent sound waves with wavelengths of to . Frequencies below 20 Hz are generally felt rather than heard, assuming the amplitude of the vibration is great enough.
Dérivation (algèbre)En algèbre, le terme dérivation est employé dans divers contextes pour désigner une application vérifiant l'identité de Leibniz. Selon le contexte, il peut s'agir, entre autres, d'une application additive définie sur un anneau A à valeurs dans un -module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire. Cette notion est en particulier vérifiée par l'opérateur de dérivation d'une fonction (de variable réelle, par exemple); elle en est une généralisation utilisée en géométrie algébrique et en calcul différentiel sur les variétés (par exemple pour définir le crochet de Lie).
Google (moteur de recherche)Google est un moteur de recherche gratuit et libre d'accès sur le World Wide Web, ayant donné son nom à la société Google. C'est aujourd'hui le moteur de recherche et le site web le plus visité au monde : 90 % des internautes l'utilisaient en 2018. Le nom Google vient du mot Gogol, nom donné au nombre . Ce nombre a été choisi pour évoquer la capacité de Google à traiter une très grande quantité de données.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
