Master of PhilosophyLe Master of Philosophy (plus souvent abrégé M.Phil.) est un diplôme universitaire du second cycle sanctionnant un travail de recherche et la rédaction d'une thèse ou mémoire (M.Phil. thesis). Au Royaume-Uni, en Australie et en Nouvelle-Zélande ainsi que dans certains autres pays anglo-saxons, le Master of Philosophy (plus souvent abrégé M.Phil.) désigne un diplôme universitaire du second cycle sanctionnant un travail de recherche et la rédaction d'une thèse ou mémoire (M.Phil. thesis).
Fonctionnalisme (architecture)En architecture, le fonctionnalisme est un principe selon lequel la forme des bâtiments doit être exclusivement l'expression de leur usage. Cette formulation n’est pas si évidente à définir, car elle est matière à confusion et à controverse à l’intérieur de la profession, particulièrement en ce qui concerne le Mouvement moderne. Il est possible de faire remonter la préoccupation fonctionnelle en architecture à Vitruve et à son triptyque où utilitas (qu’on pourrait traduire par commodité, confort ou utilité) au côté de venustas (beauté) et de firmitas (solidité), est l’un des trois piliers du programme classique de l’architecture.
Undecidable problemIn computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run. A decision problem is a question which, for every input in some infinite set of inputs, answers "yes" or "no"..
Soar (architecture cognitive)Soar (à l’origine SOAR) est une architecture cognitive symbolique, créée par , Allen Newell, et Paul Rosenbloom à l’Université Carnegie-Mellon. C’est à la fois un point de vue sur la cognition et une implémentation de ce point de vue au travers d’une architecture de programmation pour l’Intelligence artificielle (IA). Depuis ses débuts en 1983 et sa présentation dans un article en 1987, Soar a été largement utilisé par les chercheurs en IA pour modéliser différents aspects du comportement humain.
