Computational anatomyComputational anatomy is an interdisciplinary field of biology focused on quantitative investigation and modelling of anatomical shapes variability. It involves the development and application of mathematical, statistical and data-analytical methods for modelling and simulation of biological structures. The field is broadly defined and includes foundations in anatomy, applied mathematics and pure mathematics, machine learning, computational mechanics, computational science, biological imaging, neuroscience, physics, probability, and statistics; it also has strong connections with fluid mechanics and geometric mechanics.
Étoilevignette|Le Soleil, l’étoile la plus proche de la Terre, vu lors d'une éruption en ultraviolets avec de fausses couleurs. Une étoile est un corps céleste plasmatique qui rayonne sa propre lumière par réactions de fusion nucléaire, ou des corps qui ont été dans cet état à un stade de leur cycle de vie, comme les naines blanches ou les étoiles à neutrons. Cela signifie qu'ils doivent posséder une masse minimale pour que les conditions de température et de pression au sein de la région centrale permettent l'amorce et le maintien de ces réactions nucléaires, seuil en deçà duquel on parle d'objets substellaires.
Continuous linear operatorIn functional analysis and related areas of mathematics, a continuous linear operator or continuous linear mapping is a continuous linear transformation between topological vector spaces. An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator. Continuous function (topology) and Discontinuous linear map Bounded operator Suppose that is a linear operator between two topological vector spaces (TVSs). The following are equivalent: is continuous.
Étoile à neutronsthumb|300px|RX J1856.5-3754, une étoile à neutrons isolée proche du Système solaire, dont l'émission de surface est vue par le télescope spatial Hubble. Une étoile à neutrons est un astre principalement composé de neutrons maintenus ensemble par les forces de gravitation. De tels objets sont le résidu compact issu de l'effondrement gravitationnel du cœur de certaines étoiles massives lorsque celles-ci ont épuisé leur combustible nucléaire. Une étoile à neutrons peut présenter différents aspects.
Calcul formelLe calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes. Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit.
Système stellaireUn système stellaire consiste en un petit nombre d'étoiles qui sont liées par l'attraction gravitationnelle et de ce fait orbitent les unes autour des autres. Les étoiles qui constituent un système stellaire sont appelées ses composantes. Suivant le nombre d'étoiles, on parle de système binaire, triple (ou ternaire), quadruple, etc. Un grand nombre d'étoiles liées par la gravitation est généralement désigné comme un amas d'étoiles ou bien une galaxie. Notons qu'au sens large, il s'agit aussi de systèmes stellaires.
Base de GröbnerEn mathématiques, une base de Gröbner (ou base standard, ou base de Buchberger) d'un idéal I de l'anneau de polynômes K[X, ..., X] est un ensemble de générateurs de cet idéal, vérifiant certaines propriétés supplémentaires. Cette notion a été introduite dans les années 1960, indépendamment par Heisuke Hironaka et Bruno Buchberger, qui lui a donné le nom de son directeur de thèse Wolfgang Gröbner. Les bases de Gröbner ont le grand avantage de ramener l'étude des idéaux polynomiaux à l'étude des idéaux monomiaux (c'est-à-dire formés de monômes), plus faciles à appréhender.
Loss functions for classificationIn machine learning and mathematical optimization, loss functions for classification are computationally feasible loss functions representing the price paid for inaccuracy of predictions in classification problems (problems of identifying which category a particular observation belongs to). Given as the space of all possible inputs (usually ), and as the set of labels (possible outputs), a typical goal of classification algorithms is to find a function which best predicts a label for a given input .
Système de positionnement en intérieurUn système de positionnement en intérieur ou système de géolocalisation en intérieur permet de trouver la position d'objets ou de personnes dans un espace interne à une structure (bâtiments, maisons...). La localisation joue un rôle essentiel dans la vie de tous les jours. Alors que la localisation basée sur les GPS est populaire, sa prolifération dans les environnements intérieurs est limitée. Cela est dû à la mauvaise pénétration des signaux GPS à l’intérieur des bâtiments et à l'absence fréquente de systèmes de localisation intérieure.
Navigation astronomiqueLa navigation astronomique est une technique de navigation qui consiste à déterminer sa position à l'aide de l'observation des astres et la mesure de leur hauteur (c'est-à-dire l'angle entre la direction de l'astre et l'horizon). Elle est utilisée traditionnellement par les Polynésiens (voir Peuplement de l'Océanie > Navigations austronésiennes). En Europe, elle est mise au point à partir de la Renaissance par les navigateurs portugais.
