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.
Film interactifLe film interactif est un genre de jeu vidéo, sous-genre du jeu d'aventure, dans lequel le jeu est essentiellement composé de scènes cinématiques et de scripts. Il est souvent réalisé en full motion video de prises de vue réelles ou de séquences animées, on parle alors de jeux en FMV. Les scènes peuvent être jouées par de vrais acteurs, parfois par le biais de capture de mouvement. Le premier film interactif est Kinoautomat (1967) réalisé par Radúz Činčera. Il est présenté à l'Exposition universelle de 1967 à Montréal.
Fiction interactivevignette|upright=1.3|La Cité des eaux, un jeu en mode texte (2006), joué sur un interpréteur moderne. Une fiction interactive désigne principalement les jeux informatiques représentés textuellement. Les termes aventure en mode texte ou aventure textuelle sont également fréquemment utilisés. Le jeu vidéo textuel est une modalité particulière de la fiction interactive et, historiquement, le terme dénote principalement les jeux vidéo qui réagissent aux commandes tapées par le joueur sur son clavier – jeux apparus avec l’arrivée de l’ordinateur personnel, au début des années 1970.
Intégration de VerletLintégration de Verlet est un schéma d'intégration qui permet de calculer la trajectoire de particules en simulation de dynamique moléculaire. Cette méthode offre une meilleure stabilité que la plus simple méthode d'Euler (créée au ), de même que d'importantes propriétés dans les systèmes physiques, telles que la réversibilité dans le temps et la conservation de propriété. À première vue, il peut sembler naturel de calculer les trajectoires en utilisant la méthode d'Euler. Cependant, ce type d'intégration souffre de nombreux problèmes.
Algorithme génétiqueLes algorithmes génétiques appartiennent à la famille des algorithmes évolutionnistes. Leur but est d'obtenir une solution approchée à un problème d'optimisation, lorsqu'il n'existe pas de méthode exacte (ou que la solution est inconnue) pour le résoudre en un temps raisonnable. Les algorithmes génétiques utilisent la notion de sélection naturelle et l'appliquent à une population de solutions potentielles au problème donné.
Algorithme mémétiqueLes algorithmes mémétiques appartiennent à la famille des algorithmes évolutionnistes. Leur but est d'obtenir une solution approchée à un problème d'optimisation, lorsqu'il n'existe pas de méthode de résolution pour résoudre le problème de manière exacte en un temps raisonnable. Les algorithmes mémétiques sont nés d'une hybridation entre les algorithmes génétiques et les algorithmes de recherche locale. Ils utilisent le même processus de résolution que les algorithmes génétiques mais utilisent un opérateur de recherche locale après celui de mutation.
