Chronic fatigue syndromeChronic fatigue syndrome (CFS), also called myalgic encephalomyelitis (ME) or ME/CFS, is a complex, debilitating, long-term medical condition. The root cause(s) of the disease are unknown and the mechanisms are not fully understood. Distinguishing core symptoms are lengthy exacerbations or flare-ups of the illness following ordinary minor physical or mental activity, known as post-exertional malaise (PEM); greatly diminished capacity to accomplish tasks that were routine before the illness; and sleep disturbances.
Factors of productionIn economics, factors of production, resources, or inputs are what is used in the production process to produce output—that is, goods and services. The utilized amounts of the various inputs determine the quantity of output according to the relationship called the production function. There are four basic resources or factors of production: land, labour, capital and entrepreneur (or enterprise). The factors are also frequently labeled "producer goods or services" to distinguish them from the goods or services purchased by consumers, which are frequently labeled "consumer goods".
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Domain-specific modelingDomain-specific modeling (DSM) is a software engineering methodology for designing and developing systems, such as computer software. It involves systematic use of a domain-specific language to represent the various facets of a system. Domain-specific modeling languages tend to support higher-level abstractions than general-purpose modeling languages, so they require less effort and fewer low-level details to specify a given system.
Military simulationMilitary simulations, also known informally as war games, are simulations in which theories of warfare can be tested and refined without the need for actual hostilities. Military simulations are seen as a useful way to develop tactical, strategical and doctrinal solutions, but critics argue that the conclusions drawn from such models are inherently flawed, due to the approximate nature of the models used. Many professional analysts object to the term wargames as this is generally taken to be referring to the civilian hobby, thus the preference for the term simulation.
ExternalityIn economics, an externality or external cost is an indirect cost or benefit to an uninvolved third party that arises as an effect of another party's (or parties') activity. Externalities can be considered as unpriced goods involved in either consumer or producer market transactions. Air pollution from motor vehicles is one example. The cost of air pollution to society is not paid by either the producers or users of motorized transport to the rest of society. Water pollution from mills and factories is another example.
Cardiac stress testA cardiac stress test (also referred to as a cardiac diagnostic test, cardiopulmonary exercise test, or abbreviated CPX test) is a cardiological test that measures the heart's ability to respond to external stress in a controlled clinical environment. The stress response is induced by exercise or by intravenous pharmacological stimulation. Cardiac stress tests compare the coronary circulation while the patient is at rest with the same patient's circulation during maximum cardiac exertion, showing any abnormal blood flow to the myocardium (heart muscle tissue).
Neurotrophic factorsNeurotrophic factors (NTFs) are a family of biomolecules – nearly all of which are peptides or small proteins – that support the growth, survival, and differentiation of both developing and mature neurons. Most NTFs exert their trophic effects on neurons by signaling through tyrosine kinases, usually a receptor tyrosine kinase. In the mature nervous system, they promote neuronal survival, induce synaptic plasticity, and modulate the formation of long-term memories.
Simply typed lambda calculusThe simply typed lambda calculus (), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor () that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical use of the untyped lambda calculus. The term simple type is also used to refer extensions of the simply typed lambda calculus such as products, coproducts or natural numbers (System T) or even full recursion (like PCF).
KaizenKaizen is a concept referring to business activities that continuously improve all functions and involve all employees from the CEO to the assembly line workers. Kaizen also applies to processes, such as purchasing and logistics, that cross organizational boundaries into the supply chain. It has been applied in healthcare, psychotherapy, life coaching, government, manufacturing, and banking. By improving standardized programs and processes, kaizen aims to eliminate waste and redundancies (lean manufacturing).
Growth factorA growth factor is a naturally occurring substance capable of stimulating cell proliferation, wound healing, and occasionally cellular differentiation. Usually it is a secreted protein or a steroid hormone. Growth factors are important for regulating a variety of cellular processes. Growth factors typically act as signaling molecules between cells. Examples are cytokines and hormones that bind to specific receptors on the surface of their target cells. They often promote cell differentiation and maturation, which varies between growth factors.
Strength trainingStrength training or resistance training involves the performance of physical exercises that are designed to improve strength and endurance. It is often associated with the lifting of weights. It can also incorporate a variety of training techniques such as bodyweight exercises, isometrics, and plyometrics. Training works by progressively increasing the force output of the muscles and uses a variety of exercises and types of . Strength training is primarily an anaerobic activity, although circuit training also is a form of aerobic exercise.
