Cofactor (biochemistry)A cofactor is a non-protein chemical compound or metallic ion that is required for an enzyme's role as a catalyst (a catalyst is a substance that increases the rate of a chemical reaction). Cofactors can be considered "helper molecules" that assist in biochemical transformations. The rates at which these happen are characterized in an area of study called enzyme kinetics. Cofactors typically differ from ligands in that they often derive their function by remaining bound.
Inner mitochondrial membraneThe inner mitochondrial membrane (IMM) is the mitochondrial membrane which separates the mitochondrial matrix from the intermembrane space. The structure of the inner mitochondrial membrane is extensively folded and compartmentalized. The numerous invaginations of the membrane are called cristae, separated by crista junctions from the inner boundary membrane juxtaposed to the outer membrane. Cristae significantly increase the total membrane surface area compared to a smooth inner membrane and thereby the available working space for oxidative phosphorylation.
Secretory proteinA secretory protein is any protein, whether it be endocrine or exocrine, which is secreted by a cell. Secretory proteins include many hormones, enzymes, toxins, and antimicrobial peptides. Secretory proteins are synthesized in the endoplasmic reticulum. The production of a secretory protein starts like any other protein. The mRNA is produced and transported to the cytosol where it interacts with a free cytosolic ribosome. The part that is produced first, the N-terminal, contains a signal sequence consisting of 6 to 12 amino acids with hydrophobic side chains.
Mucous membraneA mucous membrane or mucosa is a membrane that lines various cavities in the body of an organism and covers the surface of internal organs. It consists of one or more layers of epithelial cells overlying a layer of loose connective tissue. It is mostly of endodermal origin and is continuous with the skin at body openings such as the eyes, eyelids, ears, inside the nose, inside the mouth, lips, the genital areas, the urethral opening and the anus. Some mucous membranes secrete mucus, a thick protective fluid.
CoqCoq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics (procedures) and various decision procedures.
ThermusThermus is a genus of thermophilic bacteria. It is one of several bacteria belonging to the Deinococcota phylum. Thermus species can be distinguished from other genera in the family Thermaceae as well as all other bacteria by the presence of eight conserved signature indels (CSIs) found in proteins such as adenylate kinase and replicative DNA helicase as well as 14 conserved signature proteins (CSPs) that are exclusively shared by members of this genus.
