Human serum albuminHuman serum albumin is the serum albumin found in human blood. It is the most abundant protein in human blood plasma; it constitutes about half of serum protein. It is produced in the liver. It is soluble in water, and it is monomeric. Albumin transports hormones, fatty acids, and other compounds, buffers pH, and maintains oncotic pressure, among other functions. Albumin is synthesized in the liver as preproalbumin, which has an N-terminal peptide that is removed before the nascent protein is released from the rough endoplasmic reticulum.
Serum albuminSerum albumin, often referred to simply as blood albumin, is an albumin (a type of globular protein) found in vertebrate blood. Human serum albumin is encoded by the ALB gene. Other mammalian forms, such as bovine serum albumin, are chemically similar. Serum albumin is produced by the liver, occurs dissolved in blood plasma and is the most abundant blood protein in mammals. Albumin is essential for maintaining the oncotic pressure needed for proper distribution of body fluids between blood vessels and body tissues; without albumin, the high pressure in the blood vessels would force more fluids out into the tissues.
Implant (medicine)An implant is a medical device manufactured to replace a missing biological structure, support a damaged biological structure, or enhance an existing biological structure. For example, an implant may be a rod, used to strengthen weak bones. Medical implants are human-made devices, in contrast to a transplant, which is a transplanted biomedical tissue. The surface of implants that contact the body might be made of a biomedical material such as titanium, silicone, or apatite depending on what is the most functional.
Quantifier (logic)In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula.
BiomaterialA biomaterial is a substance that has been engineered to interact with biological systems for a medical purpose, either a therapeutic (treat, augment, repair, or replace a tissue function of the body) or a diagnostic one. As a science, biomaterials is about fifty years old. The study of biomaterials is called biomaterials science or biomaterials engineering. It has experienced steady and strong growth over its history, with many companies investing large amounts of money into the development of new products.
Electrochemical potentialIn electrochemistry, the electrochemical potential (ECP), , is a thermodynamic measure of chemical potential that does not omit the energy contribution of electrostatics. Electrochemical potential is expressed in the unit of J/mol. Each chemical species (for example, "water molecules", "sodium ions", "electrons", etc.) has an electrochemical potential (a quantity with units of energy) at any given point in space, which represents how easy or difficult it is to add more of that species to that location.
Electrochemical cellAn electrochemical cell is a device that generates electrical energy from chemical reactions. Electrical energy can also be applied to these cells to cause chemical reactions to occur. Electrochemical cells which generate an electric current are called voltaic or galvanic cells and those that generate chemical reactions, via electrolysis for example, are called electrolytic cells. Both galvanic and electrolytic cells can be thought of as having two half-cells: consisting of separate oxidation and reduction reactions.
Titanium alloysTitanium alloys are alloys that contain a mixture of titanium and other chemical elements. Such alloys have very high tensile strength and toughness (even at extreme temperatures). They are light in weight, have extraordinary corrosion resistance and the ability to withstand extreme temperatures. However, the high cost of both raw materials and processing limit their use to military applications, aircraft, spacecraft, bicycles, medical devices, jewelry, highly stressed components such as connecting rods on expensive sports cars and some premium sports equipment and consumer electronics.
Serum (blood)Serum (ˈsɪərəm) is the fluid and solute component of blood which does not play a role in clotting. It may be defined as blood plasma without the clotting factors, or as blood with all cells and clotting factors removed. Serum includes all proteins not used in blood clotting; all electrolytes, antibodies, antigens, hormones; and any exogenous substances (e.g., drugs or microorganisms). Serum does not contain white blood cells (leukocytes), red blood cells (erythrocytes), platelets, or clotting factors.
ProteinProteins are large biomolecules and macromolecules that comprise one or more long chains of amino acid residues. Proteins perform a vast array of functions within organisms, including catalysing metabolic reactions, DNA replication, responding to stimuli, providing structure to cells and organisms, and transporting molecules from one location to another. Proteins differ from one another primarily in their sequence of amino acids, which is dictated by the nucleotide sequence of their genes, and which usually results in protein folding into a specific 3D structure that determines its activity.
Electrode potentialIn electrochemistry, electrode potential is the electromotive force of a galvanic cell built from a standard reference electrode and another electrode to be characterized. By convention, the reference electrode is the standard hydrogen electrode (SHE). It is defined to have a potential of zero volts. It may also be defined as the potential difference between the charged metallic rods and salt solution. The electrode potential has its origin in the potential difference developed at the interface between the electrode and the electrolyte.
Protein–protein interactionProtein–protein interactions (PPIs) are physical contacts of high specificity established between two or more protein molecules as a result of biochemical events steered by interactions that include electrostatic forces, hydrogen bonding and the hydrophobic effect. Many are physical contacts with molecular associations between chains that occur in a cell or in a living organism in a specific biomolecular context. Proteins rarely act alone as their functions tend to be regulated.
BiocompatibilityBiocompatibility is related to the behavior of biomaterials in various contexts. The term refers to the ability of a material to perform with an appropriate host response in a specific situation. The ambiguity of the term reflects the ongoing development of insights into how biomaterials interact with the human body and eventually how those interactions determine the clinical success of a medical device (such as pacemaker, hip replacement or stent).
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Electrochemical engineeringElectrochemical engineering is the branch of chemical engineering dealing with the technological applications of electrochemical phenomena, such as electrosynthesis of chemicals, electrowinning and refining of metals, flow batteries and fuel cells, surface modification by electrodeposition, electrochemical separations and corrosion.
CorrosionCorrosion is a natural process that converts a refined metal into a more chemically stable oxide. It is the gradual deterioration of materials (usually a metal) by chemical or electrochemical reaction with their environment. Corrosion engineering is the field dedicated to controlling and preventing corrosion. In the most common use of the word, this means electrochemical oxidation of metal in reaction with an oxidant such as oxygen, hydrogen or hydroxide. Rusting, the formation of iron oxides, is a well-known example of electrochemical corrosion.
Stainless steelStainless steel, also known as inox or corrosion-resistant steel (CRES), is an alloy of iron that is resistant to rusting and corrosion. It contains at least 10.5% chromium and usually nickel, and may also contain other elements, such as carbon, to obtain the desired properties. Stainless steel's resistance to corrosion results from the chromium, which forms a passive film that can protect the material and self-heal in the presence of oxygen. The alloy's properties, such as luster and resistance to corrosion, are useful in many applications.
Transport phenomenaIn engineering, physics, and chemistry, the study of transport phenomena concerns the exchange of mass, energy, charge, momentum and angular momentum between observed and studied systems. While it draws from fields as diverse as continuum mechanics and thermodynamics, it places a heavy emphasis on the commonalities between the topics covered. Mass, momentum, and heat transport all share a very similar mathematical framework, and the parallels between them are exploited in the study of transport phenomena to draw deep mathematical connections that often provide very useful tools in the analysis of one field that are directly derived from the others.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
