Rock progressifLe rock progressif, ou sous sa forme abrégée prog rock, est un sous-genre de la musique rock, qui émerge au Royaume-Uni et en Allemagne vers la fin de la décennie 1960, se développant progressivement en Europe, puis dans le monde entier, durant la décennie suivante. Tirant son origine du rock psychédélique, ce courant a pour particularité de conférer au rock une plus grande crédibilité artistique. Il se caractérise par l'éloignement du format de la musique populaire au profit de techniques musicales et instrumentales plus associées aux musiques jazz et classique.
Musique progressiveLa musique progressive est un terme musical désignant une certaine approche en douceur de la composition appliquée à différents genres musicaux. La terminologie de musique progressive correspond aux évolutions d'un genre musical soit par l'innovation soit par l'incorporation d'instruments d'autres genres musicaux. Mais cela fait aussi référence, un peu plus rarement cependant, à une construction graduelle où l'énergie vient de façon progressive soit au cours d'un morceau soit au sein d'un même album.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Voyage dans le tempsLe voyage dans le temps est un des grands thèmes de la science-fiction, au point d’être considéré comme un genre à part entière. L’idée d’aller revivre le passé ou de découvrir à l’avance le futur est un rêve humain causé par le fait que l’être humain avance dans le temps de manière permanente, mais irréversible (et, à l’état de veille, apparemment de façon linéaire). La première mention d’un voyage dans le temps serait le personnage de Merlin l’Enchanteur dans le cycle arthurien des chevaliers de la Table ronde, qui visitait les temps passés.
Fuseau horaireUn fuseau horaire est une zone de la surface terrestre qui observe une heure uniforme en tout lieu. Pour des raisons pratiques, ces fuseaux ont tendance à suivre les frontières des pays ou de leurs subdivisions. Généralement, ils diffèrent du temps universel coordonné d'un nombre d'heures entiers, mais quelques-uns sont décalés de 30 ou 45 minutes. Aux latitudes élevées, certains pays font en plus usage d'une heure d'été pendant une partie de l'année, modifiant ainsi leur fuseau horaire.
Long run and short runIn economics, the long-run is a theoretical concept in which all markets are in equilibrium, and all prices and quantities have fully adjusted and are in equilibrium. The long-run contrasts with the short-run, in which there are some constraints and markets are not fully in equilibrium. More specifically, in microeconomics there are no fixed factors of production in the long-run, and there is enough time for adjustment so that there are no constraints preventing changing the output level by changing the capital stock or by entering or leaving an industry.
Temps solaireOn distingue le temps solaire moyen et le temps solaire vrai. Le temps solaire moyen est fondé sur un soleil fictif qui se déplacerait autour de l'équateur à vitesse constante tout au long de l'année. Cette vitesse moyenne est d'un tour en 24 heures. Le temps solaire vrai est une mesure du temps basée sur le déplacement apparent du Soleil au cours de la journée. Le temps solaire vrai en un lieu et à un moment donné est l'angle horaire du soleil en ce lieu et à ce moment.
