T (programming language)T is a dialect of the Scheme programming language developed in the early 1980s by Jonathan A. Rees, Kent M. Pitman, and Norman I. Adams of Yale University as an experiment in language design and implementation. T's purpose is to test the thesis developed by Guy L. Steele Jr. and Gerald Jay Sussman in their series of papers about Scheme: that Scheme may be used as the basis for a practical programming language of exceptional expressive power, and that implementations of Scheme could perform better than other Lisp systems, and competitively with implementations of programming languages, such as C and BLISS, which are usually considered to be inherently more efficient than Lisp on conventional machine architectures.
Lecturethumb|upright=1.5|La lecture, Henri Fantin-Latour (1870) La lecture peut être définie comme une activité psychosensorielle qui vise à donner un sens à des signes graphiques recueillis par la vision et qui implique à la fois des traitements perceptifs et cognitifs. L'histoire de la lecture remonte à l'invention de l'écriture au cours du millénaire avant notre ère. Bien que la lecture de textes imprimés soit aujourd'hui un moyen important d'accès à l'information pour la population en général, cela n'a pas toujours été le cas.
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.
Beat them allvignette|Screenshot de Crawl un beat them all sorti en 2014 Le beat them all ou BTA (faux-anglicisme dérivé du terme anglais beat 'em up signifiant « frappez-les »), ou jeu de combat à progression, souvent abrégé en beat'em all et parfois appelé scrolling fighter, est un genre de jeu vidéo opposant un ou deux joueurs à un nombre important d'ennemis. À l'origine, ces jeux ont généralement lieu en milieu urbain et sont axés sur les thèmes de l'auto-justice et de la lutte contre la criminalité.
Enseignement magistralL'enseignement magistral est une méthode pédagogique qui consiste à enseigner en exposant les objets d'apprentissage devant un groupe d'apprenants lors d'un cours. thumb|right|Cours magistral de mathématiques à l'université de technologie d'Helsinki Semblable à la conférence, le cours magistral s'en distingue notamment par son étendue dans le temps et la nature de son auditoire. L'enseignement magistral a pour objectif de transmettre des connaissances de manière organisée.
Véhicule à pile à combustibleUn véhicule à pile à combustible (VPC) ou véhicule électrique à pile à combustible est un véhicule électrique qui utilise une pile à combustible, parfois en combinaison avec une petite batterie ou un supercondensateur, pour alimenter son moteur électrique embarqué. Les piles à combustible sont alimentées par un carburant qui peut être en particulier l'hydrogène, le méthanol, l'éthanol ou l'acide formique. Ces véhicules ont un bilan carbone faible par rapport aux véhicules à moteur à combustion interne, en particulier suivant le mode de production du carburant alimentant la pile.
Shoot 'em upvignette|redresse=1.5|Reproduction de Space Invaders, l'un des premiers shoot them up, sorti en 1978. Un shoot 'em up (aussi écrit shoot them up ou contracté en shmup ; littéralement « abattez-les tous ») est un genre de jeu vidéo dérivé du jeu d'action dans lequel le joueur dirige un véhicule ou un personnage devant détruire un grand nombre d'ennemis à l'aide de projectiles, au fur et à mesure des niveaux, tout en esquivant les projectiles adverses pour rester en vie.
Bluetoothvignette|Logo de Bluetooth. Bluetooth est une norme de télécommunications permettant l'échange bidirectionnel de données à courte distance en utilisant des ondes radio UHF sur la bande de fréquence de . Son but est de simplifier les connexions entre les appareils électroniques à proximité en supprimant des liaisons filaires.
Ionvignette| Tableau périodique avec quelques atomes en lien avec leur forme ionique la plus répandue. La charge des ions indiqués (sauf H) a comme logique d'avoir la même structure électronique que le gaz noble (cadre rouge) le plus proche. Un ion est un atome ou un groupe d'atomes portant une charge électrique, parce que son nombre d'électrons est différent de son nombre de protons. On distingue deux grandes catégories d'ions : les cations, chargés positivement, et les anions, chargés négativement.
Théorème de dérivation des fonctions composéesEn mathématiques, dans le domaine de l'analyse, le théorème de dérivation des fonctions composées (parfois appelé règle de dérivation en chaîne ou règle de la chaîne, selon l'appellation anglaise) est une formule explicitant la dérivée d'une fonction composée pour deux fonctions dérivables. Elle permet de connaître la j-ème dérivée partielle de la i-ème application partielle de la composée de deux fonctions de plusieurs variables chacune.
Gifford Lecturesthumb|250px|Cour de l'université de St Andrews (Saint Salvator's College), en Écosse. Les Gifford Lectures (de l'anglais lecture : « cours magistral ») sont une série de conférences fondées par la volonté testamentaire d'Adam Gifford (mort en 1887) et se tenant dans les universités écossaises : l'université d'Aberdeen, l'université d'Édimbourg, l'université de Glasgow et l'université de St Andrews. Elles furent établies pour « promouvoir et diffuser l'étude de la Théologie Naturelle au sens le plus large du terme — en d'autres termes, la connaissance de Dieu ».
