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.
Implicit attitudeImplicit attitudes are evaluations that occur without conscious awareness towards an attitude object or the self. These evaluations are generally either favorable or unfavorable and come about from various influences in the individual experience. The commonly used definition of implicit attitude within cognitive and social psychology comes from Anthony Greenwald and Mahzarin Banaji's template for definitions of terms related to implicit cognition: "Implicit attitudes are introspectively unidentified (or inaccurately identified) traces of past experience that mediate favorable or unfavorable feeling, thought, or action toward social objects".
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Langue écritethumb|right|Exemples de fontes de caractères employées pour noter différentes langues, par William Caslon, fondeur-typographe, dans la Cyclopaedia (1728). Une langue écrite est une langue dotée d'une représentation au moyen d’un système d’écriture. La langue écrite est une invention (technique) dans la mesure où elle doit être enseignée aux enfants ; les enfants apprendront la langue parlée (langue orale ou langue des signes) en y étant exposés et sans vraiment qu’on la leur ait apprise.
