BPP (complexité)En informatique théorique, plus précisément en théorie de la complexité, la classe BPP (bounded-error probabilistic polynomial time) est la classe de problèmes de décision décidés par une machine de Turing probabiliste en temps polynomial, avec une probabilité d'erreur dans la réponse inférieure à 1/3. La classe BPP est l'ensemble des problèmes, ou de façon équivalente des langages, pour lesquels il existe une machine de Turing probabiliste en temps polynomial qui satisfait les conditions d'acceptation suivantes : Si le mot n'est pas dans le langage, la machine le rejette avec une probabilité supérieure à 2/3.
Matching pursuitMatching pursuit (MP) is a sparse approximation algorithm which finds the "best matching" projections of multidimensional data onto the span of an over-complete (i.e., redundant) dictionary . The basic idea is to approximately represent a signal from Hilbert space as a weighted sum of finitely many functions (called atoms) taken from . An approximation with atoms has the form where is the th column of the matrix and is the scalar weighting factor (amplitude) for the atom . Normally, not every atom in will be used in this sum.
Examen clinique neurologiquevignette|Un enfant en préparation pour une ponction lombaire, l'un des nombreux tests neurologiques après un examen neurologique L'examen clinique neurologique est en médecine une partie de l'examen clinique évaluant les fonctions du système nerveux chez un patient. Les objectifs de l'examen neurologique sont multiples : Pour les patients présentant des symptômes évocateurs de troubles neurologiques, l'examen devrait : déterminer, sur la base d'un examen structuré et approfondi, s'il y a des dysfonctions neurologiques ; identifier le ou les structure(s) du système neurologique qui sont affectés ; si possible, déterminer l'emplacement précis du problème ; sur la base de ces résultats, déterminer une liste d'étiologies possibles.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Trouble de conversionUn trouble de conversion (ou trouble dissociatif de conversion) est un état dans lequel le patient présente des symptômes neurologiques tels qu'une paresthésie, une cécité, une paralysie ou autres déficits similaires sans que le système nerveux central ou périphérique n'ait subi de dommages organiques. Il est supposé que ces symptômes surviennent en tant que réponse dans la vie du patient, et la conversion est considérée comme trouble psychiatrique dans la Classification Internationale des Maladies (CIM-10) et dans la quatrième édition révisée du Manuel diagnostique et statistique des troubles mentaux (DSM--TR).
NeurologieLa neurologie est la spécialité médicale clinique qui étudie l'ensemble des maladies du système nerveux et en particulier du cerveau. Cette spécialité médicale s'est séparée de la psychiatrie au avec l'école de Charcot à l'hôpital de la Pitié-Salpêtrière. Le terme de neurologie est introduit dans le vocabulaire médical par le médecin anatomiste anglais Thomas Willis. Le médecin spécialiste pratiquant la neurologie s'appelle le neurologue. Divers symptômes, signes cliniques et syndromes neurologiques sont répertoriés dans la catégorie : Sémiologie neurologique.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Linear least squaresLinear least squares (LLS) is the least squares approximation of linear functions to data. It is a set of formulations for solving statistical problems involved in linear regression, including variants for ordinary (unweighted), weighted, and generalized (correlated) residuals. Numerical methods for linear least squares include inverting the matrix of the normal equations and orthogonal decomposition methods. The three main linear least squares formulations are: Ordinary least squares (OLS) is the most common estimator.
Informatique quantiqueL'informatique quantique est le sous-domaine de l'informatique qui traite des calculateurs quantiques et des associés. La notion s'oppose à celle d'informatique dite « classique » n'utilisant que des phénomènes de physique classique, notamment de l'électricité (exemple du transistor) ou de mécanique classique (exemple historique de la machine analytique). En effet, l'informatique quantique utilise également des phénomènes de la mécanique quantique, à savoir l'intrication quantique et la superposition.
Trouble de la paroleUn trouble de la parole est un problème de communication lié à la parole. Il s'agit d'un trouble caractérisé par l'impossibilité d'émettre un son articulé et modulé dont l'enchaînement des syllabes constitue des mots compréhensibles. Un trouble de la parole génère donc un trouble du langage. Une personne dans l'incapacité de parler à cause d'un trouble de la parole est désignée comme muette.
