Nicotinic agonistA nicotinic agonist is a drug that mimics the action of acetylcholine (ACh) at nicotinic acetylcholine receptors (nAChRs). The nAChR is named for its affinity for nicotine. Examples include nicotine (by definition), acetylcholine (the endogenous agonist of nAChRs), choline, epibatidine, lobeline, varenicline and cytisine. Nicotine has been known for centuries for its intoxicating effect. It was first isolated in 1828 from the tobacco plant by German chemists Posselt and Reimann.
Nicotinic acetylcholine receptorNicotinic acetylcholine receptors, or nAChRs, are receptor polypeptides that respond to the neurotransmitter acetylcholine. Nicotinic receptors also respond to drugs such as the agonist nicotine. They are found in the central and peripheral nervous system, muscle, and many other tissues of many organisms. At the neuromuscular junction they are the primary receptor in muscle for motor nerve-muscle communication that controls muscle contraction.
Formal methodsIn computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
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).
NicotineNicotine is a naturally produced alkaloid in the nightshade family of plants (most predominantly in tobacco and Duboisia hopwoodii) and is widely used recreationally as a stimulant and anxiolytic. As a pharmaceutical drug, it is used for smoking cessation to relieve withdrawal symptoms. Nicotine acts as a receptor agonist at most nicotinic acetylcholine receptors (nAChRs), except at two nicotinic receptor subunits (nAChRα9 and nAChRα10) where it acts as a receptor antagonist. Nicotine constitutes approximately 0.
States' rightsIn American political discourse, states' rights are political powers held for the state governments rather than the federal government according to the United States Constitution, reflecting especially the enumerated powers of Congress and the Tenth Amendment. The enumerated powers that are listed in the Constitution include exclusive federal powers, as well as concurrent powers that are shared with the states, and all of those powers are contrasted with the reserved powers—also called states' rights—that only the states possess.
Due processDue process of law is application by state of all legal rules and principles pertaining to the case so all legal rights that are owed to the person are respected. Due process balances the power of law of the land and protects the individual person from it. When a government harms a person without following the exact course of the law, this constitutes a due process violation, which offends the rule of law.
Business process modelingBusiness process modeling (BPM) in business process management and systems engineering is the activity of representing processes of an enterprise, so that the current business processes may be analyzed, improved, and automated. BPM is typically performed by business analysts, who provide expertise in the modeling discipline; by subject matter experts, who have specialized knowledge of the processes being modeled; or more commonly by a team comprising both. Alternatively, the process model can be derived directly from events' logs using process mining tools.
Business processA business process, business method or business function is a collection of related, structured activities or tasks performed by people or equipment in which a specific sequence produces a service or product (serves a particular business goal) for a particular customer or customers. Business processes occur at all organizational levels and may or may not be visible to the customers. A business process may often be visualized (modeled) as a flowchart of a sequence of activities with interleaving decision points or as a process matrix of a sequence of activities with relevance rules based on data in the process.
United States Bill of RightsThe United States Bill of Rights comprises the first ten amendments to the United States Constitution. Proposed following the often bitter 1787–88 debate over the ratification of the Constitution and written to address the objections raised by Anti-Federalists, the Bill of Rights amendments add to the Constitution specific guarantees of personal freedoms and rights, clear limitations on the government's power in judicial and other proceedings, and explicit declarations that all powers not specifically granted to the federal government by the Constitution are reserved to the states or the people.
