Process calculusIn computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation).
Deep learningDeep learning is part of a broader family of machine learning methods, which is based on artificial neural networks with representation learning. The adjective "deep" in deep learning refers to the use of multiple layers in the network. Methods used can be either supervised, semi-supervised or unsupervised.
Context (linguistics)In semiotics, linguistics, sociology and anthropology, context refers to those objects or entities which surround a focal event, in these disciplines typically a communicative event, of some kind. Context is "a frame that surrounds the event and provides resources for its appropriate interpretation". It is thus a relative concept, only definable with respect to some focal event within a frame, not independently of that frame.
Extraocular musclesThe extraocular muscles, or extrinsic ocular muscles, are the seven extrinsic muscles of the human eye. Six of the extraocular muscles, the four recti muscles, and the superior and inferior oblique muscles, control movement of the eye and the other muscle, the levator palpebrae superioris, controls eyelid elevation. The actions of the six muscles responsible for eye movement depend on the position of the eye at the time of muscle contraction. Since only a small part of the eye called the fovea provides sharp vision, the eye must move to follow a target.
Tritrophic interactions in plant defenseTritrophic interactions in plant defense against herbivory describe the ecological impacts of three trophic levels on each other: the plant, the herbivore, and its natural enemies. They may also be called multitrophic interactions when further trophic levels, such as soil microbes, endophytes, or hyperparasitoids (higher-order predators) are considered. Tritrophic interactions join pollination and seed dispersal as vital biological functions which plants perform via cooperation with animals.
MediationMediation is a structured, interactive process where an impartial third party neutrally assists disputing parties in resolving conflict through the use of specialized communication and negotiation techniques. All participants in mediation are encouraged to actively participate in the process. Mediation is a "party-centered" process in that it is focused primarily upon the needs, rights, and interests of the parties. The mediator uses a wide variety of techniques to guide the process in a constructive direction and to help the parties find their optimal solution.
Problem gamblingProblem gambling or ludomania is repetitive gambling behavior despite harm and negative consequences. Problem gambling may be diagnosed as a mental disorder according to DSM-5 if certain diagnostic criteria are met. Pathological gambling is a common disorder associated with social and family costs. The DSM-5 has re-classified the condition as an addictive disorder, with those affected exhibiting many similarities to those with substance addictions. The term gambling addiction has long been used in the recovery movement.
ImplicatureIn pragmatics, a subdiscipline of linguistics, an implicature is something the speaker suggests or implies with an utterance, even though it is not literally expressed. Implicatures can aid in communicating more efficiently than by explicitly saying everything we want to communicate. The philosopher H. P. Grice coined the term in 1975. Grice distinguished conversational implicatures, which arise because speakers are expected to respect general rules of conversation, and conventional ones, which are tied to certain words such as "but" or "therefore".
Peer productionPeer production (also known as mass collaboration) is a way of producing goods and services that relies on self-organizing communities of individuals. In such communities, the labor of many people is coordinated towards a shared outcome. Peer production is a process taking advantage of new collaborative possibilities afforded by the internet and has become a widespread mode of labor. Free and open source software and open source hardware are two examples of peer production.
Funding of scienceResearch funding is a term generally covering any funding for scientific research, in the areas of natural science, technology, and social science. Different methods can be used to disburse funding, but the term often connotes funding obtained through a competitive process, in which potential research projects are evaluated and only the most promising receive funding. It is often measured via Gross domestic expenditure on R&D (GERD).
