A Declarative Framework for Specifying and Enforcing Purpose-aware Policies

Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement of purpose-aware policies are unsatisfactory for their ambiguous semantics of purposes and/or lack of support to the run-time enforcement of policies. In this paper, we propose a declarative framework based on a first-order temporal logic that allows us to give a precise semantics to purpose-aware policies and to reuse algorithms for the design of a run-time monitor enforcing purpose-aware policies. We also show the complexity of the generation and use of the monitor which, to the best of our knowledge, is the first such a result in literature on purpose-aware policies.Comment: Extended version of the paper accepted at the 11th International Workshop on Security and Trust Management (STM 2015

Downregulation of exosomal miR-204-5p and miR-632 as a biomarker for FTD: a GENFI study

OBJECTIVE: To determine whether exosomal microRNAs (miRNAs) in cerebrospinal fluid (CSF) of patients with frontotemporal dementia (FTD) can serve as diagnostic biomarkers, we assessed miRNA expression in the Genetic Frontotemporal Dementia Initiative (GENFI) cohort and in sporadic FTD. METHODS: GENFI participants were either carriers of a pathogenic mutation in progranulin, chromosome 9 open reading frame 72 or microtubule-associated protein tau or were at risk of carrying a mutation because a first-degree relative was a known symptomatic mutation carrier. Exosomes were isolated from CSF of 23 presymptomatic and 15 symptomatic mutation carriers and 11 healthy non-mutation carriers. Expression of 752 miRNAs was measured using quantitative PCR (qPCR) arrays and validated by qPCR using individual primers. MiRNAs found differentially expressed in symptomatic compared with presymptomatic mutation carriers were further evaluated in a cohort of 17 patients with sporadic FTD, 13 patients with sporadic Alzheimer's disease (AD) and 10 healthy controls (HCs) of similar age. RESULTS: In the GENFI cohort, miR-204-5p and miR-632 were significantly decreased in symptomatic compared with presymptomatic mutation carriers. Decrease of miR-204-5p and miR-632 revealed receiver operator characteristics with an area of 0.89 (90% CI 0.79 to 0.98) and 0.81 (90% CI 0.68 to 0.93), respectively, and when combined an area of 0.93 (90% CI 0.87 to 0.99). In sporadic FTD, only miR-632 was significantly decreased compared with AD and HCs. Decrease of miR-632 revealed an area of 0.90 (90% CI 0.81 to 0.98). CONCLUSIONS: Exosomal miR-204-5p and miR-632 have potential as diagnostic biomarkers for genetic FTD and miR-632 also for sporadic FTD

Downregulation of exosomal miR-204-5p and miR-632 as a biomarker for FTD: A GENFI study

Objective: To determine whether exosomal microRNAs (miRNAs) in cerebrospinal fluid (CSF) of patients with frontotemporal dementia (FTD) can serve as diagnostic biomarkers, we assessed miRNA expression in the Genetic Frontotemporal Dementia Initiative (GENFI) cohort and in sporadic FTD. Methods: GENFI participants were either carriers of a pathogenic mutation in progranulin, chromosome 9 open reading frame 72 or microtubule-associated protein tau or were at risk of carrying a mutation because a first-degree relative was a known symptomatic mutation carrier. Exosomes were isolated from CSF of 23 presymptomatic and 15 symptomatic mutation carriers and 11 healthy non-mutation carriers. Expression of 752 miRNAs was measured using quantitative PCR (qPCR) arrays and validated by qPCR using individual primers. MiRNAs found differentially expressed in symptomatic compared with presymptomatic mutation carriers were further evaluated in a cohort of 17 patients with sporadic FTD, 13 patients with sporadic Alzheimer's disease (AD) and 10 healthy controls (HCs) of similar age. Results: In the GENFI cohort, miR-204-5p and miR-632 were significantly decreased in symptomatic compared with presymptomatic mutation carriers. Decrease of miR-204-5p and miR-632 revealed receiver operator characteristics with an area of 0.89 (90% CI 0.79 to 0.98) and 0.81 (90% CI 0.68 to 0.93), respectively, and when combined an area of 0.93 (90% CI 0.87 to 0.99). In sporadic FTD, only miR-632 was significantly decreased compared with AD and HCs. Decrease of miR-632 revealed an area of 0.90 (90% CI 0.81 to 0.98). Conclusions: Exosomal miR-204-5p and miR-632 have potential as diagnostic biomarkers for genetic FTD and miR-632 also for sporadic FTD

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Runtime monitoring is a central operational decision support task in business process management. It helps process executors to check on-the-fly whether a running process instance satisfies business constraints of interest, providing an immediate feedback when deviations occur. We study runtime monitoring of properties expressed in ltlf, a variant of the classical ltl (Linear-time Temporal Logic) that is interpreted over finite traces, and in its extension ldlf, a powerful logic obtained by combining ltlf with regular expressions. We show that ldlf is able to declaratively express, in the logic itself, not only the constraints to be monitored, but also the de facto standard rv-LTL monitors. On the one hand, this enables us to directly employ the standard characterization of ldlf based on finite-state automata to monitor constraints in a fine-grained way. On the other hand, it provides the basis for declaratively expressing sophisticated metaconstraints that predicate on the monitoring state of other constraints, and to check them by relying on standard logical services instead of ad hoc algorithms. We then report on how this approach has been effectively implemented using Java to manipulate ldlf formulae and their corresponding monitors, and the RuM rule mining suite as underlying infrastructure

Differentiating between visual hallucination-free dementia with Lewy bodies and corticobasal syndrome on the basis of neuropsychology and perfusion single-photon emission computed tomography

INTRODUCTION: Dementia with Lewy bodies (DLB) and Corticobasal Syndrome (CBS) are atypical parkinsonian disorders with fronto-subcortical and posterior cognitive dysfunction as common features. While visual hallucinations are a good predictor of Lewy body pathology and are rare in CBS, they are not exhibited in all cases of DLB. Given the clinical overlap between these disorders, neuropsychological and imaging markers may aid in distinguishing these entities. METHODS: Prospectively recruited case–control cohorts of CBS (n =31) and visual hallucination-free DLB (n =30), completed neuropsychological and neuropsychiatric measures as well as brain perfusion single-photon emission computed tomography and structural magnetic resonance imaging (MRI). Perfusion data were available for forty-two controls. Behavioural, perfusion, and cortical volume and thickness measures were compared between the groups to identify features that serve to differentiate them. RESULTS: The Lewy body with no hallucinations group performed more poorly on measures of episodic memory compared to the corticobasal group, including the delayed and cued recall portions of the California Verbal Learning Test (F (1, 42) =23.1, P <0.001 and F (1, 42) =14.0, P =0.001 respectively) and the delayed visual reproduction of the Wechsler Memory Scale-Revised (F (1, 36) =9.7, P =0.004). The Lewy body group also demonstrated reduced perfusion in the left occipital pole compared to the corticobasal group (F (1,57) =7.4, P =0.009). At autopsy, the Lewy body cases all demonstrated mixed dementia with Lewy bodies, Alzheimer’s disease and small vessel arteriosclerosis, while the corticobasal cases demonstrated classical corticobasal degeneration in five, dementia with agyrophilic grains + corticobasal degeneration + cerebral amyloid angiopathy in one, Progressive Supranuclear Palsy in two, and Frontotemporal Lobar Degeneration-Ubiquitin/TAR DNA-binding protein 43 proteinopathy in one. MRI measures were not significantly different between the patient groups. CONCLUSIONS: Reduced perfusion in the left occipital region and worse episodic memory performance may help to distinguish between DLB cases who have never manifested with visual hallucinations and CBS at earlier stages of the disease. Development of reliable neuropsychological and imaging markers that improve diagnostic accuracy will become increasingly important as disease modifying therapies become available

Presymptomatic cognitive and neuroanatomical changes in genetic frontotemporal dementia in the Genetic Frontotemporal dementia Initiative (GENFI) study: A cross-sectional analysis

Background: Frontotemporal dementia is a highly heritable neurodegenerative disorder. In about a third of patients, the disease is caused by autosomal dominant genetic mutations usually in one of three genes: progranulin (. GRN), microtubule-associated protein tau (. MAPT), or chromosome 9 open reading frame 72 (. C9orf72). Findings from studies of other genetic dementias have shown neuroimaging and cognitive changes before symptoms onset, and we aimed to identify whether such changes could be shown in frontotemporal dementia. Methods: We recruited participants to this multicentre study who either were known carriers of a pathogenic mutation in GRN, MAPT, or C9orf72, or were at risk of carrying a mutation because a first-degree relative was a known symptomatic carrier. We calculated time to expected onset as the difference between age at assessment and mean age at onset within the family. Participants underwent a standardised clinical assessment and neuropsychological battery. We did MRI and generated cortical and subcortical volumes using a parcellation of the volumetric T1-weighted scan. We used linear mixed-effects models to examine whether the association of neuropsychology and imaging measures with time to expected onset of symptoms differed between mutation carriers and non-carriers. Findings: Between Jan 30, 2012, and Sept 15, 2013, we recruited participants from 11 research sites in the UK, Italy, the Netherlands, Sweden, and Canada. We analysed data from 220 participants: 118 mutation carriers (40 symptomatic and 78 asymptomatic) and 102 non-carriers. For neuropsychology measures, we noted the earliest significant differences between mutation carriers and non-carriers 5 years before expected onset, when differences were significant for all measures except for tests of immediate recall and verbal fluency. We noted the largest Z score differences between carriers and non-carriers 5 years before expected onset in tests of naming (Boston Naming Test -0·7; SE 0·3) and executive function (Trail Making Test Part B, Digit Span backwards, and Digit Symbol Task, all -0·5, SE 0·2). For imaging measures, we noted differences earliest for the insula (at 10 years before expected symptom onset, mean volume as a percentage of total intracranial volume was 0·80% in mutation carriers and 0·84% in non-carriers; difference -0·04, SE 0·02) followed by the temporal lobe (at 10 years before expected symptom onset, mean volume as a percentage of total intracranial volume 8·1% in mutation carriers and 8·3% in non-carriers; difference -0·2, SE 0·1). Interpretation: Structural imaging and cognitive changes can be identified 5-10 years before expected onset of symptoms in asymptomatic adults at risk of genetic frontotemporal dementia. These findings could help to define biomarkers that can stage presymptomatic disease and track disease progression, which will be important for future therapeutic trials. Funding: Centres of Excellence in Neurodegenerati

Strategies for Psychiatric Rehabilitation and their Cognitive Outcomes in Schizophrenia: Review of Last Five-year Studies

Background: Cognitive deficits are core features of Schizophrenia, showing poor response to antipsychotic treatment, therefore non-pharmacological rehabilitative approaches to such a symptom domain need to be identified. However, since not all patients with Schizophrenia exhibit the same cognitive impairment profile, individualized rehabilitative approaches should be set up. Objectives: We explored the last five-year literature addressing the issue of cognitive dysfunction response to rehabilitative methodologies in Schizophrenia to identify possible predictors of response and individualized strategies to treat such a dysfunction. Conclusion: A total of 76 studies were reviewed. Possible predictors of cognitive rehabilitation outcome were identified among patient-specific and approachspecific variables and a general overview of rehabilitative strategies used in the last five years has been depicted. Studies suggest the existence of multifaced and multi-domain variables that could significantly predict pro-cognitive effects of cognitive rehabilitation, which could also be useful for identifying individual-specific rehabilitation trajectories over time. An individualized rehabilitative approach to cognitive impairment in Schizophrenia is possible if taking into account both patient and approach specific predictors of outcomes

Enhancement of automated blood flow estimates (ENABLE) from arterial spin‐labeled MRI

Purpose To validate a multiparametric automated algorithm—ENhancement of Automated Blood fLow Estimates (ENABLE)—that identifies useful and poor arterial spin‐labeled (ASL) difference images in multiple postlabeling delay (PLD) acquisitions and thereby improve clinical ASL. Materials and Methods ENABLE is a sort/check algorithm that uses a linear combination of ASL quality features. ENABLE uses simulations to determine quality weighting factors based on an unconstrained nonlinear optimization. We acquired a set of 6‐PLD ASL images with 1.5T or 3.0T systems among 98 healthy elderly and adults with mild cognitive impairment or dementia. We contrasted signal‐to‐noise ratio (SNR) of cerebral blood flow (CBF) images obtained with ENABLE vs. conventional ASL analysis. In a subgroup, we validated our CBF estimates with single‐photon emission computed tomography (SPECT) CBF images. Results ENABLE produced significantly increased SNR compared to a conventional ASL analysis (Wilcoxon signed‐rank test, P < 0.0001). We also found the similarity between ASL and SPECT was greater when using ENABLE vs. conventional ASL analysis (n = 51, Wilcoxon signed‐rank test, P < 0.0001) and this similarity was strongly related to ASL SNR (t = 24, P < 0.0001). Conclusion These findings suggest that ENABLE improves CBF image quality from multiple PLD ASL in dementia cohorts at either 1.5T or 3.0T, achieved by multiparametric quality features that guided postprocessing of dementia ASL

Abnormal RasGRP1 Expression in the Post-Mortem Brain and Blood Serum of Schizophrenia Patients

Schizophrenia (SCZ) is a polygenic severe mental illness. Genome-wide association studies (GWAS) have detected genomic variants associated with this psychiatric disorder and pathway analyses have indicated immune system and dopamine signaling as core components of risk in dorsolateral-prefrontal cortex (DLPFC) and hippocampus, but the mechanistic links remain unknown. The RasGRP1 gene, encoding for a guanine nucleotide exchange factor, is implicated in dopamine signaling and immune response. RasGRP1 has been identified as a candidate risk gene for SCZ and autoimmune disease, therefore representing a possible point of convergence between mechanisms involving the nervous and the immune system. Here, we investigated RasGRP1 mRNA and protein expression in post-mortem DLPFC and hippocampus of SCZ patients and healthy controls, along with RasGRP1 protein content in the serum of an independent cohort of SCZ patients and control subjects. Differences in RasGRP1 expression between SCZ patients and controls were detected both in DLPFC and peripheral blood of samples analyzed. Our results indicate RasGRP1 may mediate risk for SCZ by involving DLPFC and peripheral blood, thus encouraging further studies to explore its possible role as a biomarker of the disease and/or a target for new medication