Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
Joseph FourierJean Baptiste Joseph Fourier est un mathématicien et physicien français né le à Auxerre et mort le à Paris. Joseph Fourier est connu pour avoir déterminé, par le calcul, la diffusion de la chaleur en utilisant la décomposition d'une fonction périodique en une série trigonométrique, qui sous certaines conditions, converge vers la fonction. Ces séries sont utilisées dans la résolution des équations aux dérivées partielles. Veuf en 1757, son père, qui avait déjà trois enfants, se remarie deux ans plus tard avec Edmée Germaine Lebègue.
Inflation cosmiquevignette |upright=1.5 |Inflation cosmique (en beige), avant seconde. L'inflation cosmique est un modèle cosmologique s'insérant dans le paradigme du Big Bang lors duquel une région de l'Univers comprenant l'Univers observable a connu une phase d'expansion très rapide qui lui aurait permis de grossir d'un facteur considérable : au moins 10 en un temps extrêmement bref, compris entre 10 et 10 secondes après le Big Bang. Ce modèle cosmologique offre une solution à la fois au problème de l'horizon et au problème de la platitude.
Règle 68-95-99,7vignette|Illustration de la règle 68-95-99.7 (à partir d'une expérience réelle, ce qui explique l'asymétrie par rapport à la loi normale). En statistique, la règle 68-95-99,7 (ou règle des trois sigmas ou règle empirique) indique que pour une loi normale, presque toutes les valeurs se situent dans un intervalle centré autour de la moyenne et dont les bornes se situent à trois écarts-types de part et d'autre de celle-ci. Environ 68,27 % des valeurs se situent à moins d'un écart-type de la moyenne.
Relevé du décalage vers le rougedroite|vignette|300x300px|Le rendu des données du relevé 2dFGRS En astronomie, un relevé du décalage vers le rouge (en anglais redshift survey) est un relevé astronomique d'une section du ciel pour mesurer le décalage vers le rouge (redshift) des objets célestes. Il s'agit habituellement de galaxies, mais parfois aussi d'autres objets tels que les amas de galaxies ou les quasars. À l'aide de la loi de Hubble, le décalage vers le rouge peut être utilisé pour estimer la distance entre un objet et la Terre.
Transformation de Fourier discrèteEn mathématiques, la transformation de Fourier discrète (TFD) sert à traiter un signal numérique. Elle constitue un équivalent discret (c'est-à-dire pour un signal défini à partir d'un nombre fini d'échantillons) de la transformation de Fourier (continue) utilisée pour traiter un signal analogique. Plus précisément, la TFD est la représentation spectrale discrète dans le domaine des fréquences d'un signal échantillonné. La transformation de Fourier rapide est un algorithme particulier de calcul de la transformation de Fourier discrète.
Histoire et chronologie de l'Universvignette|upright=1.5|Schéma simplifié des principales étapes de la formation de l'Univers.1- Big Bang.2- Ère de l'inflation.3- Découplage de l'interaction forte et faible et formation des particules.4- Formation des étoiles et galaxies. Lhistoire et la chronologie de l'Univers décrit l'évolution de l’Univers en s'appuyant sur le modèle standard de la cosmologie, fondé sur le modèle cosmologique du Big Bang et les recherches en cosmologie et en astronomie. Selon plusieurs estimations, l'âge de l'Univers serait d'environ d'années.
Fonction poidsUne fonction poids est un outil mathématique pour le calcul de sommes, d'intégrales ou de moyennes dans lesquelles certains éléments auront plus d'importance ou d'influence que d'autres sur le même ensemble. On parle alors pour le résultat de somme pondérée ou de moyenne pondérée. Les fonctions poids sont couramment utilisées en statistique et en analyse, et peuvent être rapprochées du concept de mesure. Le concept a été étendu pour développer le « calcul différentiel pondéré » et le « méta-calcul différentiel ».
Moyenne pondéréeLa moyenne pondérée est la moyenne d'un certain nombre de valeurs affectées de coefficients. En statistiques, considérant un ensemble de données et les coefficients, ou poids, correspondants, de somme non nulle, la moyenne pondérée est calculée suivant la formule : quotient de la somme pondérée des par la somme des poids soit Il s'agit donc du barycentre du système . Lorsque tous les poids sont égaux, la moyenne pondérée est identique à la moyenne arithmétique.
Loi de Hubble-LemaîtreEn astronomie, la loi de Hubble-Lemaître (anciennement loi de Hubble) énonce que les galaxies s'éloignent les unes des autres à une vitesse approximativement proportionnelle à leur distance. Autrement dit, plus une galaxie est loin de nous, plus elle semble s'éloigner rapidement. Cette loi ne concerne que la partie de l'univers accessible aux observations. L'extrapolation de la loi de Hubble-Lemaître sur des distances plus grandes est possible, mais uniquement si l'univers demeure homogène et isotrope sur de plus grandes distances.
