Gravitation quantique à bouclesLa gravitation quantique à boucles (loop quantum gravity en anglais) est une tentative de formuler une théorie de la gravitation quantique, et donc d'unifier la théorie de la relativité générale et les concepts de la physique quantique. Elle est fondée sur la quantification canonique directe de la relativité générale dans une formulation hamiltonienne (l'équation de Wheeler-DeWitt), les trois autres interactions fondamentales n'étant pas considérées dans un premier temps.
Expression régulièrevignette|Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normale ou motif est une chaîne de caractères qui décrit, selon une syntaxe précise, un ensemble de chaînes de caractères possibles. Les expressions régulières sont également appelées regex (un mot-valise formé depuis l'anglais regular expression). Les expressions rationnelles sont issues des théories mathématiques des langages formels des années 1940.
Grammaire régulièreEn informatique théorique, en théorie des langages, une grammaire régulière, rationnelle ou à états finis est une grammaire hors-contexte particulière qui décrit un langage régulier. Les grammaires régulières donnent donc une autre possibilité que les expressions rationnelles et les automates finis pour décrire un langage régulier. Une grammaire régulière peut être « à gauche » ou « à droite ». Une grammaire régulière à gauche est un ensemble de règles de la forme : où , sont des symboles non-terminaux et un symbole terminal.
Langage rationnelEn théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes : ce sont les langages décrits par les expressions régulières ou rationnelles, d'où le nom de langages réguliers ; ce sont les langages obtenus, à partir des lettres et de l'ensemble vide, par les opérations rationnelles, à savoir l'union, le produit et l'étoile de Kleene, d'où le nom de langages rationnels ; ce sont les langages reconnus par des auto
Boucle infinieUne boucle infinie est, en programmation informatique, une boucle dont la condition de sortie n'a pas été définie ou ne peut pas être satisfaite. En conséquence, la boucle ne peut se terminer qu'à l'interruption du programme qui l'utilise. Il y a rarement un intérêt à programmer une boucle infinie. Une telle boucle ne permet pas de faire sortir un résultat, et accapare les ressources de l'ordinateur. Sur un système monotâche, une boucle infinie peut interdire à l'utilisateur toute autre action.
Intégrale de LebesgueEn mathématiques, l’intégrale de Lebesgue désigne à la fois une théorie relative à l'intégration et à la mesure, et le résultat de l'intégration d'une fonction à valeurs réelles définie sur (ou sur ) muni de la mesure de Lebesgue. Généralisant l'intégrale de Riemann, l'intégrale de Lebesgue joue un rôle important en analyse, en théorie des probabilités et dans beaucoup d'autres domaines des mathématiques. Dans les cas simples, l'intégrale d'une fonction positive f peut être vue comme l'aire comprise entre l'axe des x (l'axe horizontal) et la courbe de la fonction f.
2019 Maharashtra Legislative Assembly electionThe 2019 Maharashtra Legislative Assembly election was held on 21 October 2019 to elect all 288 members of the state's Legislative Assembly. After a 61.4% turnout in the election, the ruling National Democratic Alliance (NDA) of the Bharatiya Janata Party (BJP) and Shiv Sena (SHS) won a majority. Following differences over the government formation, the alliance was dissolved, precipitating a political crisis. Since a council of ministers had not been formed after no party could manage to form the government, President's rule was imposed in the state.
Jeux olympiques d'hiver de 1998Les Jeux olympiques d'hiver de 1998, officiellement connus comme les olympiques d'hiver, ont lieu à Nagano au Japon du 7 au . La ville était déjà candidate pour accueillir les Jeux olympiques d'hiver de 1940 (finalement annulés) ainsi que ceux de 1972, mais elle a à chaque fois été éliminée au niveau des sélections japonaises. Nagano obtient l'organisation des Jeux lors de sa troisième candidature en s'imposant face aux villes d'Aoste en Italie, Jaca en Espagne, Östersund en Suède et Salt Lake City aux États-Unis.
Singularité (mathématiques)En mathématiques, une singularité est en général un point, une valeur ou un cas dans lequel un certain objet mathématique n'est pas bien défini ou bien subit une transition. Ce terme peut donc avoir des significations très différentes en fonction du contexte. Par exemple, dans l'analyse élémentaire, on dit que . En théorie des singularités, le terme prend un sens différent. On dit, par exemple, En algèbre linéaire, une matrice carrée est dite singulière si elle n'est pas inversible.
Unameuname (diminutif pour unix name) est une commande Unix qui affiche les informations système sur la machine sur laquelle elle est exécutée. Elle est apparue dans PWB/UNIX. uname (ou --kernel-name ou -s) affiche le nom du système d'exploitation uname -a (ou -all) affiche toutes les informations disponibles sur la version du système d'exploitation et le type de la machine. Exemple de réponse : (nom du serveur, version et date du noyau, type de plateforme, type de système) Linux proxysvr 2.6.18-128.
Carré sommableEn mathématiques, une fonction définie sur un espace mesuré Ω et à valeurs dans R ou C est dite de carré sommable ou de carré intégrable si elle appartient à l’espace L(Ω) des fonctions dont l'intégrale du carré (du module dans le cas des nombres complexes) converge sur Ω. Par exemple, une fonction mesurable de R dans C est de carré sommable lorsque l’intégrale suivante (au sens de Lebesgue) converge, c'est-à-dire si elle existe et correspond ainsi à un nombre fini.
Architecture of LiverpoolThe architecture of Liverpool is rooted in the city's development into a major port of the British Empire. It encompasses a variety of architectural styles of the past 300 years, while next to nothing remains of its medieval structures which would have dated back as far as the 13th century. Erected 1716–18, Bluecoat Chambers is supposed to be the oldest surviving building in central Liverpool. There are over 2500 listed buildings in Liverpool of which 27 are Grade I and 105 Grade II* listed.
