Test de validationUn test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases : Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc.
Modélisation moléculairethumb|Animation d'un modèle compact d'ADN en forme B|327x327px|alt=Modèle de l'ADN en forme B La modélisation moléculaire est un ensemble de techniques pour modéliser ou simuler le comportement de molécules. Elle est utilisée pour reconstruire la structure tridimensionnelle de molécules, en particulier en biologie structurale, à partir de données expérimentales comme la cristallographie aux rayons X. Elle permet aussi de simuler le comportement dynamique des molécules et leur mouvements internes.
SchistosomaLes () forment un genre de trématodes parasitaires. En général, ces vers plats sont accouplés en permanence. En tant que parasites de l'homme et des animaux ils sont responsables des bilharzioses. Les signes cliniques durant la phase d'état sont dus à la formation de granulomes dans les tissus. Leurs hôtes intermédiaires sont des mollusques d'eau douce (bulin, planorbe, ... selon l'espèce). Chaque espèce a un tropisme sélectif Schistosoma mansoni chez l'homme, responsable de bilharziose intestinale, en Afrique, en Amérique tropicale et aux Antilles.
Molecular design softwareMolecular design software is notable software for molecular modeling, that provides special support for developing molecular models de novo. In contrast to the usual molecular modeling programs, such as for molecular dynamics and quantum chemistry, such software directly supports the aspects related to constructing molecular models, including: Molecular graphics interactive molecular drawing and conformational editing building polymeric molecules, crystals, and solvated systems partial charges development g
HelminthiaseUne helminthiase est un terme désignant les maladies parasitaires, causées par des vers parasites intestinaux, les helminthes. Ces vers constituent un important problème de santé publique dans les pays en voie de développement puisque plus de deux milliards de personnes en sont infectées. L’helminthiase transmise par contact avec le sol et la schistosomiase sont les formes les plus courantes de cette maladie tropicale négligée. La contamination peut avoir lieu par voie orale, par contact avec des insectes vecteurs, de la terre souillée et des animaux.
Champ de force (chimie)vignette|Un champ de force peut par exemple être utilisé afin de minimiser l'énergie d'étirement de cette molécule d'éthane. Dans le cadre de la mécanique moléculaire, un champ de force est un ensemble de potentiels et de paramètres permettant de décrire la structure de l'énergie potentielle d'un système de particules (typiquement, des atomes, mais non exclusivement). L'usage de l'expression champ de force en chimie et biologie numériques diffère ainsi de celui de la physique, où il indique en général un gradient négatif d'un potentiel scalaire.
ML (langage)ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel. ML fut initialement développé par Robin Milner et d'autres personnes dans les années 1970 à l'université d'Édimbourg, pour le système de preuves formelles (LCF). R. Milner rencontrait des difficultés avec le système de typage de Lisp qui permettait de « prouver » des assertions fausses. ML est un langage fonctionnel impur : il est possible de programmer en impératif et, en conséquence, les fonctions peuvent être sujettes à des effets secondaires non désirés (dits « de bord »), contrairement à des langages purement fonctionnels comme Haskell.
Solution aqueusevignette|Photo montrant la préparation d'une solution aqueuse au moment où est versé le soluté. En chimie, une solution aqueuse est une phase liquide contenant plusieurs espèces chimiques, dont une ultramajoritaire, l'eau (H2O, le solvant), et des espèces ultraminoritaires, les solutés ou « espèces chimiques dissoutes ».
Maladies tropicales négligéesLes maladies tropicales négligées (souvent désignées sous l'acronyme anglo-saxon NTDs) sont un groupe de diverses maladies tropicales fréquentes au sein des populations à faible revenu dans les régions en développement d'Afrique, d'Asie et d'Amérique. Elles sont causées par divers pathogènes au premier rang desquels les parasites helminthes ou protozoaires, mais également les virus et les bactéries. En Afrique subsaharienne, l'impact de l'ensemble de ces pathologies est comparable au paludisme et à la tuberculose.
Méthode de Monte-CarloUne méthode de Monte-Carlo, ou méthode Monte-Carlo, est une méthode algorithmique visant à calculer une valeur numérique approchée en utilisant des procédés aléatoires, c'est-à-dire des techniques probabilistes. Les méthodes de Monte-Carlo sont particulièrement utilisées pour calculer des intégrales en dimensions plus grandes que 1 (en particulier, pour calculer des surfaces et des volumes). Elles sont également couramment utilisées en physique des particules, où des simulations probabilistes permettent d'estimer la forme d'un signal ou la sensibilité d'un détecteur.
