Variable aléatoirevignette|La valeur d’un dé après un lancer est une variable aléatoire comprise entre 1 et 6. En théorie des probabilités, une variable aléatoire est une variable dont la valeur est déterminée après la réalisation d’un phénomène, expérience ou événement, aléatoire. En voici des exemples : la valeur d’un dé entre 1 et 6 ; le côté de la pièce dans un pile ou face ; le nombre de voitures en attente dans la 2e file d’un télépéage autoroutier ; le jour de semaine de naissance de la prochaine personne que vous rencontrez ; le temps d’attente dans la queue du cinéma ; le poids de la part de tomme que le fromager vous coupe quand vous lui en demandez un quart ; etc.
Exchangeable random variablesIn statistics, an exchangeable sequence of random variables (also sometimes interchangeable) is a sequence X1, X2, X3, ... (which may be finitely or infinitely long) whose joint probability distribution does not change when the positions in the sequence in which finitely many of them appear are altered. Thus, for example the sequences both have the same joint probability distribution. It is closely related to the use of independent and identically distributed random variables in statistical models.
Complex random variableIn probability theory and statistics, complex random variables are a generalization of real-valued random variables to complex numbers, i.e. the possible values a complex random variable may take are complex numbers. Complex random variables can always be considered as pairs of real random variables: their real and imaginary parts. Therefore, the distribution of one complex random variable may be interpreted as the joint distribution of two real random variables.
Variables indépendantes et identiquement distribuéesvignette|upright=1.5|alt=nuage de points|Ce nuage de points représente 500 valeurs aléatoires iid simulées informatiquement. L'ordonnée d'un point est la valeur simulée suivante, dans la liste des 500 valeurs, de la valeur simulée pour l'abscisse du point. En théorie des probabilités et en statistique, des variables indépendantes et identiquement distribuées sont des variables aléatoires qui suivent toutes la même loi de probabilité et sont indépendantes. On dit que ce sont des variables aléatoires iid ou plus simplement des variables iid.
Convergence de variables aléatoiresDans la théorie des probabilités, il existe différentes notions de convergence de variables aléatoires. La convergence (dans un des sens décrits ci-dessous) de suites de variables aléatoires est un concept important de la théorie des probabilités utilisé notamment en statistique et dans l'étude des processus stochastiques. Par exemple, la moyenne de n variables aléatoires indépendantes et identiquement distribuées converge presque sûrement vers l'espérance commune de ces variables aléatoires (si celle-ci existe).
Vecteur aléatoireUn vecteur aléatoire est aussi appelé variable aléatoire multidimensionnelle. Un vecteur aléatoire est une généralisation à n dimensions d'une variable aléatoire réelle. Alors qu'une variable aléatoire réelle est une fonction qui à chaque éventualité fait correspondre un nombre réel, le vecteur aléatoire est une fonction X qui à chaque éventualité fait correspondre un vecteur de : où ω est l'élément générique de Ω, l'espace de toutes les éventualités possibles. Les applications X, ...
Distribution of the product of two random variablesA product distribution is a probability distribution constructed as the distribution of the product of random variables having two other known distributions. Given two statistically independent random variables X and Y, the distribution of the random variable Z that is formed as the product is a product distribution. The product distribution is the PDF of the product of sample values. This is not the same as the product of their PDF's yet the concepts are often ambiguously termed as "product of Gaussians".
Étoile binaireEn astronomie, une étoile binaire ou binaire, appelée aussi système (stellaire) binaire ou étoile double physique, est un type de système binaire composée de deux étoiles orbitant autour d'un centre de gravité commun. Le terme « étoile binaire » a apparemment été inventé par William Herschel en 1802 pour indiquer . Au , des étoiles binaires sont classées en différents types selon leurs propriétés observables : binaire visuelle, binaire astrométrique, binaire spectroscopique et binaire à éclipses.
Binary dataBinary data is data whose unit can take on only two possible states. These are often labelled as 0 and 1 in accordance with the binary numeral system and Boolean algebra. Binary data occurs in many different technical and scientific fields, where it can be called by different names including bit (binary digit) in computer science, truth value in mathematical logic and related domains and binary variable in statistics. A discrete variable that can take only one state contains zero information, and is the next natural number after 1.
Binary regressionIn statistics, specifically regression analysis, a binary regression estimates a relationship between one or more explanatory variables and a single output binary variable. Generally the probability of the two alternatives is modeled, instead of simply outputting a single value, as in linear regression. Binary regression is usually analyzed as a special case of binomial regression, with a single outcome (), and one of the two alternatives considered as "success" and coded as 1: the value is the count of successes in 1 trial, either 0 or 1.
Étoile variableEn astronomie, une étoile variable ou, par ellipse, une variable est une étoile dont l'éclat varie au cours de périodes plus ou moins longues (on parle à ce titre de variabilité stellaire). Alors que la plupart des étoiles sont de luminosité presque constante, comme le Soleil qui ne possède pratiquement pas de variation mesurable (environ 0,1 % sur un cycle de 11 ans), la luminosité de certaines étoiles varie de façon perceptible pendant des périodes de temps beaucoup plus courtes.
Étoile binaire à contactthumb|upright=1.5|Animation montrant comment varie la courbe de lumière d'une étoile binaire à contact en fonction de la position orbitale des composantes. En astronomie, une (étoile) binaire à contact est une étoile binaire de courte période orbitale dont les deux composantes remplissent entièrement leurs lobes de Roche respectifs. Il existe aussi des binaires à enveloppe commune, qui sont assez différentes. Dans cette configuration, les deux étoiles sont dites « en contact » puisque leurs surfaces hydrostatiques se « touchent » au , sans remplir leur lobe de Roche respectif.
Instrument de musiqueright|thumb|280px|Fresque étrusque de la tombe des Léopards à Monterozzi en Italie. right|thumb|280px|Planche illustrée d'instruments de musique extraite du "Systematische Bilder-Gallerie zur allgemeinen deutschen Real Encyclopädie in lithographirten Blättern" (1842) Un instrument de musique est un objet pouvant produire un son contrôlé par un musicien — que cet objet soit conçu dans cet objectif, ou bien qu'il soit modifié ou écarté de son usage premier.
Cuivres (musique)La famille des cuivres regroupe de nombreux instruments à vent (également appelés aérophones). L'obtention du son est produit par les vibrations de l'air provoquées par les lèvres du musicien sur l’embouchure, contrairement aux instruments de la famille des bois dont le son est produit par le souffle et la vibration d’une anche simple clarinette ou double hautbois ou un biseau flûte. Tous les cuivres possèdent une embouchure. Leur point commun est la technique utilisée par le musicien pour produire le son : la vibration des lèvres.
Instrument de musique électroniqueUn instrument de musique électronique est un instrument de musique qui utilise un ou plusieurs circuits électroniques pour produire des sons. L’histoire des instruments de musique a suivi l'histoire de l'évolution des technologies : Il y a d'abord eu l’instrument acoustique utilisant l'énergie mécanique produite par l’homme, véhiculée et transformée par d’autres systèmes mécaniques. Ses capacités musicales sont le résultat d'une succession de découvertes et d'amélioration empiriques.
Instrument à clavierUn instrument à clavier est un instrument de musique joué en utilisant un clavier, une rangée de leviers appuyés avec les doigts. Les plus communs sont le piano, l'orgue, les instruments de la famille du clavecin et divers (y compris les synthétiseurs et les pianos numériques). Les autres instruments à clavier sont le célesta, le piano jouet et le carillon, qui sont idiophones à percussion gérès par un clavier. Aujourd'hui, le terme clavier fait souvent référence aux synthétiseurs de style clavier.
Instrument à ventthumb|Erkencho Un instrument à vent (ou aérophone) est un instrument de musique dont le son est produit grâce aux vibrations d'une colonne d'air provoquées par le souffle d'un instrumentiste (flûte, trompette... ), d'une soufflerie mécanique (orgue, accordéon) ou d'une poche d'air (cornemuse, veuze... ). Ils sont regroupés en deux grandes familles : les bois pour lesquels le son est produit par vibration d'une anche ou à travers un biseau ; les cuivres pour lesquels le son est produit par les lèvres du musicien.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Instrument amplifierAn instrument amplifier is an electronic device that converts the often barely audible or purely electronic signal of a musical instrument into a larger electronic signal to feed to a loudspeaker. An instrument amplifier is used with musical instruments such as an electric guitar, an electric bass, electric organ, synthesizers and drum machine to convert the signal from the pickup (with guitars and other string instruments and some keyboards) or other sound source (e.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
