Souvenir (mémoire)Un souvenir est quelque chose dont on se remémore, un élément de la mémoire. Paul Valéry Pour René Descartes, la description des mécanismes psychologiques permet de définir certaines de nos facultés. Ainsi le souvenir des choses matérielles est-il la conservation de certaines traces de mouvements provoqués dans notre cerveau. De même, l'imagination ne s'explique que par des mouvements corporels joints à une certaine activité de l'âme.
Mémoire traumatique refouléeLa théorie de la mémoire traumatique refoulée (ou théorie du souvenir traumatique refoulé) est, selon Elizabeth Loftus, une affirmation très controversée et largement discréditée scientifiquement, selon laquelle les souvenirs d'événements traumatisants peuvent être stockés dans l'inconscient et bloqués par la mémoire consciente. . D'après Loftus, pour les profanes et les psychologues cliniciens, les souvenirs traumatiques et refoulés existent, ce qui est contesté par des psychologues et des chercheurs qui étudient la mémoire.
Langage récursifEn mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable. Il y a plusieurs définitions équivalentes de langage récursif. On peut définir cette notion directement, comme une généralisation de celle d'ensemble récursif (des sous-ensembles d'entiers ou de uples d'entiers), ou passer par des codages dans les entiers, en utilisant la théorie de la calculabilité.
XQueryXQuery est un langage de requête informatique permettant non seulement d'extraire des informations d'un document XML, ou d'une collection de documents XML, mais également d'effectuer des calculs complexes à partir des informations extraites et de reconstruire de nouveaux documents ou fragments XML. XQuery est une spécification du W3C dont la version 1.0 finale date de , et dont l'élaboration a demandé près de huit années. XQuery a été développé conjointement avec XSLT 2, une révision majeure du langage de transformation XML XSLT, avec lequel il partage le sous-ensemble .
Recursively enumerable languageIn mathematics, logic and computer science, a formal language is called recursively enumerable (also recognizable, partially decidable, semidecidable, Turing-acceptable or Turing-recognizable) if it is a recursively enumerable subset in the set of all possible words over the alphabet of the language, i.e., if there exists a Turing machine which will enumerate all valid strings of the language. Recursively enumerable languages are known as type-0 languages in the Chomsky hierarchy of formal languages.
ParavirtualisationEn informatique, la paravirtualisation est une technique de virtualisation qui présente une interface logicielle similaire à du matériel réel à une machine virtuelle mais optimisée pour ce type de fonctionnement, contrairement à l'émulation d'un périphérique matériel existant qui peut s'avérer laborieuse et surtout lente. La paravirtualisation permet aux moniteurs de machines virtuelles (MMV) d'être plus simples et aux machines virtuelles fonctionnant dessus d'atteindre un niveau de performance proche du matériel réel.
UnixUnix, officiellement UNIX, est une famille de systèmes d'exploitation multitâche et multi-utilisateur dérivé du Unix d'origine créé par AT&T, le développement de ce dernier ayant commencé dans les années 1970 au centre de recherche de Bell Labs mené par Kenneth Thompson. Il repose sur un interpréteur ou superviseur (le shell) et de nombreux petits utilitaires, accomplissant chacun une action spécifique, commutables entre eux (mécanisme de « redirection ») et appelés depuis la ligne de commande.
