Orchestrating Tuple-based Languages

The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

Constructing the Views Framework

Abstract. The views framework of Dinsdale-Young and others unifies several compositional techniques for reasoning about concurrent programs. This paper uses simple mathematics to construct the views framework incrementally from first principles. The result is a model for the views framework, which can also be understood as an independent theory of concurrent programs. Along the lines of “sequential programs are binary relations”, the theory adopts the maxim “con-current programs are formal languages”. Consequently, programs obey familiar algebraic laws that can simplify reasoning; there is no need to postulate opera-tional rules; the views program logic can be constructed in a stepwise fashion from more basic logics; program logic and operational thinking become largely decoupled; proving partial correctness becomes straightforward and it holds irre-spectively of the specific choice of programming language constructs, operational rules, and the atomic actions that are implemented in a computer. All theorems have been formally checked with Isabelle/HOL. A proof script is available online. Key words: semantics, formal languages, concurrency, programming calculi

Phase I Hydroxylated Metabolites of the K2 Synthetic Cannabinoid JWH-018 Retain In Vitro and In Vivo Cannabinoid 1 Receptor Affinity and Activity

K2 products are synthetic cannabinoid-laced, marijuana-like drugs of abuse, use of which is often associated with clinical symptoms atypical of marijuana use, including hypertension, agitation, hallucinations, psychosis, seizures and panic attacks. JWH-018, a prevalent K2 synthetic cannabinoid, is structurally distinct from Δ(9)-THC, the main psychoactive ingredient in marijuana. Since even subtle structural differences can lead to differential metabolism, formation of novel, biologically active metabolites may be responsible for the distinct effects associated with K2 use. The present study proposes that K2's high adverse effect occurrence is due, at least in part, to distinct JWH-018 metabolite activity at the cannabinoid 1 receptor (CB1R).JWH-018, five potential monohydroxylated metabolites (M1-M5), and one carboxy metabolite (M6) were examined in mouse brain homogenates containing CB1Rs, first for CB1R affinity using a competition binding assay employing the cannabinoid receptor radioligand [(3)H]CP-55,940, and then for CB1R intrinsic efficacy using an [(35)S]GTPγS binding assay. JWH-018 and M1-M5 bound CB1Rs with high affinity, exhibiting K(i) values that were lower than or equivalent to Δ(9)-THC. These molecules also stimulated G-proteins with equal or greater efficacy relative to Δ(9)-THC, a CB1R partial agonist. Most importantly, JWH-018, M2, M3, and M5 produced full CB1R agonist levels of activation. CB1R-mediated activation was demonstrated by blockade with O-2050, a CB1R-selective neutral antagonist. Similar to Δ(9)-THC, JWH-018 and M1 produced a marked depression of locomotor activity and core body temperature in mice that were both blocked by the CB1R-preferring antagonist/inverse agonist AM251.Unlike metabolites of most drugs, the studied JWH-018 monohydroxylated compounds, but not the carboxy metabolite, retain in vitro and in vivo activity at CB1Rs. These observations, combined with higher CB1R affinity and activity relative to Δ(9)-THC, may contribute to the greater prevalence of adverse effects observed with JWH-018-containing products relative to cannabis

Suppression of p75 Neurotrophin Receptor Surface Expression with Intrabodies Influences Bcl-xL mRNA Expression and Neurite Outgrowth in PC12 Cells

Background: Although p75 neurotrophin receptor (p75NTR) is the first neurotrophin receptor isolated, its diverse physiological functions and signaling have remained elusive for many years. Loss-of-function phenotypic analyses for p75NTR were mainly focused at the genetic level; however these approaches were impacted by off-target effect, insufficient stability, unspecific stress response or alternative active splicing products. In this study, p75NTR surface expression was suppressed for the first time at the protein level by endoplasmic reticulum (ER) retained intrabodies. Results: Three monoclonal recombinant antibody fragments (scFv) with affinities in the low nanomolar range to murine p75NTR were isolated by antibody phage display. To suppress p75NTR cell surface expression, the encoding genes of these scFvs extended by the ER retention peptide KDEL were transiently transfected into the neuron-like rat pheochromocytoma cell line PC12 and the mouse neuroblastoma x mouse spinal cord hybrid cell line NSC19. The ER retained intrabody construct, SH325-G7-KDEL, mediated a downregulation of p75NTR cell surface expression as shown by flow cytometry. This effect was maintained over a period of at least eight days without activating an unfolded protein response (UPR). Moreover, the ER retention of p75NTR resulted in downregulation of mRNA levels of the anti-apoptotic protein Bcl-xL as well as in strong inhibition of NGF-induced neurite outgrowth in PC12 cells. Conclusion: The ER retained intrabody SH325-G7-KDEL not only induces phenotypic knockdown of this p75NTR but als

Visualizing Interactions along the Escherichia coli Twin-Arginine Translocation Pathway Using Protein Fragment Complementation

The twin-arginine translocation (Tat) pathway is well known for its ability to export fully folded substrate proteins out of the cytoplasm of Gram-negative and Gram-positive bacteria. Studies of this mechanism in Escherichia coli have identified numerous transient protein-protein interactions that guide export-competent proteins through the Tat pathway. To visualize these interactions, we have adapted bimolecular fluorescence complementation (BiFC) to detect protein-protein interactions along the Tat pathway of living cells. Fragments of the yellow fluorescent protein (YFP) were fused to soluble and transmembrane factors that participate in the translocation process including Tat substrates, Tat-specific proofreading chaperones and the integral membrane proteins TatABC that form the translocase. Fluorescence analysis of these YFP chimeras revealed a wide range of interactions such as the one between the Tat substrate dimethyl sulfoxide reductase (DmsA) and its dedicated proofreading chaperone DmsD. In addition, BiFC analysis illuminated homo- and hetero-oligomeric complexes of the TatA, TatB and TatC integral membrane proteins that were consistent with the current model of translocase assembly. In the case of TatBC assemblies, we provide the first evidence that these complexes are co-localized at the cell poles. Finally, we used this BiFC approach to capture interactions between the putative Tat receptor complex formed by TatBC and the DmsA substrate or its dedicated chaperone DmsD. Our results demonstrate that BiFC is a powerful approach for studying cytoplasmic and inner membrane interactions underlying bacterial secretory pathways

Application guide for omics approaches to cell signaling

Research in signal transduction aims to identify the functions of different signaling pathways in physiological and pathological states. Traditional techniques using biochemical, genetic or cell biological approaches have made important contributions to our understanding of cellular signaling. However, the single-gene approach does not take into account the full complexity of cell signaling. With the availability of omics techniques, great progress has been made in understanding signaling networks. Omics approaches can be classified into two categories: 'molecular profiling', including genomic, proteomic, post-translational modification and interactome profiling; and 'molecular perturbation', including genetic and functional perturbations