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).
Hybridation in situ en fluorescencevignette|droite|Exemple d'imagerie en FISH : réarragement chromosomique bcr/abl caractéristique de la leucémie myéloïde chronique vue en FISH. Les chromosomes sont en bleu. Létiquette verte et rouge (en haut à gauche) désigne le chromosome où l'arrangement pathogène est présent. vignette|droite|Technique de l'hybridation fluorescente in situ. En A : sonde. B : sonde colorée à l'aide d'un fluorochrome. C : hybridation avec l'ADN nucléaire. D : apparence du chromosome métaphasique où la sonde s'est fixée.
Hybridation génomique comparativeL'hybridation génomique comparative (en anglais, Comparative Genomic Hybridization ou CGH) est une technique de cytogénétique moléculaire permettant d'analyser les variations du nombre de copies dans l'ADN. Dans un organisme diploïde tel que l'humain, chaque segment d'ADN peut être trouvé en duplicat : une copie est présente sur chacun des deux chromosomes d'une paire. Dans certaines pathologies, le nombre de copies peut varier : il peut augmenter par exemple en cas de duplication et diminuer dans le cas de délétion.
Interface graphiquethumb|Quelques widgets typiques. En informatique, une interface graphique (en anglais GUI pour graphical user interface) ou un environnement graphique est un dispositif de dialogue homme-machine, dans lequel les objets à manipuler sont dessinés sous forme de pictogrammes à l'écran, de sorte que l'usager peut les utiliser en imitant la manipulation physique de ces objets avec un dispositif de pointage, le plus souvent une souris. Ce type d'interface a été créé en 1973 sur le Xerox Alto par les ingénieurs du Xerox PARC pour remplacer les interfaces en ligne de commande.
Analyse dynamique de programmesthumb|Logo de Valgrind. Outil permettant de profiler du code. L'analyse dynamique de programme (dynamic program analysis ou DPA), est une forme d'analyse de programme qui nécessite leur exécution. Elle permet d'étudier le comportement d'un programme informatique et les effets de son exécution sur son environnement. Appliquée dans un environnement physique ou virtuel, elle est souvent utilisée pour profiler des programmes. Que ce soit pour retirer des informations sur le temps d'utilisation du processeur, l'utilisation de la mémoire ou encore l'énergie dépensée par le programme.
Lame (microscopie)A microscope slide is a thin flat piece of glass, typically 75 by 26 mm (3 by 1 inches) and about 1 mm thick, used to hold objects for examination under a microscope. Typically the object is mounted (secured) on the slide, and then both are inserted together in the microscope for viewing. This arrangement allows several slide-mounted objects to be quickly inserted and removed from the microscope, labeled, transported, and stored in appropriate slide cases or folders etc.
MicroscopieLa microscopie est un ensemble de techniques d' des objets de petites dimensions. Quelle que soit la technique employée, l'appareil utilisé pour rendre possible cette observation est appelé un . Des mots grecs anciens mikros et skopein signifiant respectivement « petit » et « examiner », la microscopie désigne étymologiquement l'observation d'objets invisibles à l'œil nu. On distingue principalement trois types de microscopies : la microscopie optique, la microscopie électronique et la microscopie à sonde locale.
HistologieL’histologie (du grec ancien ἱστός, « tissu », et λόγος, « étude »), autrefois appelée anatomie microscopique, est la branche de la biologie et de la médecine qui étudie les tissus biologiques. Elle se situe au carrefour de la biologie cellulaire, de l'anatomie, de la biochimie et de la physiologie. Elle a pour objectif d’explorer la structure des organismes vivants, les rapports constitutifs et fonctionnels entre leurs éléments fonctionnels, ainsi que le renouvellement des tissus.
HistopathologieL'histopathologie est la discipline botanique ou médicale destinée à faire un diagnostic par l'étude microscopique des tissus (vivants ou morts). C'est encore l'outil le plus utilisé en anatomo-pathologie ; en routine pour le diagnostic clinique du cancer et d'autres maladies. Le mot histopathologie vient du grec histos (tissus) et pathos (souffrance). Il renvoie à l'observation à échelle microscopique des tissus vivants ou morts avec pour objectif d'identifier les mécanismes, traces ou indices histologiques de manifestations de maladies (virales ou non).
