HLA (antigène)En biologie, les antigènes des leucocytes humains (en abrégé, HLA, de l'anglais Human Leukocyte Antigen) sont le complexe majeur d'histocompatibilité (CMH) chez l'humain. Les antigènes des leucocytes humains sont des molécules à la surface des cellules qui permettent l'identification par le système immunitaire. Ces protéines sont nommées « molécules du CMH ». Les cellules d'un organisme portent un marqueur à leur surface qui leur permet d'être reconnues comme appartenant à ce même organisme, c'est le CMH de classe I.
Skin infectionA skin infection is an infection of the skin in humans and other animals, that can also affect the associated soft tissues such as loose connective tissue and mucous membranes. They comprise a category of infections termed skin and skin structure infections (SSSIs), or skin and soft tissue infections (SSTIs), and acute bacterial SSSIs (ABSSSIs). They are distinguished from dermatitis (inflammation of the skin), although skin infections can result in skin inflammation.
Politique vaccinaleLa politique vaccinale d'un pays a pour objet de définir la meilleure utilisation possible des vaccins afin de protéger l'ensemble de la population contre les risques d'épidémie. Sur un plan sociologique, elle vise à également à savoir s'il est préférable de laisser aux personnes et aux parents d'enfants concernés par la vaccination obligatoire, au nom de la santé publique, le choix d'effectuer ou non cette vaccination.
Hypertrophie bénigne de la prostateL'hypertrophie bénigne de la prostate aussi appelée hyperplasie bénigne de la prostate (HBP) ou hyperplasie adénomyomateuse de la prostate ou plus communément adénome prostatique est une tumeur bénigne qui se développe aux dépens de la partie crâniale de la prostate. Elle touche les sujets âgés de plus de 50 ans. En cas d'hypertrophie bénigne de la prostate, la prostate devient plus grande et exerce plus de pression sur l'urètre et la vessie, interférant ainsi avec l'écoulement normal de l'urine.
Infection urinaireUne infection urinaire (ou infection des voies urinaires ou IVU) est définie par la colonisation des urines par des bactéries, ce qui se traduit le plus souvent par des signes infectieux urinaires. Elles sont très fréquentes, en particulier chez les nourrissons et les jeunes enfants, les femmes enceintes. Il existe deux tableaux principaux d'infection urinaire : la cystite (infection de la vessie) et la pyélonéphrite aiguë (infection du rein, PNA). Elles se traitent très bien par antibiotiques.
RotavirusRotavirus est un genre de virus de la famille des Reoviridae. Le virus a été identifié en 1973 par Ruth Bishop à Melbourne. Les rotavirus sont la première cause de gastro-entérites graves chez les nourrissons et les jeunes enfants dans le monde ; Ils semblent (chez la souris au moins) pouvoir infecter les glandes salivaires, la salive devenant alors un agent infectieux ; avec les norovirus, ils causent des gastro-entérites chez environ 300 millions de nouveau-nés et jeunes enfants par an.
Mutation génétiquethumb|Un exemple de mutation homéotique : une drosophile Antennapedia Une est une modification rare, accidentelle ou provoquée, de l'information génétique (séquence d’ADN ou d’ARN) dans le génome. Selon la partie du génome touchée, les conséquences d'une mutation peuvent varier. Une mutation est dite héréditaire si la séquence génétique mutée est transmise à la génération suivante (voir mutations germinales). Elle est l’un des éléments de la biodiversité et l’un des nombreux facteurs pouvant éventuellement participer dans l'évolution de l'espèce.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
