Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Espritthumb|right|200px|Représentation des facultés de l'esprit humain (de Robertus de Fluctibus, 1619) L'esprit est la totalité des phénomènes et des facultés mentales : perception, affectivité, intuition, pensée, jugement, morale, etc. Dans de nombreuses traditions religieuses, il s'agit d'un principe de la vie incorporelle de l'être humain. En philosophie, la notion d'esprit est au cœur des traditions dites spiritualistes. On oppose en ce sens corps et esprit (nommé plus volontiers conscience par la philosophie et âme par certaines religions).
Philosophie de l'espritLa philosophie de l'esprit (de l'anglais : philosophy of mind) est une branche de la philosophie qui se propose d'étudier la nature de l'esprit (mind), ainsi que sa relation avec le monde physique. Le problème corps-esprit entendu au sens large – problème de la relation des états mentaux au corps –, est communément considéré comme la question centrale de la philosophie de l'esprit, bien que d'autres interrogations sur la nature des états mentaux ne concernent pas le corps, ou fassent directement référence à l'environnement (physique ou social) des individus.
Dualisme (philosophie de l'esprit)En philosophie de l'esprit, le dualisme est la thèse selon laquelle l'Univers est constitué de substances matérielles et de substances mentales. Le dualisme se réfère à une vision de la relation matière-esprit fondée sur l'affirmation que les phénomènes mentaux possèdent des propriétés qui sortent du champ de la physique. Ces idées apparaissent pour la première fois dans l'histoire de la philosophie avec les écrits de Platon et d'Aristote, qui affirment que l'« intelligence » de l'homme (une faculté de lesprit ou de l'âme) ne peut pas être assimilée ni expliquée par son corps matériel.
Constraint satisfactionIn artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a set of values for the variables that satisfies all constraints—that is, a point in the feasible region. The techniques used in constraint satisfaction depend on the kind of constraints being considered.
Théorie de l'espritLa théorie de l'esprit désigne, en sciences cognitives, non pas une théorie, mais l'aptitude permettant à un individu d’attribuer des états mentaux inobservables (ex : intention, désir, conviction ...) à soi-même ou à d'autres individus. . Cette capacité est centrale dans la cognition sociale humaine et joue un rôle primordial dans les interactions sociales — communication, empathie, collaboration, enseignement, compétition, etc.
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.
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.
Facial motion captureFacial motion capture is the process of electronically converting the movements of a person's face into a digital database using cameras or laser scanners. This database may then be used to produce computer graphics (CG), computer animation for movies, games, or real-time avatars. Because the motion of CG characters is derived from the movements of real people, it results in a more realistic and nuanced computer character animation than if the animation were created manually.
Théorie de Fermi de la désintégration βthumb|360px|La décroissance β− dans un noyau atomique (l'antineutrino associé est omis).En bas à droite est représentée la décroissance bêta du neutron libre.Dans les deux processus, l'émission intermédiaire d'un boson virtuel W- (qui décroit ensuite en un électron et un antineutrino) n'est pas montrée. En physique des particules, l'interaction de Fermi (aussi connue comme la théorie de Fermi de la désintégration β) est une explication de la radioactivité β, proposée par Enrico Fermi en 1933.
Capture de mouvementLa capture de mouvement (motion capture en anglais, parfois abrégé en mocap) est une technique permettant d'enregistrer les positions et rotations d'objets ou de membres d'êtres vivants, pour en contrôler une contrepartie virtuelle sur ordinateur (caméra, modèle 3D, ou avatar). Une restitution visuelle de ces mouvements en temps réel est faite via le moteur de rendu 3D de l'application interfacée avec le matériel utilisé qui peut les stocker dans un fichier d'animation de type BVH pour être traités ultérieurement dans un logiciel 3D classique (Maya, 3dsMax, XSI, Cinema4d, etc.
Interaction élémentaireQuatre interactions élémentaires sont responsables de tous les phénomènes physiques observés dans l'Univers, chacune se manifestant par une force dite force fondamentale. Ce sont l'interaction nucléaire forte, l'interaction électromagnétique, l'interaction faible et l'interaction gravitationnelle. En physique classique, les lois de la gravitation et de l'électromagnétisme étaient considérées comme axiomes.
Finger trackingIn the field of gesture recognition and , finger tracking is a high-resolution technique developed in 1969 that is employed to know the consecutive position of the fingers of the user and hence represent objects in 3D. In addition to that, the finger tracking technique is used as a tool of the computer, acting as an external device in our computer, similar to a keyboard and a mouse. The finger tracking system is focused on user-data interaction, where the user interacts with virtual data, by handling through the fingers the volumetric of a 3D object that we want to represent.
Force nucléaireLa force nucléaire, qui s'exerce entre nucléons, est responsable de la liaison des protons et des neutrons dans les noyaux atomiques. Elle peut être interprétée en termes d'échanges de mésons légers, comme les pions. Même si son existence est démontrée depuis les années 1930, les scientifiques n'ont pas réussi à établir une loi permettant de calculer sa valeur à partir de paramètres connus, contrairement aux lois de Coulomb et de Newton.
Interaction faiblethumb|right|330px|L'interaction faible déclenche la nucléosynthèse dans les étoiles. L'interaction faible (aussi appelée force faible et parfois force nucléaire faible) est l'une des quatre interactions fondamentales de la nature, les trois autres étant les interactions électromagnétique, forte et gravitationnelle. Elle est responsable de la désintégration radioactive de particules subatomiques et est à l'origine de la fusion nucléaire dans les étoiles.
