Lipid raftThe plasma membranes of cells contain combinations of glycosphingolipids, cholesterol and protein receptors organised in glycolipoprotein lipid microdomains termed lipid rafts. Their existence in cellular membranes remains somewhat controversial. It has been proposed that they are specialized membrane microdomains which compartmentalize cellular processes by serving as organising centers for the assembly of signaling molecules, allowing a closer interaction of protein receptors and their effectors to promote kinetically favorable interactions necessary for the signal transduction.
AntioxidantAntioxidants are compounds that inhibit oxidation (usually occurring as autoxidation), a chemical reaction that can produce free radicals. Autoxidation leads to degradation of organic compounds, including living matter. Antioxidants are frequently added to industrial products, such as polymers, fuels, and lubricants, to extend their usable lifetimes. Food are also treated with antioxidants to forestall spoilage, in particular the rancidification of oils and fats.
Lipid bilayerThe lipid bilayer (or phospholipid bilayer) is a thin polar membrane made of two layers of lipid molecules. These membranes are flat sheets that form a continuous barrier around all cells. The cell membranes of almost all organisms and many viruses are made of a lipid bilayer, as are the nuclear membrane surrounding the cell nucleus, and membranes of the membrane-bound organelles in the cell. The lipid bilayer is the barrier that keeps ions, proteins and other molecules where they are needed and prevents them from diffusing into areas where they should not be.
LipidLipids are a broad group of organic compounds which include fats, waxes, sterols, fat-soluble vitamins (such as vitamins A, D, E and K), monoglycerides, diglycerides, phospholipids, and others. The functions of lipids include storing energy, signaling, and acting as structural components of cell membranes. Lipids have applications in the cosmetic and food industries, and in nanotechnology.
Metabolic pathwayIn biochemistry, a metabolic pathway is a linked series of chemical reactions occurring within a cell. The reactants, products, and intermediates of an enzymatic reaction are known as metabolites, which are modified by a sequence of chemical reactions catalyzed by enzymes. In most cases of a metabolic pathway, the product of one enzyme acts as the substrate for the next. However, side products are considered waste and removed from the cell. These enzymes often require dietary minerals, vitamins, and other cofactors to function.
Electron transport chainAn electron transport chain (ETC) is a series of protein complexes and other molecules that transfer electrons from electron donors to electron acceptors via redox reactions (both reduction and oxidation occurring simultaneously) and couples this electron transfer with the transfer of protons (H+ ions) across a membrane. The electrons that are transferred from NADH and FADH2 to the ETC involves four multi-subunit large enzymes complexes and two mobile electron carriers.
Pyruvate dehydrogenase complexPyruvate dehydrogenase complex (PDC) is a complex of three enzymes that converts pyruvate into acetyl-CoA by a process called pyruvate decarboxylation. Acetyl-CoA may then be used in the citric acid cycle to carry out cellular respiration, and this complex links the glycolysis metabolic pathway to the citric acid cycle. Pyruvate decarboxylation is also known as the "pyruvate dehydrogenase reaction" because it also involves the oxidation of pyruvate.
Postsynaptic potentialPostsynaptic potentials are changes in the membrane potential of the postsynaptic terminal of a chemical synapse. Postsynaptic potentials are graded potentials, and should not be confused with action potentials although their function is to initiate or inhibit action potentials. They are caused by the presynaptic neuron releasing neurotransmitters from the terminal bouton at the end of an axon into the synaptic cleft. The neurotransmitters bind to receptors on the postsynaptic terminal, which may be a neuron or a muscle cell in the case of a neuromuscular junction.
Membrane potentialMembrane potential (also transmembrane potential or membrane voltage) is the difference in electric potential between the interior and the exterior of a biological cell. That is, there is a difference in the energy required for electric charges to move from the internal to exterior cellular environments and vice versa, as long as there is no acquisition of kinetic energy or the production of radiation. The concentration gradients of the charges directly determine this energy requirement.
Adenosine triphosphateAdenosine triphosphate (ATP) is an organic compound that provides energy to drive and support many processes in living cells, such as muscle contraction, nerve impulse propagation, condensate dissolution, and chemical synthesis. Found in all known forms of life, ATP is often referred to as the "molecular unit of currency" of intracellular energy transfer. When consumed in metabolic processes, it converts either to adenosine diphosphate (ADP) or to adenosine monophosphate (AMP). Other processes regenerate ATP.
Molecular dynamicsMolecular dynamics (MD) is a computer simulation method for analyzing the physical movements of atoms and molecules. The atoms and molecules are allowed to interact for a fixed period of time, giving a view of the dynamic "evolution" of the system. In the most common version, the trajectories of atoms and molecules are determined by numerically solving Newton's equations of motion for a system of interacting particles, where forces between the particles and their potential energies are often calculated using interatomic potentials or molecular mechanical force fields.
Proof assistantIn computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer. A recent effort within this field is making these tools use artificial intelligence to automate the formalization of ordinary mathematics.
Lipid metabolismLipid metabolism is the synthesis and degradation of lipids in cells, involving the breakdown and storage of fats for energy and the synthesis of structural and functional lipids, such as those involved in the construction of cell membranes. In animals, these fats are obtained from food and are synthesized by the liver. Lipogenesis is the process of synthesizing these fats. The majority of lipids found in the human body from ingesting food are triglycerides and cholesterol.
Action potentialAn action potential occurs when the membrane potential of a specific cell rapidly rises and falls. This depolarization then causes adjacent locations to similarly depolarize. Action potentials occur in several types of animal cells, called excitable cells, which include neurons, muscle cells, and in some plant cells. Certain endocrine cells such as pancreatic beta cells, and certain cells of the anterior pituitary gland are also excitable cells.
Carbohydrate metabolismCarbohydrate metabolism is the whole of the biochemical processes responsible for the metabolic formation, breakdown, and interconversion of carbohydrates in living organisms. Carbohydrates are central to many essential metabolic pathways. Plants synthesize carbohydrates from carbon dioxide and water through photosynthesis, allowing them to store energy absorbed from sunlight internally. When animals and fungi consume plants, they use cellular respiration to break down these stored carbohydrates to make energy available to cells.
Idris (programming language)Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be used as a proof assistant, but is designed to be a general-purpose programming language similar to Haskell. The Idris type system is similar to Agda's, and proofs are similar to Coq's, including tactics (theorem proving functions/procedures) via elaborator reflection. Compared to Agda and Coq, Idris prioritizes management of side effects and support for embedded domain-specific languages.
Fatty acid metabolismFatty acid metabolism consists of various metabolic processes involving or closely related to fatty acids, a family of molecules classified within the lipid macronutrient category. These processes can mainly be divided into (1) catabolic processes that generate energy and (2) anabolic processes where they serve as building blocks for other compounds. In catabolism, fatty acids are metabolized to produce energy, mainly in the form of adenosine triphosphate (ATP).
Coenzyme Q10DISPLAYTITLE:Coenzyme Q10 Coenzyme Q is a coenzyme family that is ubiquitous in animals and most bacteria (hence its other name, ubiquinone). In humans, the most common form is coenzyme Q10 (which is also called CoQ10 (ˌkoʊkjuːˈtɛn) and ubiquinone-10. Coenzyme Q10 is a 1,4-benzoquinone, in which Q refers to the quinone chemical group and 10 refers to the number of isoprenyl chemical subunits (shown enclosed in brackets in the diagram) in its tail. In natural ubiquinones, there are from six to ten subunits in the tail.
Cell membraneThe cell membrane (also known as the plasma membrane or cytoplasmic membrane, and historically referred to as the plasmalemma) is a biological membrane that separates and protects the interior of a cell from the outside environment (the extracellular space). The cell membrane consists of a lipid bilayer, made up of two layers of phospholipids with cholesterols (a lipid component) interspersed between them, maintaining appropriate membrane fluidity at various temperatures.
Reactive oxygen speciesIn chemistry, reactive oxygen species (ROS) are highly reactive chemicals formed from diatomic oxygen (). Examples of ROS include peroxides, superoxide, hydroxyl radical, singlet oxygen, and alpha-oxygen. The reduction of molecular oxygen () produces superoxide (), which is the precursor to most other reactive oxygen species: O2{} + e^- -> \ ^\bullet O2- Dismutation of superoxide produces hydrogen peroxide (): 2 H+{} + 2 \ ^\bullet O2^-{} -> H2O2{} + O2 Hydrogen peroxide in turn may be partially reduced, thus forming hydroxide ions and hydroxyl radicals (), or fully reduced to water: H2O2{} + e^- -> HO^-{} + \ ^\bullet OH 2 H+ + 2 e- + H2O2 -> 2 H2O In a biological context, ROS are byproducts of the normal metabolism of oxygen.
