File de prioritéEn informatique, une file de priorité est un type abstrait élémentaire sur laquelle on peut effectuer trois opérations : insérer un élément ; extraire l'élément ayant la plus grande clé ; tester si la file de priorité est vide ou pas. Ainsi, elle permet d'implémenter efficacement des planificateurs de tâches, où un accès rapide aux tâches d'importance maximale est souhaité. On la retrouve par exemple dans les ordonnanceurs des systèmes d'exploitation, notamment le noyau Linux.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Inversion de prioritéL'inversion de priorité est un phénomène qui peut se produire en programmation concurrente. Il s'agit d'une situation dans laquelle un processus de haute priorité ne peut pas avoir accès au processeur car il est utilisé par un processus de plus faible priorité. Pour les exemples, nous utiliseront des tâches A, B, et C, A ayant la plus forte priorité, C la plus faible, et B une priorité intermédiaire, et un mutex X qui sert à gérer une ressource partagée entre la tâche A et la tâche C.
Algorithmethumb|Algorithme de découpe d'un polygone quelconque en triangles (triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes. Le domaine qui étudie les algorithmes est appelé l'algorithmique. On retrouve aujourd'hui des algorithmes dans de nombreuses applications telles que le fonctionnement des ordinateurs, la cryptographie, le routage d'informations, la planification et l'utilisation optimale des ressources, le , le traitement de textes, la bio-informatique L' algorithme peut être mis en forme de façon graphique dans un algorigramme ou organigramme de programmation.
Média interactifvignette|Un DVD Vidéo comprend généralement un menu permettant à l'utilisateur de modifier des options ou d'accéder à du contenu supplémentaire. Un média interactif (Rich Media) intègre différents médias — sons, vidéos, photos, métadonnées —, présentés de manière interactive et temporelle au sein d'une interface de consultation ergonomique. La capacité du support à synchroniser l'audio et/ou la vidéo avec les autres supports est l'une des caractéristiques du Rich Media.
InteractivitéL'interactivité est une activité nécessitant la coopération de plusieurs êtres ou systèmes, naturels ou artificiels, qui agissent en ajustant leur comportement. Elle est souvent associée aux technologies permettant des échanges homme-machine. Toutefois, l'interactivité est présente dans toutes les formes de communication et d'échange où la conduite et le déroulement de la situation sont liées à des processus de rétroaction, de collaboration, de coopération entre les acteurs qui produisent ainsi un contenu, réalisent un objectif, ou plus simplement modifient et adaptent leur comportement.
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
Propagation de contraintesLa propagation de contraintes dans le domaine de la programmation par contraintes est le fait de réduire le domaine d'une variable afin de maintenir l'ensemble des valeurs possibles cohérent avec les contraintes du problème. La propagation de contraintes permet ainsi de résoudre un problème si la propagation permet d'établir la cohérence du problème. Les techniques de propagation de contraintes sont utilisées pour réduire la taille de l'espace de recherche lors de la résolution d'un problème de satisfaction de contraintes par un algorithme de recherche arborescente.
Architecturevignette|upright=1.2|La cathédrale Saint-Pierre de Beauvais, , toute en pierre de taille, est l’exemple le plus aérien et dématérialisé de l'architecture gothique qui atteint là ses limites techniques. vignette|upright=1.2|La coupole du Panthéon, construit dans l'Antiquité romaine au début du , est restée de loin la plus large coupole du monde durant de nombreux siècles. Elle ne sera égalée qu'au par le dôme de la cathédrale de Florence qui marque de ce fait le début de la Renaissance, pour n'être dépassée qu'à partir du par les dômes contemporains.
Algorithme de DijkstraEn théorie des graphes, l'algorithme de Dijkstra (prononcé ) sert à résoudre le problème du plus court chemin. Il permet, par exemple, de déterminer un plus court chemin pour se rendre d'une ville à une autre connaissant le réseau routier d'une région. Plus précisément, il calcule des plus courts chemins à partir d'une source vers tous les autres sommets dans un graphe orienté pondéré par des réels positifs. On peut aussi l'utiliser pour calculer un plus court chemin entre un sommet de départ et un sommet d'arrivée.
Algorithme de Primthumb|right|Arbre couvrant de poids minimum L'algorithme de Prim est un algorithme glouton qui calcule un arbre couvrant minimal dans un graphe connexe pondéré et non orienté. En d'autres termes, cet algorithme trouve un sous-ensemble d'arêtes formant un arbre sur l'ensemble des sommets du graphe initial et tel que la somme des poids de ces arêtes soit minimale. Si le graphe n'est pas connexe, alors l'algorithme détermine un arbre couvrant minimal d'une composante connexe du graphe.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
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.
Théorie des contraintesLa Théorie des Contraintes (Theory Of Constraints ou TOC en Anglais) est un référentiel de connaissances, de méthodes et d’outils de management interdisciplinaires des organisations. L’auteur principal est Eliyahu M. Goldratt, avec d’autres contributeurs. C'est une nouvelle approche du management fondée sur l'approche systémique, l'acceptation des aléas et le bon sens. La Théorie des Contraintes part du postulat que le déséquilibre est inévitable, même si l'approche japonaise permet de le limiter.
Cinématique inverseLa cinématique inverse (souvent abrégée IK, de l'anglais inverse kinematics) désigne l'ensemble des méthodes de calcul des positions et rotations d'un modèle articulaire afin d'obtenir une pose désirée. Les méthodes de cinématique inverse sont principalement utilisées en infographie, en robotique, en animation ou encore en chimie. Le terme cinématique inverse renvoie au fait que la résolution des calculs est généralement basée sur les équations cinématiques du modèle articulaire.
Musique progressiveLa musique progressive est un terme musical désignant une certaine approche en douceur de la composition appliquée à différents genres musicaux. La terminologie de musique progressive correspond aux évolutions d'un genre musical soit par l'innovation soit par l'incorporation d'instruments d'autres genres musicaux. Mais cela fait aussi référence, un peu plus rarement cependant, à une construction graduelle où l'énergie vient de façon progressive soit au cours d'un morceau soit au sein d'un même album.
Circulation routièrethumb|Bouchon routier La circulation routière est le déplacement réglementé des automobiles, d'autres véhicules ou des piétons; au sens large, sur une route, une autoroute ou tout autre type de voirie. vignette|Convention de Genève de 1949 vignette|Convention de Vienne de 1968 La circulation routière s'est développée au vingtième siècle, localement et internationalement. Pour faciliter le développement international de la circulation routière, des conventions ont été établies.
Thinking processes (theory of constraints)The thinking processes in Eliyahu M. Goldratt's theory of constraints are the five methods to enable the focused improvement of any cognitive system (especially business systems). The purpose of the thinking processes is to help answer questions essential to achieving focused improvement: What to change? What to change it into? How to cause the change? Sometimes two other questions are considered as well: Why change? and: How to maintain the process of ongoing improvement (POOGI)? A more thorough rationale is presented in What is this thing called theory of constraints and how should it be implemented.
Robotiquethumb|upright=1.5|Nao, un robot humanoïde. thumb|upright=1.5|Des robots industriels au travail dans une usine. La robotique est l'ensemble des techniques permettant la conception et la réalisation de machines automatiques ou de robots. L'ATILF donne la définition suivante du robot : « il effectue, grâce à un système de commande automatique à base de microprocesseur, une tâche précise pour laquelle il a été conçu dans le domaine industriel, scientifique, militaire ou domestique ».
Algorithme d'EuclideEn mathématiques, l'algorithme d'Euclide est un algorithme qui calcule le plus grand commun diviseur (PGCD) de deux entiers, c'est-à-dire le plus grand entier qui divise les deux entiers, en laissant un reste nul. L'algorithme ne requiert pas de connaître la factorisation de ces deux nombres. vignette|Peinture censée représenter le mathématicien Euclide d'Alexandrie, par Justus of Ghent. Selon Donald Knuth, l'algorithme d'Euclide est l'un des plus anciens algorithmes.
