This paper gives a brief overview of Monitoring Oriented Programming (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable software: monitors are automatically synthesized from specified properties and integrated into the original system to check its dynamic behaviors. When a specification is violated or validated at runtime, user-defined...

Scientific workflows often benefit from or even require advanced modeling constructs, e.g., nesting of subworkflows, cycles for executing loops, data-dependent routing, and pipelined execution. In such settings, an often overlooked aspect of provenance takes center stage: A suitable model of provenance (MoP) for scientific workflows should be based upon the underlying model of computation (MoC)...

Changes in the number of receptors on the cell surface lead to modulations of physiological functions and pharmacological responses of neurons. Recent studies show that delta-opioid peptide (DOP) and mu-opioid peptide (MOP) receptors have distinct subcellular localizations in neurons. In nociceptive small neurons in the dorsal root ganglia, DOP receptors are sorted into neuropeptide-containing ...

Emerging clinical and preclinical evidence suggests that a compound displaying high affinity for μ, κ, and δ opioid (MOP, KOP, and DOP) receptors and antagonist activity at each, coupled with moderate affinity and efficacy at nociceptin opioid peptide (NOP) receptors will have utility as a relapse prevention agent for multiple types of drug abuse. Members of the orvinol family of opioid ligands...

A remarkable part of the skills of human experts rendering services in hazardous and dynamic factory environments is their ability to continue to perform a job while reacting to adapt their posture to sudden changes in the environment such as upcoming obstacles. Possession of these typical human skills that can be defined in a set of linguistic objectives will help to build flexible and more de...

Abstract This article analyzes a little-known practice called iqtirāḥ —“test of poetic talent” or “poetic competition”—that proliferated in twentieth-century Persian-language periodicals. It examines two case studies: one Tehran 1928, which mythologized Nādir Shah (r. 1736–1747), Turko-Persian monarch, as national hero, and Kabul 1932, eulogized Muḥammad 1920–1933), ruling monarch at the time, ...