Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Artificial kidneyArtificial kidney is often a synonym for hemodialysis, but may also refer to the other renal replacement therapies (with exclusion of kidney transplantation) that are in use and/or in development. This article deals mainly with bioengineered kidneys/bioartificial kidneys that are grown from renal cell lines/renal tissue. The first successful artificial kidney was developed by Willem Kolff in the Netherlands during the early 1940s: Kolff was the first to construct a working dialyzer in 1943.
Kidney transplantationKidney transplant or renal transplant is the organ transplant of a kidney into a patient with end-stage kidney disease (ESRD). Kidney transplant is typically classified as deceased-donor (formerly known as cadaveric) or living-donor transplantation depending on the source of the donor organ. Living-donor kidney transplants are further characterized as genetically related (living-related) or non-related (living-unrelated) transplants, depending on whether a biological relationship exists between the donor and recipient.
Maritime transportMaritime transport (or ocean transport) or more generally waterborne transport, is the transport of people (passengers) or goods (cargo) via waterways. Freight transport by sea has been widely used throughout recorded history. The advent of aviation has diminished the importance of sea travel for passengers, though it is still popular for short trips and pleasure cruises. Transport by water is cheaper than transport by air or ground, but significantly slower for longer distances.
Active transportIn cellular biology, active transport is the movement of molecules or ions across a cell membrane from a region of lower concentration to a region of higher concentration—against the concentration gradient. Active transport requires cellular energy to achieve this movement. There are two types of active transport: primary active transport that uses adenosine triphosphate (ATP), and secondary active transport that uses an electrochemical gradient.
Bladder stone (animal)Bladder stones or uroliths are a common occurrence in animals, especially in domestic animals such as dogs and cats. Occurrence in other species, including tortoises, has been reported as well. The stones form in the urinary bladder in varying size and numbers secondary to infection, dietary influences, and genetics. Stones can form in any part of the urinary tract in dogs and cats, but unlike in humans, stones of the kidney are less common and do not often cause significant disease, although they can contribute to pyelonephritis and chronic kidney disease.
Acid dissociation constantIn chemistry, an acid dissociation constant (also known as acidity constant, or acid-ionization constant; denoted K_a) is a quantitative measure of the strength of an acid in solution. It is the equilibrium constant for a chemical reaction HA A^- + H^+ known as dissociation in the context of acid–base reactions. The chemical species HA is an acid that dissociates into , the conjugate base of the acid and a hydrogen ion, .
