Opioid antagonistAn opioid antagonist, or opioid receptor antagonist, is a receptor antagonist that acts on one or more of the opioid receptors. Naloxone and naltrexone are commonly used opioid antagonist drugs which are competitive antagonists that bind to the opioid receptors with higher affinity than agonists but do not activate the receptors. This effectively blocks the receptor, preventing the body from responding to opioids and endorphins.
CortisolCortisol is a steroid hormone, in the glucocorticoid class of hormones. When used as a medication, it is known as hydrocortisone. It is produced in many animals, mainly by the zona fasciculata of the adrenal cortex in the adrenal gland. It is produced in other tissues in lower quantities. It is released with a diurnal cycle and its release is increased in response to stress and low blood-glucose concentration. It functions to increase blood sugar through gluconeogenesis, to suppress the immune system, and to aid in the metabolism of fat, protein, and carbohydrates.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
AntimineralocorticoidAn antimineralocorticoid, also known as a mineralocorticoid receptor antagonist (MRA or MCRA) or aldosterone antagonist, is a diuretic drug which antagonizes the action of aldosterone at mineralocorticoid receptors. This group of drugs is often used as adjunctive therapy, in combination with other drugs, for the management of chronic heart failure. Spironolactone, the first member of the class, is also used in the management of hyperaldosteronism (including Conn's syndrome) and female hirsutism (due to additional antiandrogen actions).
Operant conditioning chamberAn operant conditioning chamber (also known as a Skinner box) is a laboratory apparatus used to study animal behavior. The operant conditioning chamber was created by B. F. Skinner while he was a graduate student at Harvard University. The chamber can be used to study both operant conditioning and classical conditioning. Skinner created the operant conditioning chamber as a variation of the puzzle box originally created by Edward Thorndike. While Skinner's early studies were done using rats, he later moved on to study pigeons.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
GlucocorticoidGlucocorticoids (or, less commonly, glucocorticosteroids) are a class of corticosteroids, which are a class of steroid hormones. Glucocorticoids are corticosteroids that bind to the glucocorticoid receptor that is present in almost every vertebrate animal cell. The name "glucocorticoid" is a portmanteau (glucose + cortex + steroid) and is composed from its role in regulation of glucose metabolism, synthesis in the adrenal cortex, and its steroidal structure (see structure below).
Steroid 11β-hydroxylaseSteroid 11β-hydroxylase, also known as steroid 11β-monooxygenase, is a steroid hydroxylase found in the zona glomerulosa and zona fasciculata of the adrenal cortex. Named officially the cytochrome P450 11B1, mitochondrial, it is a protein that in humans is encoded by the CYP11B1 gene. The enzyme is involved in the biosynthesis of adrenal corticosteroids by catalyzing the addition of hydroxyl groups during oxidation reactions. The CYP11B1 gene encodes 11β-hydroxylase - a member of the cytochrome P450 superfamily of enzymes.
Peer supportPeer support occurs when people provide knowledge, experience, emotional, social or practical help to each other. It commonly refers to an initiative consisting of trained supporters (although it can be provided by peers without training), and can take a number of forms such as peer mentoring, reflective listening (reflecting content and/or feelings), or counseling. Peer support is also used to refer to initiatives where colleagues, members of self-help organizations and others meet, in person or online, as equals to give each other connection and support on a reciprocal basis.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
