Spectroscopie térahertz dans le domaine temporelvignette| Impulsion typique mesurée par THz-TDS. En physique, la spectroscopie TéraHertz dans le domaine temporel ( THz-TDS ) est une technique spectroscopique dans laquelle les propriétés de la matière sont sondées avec de courtes impulsions de rayonnement térahertz. Le schéma de génération et de détection est sensible à l'effet de l'échantillon sur l'amplitude et la phase du rayonnement térahertz. En mesurant dans le domaine temporel, la technique peut fournir plus d'informations que la spectroscopie à transformée de Fourier conventionnelle, qui n'est sensible qu'à l'amplitude.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
IRM de diffusionL’IRM de diffusion est une technique basée sur l' (IRM). Elle permet de calculer en chaque point de l'image la distribution des directions de diffusion des molécules d'eau. Cette diffusion étant contrainte par les tissus environnants, cette modalité d'imagerie permet d'obtenir indirectement la position, l’orientation et l’anisotropie des structures fibreuses, notamment les faisceaux de matière blanche du cerveau. Le signal de résonance magnétique provient le plus souvent en IRM des noyaux d’hydrogène (protons).
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Expérimentation humaineLe plus souvent, on entend par expérimentation humaine, l'expérimentation scientifique sur l'être humain dans le cadre de recherches sur la maladie et la santé (sujet de cet article). Cette expérimentation sur le sujet humain ne se limite pas à la médecine : elle peut concerner de nouvelles méthodes pédagogiques, la pratique de nouvelles technologies, ou le vol spatial. Les expériences médicales sur les êtres humains s'inscrivent dans le processus des essais cliniques pour élaborer des traitements.
Direct-sequence spread spectrumL'étalement de spectre à séquence directe (DSSS : direct-sequence spread spectrum) est une technique d'étalement de spectre utilisée dans les communications par satellite, les réseaux sans fil et plus précisément la version du Wi-Fi définie par la norme IEEE 802.11b. Le but du DSSS est, d'une part, de rendre les signaux occupant une bande de fréquence, comme un signal de parole, plus résistants aux brouillages et aux interférences rencontrés lors de la transmission ; d'autre part de permettre à plusieurs équipements de partager la même fréquence porteuse (accès multiple par répartition par code).
