Decision analysisDecision analysis (DA) is the discipline comprising the philosophy, methodology, and professional practice necessary to address important decisions in a formal manner. Decision analysis includes many procedures, methods, and tools for identifying, clearly representing, and formally assessing important aspects of a decision; for prescribing a recommended course of action by applying the maximum expected-utility axiom to a well-formed representation of the decision; and for translating the formal representation of a decision and its corresponding recommendation into insight for the decision maker, and other corporate and non-corporate stakeholders.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Convex preferencesIn economics, convex preferences are an individual's ordering of various outcomes, typically with regard to the amounts of various goods consumed, with the property that, roughly speaking, "averages are better than the extremes". The concept roughly corresponds to the concept of diminishing marginal utility without requiring utility functions. Comparable to the greater-than-or-equal-to ordering relation for real numbers, the notation below can be translated as: 'is at least as good as' (in preference satisfaction).
Cognitive distortionA cognitive distortion is an exaggerated or irrational thought pattern involved in the onset or perpetuation of psychopathological states, such as depression and anxiety. Cognitive distortions are thoughts that cause individuals to perceive reality inaccurately. According to Aaron Beck's cognitive model, a negative outlook on reality, sometimes called negative schemas (or schemata), is a factor in symptoms of emotional dysfunction and poorer subjective well-being. Specifically, negative thinking patterns reinforce negative emotions and thoughts.
Time-out (parenting)A time-out is a form of behavioral modification that involves temporarily separating a person from an environment where an unacceptable behavior has occurred. The goal is to remove that person from an enriched, enjoyable environment, and therefore lead to extinction of the offending behavior. It is an educational and parenting technique recommended by most pediatricians and developmental psychologists as an effective form of discipline. During time-outs, a corner or a similar space is designated, where the person is to sit or stand (hence the common term corner time).
