Imagerie par résonance magnétique fonctionnellethumb|Détection par l'IRMf de l'activation des régions du cerveau impliquées dans la perception visuelle. L’imagerie par résonance magnétique fonctionnelle (IRMf) est une application de l' permettant de visualiser, de manière indirecte, l'activité cérébrale. Il s'agit d'une technique d'imagerie utilisée pour l'étude du fonctionnement du cerveau. Elle consiste à enregistrer des variations hémodynamiques (variation des propriétés du flux sanguin) cérébrales locales minimes, lorsque ces zones sont stimulées.
Functional neuroimagingFunctional neuroimaging is the use of neuroimaging technology to measure an aspect of brain function, often with a view to understanding the relationship between activity in certain brain areas and specific mental functions. It is primarily used as a research tool in cognitive neuroscience, cognitive psychology, neuropsychology, and social neuroscience.
Imagerie cérébraleLimagerie cérébrale (dite aussi neuro-imagerie) désigne l'ensemble des techniques issues de l' qui permettent d'observer le cerveau, en particulier lorsqu'un individu exécute une tâche cognitive. L'observation du cerveau par autopsie est imprécise et incomplète en ce qu'elle se limite à l'analyse d'un état figé qui ne peut rendre compte d'effets liés aux évolutions dans l'organe vivant. Le premier effort connu de neuro-imagerie visant à dépasser cette limite a été la « balance de circulation humaine » de Angelo Mosso développée dans les années 1880.
Imagerie spectroscopique proche infrarougeL'imagerie spectroscopique proche infrarouge fonctionnelle (ISPIf, en anglais Near Infrared Spectroscopic Imaging, NIRSI ou functional near-infrared imaging, fNIR) ou spectroscopie proche infrarouge fonctionnelle (SPIRf) est l'application à l' de la spectroscopie proche infrarouge. Cette technique consiste à mesurer de l'oxygénation d'une zone du cerveau afin d'en déduire son activité. Les tissus humains sont relativement transparents à la lumière dans la gamme du proche infrarouge (entre 700 et ) qui peut donc les traverser sur plusieurs centimètres, on parle de fenêtre optique du spectre.
Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.
Cartographie statistique paramétriqueLa cartographie statistique paramétrique (en statistical parametric mapping ou SPM) est une méthode d'analyse statistique employée en . Le terme SPM est à éviter pour désigner la méthode générale car il fait référence au logiciel développé par le Wellcome Department of Imaging Neuroscience de l'University College de Londres pour effectuer ce genre d'analyses. Ce logiciel prépare les images (TEP, IRMf, TEMP, EEG ou MEG) pour des analyses statistiques de chaque voxel d'une image.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Truth functionIn logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: The input and output of a truth function are all truth values; a truth function will always output exactly one truth value; and inputting the same truth value(s) will always output the same truth value.
Nettoyage de donnéesLe nettoyage de données est l'opération de détection et de correction (ou suppression) d'erreurs présentes sur des données stockées dans des bases de données ou dans des fichiers. Le nettoyage de données est un des problèmes majeurs des entrepôts de données. Les données présentes dans les bases de données peuvent avoir plusieurs types d'erreurs comme des erreurs de frappe, des informations manquantes, des imprécisions etc. La partie impropre de la donnée traitée peut être remplacée, modifiée ou supprimée.
Vérité logiqueLa vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies.
