Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Histone désacétylaseUne histone désacétylase (abrégé HDAC) est une enzyme catalysant la perte du groupement acétyl sur la queue N-terminale d'une histone. Leur rôle est l'inverse de celui tenu par les histone acétyltransférases. Les histone désacétylases jouent un rôle important dans la régulation de l'expression génétique. thumb|right|(Dés)acétylation d'un histoneVert : chaîne polypeptidiqueBleu : chaine latérale (Lys)Orange : groupement modifiable D'une manière générale, l'intervention des HDAC entraîne une baisse d'expression au niveau des zones concernées du génome.
Désarmement nucléaireright|300px|thumb|Bombardiers nucléaires B-52, démantelés à la suite de la signature de l'accord START Le désarmement nucléaire est l'expression qui désigne une volonté politique pour que les puissances militaires de par le monde contrôlent, limitent et réduisent leurs arsenaux nucléaires. Des armes nucléaires ont été utilisées dans le cadre d'opérations militaires belliqueuses à deux reprises : par les États-Unis sur les villes d'Hiroshima et Nagasaki au Japon, durant la Seconde Guerre mondiale.
Laminopathievignette|Cellules Laminopathiques Les laminopathies constituent un groupe de maladie dues à une anomalie d'une lamine, protéine présente dans les noyaux cellulaires et plus particulièrement dans la lamina. Elles sont causées par des mutations dans le gène LMNA codant les protéines de l'enveloppe nucléaire lamines A et C. L'une des affections la plus connue en est la progéria ou syndrome de Hutchinson-Gilford, mais d'autres affections, la dystrophie musculaire d'Emery-Dreifuss, certaines myopathies des ceintures, certaines cardiomyopathies, sont liées à une anomalie de cette protéine.
Récepteur éboueurLes récepteurs éboueurs (aussi appelés récepteurs scavengers) sont une famille de récepteurs, très divers dans leurs formes et qui reconnaissent et dégradent les lipoprotéines de basse densité (LDL) modifiées par oxydo-réduction ou acétylation. Ils sont situés à la surface des cellules musculaires lisses (fibroblastes), des macrophages, des cellules dendritiques conventionnelles et des cellules endothéliales. Ils lient les peptides anioniques des micro-organismes.
Fièvre puerpéraleLa fièvre puerpérale (du puer « enfant » et parere « enfanter », d'où puerpera « accouchée ») est une maladie infectieuse touchant les femmes et qui survient après un accouchement ou une fausse couche, surtout dans le cas où l'expulsion du placenta n'a pas été complète. Cette infection est causée par des bactéries qui pénètrent dans l'utérus, puis gagnent le péritoine et d'autres organes abdominaux ; elle s'accompagne d'une forte fièvre et, en l'absence d'un traitement efficace, évolue dans la plupart des cas en quelques semaines vers une septicémie mortelle.
Stratégie nucléairevignette|Essai nucléaire réalisé le 18 avril 1953 sur le polygone de tir du Nevada, aux États-Unis. La stratégie nucléaire est une branche de la stratégie militaire qui implique le développement de doctrines, de stratégies et de tactiques pour la production et l'utilisation des armes nucléaires. En tant que branche de la stratégie militaire, la stratégie nucléaire tente de considérer les armes nucléaires en tant que moyens à des fins militaires et politiques.
ViroplasmeLe viroplasme est une structure procédurale particulière de réplication virale au sein d'un hôte eucaryote. À la différence de l'usine à virions, le viroplasme n'est pas délimité par une membrane. Il s'agit de petites structures périnucléaires denses, mises en évidence par microscopie électronique ou par immunofluorescence, qui sont structurellement et fonctionnellement liées au noyau hôte. La morphogenèse d'un viroplasme semble varier d'une souche à l'autre y compris au sein d'une même espèce virale.
ProgériaLa progéria, ou syndrome d'Hutchinson-Gilford, est une maladie génétique extrêmement rare qui provoque des changements physiques qui ressemblent fort à une sénescence accélérée de ceux qui en sont atteints (vieillissement accéléré dès la première ou la deuxième année). Il n'y a aucun traitement spécifique connu. La progéria est aussi surnommée « syndrome de Benjamin Button ». Cette maladie a été décrite en 1886 par Jonathan Hutchinson, puis par Hastings Gilford en 1897.
Microbial population biologyMicrobial population biology is the application of the principles of population biology to microorganisms. Microbial population biology, in practice, is the application of population ecology and population genetics toward understanding the ecology and evolution of bacteria, archaebacteria, microscopic fungi (such as yeasts), additional microscopic eukaryotes (e.g., "protozoa" and algae), and viruses. Microbial population biology also encompasses the evolution and ecology of community interactions (community ecology) between microorganisms, including microbial coevolution and predator-prey interactions.
