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.
Température de couleurvignette|Boîte blanche éclairée à gauche par un éclairage à incandescence, , à droite par la lumière du jour au crépuscule, . La température de couleur caractérise une source de lumière par comparaison à un matériau idéal émettant de la lumière uniquement par l'effet de la chaleur. Elle indique en kelvins (unité du Système international dont le symbole est K) ou en mired la température du corps noir dont l'apparence visuelle serait la plus proche de la source de lumière (, ).
Isometric video game graphicsIsometric video game graphics are graphics employed in video games and pixel art that use a parallel projection, but which angle the viewpoint to reveal facets of the environment that would otherwise not be visible from a top-down perspective or side view, thereby producing a three-dimensional (3D) effect. Despite the name, isometric computer graphics are not necessarily truly isometric—i.e., the x, y, and z axes are not necessarily oriented 120° to each other.
