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.
FV4034 Challenger 2Le FV4034 Challenger 2 est un char de combat britannique construit par Vickers Defence Systems (maintenant BAE Systems) et qui est en service depuis 1998 dans les armées du Royaume-Uni et d'Oman. Conçu pour remplacer le Chieftain, le Challenger 2 reprend une version modifiée du châssis du Challenger 1, alors en service, mais équipée d'une nouvelle tourelle. Cent-vingt-sept chars furent initialement commandés en juin 1991 mais, à la suite de la restructuration des régiments blindés de la British Army, il fut décidé d'en commander deux-cent cinquante-neuf autres en juillet 1994 pour remplacer également le Challenger 1.
Décomposition en valeurs singulièresEn mathématiques, le procédé d'algèbre linéaire de décomposition en valeurs singulières (ou SVD, de l'anglais singular value decomposition) d'une matrice est un outil important de factorisation des matrices rectangulaires réelles ou complexes. Ses applications s'étendent du traitement du signal aux statistiques, en passant par la météorologie. Le théorème spectral énonce qu'une matrice normale peut être diagonalisée par une base orthonormée de vecteurs propres.
Char de combat principalthumb|Un T-90, char de combat principal russe. Le char de combat principal est une catégorie de chars de combat. On le qualifie également de « char de bataille principal ». Le concept de char de combat principal provient de la fusion des concepts antérieurs du char de rupture, du char d'infanterie, du char rapide (ou « char de cavalerie ») et du chasseur de chars.
Comparison of Linux distributionsTechnical variations of Linux distributions include support for different hardware devices and systems or software package configurations. Organizational differences may be motivated by historical reasons. Other criteria include security, including how quickly security upgrades are available; ease of package management; and number of packages available. These tables compare notable distribution's latest stable release on wide-ranging objective criteria.
Low-rank approximationIn mathematics, low-rank approximation is a minimization problem, in which the cost function measures the fit between a given matrix (the data) and an approximating matrix (the optimization variable), subject to a constraint that the approximating matrix has reduced rank. The problem is used for mathematical modeling and data compression. The rank constraint is related to a constraint on the complexity of a model that fits the data. In applications, often there are other constraints on the approximating matrix apart from the rank constraint, e.
CirrusLe cirrus est un genre de nuage présent dans la couche supérieure de la troposphère (entre et d'altitude, dépendant de la latitude et de la saison), formé de cristaux de glace. Ces nuages ont l'apparence de filaments blancs et ne causent pas de précipitations. On le compare souvent à des cheveux d'ange. Les cirrus, bien que ténus, ont un effet notable sur le bilan radiatif de la planète, tant à cause de la réflexion de rayonnement solaire vers l'espace (refroidissement) que par leur effet dans le domaine thermique (réchauffement).
Distribution Linuxvignette|Logos de GNU et Linux Une distribution Linux, appelée aussi distribution GNU/Linux lorsqu'elle contient les logiciels du projet GNU, est un ensemble cohérent de logiciels, la plupart étant des logiciels libres, assemblés autour du noyau Linux, et formant un système d'exploitation pleinement opérationnel. Le terme « distribution » (potentiellement calqué sur le mot anglais distribution) est employé car il s'agit de distribuer une collection de logiciels compatibles avec Linux et sélectionnés par les mainteneurs de la distribution.
Auto-encodeur variationnelEn apprentissage automatique, un auto-encodeur variationnel (ou VAE de l'anglais variational auto encoder), est une architecture de réseau de neurones artificiels introduite en 2013 par D. Kingma et M. Welling, appartenant aux familles des modèles graphiques probabilistes et des méthodes bayésiennes variationnelles. Les VAE sont souvent rapprochés des autoencodeurs en raison de leur architectures similaires. Leur utilisation et leur formulation mathématiques sont cependant différentes.
Statistique multivariéeEn statistique, les analyses multivariées ont pour caractéristique de s'intéresser à des lois de probabilité à plusieurs variables. Les analyses bivariées sont des cas particuliers à deux variables. Les analyses multivariées sont très diverses selon l'objectif recherché, la nature des variables et la mise en œuvre formelle. On peut identifier deux grandes familles : celle des méthodes descriptives (visant à structurer et résumer l'information) et celle des méthodes explicatives visant à expliquer une ou des variables dites « dépendantes » (variables à expliquer) par un ensemble de variables dites « indépendantes » (variables explicatives).
