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 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

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

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

A more strategic and effective governance

There is a consensus that the European Union should modernise its budget, tackling the new challenges and breaking away from bureaucratic inertia and the juste retour logic that hitherto have prevented change. The decision to undertake a budget review has provided the opportunity for doing so. This opportunity is still available. Cohesion policy is part of the review, but there are conflicting views on its rationale, its results, and the need and scope for reform. The risk of wrong changes is high. The risk that no change will take place is also very high. The purpose of this Report is to help avert these risks by setting an agenda for reform and seeking to initiate a frank, informed and timely debate on conceptual, political and operational aspects. A start has been made with the consultation undertaken for preparing the Report