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.
Cell signalingIn biology, cell signaling (cell signalling in British English) or cell communication is the ability of a cell to receive, process, and transmit signals with its environment and with itself. Cell signaling is a fundamental property of all cellular life in prokaryotes and eukaryotes. Signals that originate from outside a cell (or extracellular signals) can be physical agents like mechanical pressure, voltage, temperature, light, or chemical signals (e.g., small molecules, peptides, or gas).
Immune toleranceImmune tolerance, or immunological tolerance, or immunotolerance, is a state of unresponsiveness of the immune system to substances or tissue that would otherwise have the capacity to elicit an immune response in a given organism. It is induced by prior exposure to that specific antigen and contrasts with conventional immune-mediated elimination of foreign antigens (see Immune response). Tolerance is classified into central tolerance or peripheral tolerance depending on where the state is originally induced—in the thymus and bone marrow (central) or in other tissues and lymph nodes (peripheral).
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Innate lymphoid cellInnate lymphoid cells (ILCs) are the most recently discovered family of innate immune cells, derived from common lymphoid progenitors (CLPs). In response to pathogenic tissue damage, ILCs contribute to immunity via the secretion of signalling molecules, and the regulation of both innate and adaptive immune cells. ILCs are primarily tissue resident cells, found in both lymphoid (immune associated), and non- lymphoid tissues, and rarely in the blood. They are particularly abundant at mucosal surfaces, playing a key role in mucosal immunity and homeostasis.
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.
Viral diseaseA viral disease (or viral infection) occurs when an organism's body is invaded by pathogenic viruses, and infectious virus particles (virions) attach to and enter susceptible cells. Basic structural characteristics, such as genome type, virion shape and replication site, generally share the same features among virus species within the same family. Double-stranded DNA families: three are non-enveloped (Adenoviridae, Papillomaviridae and Polyomaviridae) and two are enveloped (Herpesviridae and Poxviridae).
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.
Interleukin 12Interleukin 12 (IL-12) is an interleukin that is naturally produced by dendritic cells, macrophages, neutrophils, and human B-lymphoblastoid cells (NC-37) in response to antigenic stimulation. IL-12 belongs to the family of interleukin-12. IL-12 family is unique in comprising the only heterodimeric cytokines, which includes IL-12, IL-23, IL-27 and IL-35. Despite sharing many structural features and molecular partners, they mediate surprisingly diverse functional effects.
