Expressive Policy Analysis with Enhanced System Dynamicity

Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take account of obligations and authorizations, (iii) include a dynamic system model, and (iv) give useful diagnostic information. We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation. Copyright 2009 ACM

A formal framework for policy analysis

We present a formal, logical framework for the representation and analysis of an expressive class of authorization and obligation policies. Basic concepts of the language and operational model are given, and details of the representation are defined, with an attention to how different classes of policies can be written in our framework. We show how complex dependencies amonst policy rules can be represented, and illustrate how the formalization of policies is joined to a dynamic depiction of system behaviour. Algorithmically, we use a species of abductive, constraint logic programming to analyse for the holding of a number of interesting properties of policies (coverage, modality conflict, equivalence of policies, etc.). We describe one implementation of our ideas, and conclude with remarks on related work and future research

PGRMC1: a new biomarker for the estrogen receptor in breast cancer

Estrogen receptor (ER) status is a critical biomarker in breast cancer, in large part because the ER is the target of tamoxifen and similar drugs. In the previous issue of Breast Cancer Research, Neubauer and colleagues used a proteomic approach to identify proteins that are differentially regulated by ER in breast tumors. The authors showed that ER-negative tumors have elevated levels of PGRMC1 (progesterone receptor membrane component-1), a hormone receptor component and binding partner for P450 proteins. In contrast, PGRMC1 was phosphorylated in ER-positive tumors. The staining patterns of ER and PGRMC1 were mutually exclusive in breast tumor sections, and PGRMC1 staining was sharply increased in hypoxic areas of the tumor. The results suggest that PGRMC1 is a candidate biomarker for ER status and hypoxia in breast cancer

Natural language processing

Beginning with the basic issues of NLP, this chapter aims to chart the major research activities in this area since the last ARIST Chapter in 1996 (Haas, 1996), including: (i) natural language text processing systems - text summarization, information extraction, information retrieval, etc., including domain-specific applications; (ii) natural language interfaces; (iii) NLP in the context of www and digital libraries ; and (iv) evaluation of NLP systems

Decadal changes of the Western Arabian sea ecosystem

Historical data from oceanographic expeditions and remotely sensed data on outgoing longwave radiation, temperature, wind speed and ocean color in the western Arabian Sea (1950–2010) were used to investigate decadal trends in the physical and biochemical properties of the upper 300 m. 72 % of the 29,043 vertical profiles retrieved originated from USA and UK expeditions. Increasing outgoing longwave radiation, surface air temperatures and sea surface temperature were identified on decadal timescales. These were well correlated with decreasing wind speeds associated with a reduced Siberian High atmospheric anomaly. Shoaling of the oxycline and nitracline was observed as well as acidification of the upper 300 m. These physical and chemical changes were accompanied by declining chlorophyll-a concentrations, vertical macrofaunal habitat compression, declining sardine landings and an increase of fish kill incidents along the Omani coast

Chromatic Illumination Discrimination Ability Reveals that Human Colour Constancy Is Optimised for Blue Daylight Illuminations

The phenomenon of colour constancy in human visual perception keeps surface colours constant, despite changes in their reflected light due to changing illumination. Although colour constancy has evolved under a constrained subset of illuminations, it is unknown whether its underlying mechanisms, thought to involve multiple components from retina to cortex, are optimised for particular environmental variations. Here we demonstrate a new method for investigating colour constancy using illumination matching in real scenes which, unlike previous methods using surface matching and simulated scenes, allows testing of multiple, real illuminations. We use real scenes consisting of solid familiar or unfamiliar objects against uniform or variegated backgrounds and compare discrimination performance for typical illuminations from the daylight chromaticity locus (approximately blue-yellow) and atypical spectra from an orthogonal locus (approximately red-green, at correlated colour temperature 6700 K), all produced in real time by a 10-channel LED illuminator. We find that discrimination of illumination changes is poorer along the daylight locus than the atypical locus, and is poorest particularly for bluer illumination changes, demonstrating conversely that surface colour constancy is best for blue daylight illuminations. Illumination discrimination is also enhanced, and therefore colour constancy diminished, for uniform backgrounds, irrespective of the object type. These results are not explained by statistical properties of the scene signal changes at the retinal level. We conclude that high-level mechanisms of colour constancy are biased for the blue daylight illuminations and variegated backgrounds to which the human visual system has typically been exposed

Supramolecular assemblies involving metal organic ring interactions: Heterometallic Cu(II)-Ln(III) two dimensional coordination polymers

Three isostructural two-dimensional coordination polymers of the general formula [Ln2(CuL)3(H2O)9]$5.5H2O, where Ln is La (1), Nd (2), and Gd (3), have been synthesized and isolated from aqueous solutions and their single-crystal structures determined by X-ray diffraction. The supramolecular interaction between the non-aromatic metallorings plays an important role in stabilizing the structure of these compounds. The thermal stability, reversible solvent uptake, electronic properties and magnetic studies of these compounds are also reported

Wavelet transform selection method for biological signal treatment

This paper presents the development and evaluation of an algorithm for compressing fetal electrocardiographic signals, taken superficially on the mother’s abdomen. This method for acquiring ECG signals produces a great volumen of information that makes it difficult for the records to be stored and transmitted. The proposed algorithm aims for lossless compression of the signal by applying Wavelet Packet Transform to keep errors below the unit, with compression rates over 20:1 and with conserved energy in reconstruction as comparison parameter. For algorithm validation, the signal files provided by PhysioBank DataBase are used

A specialized learner for inferring structured cis-regulatory modules

BACKGROUND: The process of transcription is controlled by systems of transcription factors, which bind to specific patterns of binding sites in the transcriptional control regions of genes, called cis-regulatory modules (CRMs). We present an expressive and easily comprehensible CRM representation which is capable of capturing several aspects of a CRM's structure and distinguishing between DNA sequences which do or do not contain it. We also present a learning algorithm tailored for this domain, and a novel method to avoid overfitting by controlling the expressivity of the model. RESULTS: We are able to find statistically significant CRMs more often then a current state-of-the-art approach on the same data sets. We also show experimentally that each aspect of our expressive CRM model space makes a positive contribution to the learned models on yeast and fly data. CONCLUSION: Structural aspects are an important part of CRMs, both in terms of interpreting them biologically and learning them accurately. Source code for our algorithm is available at

The NADPARK study: A randomized phase I trial of nicotinamide riboside supplementation in Parkinson’s disease

We conducted a double-blinded phase I clinical trial to establish whether nicotinamide adenine dinucleotide (NAD) replenishment therapy, via oral intake of nicotinamide riboside (NR), is safe, augments cerebral NAD levels, and impacts cerebral metabolism in Parkinson’s disease (PD). Thirty newly diagnosed, treatment-naive patients received 1,000 mg NR or placebo for 30 days. NR treatment was well tolerated and led to a significant, but variable, increase in cerebral NAD levels—measured by 31phosphorous magnetic resonance spectroscopy—and related metabolites in the cerebrospinal fluid. NR recipients showing increased brain NAD levels exhibited altered cerebral metabolism, measured by 18fluoro-deoxyglucose positron emission tomography, and this was associated with mild clinical improvement. NR augmented the NAD metabolome and induced transcriptional upregulation of processes related to mitochondrial, lysosomal, and proteasomal function in blood cells and/or skeletal muscle. Furthermore, NR decreased the levels of inflammatory cytokines in serum and cerebrospinal fluid. Our findings nominate NR as a potential neuroprotective therapy for PD, warranting further investigation in larger trials.publishedVersio