Polyclonal B cell responsePolyclonal B cell response is a natural mode of immune response exhibited by the adaptive immune system of mammals. It ensures that a single antigen is recognized and attacked through its overlapping parts, called epitopes, by multiple clones of B cell. In the course of normal immune response, parts of pathogens (e.g. bacteria) are recognized by the immune system as foreign (non-self), and eliminated or effectively neutralized to reduce their potential damage. Such a recognizable substance is called an antigen.
Signalisation cellulaireLa signalisation cellulaire est un système complexe de communication qui régit les processus fondamentaux des cellules et coordonne leur activité. La capacité des cellules à percevoir leur micro-environnement et à y répondre correctement est à la base de leur développement et de celui des organismes multicellulaires, de la cicatrisation et du système immunitaire, ainsi que de l'homéostasie tissulaire normale. Des dysfonctionnements dans le traitement de l'information cellulaire peuvent être responsables de maladies telles que le cancer, les maladies auto-immunes et le diabète.
Tolérance (immunologie)vignette|À l'intérieur du thymus, les lymphocytes T sont soumis à un examen minutieux ; ils subissent une sélection positive et négative En immunologie, la tolérance est l'absence ou le faible niveau de réaction inflammatoire face à un antigène. Son contraire est l'anaphylaxie. On distingue : la tolérance centrale, relative à la maturation des lymphocytes B et T, ainsi qu'à la reconnaissance et tolérance du soi ; la tolérance périphérique, relative aux lymphocytes B et T matures dans le système lymphatique périphérique ainsi qu'à leur faible activation en cas d'absence de promoteur de la réaction inflammatoire, ou en présence de facteurs de régulation (diminution) de la réaction inflammatoire.
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).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Cellule lymphoïde innéeLes cellules lymphoïdes innées (CLI, en anglais innate lymphoid cells [ILCs]) constituent une famille de cellules immunitaires innées qui jouent un rôle central dans le remodelage tissulaire. Les CLI peuvent se définir par trois caractéristiques principales : l'absence de récepteurs à antigène à réarrangement (RAG)-dépendant ; l'absence de marqueurs phénotypiques myéloïdes ou dendritiques ; une morphologie de type lymphoïde.
InfectionAn infection is the invasion of tissues by pathogens, their multiplication, and the reaction of host tissues to the infectious agent and the toxins they produce. An infectious disease, also known as a transmissible disease or communicable disease, is an illness resulting from an infection. Infections can be caused by a wide range of pathogens, most prominently bacteria and viruses. Hosts can fight infections using their immune systems. Mammalian hosts react to infections with an innate response, often involving inflammation, followed by an adaptive response.
Maladie viraleUne maladie virale, ou virose, est une maladie déclenchée par un virus et sa propagation dans l'organisme (et aux dépens de l'organisme). Les virus à ARN peuvent se transformer très rapidement et déjouer les défenses de l'hôte comme le montre celui de la grippe (influenza). Les antibiotiques n'ont aucune action contre les maladies virales, ils permettent juste d'éviter une surinfection.
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.
Interleukine 12L'interleukine 12 (ou IL-12) est une cytokine produite par les cellules dendritiques, les macrophages et certains types de cellules B. Elle agit en réponse à une stimulation antigénique. L'IL-12 est une interleukine hétérodimèrique faite de deux protéines p40 et p35 codées respectivement par les gènes IL-12B et IL-12A. L'IL-12 est notamment connue pour ses fonctions dans la différenciation des cellules T naïves en cellules Th1. L'IL-12 permet la stimulation de la production des interféron-gamma (IFN-γ) et du TNF-α par les cellules NK.
