Normative Multi-Agent Programs and Their Logics

Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language

The Norm Implementation Problem in Normative Multi-Agent Systems

Abstract. The norm implementation problem consists in how to see to it that the agents in a system comply with the norms specified for that system by the system designer. It is part of the more general problem of how to synthesize or create norms for multi-agent systems, by, for example, highlighting the choice between regimentation and enforcement, or the punishment associated with a norm violation. In this paper we discuss how various ways to implement norms in a multi-agent system can be distinguished in a formal game-theoretic framework. In particular, we show how different types of norm implementation can all be uniformly specified and verified as types of transformations of extensive games. We introduce the notion of retarded preconditions to implement norms, and we illustrate the framework and the various ways to implement norms in the blocks world environment

The Tug1 locus is essential for male fertility

Background: Several long noncoding RNAs (lncRNAs) have been shown to function as central components of molecular machines that play fundamental roles in biology. While the number of annotated lncRNAs in mammalian genomes has greatly expanded, their functions remain largely uncharacterized. This is compounded by the fact that identifying lncRNA loci that have robust and reproducible phenotypes when mutated has been a challenge. Results: We previously generated a cohort of 20 lncRNA loci knockout mice. Here, we extend our initial study and provide a more detailed analysis of the highly conserved lncRNA locus, Taurine Upregulated Gene 1 (Tug1). We report that Tug1 knockout male mice are sterile with complete penetrance due to a low sperm count and abnormal sperm morphology. Having identified a lncRNA loci with a robust phenotype, we wanted to determine which, if any, potential elements contained in the Tug1 genomic region (DNA, RNA, protein, or the act of transcription) have activity. Using engineered mouse models and cell-based assays, we provide evidence that the Tug1 locus harbors three distinct regulatory activities - two noncoding and one coding: (i) a cis DNA repressor that regulates many neighboring genes, (ii) a lncRNA that can regulate genes by a trans-based function, and finally (iii) Tug1 encodes an evolutionary conserved peptide that when overexpressed impacts mitochondrial membrane potential. Conclusions: Our results reveal an essential role for the Tug1 locus in male fertility and uncover three distinct regulatory activities in the Tug1 locus, thus highlighting the complexity present at lncRNA loci

LINC01013 is a determinant of fibroblast activation and encodes a novel fibroblast-activating micropeptide

Myocardial fibrosis confers an almost threefold mortality risk in heart disease. There are no prognostic therapies and novel therapeutic targets are needed. Many thousands of unannotated small open reading frames (smORFs) have been identified across the genome with potential to produce micropeptides (< 100 amino acids). We sought to investigate the role of smORFs in myocardial fibroblast activation.Analysis of human cardiac atrial fibroblasts (HCFs) stimulated with profibrotic TGFβ1 using RNA sequencing (RNA-Seq) and ribosome profiling (Ribo-Seq) identified long intergenic non-coding RNA LINC01013 as TGFβ1 responsive and containing an actively translated smORF. Knockdown of LINC01013 using siRNA reduced expression of profibrotic markers at baseline and blunted their response to TGFβ1. In contrast, overexpression of a codon-optimised smORF invoked a profibrotic response comparable to that seen with TGFβ1 treatment, whilst FLAG-tagged peptide associated with the mitochondria.Together, these data support a novel LINC01013 smORF micropeptide-mediated mechanism of fibroblast activation

Surgery for incarcerated hernia: short-term outcome with or without mesh.

BACKGROUND: Incarcerated hernias represent about 5-15 % of all operated hernias. Tension-free mesh is the preferred technique for elective surgery due to low recurrence rates. There is however currently no consensus on the use of mesh for the treatment of incarcerated hernias, especially in case of bowel resection. AIM: The aims of this study were (i) to report our current practice for the treatment of incarcerated hernias, (ii) to identify risk factors for postoperative complications, and (iii) to assess the safety of mesh placement in potentially infected surgical fields. METHODS: This retrospective study included 166 consecutive patients who underwent emergency surgery for incarcerated hernia between January 2007 and January 2012 in two university hospitals. Demographics, surgical details, and short-term outcome were collected. Univariate analysis was employed to identify risk factors for overall, infectious, and major complications. RESULTS: Eighty-four patients (50.6 %) presented inguinal hernias, 43 femoral (25.9 %), 37 umbilical hernias (22.3 %), and 2 mixed hernias (1.2 %), respectively. Mesh was placed in 64 patients (38.5 %), including 5 patients with concomitant bowel resection. Overall morbidity occurred in 56 patients (32.7 %), and 8 patients (4.8 %) developed surgical site infections (SSI). Univariate risk factors for overall complications were ASA grade 3/4 (P = 0.03), diabetes (P = 0.05), cardiopathy (P = 0.001), aspirin use (P = 0.023), and bowel resection (P = 0.001) which was also the only identified risk factor for SSI (P = 0.03). In multivariate analysis, only bowel incarceration was associated with a higher rate of major morbidity (OR = 14.04; P = 0.01). CONCLUSION: Morbidity after surgery for incarcerated hernia remains high and depends on comorbidities and surgical presentation. The use of mesh could become current practice even in case of bowel resection