Bibliothèque standard du C++La bibliothèque standard du C++ (C++ Standard Library en anglais) est une bibliothèque de classes et de fonctions standardisées selon la norme ISO pour le langage C++. Elle fournit des outils (généralement sous la forme de patrons) tels que : des types pour manipuler efficacement les chaînes de caractères ; des types pour la manipulation de flux (fichiers, entrée et sortie standard...
Amorce (génétique)En biologie moléculaire, l'amorce est une courte séquence d'ARN ou d'ADN, complémentaire du début d'une matrice, servant de point de départ à la synthèse du brin complémentaire de cette dernière matrice par une ADN polymérase. En PCR, l'utilisation d'une amorce "sens" et "anti-sens" permettent de définir la séquence de l'amplicon. En séquençage, on n'utilise qu'une seule des deux amorces du produit de PCR qu'on veut séquencer.
Architecture logicielleL’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse fonctionnelle, le modèle d'architecture, produit lors de la phase de conception, ne décrit pas ce que doit réaliser un système informatique mais plutôt comment il doit être conçu de manière à répondre aux spécifications. L’analyse décrit le « quoi faire » alors que l’architecture décrit le « comment le faire ».
Behavior modificationBehavior modification is an early approach that used respondent and operant conditioning to change behavior. Based on methodological behaviorism, overt behavior was modified with consequences, including positive and negative reinforcement contingencies to increase desirable behavior, or administering positive and negative punishment and/or extinction to reduce problematic behavior. It also used Flooding desensitization to combat phobias.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Analyse appliquée du comportementL'analyse du comportement appliquée, siglée ABA, en anglais Applied Behavior Analysis, se définit comme la science dans laquelle les techniques dérivées du béhaviorisme sont appliquées systématiquement afin d'améliorer des comportements socialement significatifs, et dans laquelle l'expérimentation est utilisée pour identifier les variables explicatives du comportement. L'analyse appliquée du comportement a remplacé la modification du comportement » (behavior modification) car cette dernière approche tentait de changer le comportement sans clarifier les interactions sous-jacentes avec l'environnement.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Réusinage de codeLe réusinage de code est l'opération consistant à retravailler le code source d'un programme informatique – sans toutefois y ajouter des fonctionnalités ni en corriger les bogues – de façon à en améliorer la lisibilité et, par voie de conséquence, la maintenance, ou à le rendre plus générique (afin par exemple de faciliter le passage de simple en multiple précision) ; on parle aussi de « remaniement ». Cette technique utilise quelques méthodes propres à l'optimisation de code, avec des objectifs différents.
Transcriptase inverseLa transcriptase inverse ou rétrotranscriptase (en anglais en ou encore en) est une enzyme utilisée par les rétrovirus et les rétrotransposons qui transcrivent l'information génétique des virus ou rétrotransposons de l'ARN en ADN, qui peut s'intégrer dans le génome de l'hôte. Les eucaryotes à ADN linéaire utilisent la télomérase, une variante de la transcriptase inverse, avec le modèle d'ARN contenu dans l'enzyme elle-même.
Polarité (acide nucléique)vignette|Cette figure montre comment les oligonucléotides antisens inhibent de l'activité de la télomérase. En génétique et en biologie moléculaire, la polarité d'un acide nucléique est négative sur le brin transcrit en ARN messager et est positive sur le brin complémentaire. Un brin de polarité positive est dit « sens » tandis qu'un brin de polarité négative est dit « antisens ».
