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.
