Business Process ManagementLe Business Process Management (BPM), ou Gestion des Processus Métiers, permet d’avoir une vue d’ensemble de processus métiers de l’organisation et de leurs interactions pour les optimiser et les automatiser autant que possible. Pour ce faire, il faut analyser le fonctionnement réel de l'entreprise afin de le modéliser informatiquement, par exemple avec le formalisme BPMN et les outils associés. Dans une deuxième étape, les processus automatisés, même partiellement, font l'objet d'un monitoring (Cf.
Art interactifL’art interactif est une forme d'art dynamique qui réagit à son public et/ou à son environnement. Contrairement aux formes d'art traditionnelles où l'interaction du spectateur est surtout un événement mental – de l'ordre de la réception – l'art interactif permet différents types de navigation, d'assemblage, ou de participation à l'œuvre d'art, qui va bien au-delà de l'activité purement psychologique.
Sémantique formelleEn linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Hypothèse de simulationvignette|The Matrix - Capture d'écran du célèbre économiseur d'écran GLMatrix L'hypothèse de simulation énonce que la réalité observable a pour trame une simulation, semblable à celles de nos ordinateurs, sans que les entités y évoluant puissent la distinguer commodément de la vraie réalité. Cette hypothèse repose elle-même sur le développement de la réalité simulée, actuellement considérée comme une technologie fictive et gravitant autour de nombreuses œuvres de science-fiction, telles Star Trek, eXistenZ, Passé virtuel ou Matrix.
Écriturevignette|Statue de Gudea dédiée au dieu Ningishzida, vers , musée du Louvre. vignette|La Palette de Narmer est une des plus anciennes inscriptions en hiéroglyphes d'Égypte (vers -3200). Les deux "Serpopards" représentent l'unification de la Haute et de la Basse Égypte. L’écriture est un moyen de communication qui représente le langage à travers l'inscription de signes sur des supports variés. C'est une technique qui s'appuie sur les mêmes structures que la parole, comme le vocabulaire, la grammaire et la sémantique, mais avec des contraintes supplémentaires liées au système de graphies propres à chaque culture.
Test d'association impliciteEn psychologie sociale, le test d'association implicite ou TAI (ou implicit-association test abrégé IAT) est une méthode permettant d'étudier les associations d'idées automatiques, souvent inconscientes et présentes dans la mémoire implicites. Introduite en 1998 par , elle est notamment utilisée pour mesurer les stéréotypes racistes ou sexistes d'un individu et vise à expliquer et théoriser des phénomènes psychiques ou comportementaux causés tout ou partie par de telles associations.
