Indépendance linéaireEn algèbre linéaire, étant donné une famille de vecteurs d'un même espace vectoriel, les vecteurs de la famille sont linéairement indépendants, ou forment une famille libre, si la seule combinaison linéaire de ces vecteurs qui soit égale au vecteur nul est celle dont tous les coefficients sont nuls. Cela revient à dire qu'aucun des vecteurs de la famille n'est combinaison linéaire des autres. Dans le cas où des vecteurs ne sont pas linéairement indépendants, on dit qu'ils sont linéairement dépendants, ou qu'ils forment une famille liée.
Conical combinationGiven a finite number of vectors in a real vector space, a conical combination, conical sum, or weighted sum of these vectors is a vector of the form where are non-negative real numbers. The name derives from the fact that a conical sum of vectors defines a cone (possibly in a lower-dimensional subspace). The set of all conical combinations for a given set S is called the conical hull of S and denoted cone(S) or coni(S). That is, By taking k = 0, it follows the zero vector (origin) belongs to all conical hulls (since the summation becomes an empty sum).
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Infrastructure hydrogèneLes infrastructures hydrogène sont les infrastructures de transport par pipeline de l'hydrogène, les points de production d'hydrogène et les stations à hydrogène (parfois regroupées comme une autoroute de l'hydrogène) pour la distribution ainsi que la vente de carburant hydrogène, et donc une condition préalable cruciale avant une commercialisation réussie de technologie de la pile à combustible automobile.
Analyse des donnéesL’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.
Chlorure d'acyleEn chimie organique, un chlorure d'acyle est un composé organique comportant un groupe fonctionnel -CO-Cl, leur formule générale étant usuellement noté RCOCl, R étant une chaîne latérale. On les considère en général comme des dérivés réactifs des acides carboxyliques. Ils sont l'un des plus importants sous-groupes des halogénures d'acyle.
Big dataLe big data ( « grosses données » en anglais), les mégadonnées ou les données massives, désigne les ressources d’informations dont les caractéristiques en termes de volume, de vélocité et de variété imposent l’utilisation de technologies et de méthodes analytiques particulières pour créer de la valeur, et qui dépassent en général les capacités d'une seule et unique machine et nécessitent des traitements parallélisés. L’explosion quantitative (et souvent redondante) des données numériques permet une nouvelle approche pour analyser le monde.
Liaison hydrogènevignette|Liaison hydrogène entre des molécules d'eau. La liaison hydrogène ou pont hydrogène est une force intermoléculaire ou intramoléculaire impliquant un atome d'hydrogène et un atome électronégatif comme l'oxygène, l'azote et le fluor. L'intensité d'une liaison hydrogène est intermédiaire entre celle d'une liaison covalente et celle des forces de van der Waals (en général les liaisons hydrogène sont plus fortes que les interactions de van der Waals).
Grande DépressionLa Grande Dépression () ou « crise économique des années 1930 », dite encore « crise de 29 », est une longue phase de crise économique et de récession qui frappe l'économie mondiale à partir du krach boursier américain de 1929 jusqu'à la Seconde Guerre mondiale. Précédée par la puissante expansion des années 1920, c'est la plus importante dépression économique du . Elle a été accompagnée d'une forte déflation et d'une explosion du chômage et a poussé les autorités à une profonde réforme des marchés financiers.
