Liste de licences libresCet article est une liste de licences libres. Les quatre libertés mentionnées dans le tableau sont : La liberté d'utiliser le logiciel ; La liberté d'étudier le logiciel ; La liberté de copier le logiciel ; La liberté de modifier le logiciel et de redistribuer les versions modifiées. Parmi les différents types de licences de logiciel libre, certaines permettent la modification et la redistribution du logiciel sans contrainte, et autorisent notamment des dérivés propriétaires, par exemple sans mise à disposition du code source.
XFree86XFree86 est une implémentation libre du système graphique X Window System. XFree86 fonctionne sur la plupart des systèmes d'exploitation de type Unix et également sur Windows en utilisant Cygwin (il s'agit alors de Cygwin/X). Il a été pendant plusieurs années le système graphique utilisé par la plupart des distributions Linux et systèmes BSD, jusqu'au fork de X.Org en 2004. Le projet a commencé en 1991 lorsque David Wexelblat, Glenn Lai, David Dawes et Jim Tsillas ont joint leurs forces pour corriger les différents bugs de l'implémentation libre X11 X386 (développé par Thomas Roell).
ObservableUne observable est l'équivalent en mécanique quantique d'une grandeur physique en mécanique classique, comme la position, la quantité de mouvement, le spin, l'énergie, etc. Ce terme provient d'une expression utilisée par Werner Heisenberg dans ses travaux sur la mécanique des matrices, où il parlait de beobachtbare Grösse (quantité observable), et où il insistait sur la nécessité d'une définition opérationnelle d'une grandeur physique, qui prend mathématiquement la forme d'un opérateur.
Gravité quantiqueLa gravité quantique est une branche de la physique théorique tentant d'unifier la mécanique quantique et la relativité générale. Une telle théorie permettrait notamment de comprendre les phénomènes impliquant de grandes quantités de matière ou d'énergie sur de petites dimensions spatiales, tels que les trous noirs ou l'origine de l'Univers. L'approche générale utilisée pour obtenir une théorie de la gravité quantique est, présumant que la théorie sous-jacente doit être simple et élégante, d'examiner les symétries et indices permettant de combiner mécanique quantique et la relativité générale en une théorie globale unifiée.
Asymptotic safety in quantum gravityAsymptotic safety (sometimes also referred to as nonperturbative renormalizability) is a concept in quantum field theory which aims at finding a consistent and predictive quantum theory of the gravitational field. Its key ingredient is a nontrivial fixed point of the theory's renormalization group flow which controls the behavior of the coupling constants in the ultraviolet (UV) regime and renders physical quantities safe from divergences.
Régularisation (physique)En physique théorique, la régularisation est une procédure ad-hoc qui consiste à modifier une grandeur physique qui présente une singularité afin de la rendre régulière. La régularisation est par exemple abondamment utilisée en théorie quantique des champs en relation avec la procédure de renormalisation, ainsi qu'en relativité générale pour le calcul du problème à deux corps en paramétrisation post-newtonienne. Le potentiel newtonien en coordonnées sphériques s'écrit : où k est une constante.
Stockage d'énergie de réseauvignette|Réseau électrique simplifié avec stockage d'énergie. vignette|Flux d'énergie simplifié du réseau avec et sans stockage d'énergie, idéalisé pour le cours d'une journée Le stockage d'énergie de réseau (également appelé stockage d'énergie à grande échelle) est un ensemble de méthodes utilisées pour le stockage d'énergie à grande échelle au sein d'un réseau électrique.
Algebraic quantum field theoryAlgebraic quantum field theory (AQFT) is an application to local quantum physics of C*-algebra theory. Also referred to as the Haag–Kastler axiomatic framework for quantum field theory, because it was introduced by . The axioms are stated in terms of an algebra given for every open set in Minkowski space, and mappings between those. Let be the set of all open and bounded subsets of Minkowski space. An algebraic quantum field theory is defined via a net of von Neumann algebras on a common Hilbert space satisfying the following axioms: Isotony: implies .
Divergence (analyse vectorielle)vignette|Les lignes bleues représentant les gradients de couleur, du plus clair au plus foncé. L'opérateur divergence permet de calculer, localement, la variation de ce gradient de couleur vignette|Illustration de la divergence d'un champ vectoriel, ici champ de vitesse converge à gauche et diverge à droite. En géométrie, la divergence d'un champ de vecteurs est un opérateur différentiel mesurant le défaut de conservation du volume sous l'action du flot de ce champ.
Boson de Higgsthumb|De gauche à droite : Kibble, Guralnik, Hagen, Englert et Brout, en 2010. Le boson de Higgs ou boson BEH, est une particule élémentaire dont l'existence, postulée indépendamment en juin 1964 par François Englert et Robert Brout, par Peter Higgs, en août, et par Gerald Guralnik, Carl Richard Hagen et Thomas Kibble, permet d'expliquer la brisure de l'interaction unifiée électrofaible (EWSB, pour l'anglais ) en deux interactions par l'intermédiaire du mécanisme de Brout-Englert-Higgs-Hagen-Guralnik-Kibble et d'expliquer ainsi pourquoi certaines particules ont une masse et d'autres n'en ont pas.
