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.
Histone deacetylaseHistone deacetylases (, HDAC) are a class of enzymes that remove acetyl groups (O=C-CH3) from an ε-N-acetyl lysine amino acid on both histone and non-histone proteins. HDACs allow histones to wrap the DNA more tightly. This is important because DNA is wrapped around histones, and DNA expression is regulated by acetylation and de-acetylation. HDAC's action is opposite to that of histone acetyltransferase. HDAC proteins are now also called lysine deacetylases (KDAC), to describe their function rather than their target, which also includes non-histone proteins.
Nuclear disarmamentNuclear disarmament is the act of reducing or eliminating nuclear weapons. Its end state can also be a nuclear-weapons-free world, in which nuclear weapons are completely eliminated. The term denuclearization is also used to describe the process leading to complete nuclear disarmament. Disarmament and non-proliferation treaties have been agreed upon because of the extreme danger intrinsic to nuclear war and the possession of nuclear weapons. Proponents of nuclear disarmament say that it would lessen the probability of nuclear war occurring, especially accidentally.
LaminopathyLaminopathies (lamino- + -opathy) are a group of rare genetic disorders caused by mutations in genes encoding proteins of the nuclear lamina. They are included in the more generic term nuclear envelopathies that was coined in 2000 for diseases associated with defects of the nuclear envelope. Since the first reports of laminopathies in the late 1990s, increased research efforts have started to uncover the vital role of nuclear envelope proteins in cell and tissue integrity in animals.
Scavenger receptor (immunology)Scavenger receptors are a large and diverse superfamily of cell surface receptors. Its properties were first recorded in 1970 by Drs. Brown and Goldstein, with the defining property being the ability to bind and remove modified low density lipoproteins (LDL). Today scavenger receptors are known to be involved in a wide range of processes, such as: homeostasis, apoptosis, inflammatory diseases and pathogen clearance.
Postpartum infectionsPostpartum infections, also known as childbed fever and puerperal fever, are any bacterial infections of the female reproductive tract following childbirth or miscarriage. Signs and symptoms usually include a fever greater than , chills, lower abdominal pain, and possibly bad-smelling vaginal discharge. It usually occurs after the first 24 hours and within the first ten days following delivery. The most common infection is that of the uterus and surrounding tissues known as puerperal sepsis, postpartum metritis, or postpartum endometritis.
Nuclear strategyNuclear strategy involves the development of doctrines and strategies for the production and use of nuclear weapons. As a sub-branch of military strategy, nuclear strategy attempts to match nuclear weapons as means to political ends. In addition to the actual use of nuclear weapons whether in the battlefield or strategically, a large part of nuclear strategy involves their use as a bargaining tool.
ViroplasmA viroplasm, sometimes called "virus factory" or "virus inclusion", is an inclusion body in a cell where viral replication and assembly occurs. They may be thought of as viral factories in the cell. There are many viroplasms in one infected cell, where they appear dense to electron microscopy. Very little is understood about the mechanism of viroplasm formation. A viroplasm is a perinuclear or a cytoplasmic large compartment where viral replication and assembly occurs.
ProgeriaProgeria is a specific type of progeroid syndrome, also known as Hutchinson–Gilford syndrome. A single gene mutation is responsible for progeria. The gene, known as lamin A (LMNA), makes a protein necessary for holding the nucleus of the cell together. When this gene gets mutated, an abnormal form of lamin A protein called progerin is produced. Progeroid syndromes are a group of diseases that causes individuals to age faster than usual, leading to them appearing older than they actually are.
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.
