Système temps réelEn informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés.
Grandeur sans dimensionUne grandeur sans dimension ou adimensionnelle est une grandeur physique dont la dimension vaut , ce qui revient à dire que tous ses exposants dimensionnels sont nuls : Une grandeur adimensionelle peut être obtenue à partir d'une combinaison de grandeurs dimensionnées, dont l'analyse dimensionnelle permet de vérifier la dimension. Une grandeur adimensionelle peut cependant posséder une unité, comme par exemple les angles dont l'unité est le radian. D'autres exemples de grandeurs adimensionnées sont l'indice de réfraction ou la densité.
Grandeur physiqueOn appelle grandeur physique, ou simplement grandeur, toute propriété d'un phénomène physique, d'un corps ou d'une substance, qui peut être mesurée ou calculée, et dont les valeurs possibles s'expriment à l'aide d'un nombre (réel ou complexe) et d'une référence (comme une unité de mesure, une échelle de valeurs ou une échelle ordinale). La précision de la mesure est indiquée par l'incertitude de mesure.
Filtre particulaireLes filtres particulaires, aussi connus sous le nom de méthodes de Monte-Carlo séquentielles, sont des techniques sophistiquées d'estimation de modèles fondées sur la simulation. Les filtres particulaires sont généralement utilisés pour estimer des réseaux bayésiens et constituent des méthodes 'en-ligne' analogues aux méthodes de Monte-Carlo par chaînes de Markov qui elles sont des méthodes 'hors-ligne' (donc a posteriori) et souvent similaires aux méthodes d'échantillonnage préférentiel.
Maximum de vraisemblanceEn statistique, l'estimateur du maximum de vraisemblance est un estimateur statistique utilisé pour inférer les paramètres de la loi de probabilité d'un échantillon donné en recherchant les valeurs des paramètres maximisant la fonction de vraisemblance. Cette méthode a été développée par le statisticien Ronald Aylmer Fisher en 1922. Soient neuf tirages aléatoires x1, ..., x9 suivant une même loi ; les valeurs tirées sont représentées sur les diagrammes ci-dessous par des traits verticaux pointillés.
Bayes estimatorIn estimation theory and decision theory, a Bayes estimator or a Bayes action is an estimator or decision rule that minimizes the posterior expected value of a loss function (i.e., the posterior expected loss). Equivalently, it maximizes the posterior expectation of a utility function. An alternative way of formulating an estimator within Bayesian statistics is maximum a posteriori estimation. Suppose an unknown parameter is known to have a prior distribution .
Longueur d'un arcthumb|Camille Jordan est l'auteur de la définition la plus courante de la longueur d'un arc. En géométrie, la question de la longueur d'un arc est simple à concevoir (intuitive). L'idée d'arc correspond à celle d'une ligne, ou d'une trajectoire d'un point dans un plan ou l'espace par exemple. Sa longueur peut être vue comme la distance parcourue par un point matériel suivant cette trajectoire ou encore comme la longueur d'un fil prenant exactement la place de cette ligne. La longueur d'un arc est, soit un nombre positif, soit l'infini.
Social simulationSocial simulation is a research field that applies computational methods to study issues in the social sciences. The issues explored include problems in computational law, psychology, organizational behavior, sociology, political science, economics, anthropology, geography, engineering, archaeology and linguistics . Social simulation aims to cross the gap between the descriptive approach used in the social sciences and the formal approach used in the natural sciences, by moving the focus on the processes/mechanisms/behaviors that build the social reality.
Gravitation quantique à bouclesLa gravitation quantique à boucles (loop quantum gravity en anglais) est une tentative de formuler une théorie de la gravitation quantique, et donc d'unifier la théorie de la relativité générale et les concepts de la physique quantique. Elle est fondée sur la quantification canonique directe de la relativité générale dans une formulation hamiltonienne (l'équation de Wheeler-DeWitt), les trois autres interactions fondamentales n'étant pas considérées dans un premier temps.
Unité de longueurUne unité de longueur est une unité, c'est-à-dire un étalon, permettant d'exprimer la mesure physique. Selon les époques, il existe différentes unités permettant d'expliquer la grandeur physique, intégrées à divers systèmes. L'unité de longueur de référence, internationalement reconnue dans le cadre du Système international est le mètre ; il est décliné en multiples et sous-multiples décimaux. D'autres unités de longueur issus de systèmes différents sont utilisées, soit pour simplifier les expressions dans des domaines d'activités spécifiques, soit pour des raisons culturelles et traditionnelles.