Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Limite (mathématiques)En analyse mathématique, la notion de limite décrit l’approximation des valeurs d'une suite lorsque l'indice tend vers l’infini, ou d'une fonction lorsque la variable se rapproche d’un point (éventuellement infini) au bord du domaine de définition. Si une telle limite existe dans l’ensemble d’arrivée, on dit que la suite ou la fonction est convergente (au point étudié). Si ce n’est pas le cas, elle est divergente, comme dans le cas de suites et fonctions périodiques non constantes (telle la fonction sinus en +∞).
AxionL’axion est une particule hypothétique, supposée stable, neutre et de très faible masse (entre quelques μeV et quelques meV). Son existence découle de la (1977) au problème de violation de la symétrie CP en chromodynamique quantique, située au CERN, mais aussi ADMX et beaucoup d'autres. Comme l'a montré Gerard 't Hooft, la chromodynamique quantique prédit que quelques interactions fortes violeront la symétrie charge+parité.
Physique au-delà du modèle standardLa physique au-delà du modèle standard se rapporte aux développements théoriques de la physique des particules nécessaires pour expliquer les défaillances du modèle standard, telles que l'origine de la masse, le problème de la violation CP de l'interaction forte, les oscillations des neutrinos, l'asymétrie matière-antimatière, et la nature de la matière noire et de l'énergie noire.
Objet compactvignette|Simulation d'un trou noir de 10 masses solaires vu d'une distance de 600 km En astronomie, le terme d'objet compact désigne en général un astre de haute compacité (et non pas nécessairement de haute densité) tel qu'un résidu de l'évolution stellaire. Une étoile à neutrons (incluant les pulsars), un trou noir, ou, si elles existent, les étoiles étranges sont des objets compacts. Selon les cas, une naine blanche est ou non considérée comme un objet compact.
Limite supérieure et limite inférieurevignette|upright=1.8|Exemple de recherche de limites inférieure et supérieure. La suite (x) est représentée en bleu. En mathématiques, plus précisément en analyse réelle, les limites inférieures et supérieures sont des outils d'étude des suites de nombres réels. Une telle suite n'est en général ni monotone, ni convergente. L'introduction des limites supérieure et inférieure permet de retrouver, partiellement, de telles propriétés. Il s'agit d'un cas particulier de valeurs d'adhérence de la suite.
