A Logical Framework for the Representation and Verification of Context-aware Agents

© 2014, Springer Science+Business Media New York. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic 𝓛OCRS allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model a desired systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of 𝓛OCRS models using existing model checking techniques

Complete Genome Sequence of the Aerobic Facultative Methanotroph Methylocella tundrae Strain T4

Methylocella tundrae T4T is a facultative aerobic methanotroph which was isolated from an acidic tundra wetland and possesses only a soluble methane monooxygenase. The complete genome, which includes two megaplasmids, was sequenced using a combination of Illumina and Nanopore technologies. One of the megaplasmids carries a propane monooxygenase gene cluster

A clinical study of arrhythmias associated with acute coronary syndrome: a hospital based study of a high risk and previously undocumented population

Background: ACS represents a global epidemic. Arrhythmia in ACS is common. Careful investigation may lead to further improvement of prognosis. Retrospectively analyzed the year- round data of our center. Study was undertaken to analyze the incidence, frequency and type of arrhythmias in ACS. This is to aid timely intervention and to modify the outcome. Identification of the type of arrhythmia is of therapeutic and prognostic importance.Methods: This cross sectional analytical study was conducted in the Department of Cardiology, Apollo Hospitals Dhaka, from January 2019 to January 2020 with ACS patients. Enrolled consecutively and data analyzed.Results: There were 500 patients enrolled considering inclusion and exclusion criteria. Sample was subdivided into 3 groups on the type of ACS. Group-I with UA, Group-II with NSTE - ACS and Group-III with STE - ACS. Different types of arrhythmia noted. Types of arrhythmia were correlated with type of ACS. 500 patients included. Mean age 55.53±12.70, 71.6% male and 28.4% female. 60.4% hypertensive, 46.2% diabetic, 20.2% positive family history of CAD, 32.2% current smoker, 56.4% dyslipidaemic and 9.6% asthmatic. 31.2% UA, 39.2% NSTE-ACS and 29.6% STE-ACS. Type of arrhythmias noted. 22% sinus tachycardia, 20.2% sinus bradycardia, 9% atrial fibrillation, 5.2% ventricular ectopic, 4.8% supra ventricular ectopic, 2.8% bundle branch block, 2.2% atrio-ventricular block, 1% broad complex tachycardia, 0.4% narrow complex tachycardia, 0.2% sinus node dysfunction and 32.2% without any arrhythmia. Significant incidences of arrhythmia detected - respectively 29.8%, 39.2% and 31%, p<0.001.Conclusions: In conclusion, arrhythmias in ACS are common. More attention should be paid to improve their treatment and prognosis

International Coercion, Emulation and Policy Diffusion: Market-Oriented Infrastructure Reforms, 1977-1999

Why do some countries adopt market-oriented reforms such as deregulation, privatization and liberalization of competition in their infrastructure industries while others do not? Why did the pace of adoption accelerate in the 1990s? Building on neo-institutional theory in sociology, we argue that the domestic adoption of market-oriented reforms is strongly influenced by international pressures of coercion and emulation. We find robust support for these arguments with an event-history analysis of the determinants of reform in the telecommunications and electricity sectors of as many as 205 countries and territories between 1977 and 1999. Our results also suggest that the coercive effect of multilateral lending from the IMF, the World Bank or Regional Development Banks is increasing over time, a finding that is consistent with anecdotal evidence that multilateral organizations have broadened the scope of the “conditionality” terms specifying market-oriented reforms imposed on borrowing countries. We discuss the possibility that, by pressuring countries into policy reform, cross-national coercion and emulation may not produce ideal outcomes.http://deepblue.lib.umich.edu/bitstream/2027.42/40099/3/wp713.pd

Human PAPS Synthase Isoforms Are Dynamically Regulated Enzymes with Access to Nucleus and Cytoplasm

In higher eukaryotes, PAPS synthases are the only enzymes producing the essential sulphate-donor 3′-phospho-adenosine-5′-phosphosulphate (PAPS). Recently, PAPS synthases have been associated with several genetic diseases and retroviral infection. To improve our understanding of their pathobiological functions, we analysed the intracellular localisation of the two human PAPS synthases, PAPSS1 and PAPSS2. For both enzymes, we observed pronounced heterogeneity in their subcellular localisation. PAPSS1 was predominantly nuclear, whereas PAPSS2 localised mainly within the cytoplasm. Treatment with the nuclear export inhibitor leptomycin B had little effect on their localisation. However, a mutagenesis screen revealed an Arg-Arg motif at the kinase interface exhibiting export activity. Notably, both isoforms contain a conserved N-terminal basic Lys-Lys-Xaa-Lys motif indispensable for their nuclear localisation. This nuclear localisation signal was more efficient in PAPSS1 than in PAPSS2. The activities of the identified localisation signals were confirmed by microinjection studies. Collectively, we describe unusual localisation signals of both PAPS synthase isoforms, mobile enzymes capable of executing their function in the cytoplasm as well as in the nucleus

Vitamin D Deficiency and Exogenous Vitamin D Excess Similarly Increase Diffuse Atherosclerotic Calcification in Apolipoprotein E Knockout Mice

Background: Observational data associate lower levels of serum vitamin D with coronary artery calcification, cardiovascular events and mortality. However, there is little interventional evidence demonstrating that moderate vitamin D deficiency plays a causative role in cardiovascular disease. This study examined the cardiovascular effects of dietary vitamin D deficiency and of vitamin D receptor agonist (paricalcitol) administration in apolipoprotein E knockout mice. Methods: Mice were fed atherogenic diets with normal vitamin D content (1.5IU/kg) or without vitamin D. Paricalcitol, or matched vehicle, was administered 3× weekly by intraperitoneal injection. Following 20 weeks of these interventions cardiovascular phenotype was characterized by histological assessment of aortic sinus atheroma, soluble markers, blood pressure and echocardiography. To place the cardiovascular assessments in the context of intervention effects on bone, structural changes at the tibia were assessed by microtomography. Results: Vitamin D deficient diet induced significant reductions in plasma vitamin D (p<0.001), trabecular bone volume (p<0.01) and bone mineral density (p<0.005). These changes were accompanied by an increase in calcification density (number of calcifications per mm2) of von Kossa-stained aortic sinus atheroma (461 versus 200, p<0.01). Paricalcitol administration suppressed parathyroid hormone (p<0.001), elevated plasma calcium phosphate product (p<0.005) and induced an increase in calcification density (472 versus 200, p<0.005) similar to that seen with vitamin D deficiency. Atheroma burden, blood pressure, metabolic profile and measures of left ventricular hypertrophy were unaffected by the interventions. Conclusion: Vitamin D deficiency, as well as excess, increases atherosclerotic calcification. This phenotype is induced before other measures of cardiovascular pathology associated clinically with vitamin D deficiency. Thus, maintenance of an optimal range of vitamin D signalling may be important for prevention of atherosclerotic calcification

Novel facultative Methylocella strains are active methane consumers at terrestrial natural gas seeps

Natural gas seeps contribute to global climate change by releasing substantial amounts of the potent greenhouse gas methane and other climate-active gases including ethane and propane to the atmosphere. However, methanotrophs, bacteria capable of utilising methane as the sole source of carbon and energy, play a significant role in reducing the emissions of methane from many environments. Methylocella-like facultative methanotrophs are a unique group of bacteria that grow on other components of natural gas (i.e. ethane and propane) in addition to methane but a little is known about the distribution and activity of Methylocella in the environment. The purposes of this study were to identify bacteria involved in cycling methane emitted from natural gas seeps and, most importantly, to investigate if Methylocella-like facultative methanotrophs were active utilisers of natural gas at seep sites

Antimicrobial resistance among migrants in Europe: a systematic review and meta-analysis

BACKGROUND: Rates of antimicrobial resistance (AMR) are rising globally and there is concern that increased migration is contributing to the burden of antibiotic resistance in Europe. However, the effect of migration on the burden of AMR in Europe has not yet been comprehensively examined. Therefore, we did a systematic review and meta-analysis to identify and synthesise data for AMR carriage or infection in migrants to Europe to examine differences in patterns of AMR across migrant groups and in different settings. METHODS: For this systematic review and meta-analysis, we searched MEDLINE, Embase, PubMed, and Scopus with no language restrictions from Jan 1, 2000, to Jan 18, 2017, for primary data from observational studies reporting antibacterial resistance in common bacterial pathogens among migrants to 21 European Union-15 and European Economic Area countries. To be eligible for inclusion, studies had to report data on carriage or infection with laboratory-confirmed antibiotic-resistant organisms in migrant populations. We extracted data from eligible studies and assessed quality using piloted, standardised forms. We did not examine drug resistance in tuberculosis and excluded articles solely reporting on this parameter. We also excluded articles in which migrant status was determined by ethnicity, country of birth of participants' parents, or was not defined, and articles in which data were not disaggregated by migrant status. Outcomes were carriage of or infection with antibiotic-resistant organisms. We used random-effects models to calculate the pooled prevalence of each outcome. The study protocol is registered with PROSPERO, number CRD42016043681. FINDINGS: We identified 2274 articles, of which 23 observational studies reporting on antibiotic resistance in 2319 migrants were included. The pooled prevalence of any AMR carriage or AMR infection in migrants was 25·4% (95% CI 19·1-31·8; I2 =98%), including meticillin-resistant Staphylococcus aureus (7·8%, 4·8-10·7; I2 =92%) and antibiotic-resistant Gram-negative bacteria (27·2%, 17·6-36·8; I2 =94%). The pooled prevalence of any AMR carriage or infection was higher in refugees and asylum seekers (33·0%, 18·3-47·6; I2 =98%) than in other migrant groups (6·6%, 1·8-11·3; I2 =92%). The pooled prevalence of antibiotic-resistant organisms was slightly higher in high-migrant community settings (33·1%, 11·1-55·1; I2 =96%) than in migrants in hospitals (24·3%, 16·1-32·6; I2 =98%). We did not find evidence of high rates of transmission of AMR from migrant to host populations. INTERPRETATION: Migrants are exposed to conditions favouring the emergence of drug resistance during transit and in host countries in Europe. Increased antibiotic resistance among refugees and asylum seekers and in high-migrant community settings (such as refugee camps and detention facilities) highlights the need for improved living conditions, access to health care, and initiatives to facilitate detection of and appropriate high-quality treatment for antibiotic-resistant infections during transit and in host countries. Protocols for the prevention and control of infection and for antibiotic surveillance need to be integrated in all aspects of health care, which should be accessible for all migrant groups, and should target determinants of AMR before, during, and after migration. FUNDING: UK National Institute for Health Research Imperial Biomedical Research Centre, Imperial College Healthcare Charity, the Wellcome Trust, and UK National Institute for Health Research Health Protection Research Unit in Healthcare-associated Infections and Antimictobial Resistance at Imperial College London