Équations de Navier-Stokesthumb|Léonard de Vinci : écoulement dans une fontaine En mécanique des fluides, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent le mouvement des fluides newtoniens (donc des gaz et de la majeure partie des liquides). La résolution de ces équations modélisant un fluide comme un milieu continu à une seule phase est difficile, et l'existence mathématique de solutions des équations de Navier-Stokes n'est pas démontrée.
Algorithme du gradient stochastiqueL'algorithme du gradient stochastique est une méthode de descente de gradient (itérative) utilisée pour la minimisation d'une fonction objectif qui est écrite comme une somme de fonctions différentiables. À la fois l'estimation statistique et l'apprentissage automatique s'intéressent au problème de la minimisation d'une fonction objectif qui a la forme d'une somme : où le paramètre qui minimise doit être estimé. Chacune des fonctions est généralement associée avec la -ème observation de l'ensemble des données (utilisées pour l'apprentissage).
Problème du voyageur de commercevignette|Le problème de voyageur de commerce : calculer un plus court circuit qui passe une et une seule fois par toutes les villes (ici 15 villes). En informatique, le problème du voyageur de commerce, ou problème du commis voyageur, est un problème d'optimisation qui consiste à déterminer, étant donné un ensemble de villes, le plus court circuit passant par chaque ville une seule fois. C'est un problème algorithmique célèbre, qui a donné lieu à de nombreuses recherches et qui est souvent utilisé comme introduction à l'algorithmique ou à la théorie de la complexité.
Droits des ÉtatsDans la politique aux États-Unis, le terme « droits des États » (states' rights) fait référence à la souveraineté individuelle des gouvernements des États américains vis-à-vis de l'État fédéral. La répartition des pouvoirs est déterminée par la Constitution, reflétant notamment les pouvoirs énumérés du Congrès et le Dixième amendement. La question des droits des États fut l'un des principaux arguments négationnistes du mouvement néo-confédéré, qui a cherché à légitimer a posteriori la « Cause perdue » de la Confédération, en niant le fait que l'esclavage fut la cause principale de la guerre de Sécession.
Test (informatique)vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.
Systole (mathématiques)Dans un espace métrique compact, la systole est la longueur minimale d'un lacet non contractile, c'est-à-dire d'une courbe fermée qu'on ne peut déformer continûment pour l'amener en un point. En géométrie des nombres, la systole d'un réseau dans un espace euclidien désigne la norme du plus petit vecteur non nul de ce réseau. Cette notion intervient en particulier dans le , également connu sous le nom de « critère de Mahler ». La systole est donc la longueur minimum d'un lacet représentant une classe non nulle d'homologie première du tore quotient du réseau.
Four-gradientIn differential geometry, the four-gradient (or 4-gradient) is the four-vector analogue of the gradient from vector calculus. In special relativity and in quantum mechanics, the four-gradient is used to define the properties and relations between the various physical four-vectors and tensors. This article uses the (+ − − −) metric signature. SR and GR are abbreviations for special relativity and general relativity respectively. indicates the speed of light in vacuum. is the flat spacetime metric of SR.
Automatisation de testL'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.
Probabilistic numericsProbabilistic numerics is an active field of study at the intersection of applied mathematics, statistics, and machine learning centering on the concept of uncertainty in computation. In probabilistic numerics, tasks in numerical analysis such as finding numerical solutions for integration, linear algebra, optimization and simulation and differential equations are seen as problems of statistical, probabilistic, or Bayesian inference.
Équations d'EulerEn mécanique des fluides, les équations d'Euler sont des équations aux dérivées partielles non linéaires qui décrivent l'écoulement des fluides (liquide ou gaz) dans l’approximation des milieux continus. Ces écoulements sont adiabatiques, sans échange de quantité de mouvement par viscosité ni d'énergie par conduction thermique. L'histoire de ces équations remonte à Leonhard Euler qui les a établies pour des écoulements incompressibles (1757).
