Domaine de premier niveauUn domaine de premier niveau ou un domaine de tête (top-level domain, ou TLD), aussi appelé une extension, est, dans le système de noms de domaine internet, un sous-domaine de la racine. Dans un nom de domaine, le domaine de premier niveau est généralement le dernier élément du nom de domaine (exemple : dans , le domaine de premier niveau est ). vignette|Exemples de domaines de premier niveau. Le dernier point est optionnel. À l'origine, il indiquait la fin du nom de domaine. Par simplicité, l'usage courant est de ne plus l'indiquer.
Key events of the 20th centuryThe 20th century changed the world in unprecedented ways. The World Wars sparked tension between countries and led to the creation of atomic bombs, the Cold War led to the Space Race and the creation of space-based rockets, and the World Wide Web was created. These advancements have played a significant role in citizens' lives and shaped the 21st century into what it is today. From 1914 to 1918, the First World War, and its aftermath, caused major changes in the power balance of the world, destroying or transforming some of the most powerful empires.
Height above mean sea levelHeight above mean sea level is a measure of the vertical distance (height, elevation or altitude) of a location in reference to a historic mean sea level taken as a vertical datum. In geodesy, it is formalized as orthometric heights. The quantity is called "metres above mean sea level" in the metric system, while in United States customary and imperial units it would be called "feet above mean sea level". Mean sea levels are affected by climate change and other factors and change over time.
Logique temporelle linéaireEn logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.
Domaine de premier niveau génériqueUn domaine de premier niveau générique (en anglais generic top-level domain ou gTLD) est un type de domaines de premier niveau (TLD) maintenus par lInternet Assigned Numbers Authority (IANA) pour une utilisation dans le système de nom de domaine d'Internet. Un domaine de premier niveau est le suffixe à la fin de l'adresse d'un site web, par exemple, dans fr.wikipedia.org, le domaine de premier niveau est .org. Un domaine de premier niveau générique est un domaine de premier niveau destiné à accueillir des sous-domaines possédant une caractéristique commune autre que la relation à un pays.
Espace-tempsEn physique, l'espace-temps est une représentation mathématique de l'espace et du temps comme deux notions inséparables et s'influençant l'une l'autre. En réalité, ce sont deux versions (vues sous un angle différent) d'une même entité. Cette conception de l'espace et du temps est l'un des grands bouleversements survenus au début du dans le domaine de la physique, mais aussi pour la philosophie. Elle est apparue avec la relativité restreinte et sa représentation géométrique qu'est l'espace de Minkowski ; son importance a été renforcée par la relativité générale.
Nivellement (topographie)Le nivellement ou nivèlement en topographie est l'ensemble des opérations consistant à mesurer des différences de niveau (ou dénivelés ou dénivellation), généralement pour déterminer des altitudes. En d'autres termes, le nivellement permet de mesurer des dénivelés puis de déduire l'altitude de repères ou de points caractéristiques du sol ou d'ouvrages.
Théorie de la relativitévignette|Formule de la théorie de la relativité d'Albert Einstein. L'expression théorie de la relativité renvoie le plus souvent à deux théories complémentaires élaborées par Albert Einstein et Mileva Marić : la relativité restreinte (1905) et la relativité générale (1915). Ce terme peut aussi renvoyer à une idée plus ancienne, la relativité galiléenne, qui s'applique à la mécanique newtonienne. En 1905, le physicien allemand Max Planck utilise l'expression « théorie relative » (Relativtheorie), qui met l'accent sur l'usage du principe de relativité.
Logique temporelleLa logique temporelle est une branche de la logique mathématique et plus précisément de la logique modale, qui est formalisée de plusieurs manières. La caractéristique commune de ces formalisations réside en l'ajout de modalités (autrement dit de « transformateurs de prédicats ») liées au temps ; par exemple, une formule typique de la logique modale est la formule , qui se lit : « la formule est satisfaite jusqu'à ce que la formule le soit » et qui signifie que l'on cherche à garantir qu'une certaine propriété (ici ) est satisfaite pendant tout le temps qui court avant qu'une autre formule (ici ) le soit.
