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.
Récepteur nicotiniqueLe récepteur nicotinique de l’acétylcholine est un récepteur ionotrope perméable aux ions sodium ainsi qu'aux ions potassium (canal cationique non spécifique), sensible à l'acétylcholine. Il tient son nom de l'un de ses agonistes, la nicotine, par opposition aux récepteurs muscariniques (récepteurs métabotropes). Il fait partie de la super-famille des récepteurs-canaux nicotinoïdes.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Algèbre de processusLes algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Les algèbres de processus fournissent des outils formels permettant principalement de caractériser les interactions entre processus au sein d'un système concurrent ou distribué, les interactions prenant la forme d'échanges de messages. L'étude des algèbres de processus relève de l'informatique théorique, et leurs applications relèvent principalement du génie logiciel, en particulier des systèmes distribués.
NicotineLa nicotine est un alcaloïde toxique issu principalement de la plante de tabac (Nicotiana tabacum) utilisé comme psychotrope (stimulant), particulièrement lors de l'inhalation de la fumée du tabac. Cette molécule est en partie responsable de la dépendance tabagique. La nicotine agit directement sur le système nerveux, en déclenchant la dépendance chez l'Homme. Un procédé dit de « dénicotinisation » permet d'extraire une part de cette molécule du tabac (procédé qui était à la fin des , selon Novotny & Zhao, à l'origine d'une production d'environ de kilogrammes de nicotine par l'industrie du tabac, déchet valorisé sous diverses formes).
Droits des ÉtatsDans la politique aux États-Unis, le terme « droits des États » (states' rights) fait référence à la souveraineté individuelle des gouvernements des États américains vis-à-vis de l'État fédéral. La répartition des pouvoirs est déterminée par la Constitution, reflétant notamment les pouvoirs énumérés du Congrès et le Dixième amendement. La question des droits des États fut l'un des principaux arguments négationnistes du mouvement néo-confédéré, qui a cherché à légitimer a posteriori la « Cause perdue » de la Confédération, en niant le fait que l'esclavage fut la cause principale de la guerre de Sécession.
Droit à un procès équitableLe droit au procès équitable est un droit fondamental. Aux États-Unis, les cinquième et quatorzième amendements de la Constitution des États-Unis garantissent le droit à un procès en bonne et due forme en vertu d'une application régulière de la loi («due process of law»). Le droit à un procès équitable est prévu par l'article 11d) de la Charte canadienne des droits et libertés. En droit québécois, la Charte des droits et libertés de la personne contient une règle équivalente à l'art.
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.
Processus d'affairesalt=Les processus d'affaires : une vue de l'activité à travers les fonctions de l'entreprise - L'axe vertical est défini par les spécialités des fonctions et la structure hiérarchique; l'axe horizontal par activités métier concourant à une même finalité|vignette|436x436px|Les processus d'affaires : une vue de l'activité à travers les fonctions de l'entreprise Un processus d'affaires, également appelé processus métier ou processus d'entreprise ou processus opérationnel (en anglais « Business process »), désig
Déclaration des droits (États-Unis)La Déclaration des droits (United States Bill of Rights) est l'ensemble constitué des dix premiers amendements à la Constitution américaine. Elle limite les pouvoirs du gouvernement fédéral et garantit les libertés de presse, de parole, de religion, de réunion, le droit de porter des armes, et le droit de propriété. Adoptée par la Chambre des représentants le et le Congrès le suivant, elle est ratifiée progressivement par les États fédérés, et prend effet le , date de la ratification par la Virginie.
