Partie relativement compacteEn mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X (pour la topologie induite). Rappelons que dans la littérature française, un compact est supposé séparé. Si X est séparé, alors une partie de X est relativement compacte (si et) seulement si son adhérence est compacte. Dans un espace métrisable X, une partie Y est relativement compacte si et seulement si toute suite dans Y possède une sous-suite qui converge dans X.
Geodetic coordinatesGeodetic coordinates are a type of curvilinear orthogonal coordinate system used in geodesy based on a reference ellipsoid. They include geodetic latitude (north/south) φ, longitude (east/west) λ, and ellipsoidal height h (also known as geodetic height). The triad is also known as Earth ellipsoidal coordinates (not to be confused with ellipsoidal-harmonic coordinates). Longitude measures the rotational angle between the zero meridian and the measured point. By convention for the Earth, Moon and Sun, it is expressed in degrees ranging from −180° to +180°.
Latitudelang=fr|thumb|300px|right|Illustrations des principaux parallèles. La latitude est une coordonnée géographique représentée par une valeur angulaire, expression de la position d'un point sur Terre (ou sur une autre planète), au nord ou au sud de l'équateur qui est le plan de référence. La latitude est une mesure angulaire ; elle varie entre la valeur 0° à l'équateur et 90° aux pôles. La latitude est utilisée en combinaison avec la longitude pour indiquer la position précise d'un élément sur Terre.
Espace dénombrablement compactEn mathématiques, un espace dénombrablement compact est un espace topologique dont tout recouvrement par une famille dénombrable d'ouverts possède un sous-recouvrement fini. La notion de compacité dénombrable entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité séquentielle. Pour un espace métrisable, ces quatre notions sont équivalentes. Soit X un espace topologique (non supposé séparé).
Optimisation SDPEn mathématiques et en informatique théorique, l'optimisation SDP ou semi-définie positive, est un type d'optimisation convexe, qui étend l'optimisation linéaire. Dans un problème d'optimisation SDP, l'inconnue est une matrice symétrique que l'on impose d'être semi-définie positive. Comme en optimisation linéaire, le critère à minimiser est linéaire et l'inconnue doit également satisfaire une contrainte affine. L'optimisation SDP se généralise par l'optimisation conique, qui s'intéresse aux problèmes de minimisation d'une fonction linéaire sur l'intersection d'un cône et d'un sous-espace affine.
FormulationLa formulation est une opération industrielle consistant à fabriquer un matériau homogène et stable, possédant des propriétés finales spécifiques et répondant aux exigences d'un cahier des charges fonctionnel (CDCF), en mélangeant des substances diverses. vignette|Batterie de malaxeurs de faibles capacités utilisés en formulation (mastics PVC pour l'automobile).
Problème de l'isomorphisme de graphesvignette|Le problème est de savoir si deux graphes sont les mêmes. En informatique théorique, le problème de l'isomorphisme de graphes est le problème de décision qui consiste, étant donné deux graphes non orientés, à décider s'ils sont isomorphes ou pas, c'est-à-dire s'ils sont les mêmes, quitte à renommer les sommets. Ce problème est particulièrement important en théorie de la complexité, plus particulièrement pour le problème P=NP.
Capacité crâniennevignette|Comparaison, de gauche à droite, d'un cerveau de sanglier, de grand dauphin et d'humain. La capacité crânienne est une mesure du volume de l'intérieur de la boîte crânienne chez les vertébrés qui ont à la fois un crâne et un cerveau. L'unité de mesure la plus utilisée est le centimètre cube. Certains auteurs considèrent le volume du crâne comme un indicateur de la taille du cerveau, laquelle est à son tour utilisée pour indiquer approximativement l'intelligence potentielle de l'organisme.
Sémantique des modèles stablesLa sémantique des modèles stables est une sémantique déclarative en programmation logique utilisant la négation par l'échec. C'est l'une des nombreuses approches standard pour la signification de la négation dans la programmation logique, au côté de la terminaison de programme et de la sémantique bien fondée. La sémantique du modèle stable est à la base du langage de programmation déclarative Answer Set Programming (ASP).
Answer set programmingL’answer set programming (ASP) est une forme de programmation déclarative adaptée aux problèmes de recherche combinatoires (par exemple, sudoku et coloration de graphes). Dans le contexte de la programmation logique, cette approche distingue deux types de négation — la négation par manque d'information, dite négation par défaut, et la négation forte ou négation logique. La négation par défaut permet de raisonner en l'absence d'information et rend l'ASP non monotone.
