Simulation informatiquevignette|upright=1|Une simulation informatique, sur une étendue de , de l'évolution du typhon Mawar produite par le Modèle météorologique Weather Research and Forecasting La simulation informatique ou numérique est l'exécution d'un programme informatique sur un ordinateur ou réseau en vue de simuler un phénomène physique réel et complexe (par exemple : chute d’un corps sur un support mou, résistance d’une plateforme pétrolière à la houle, fatigue d’un matériau sous sollicitation vibratoire, usure d’un roulem
Traceur de véhiculeUn traceur de véhicule est un système de suivi des véhicules combinant l'utilisation de la localisation automatique de véhicules dans des véhicules individuels avec un logiciel qui collecte ces données de flotte en tant qu'enregistreur de données pour obtenir une image complète de l'emplacement des véhicules. Les systèmes de localisation de véhicules modernes utilisent couramment un système de positionnement par satellites GPS/GLONASS/Galileo/Beidou pour localiser le véhicule qui doit impérativement porter un émetteur radio/gsm/wifi ou satellitaire, mais d'autres types de technologie de localisation automatique de véhicules peuvent également être utilisés.
Chauffage à refluxReflux apparatus numbered.svg Le chauffage à reflux (aussi connu sous le nom de montage à reflux) est un montage expérimental dont le but est de chauffer jusqu'à l’ébullition sans perte de matière. Il a été mis au point par le chimiste Karl Friedrich Mohr. Le montage à chauffage à reflux est un montage expérimental qui permet de chauffer un mélange réactionnel et en accélérer la réaction chimique, la température étant un facteur cinétique. Le reflux empêche la perte de réactif ou de produit par vaporisation.
Langage contextuelEn informatique théorique, et spécialement en théorie des langages, un langage contextuel (en anglais context-sensitive language) est un langage formel engendré par une grammaire contextuelle. C'est un langage de type 1 dans la hiérarchie de Chomsky. Les langages contextuels sont les langages reconnus par les automates linéairement bornés, c'est-à-dire les machines de Turing dont la mémoire de travail est linéairement bornée en fonction de la taille de l'entrée.
