LTLf and LDLf Monitoring: A Technical Report

Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of properties expressed in LTL on finite traces (LTLf) and in its extension LDLf. LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is obtained by combining regular expressions and LTLf, adopting the syntax of propositional dynamic logic (PDL). Interestingly, in spite of its greater expressivity, LDLf has exactly the same computational complexity of LTLf. We show that LDLf is able to capture, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-LTL monitors. This makes it possible to declaratively capture monitoring metaconstraints, and check them by relying on usual logical services instead of ad-hoc algorithms. This, in turn, enables to flexibly monitor constraints depending on the monitoring state of other constraints, e.g., "compensation" constraints that are only checked when others are detected to be violated. In addition, we devise a direct translation of LDLf formulas into nondeterministic automata, avoiding to detour to Buechi automata or alternating automata, and we use it to implement a monitoring plug-in for the PROM suite

Familial Risk and a Genome-Wide Supported DRD2 Variant for Schizophrenia Predict Lateral Prefrontal-Amygdala Effective Connectivity During Emotion Processing

The brain functional mechanisms translating genetic risk into emotional symptoms in schizophrenia (SCZ) may include abnormal functional integration between areas key for emotion processing, such as the amygdala and the lateral prefrontal cortex (LPFC). Indeed, investigation of these mechanisms is also complicated by emotion processing comprising different subcomponents and by disease-associated state variables. Here, our aim was to investigate the relationship between risk for SCZ and effective connectivity between the amygdala and the LPFC during different subcomponents of emotion processing. Thus, we first characterized with dynamic causal modeling (DCM) physiological patterns of LPFC amygdala effective connectivity in healthy controls (HC) during implicit and explicit emotion processing. Then, we compared DCM patterns in a subsample of HC, in patients with SCZ and in healthy siblings of patients (SIB), matched for demographics. Finally, we investigated in HC association of LPFC amygdala effective connectivity with a genome-wide supported variant increasing genetic risk for SCZ and possibly relevant to emotion processing (DRD2 rs2514218). In HC, we found that a "bottom-up" amygdala-to-LPFC pattern during implicit processing and a "top-down" LPFC-to-amygdala pattern during explicit processing were the most likely directional models of effective connectivity. Differently, implicit emotion processing in SIB, SCZ, and HC homozygous for the SCZ risk rs2514218 C allele was associated with decreased probability for the "bottom-up" as well as with increased probability for the "top-down" model. These findings suggest that task-specific anomaly in the directional flow of information or disconnection between the amygdala and the LPFC is a good candidate endophenotype of SCZ.Peer reviewe

DRD2 genotype predicts prefrontal activity during working memory after stimulation of D2 receptors with bromocriptine

Rationale: Pharmacological stimulation of D2 receptors modulates prefrontal neural activity associated with working memory (WM) processing. The T allele of a functional single-nucleotide polymorphism (SNP) within DRD2 (rs1076560 G > T) predicts reduced relative expression of the D2S receptor isoform and less efficient neural cortical responses during WM tasks. Objective: We used functional MRI to test the hypothesis that DRD2 rs1076560 genotype interacts with pharmacological stimulation of D2 receptors with bromocriptine on prefrontal responses during different loads of a spatial WM task (N-Back). Methods: Fifty-three healthy subjects (38 GG and 15 GT) underwent two 3-T functional MRI scans while performing the 1-, 2- and 3-Back versions of the N-Back WM task. Before the imaging sessions, either bromocriptine or placebo was administered to all subjects in a counterbalanced order. A factorial repeated-measures ANOVA within SPM8 (p < 0.05, family-wise error corrected) was used. Results: On bromocriptine, GG subjects had reduced prefrontal activity at 3-Back together with a significant decrement in performance, compared with placebo. On the other hand, GT subjects had lower activity for the same level of performance at 1-Back but a trend for reduced behavioral performance in the face of unchanged activity at 2-Back. Conclusions: These results indicate that bromocriptine stimulation modulates prefrontal activity in terms of disengagement or of efficiency depending on DRD2 genotype and working memory load

Variation in dopamine D2 and serotonin 5-HT2A receptor genes is associated with working memory processing and response to treatment with antipsychotics

Dopamine D2 and serotonin 5-HT2A receptors contribute to modulate prefrontal cortical physiology and response to treatment with antipsychotics in schizophrenia. Similarly, functional variation in the genes encoding these receptors is also associated with these phenotypes. In particular, the DRD2 rs1076560 T allele predicts a lower ratio of expression of D2 short/long isoforms, suboptimal working memory processing, and better response to antipsychotic treatment compared with the G allele. Furthermore, the HTR2A T allele is associated with lower 5-HT2A expression, impaired working memory processing, and poorer response to antipsychotics compared with the C allele. Here, we investigated in healthy subjects whether these functional polymorphisms have a combined effect on prefrontal cortical physiology and related cognitive behavior linked to schizophrenia as well as on response to treatment with secondgeneration antipsychotics in patients with schizophrenia. In a total sample of 620 healthy subjects, we found that subjects with the rs1076560 T and rs6314 T alleles have greater fMRI prefrontal activity during working memory. Similar results were obtained within the attentional domain. Also, the concomitant presence of the rs1076560 T/rs6314 T alleles also predicted lower behavioral accuracy during working memory. Moreover, we found that rs1076560 T carrier/rs6314 CC individuals had better responses to antipsychotic treatment in two independent samples of patients with schizophrenia (n¼63 and n¼54, respectively), consistent with the previously reported separate effects of these genotypes. These results indicate that DRD2 and HTR2A genetic variants together modulate physiological prefrontal efficiency during working memory and also modulate the response to antipsychotics. Therefore, these results suggest that further exploration is needed to better understand the clinical consequences of these genotype–phenotype relationships

Functional network resilience to pathology in presymptomatic genetic frontotemporal dementia

© 2019 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/)The presymptomatic phase of neurodegenerative diseases are characterized by structural brain changes without significant clinical features. We set out to investigate the contribution of functional network resilience to preserved cognition in presymptomatic genetic frontotemporal dementia. We studied 172 people from families carrying genetic abnormalities in C9orf72, MAPT, or PGRN. Networks were extracted from functional MRI data and assessed using graph theoretical analysis. We found that despite loss of both brain volume and functional connections, there is maintenance of an efficient topological organization of the brain's functional network in the years leading up to the estimated age of frontotemporal dementia symptom onset. After this point, functional network efficiency declines markedly. Reduction in connectedness was most marked in highly connected hub regions. Measures of topological efficiency of the brain's functional network and organization predicted cognitive dysfunction in domains related to symptomatic frontotemporal dementia and connectivity correlated with brain volume loss in frontotemporal dementia. We propose that maintaining the efficient organization of the brain's functional network supports cognitive health even as atrophy and connectivity decline presymptomatically.This work was funded by the UK Medical Research Council, the Italian Ministry of Health, and the Canadian Institutes of Health Research as part of a Centres of Excellence in Neurodegeneration grant [grant number CoEN015]. JBR was supported by the Wellcome Trust [grant number 103838]. JBR, RB, TR, and SJ were supported by the NIHR Cambridge Biomedical Research Centre and Medical Research Council [grant number G1100464]. The Dementia Research Centre at UCL is supported by Alzheimer's Research UK, Brain Research Trust, and The Wolfson Foundation, NIHR Queen Square Dementia Biomedical Research Unit, NIHR UCL/H Biomedical Research Centre and Dementia Platforms UK. JDR is supported by an MRC Clinician Scientist Fellowship [grant number MR/M008525/1] and has received funding from the NIHR Rare Disease Translational Research Collaboration [grant number BRC149/NS/MH]. MM is supported by the Canadian Institutes of Health Research, Department of Medicine at Sunnybrook Health Sciences Centre and the University of Toronto, and the Sunnybrook Research Institute. RL is supported by Réseau de médecine génétique appliquée, Fonds de recherche du Québec—Santé [grant number FRQS]. FT is supported by the Italian Ministry of Health. DG is supported by the Fondazione Monzino and Italian Ministry of Health, Ricerca Corrente. SS is supported by Cassa di Risparmio di Firenze [grant number CRF 2013/0199] and the Ministry of Health [grant number RF-2010-2319722]. JvS is supported by The Netherlands Organisation for Health Research and Development Memorable grant [grant number 733050103] and Netherlands Alzheimer Foundation Memorable grant [grant number 733050103].info:eu-repo/semantics/publishedVersio

Disease-related cortical thinning in presymptomatic granulin mutation carriers

© 2020 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY-NC-ND license.Mutations in the granulin gene (GRN) cause familial frontotemporal dementia. Understanding the structural brain changes in presymptomatic GRN carriers would enforce the use of neuroimaging biomarkers for early diagnosis and monitoring. We studied 100 presymptomatic GRN mutation carriers and 94 noncarriers from the Genetic Frontotemporal dementia initiative (GENFI), with MRI structural images. We analyzed 3T MRI structural images using the FreeSurfer pipeline to calculate the whole brain cortical thickness (CTh) for each subject. We also perform a vertex-wise general linear model to assess differences between groups in the relationship between CTh and diverse covariables as gender, age, the estimated years to onset and education. We also explored differences according to TMEM106B genotype, a possible disease modifier. Whole brain CTh did not differ between carriers and noncarriers. Both groups showed age-related cortical thinning. The group-by-age interaction analysis showed that this age-related cortical thinning was significantly greater in GRN carriers in the left superior frontal cortex. TMEM106B did not significantly influence the age-related cortical thinning. Our results validate and expand previous findings suggesting an increased CTh loss associated with age and estimated proximity to symptoms onset in GRN carriers, even before the disease onset.The authors thank all the volunteers for their participation in this study. SBE is a recipient of the Rio-Hortega post-residency grant from the Instituto de Salud Carlos III, Spain. This study was partially funded by Fundació Marató de TV3, Spain (grant no. 20143810 to RSV). The GENFI study has been supported by the Medical Research Council UK, the Italian Ministry of Health and the Canadian Institutes of Health Research as part of a Centres of Excellence in Neurodegeneration grant, as well as other individual funding to investigators. KM has received funding from an Alzheimer’s Society PhD studentship. JDR acknowledges support from the National Institute for Health Research (NIHR) Queen Square Dementia Biomedical Research Unit and the University College London Hospitals Biomedical Research Centre, the Leonard Wolfson Experimental Neurology Centre, the UK Dementia Research Institute, Alzheimer’s Research UK, the Brain Research Trust and the Wolfson Foundation. JCvS was supported by the Dioraphte Foundation grant 09-02-03-00, the Association for Frontotemporal Dementias Research Grant 2009, The Netherlands Organization for Scientific Research (NWO) grant HCMI 056-13-018, ZonMw Memorabel (Deltaplan Dementie, project number 733 051 042), Alzheimer Nederland and the Bluefield project. CG have received funding from JPND-Prefrontals VR Dnr 529-2014-7504, VR: 2015-02926, and 2018-02754, the Swedish FTD Initiative-Schörling Foundation, Alzheimer Foundation, Brain Foundation and Stockholm County Council ALF. DG has received support from the EU Joint Programme – Neurodegenerative Disease Research (JPND) and the Italian Ministry of Health (PreFrontALS) grant 733051042. JBR is funded by the Wellcome Trust (103838) and the National Institute for Health Research (NIHR) Cambridge Biomedical Research Centre. MM has received funding from a Canadian Institutes of Health Research operating grant and the Weston Brain Institute and Ontario Brain Institute. RV has received funding from the Mady Browaeys Fund for Research into Frontotemporal Dementia. EF has received funding from a CIHR grant #327387. JDR is an MRC Clinician Scientist (MR/M008525/1) and has received funding from the NIHR Rare Diseases Translational Research Collaboration (BRC149/NS/MH), the Bluefield Project and the Association for Frontotemporal Degeneration. MS was supported by a grant 779257 “Solve-RD” from the Horizon 2020 research and innovation programme.info:eu-repo/semantics/publishedVersio

Brain functional network integrity sustains cognitive function despite atrophy in presymptomatic genetic frontotemporal dementia

© 2020 The Authors. Alzheimer's & Dementia published by Wiley Periodicals, Inc. on behalf of Alzheimer's Association. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.Introduction: The presymptomatic phase of neurodegenerative disease can last many years, with sustained cognitive function despite progressive atrophy. We investigate this phenomenon in familial frontotemporal dementia (FTD). Methods: We studied 121 presymptomatic FTD mutation carriers and 134 family members without mutations, using multivariate data-driven approach to link cognitive performance with both structural and functional magnetic resonance imaging. Atrophy and brain network connectivity were compared between groups, in relation to the time from expected symptom onset. Results: There were group differences in brain structure and function, in the absence of differences in cognitive performance. Specifically, we identified behaviorally relevant structural and functional network differences. Structure-function relationships were similar in both groups, but coupling between functional connectivity and cognition was stronger for carriers than for non-carriers, and increased with proximity to the expected onset of disease. Discussion: Our findings suggest that the maintenance of functional network connectivity enables carriers to maintain cognitive performance.K.A.T. is supported by the British Academy Postdoctoral Fellowship (PF160048) and the Guarantors of Brain (101149). J.B.R. is supported by the Wellcome Trust (103838), the Medical Research Council (SUAG/051 G101400), and the Cambridge NIHR Biomedical Research Centre. R. S.‐V. is supported by the Instituto de Salud Carlos III and the JPND network PreFrontAls (01ED1512/AC14/0013) and the Fundació Marató de TV3 (20143810). M.M and E.F are supported by the UK Medical Research Council, the Italian Ministry of Health, and the Canadian Institutes of Health Research as part of a Centres of Excellence in Neurodegeneration grant, and also a Canadian Institutes of Health Research operating grant (MOP 327387) and funding from the Weston Brain Institute. J.D.R., D.C., and K.M.M. are supported by the NIHR Queen Square Dementia Biomedical Research Unit, the NIHR UCL/H Biomedical Research Centre, and the Leonard Wolfson Experimental Neurology Centre (LWENC) Clinical Research Facility. J.D.R. is supported by an MRC Clinician Scientist Fellowship (MR/M008525/1) and has received funding from the NIHR Rare Disease Translational Research Collaboration (BRC149/NS/MH), the MRC UK GENFI grant (MR/ M023664/1), and The Bluefield Project. F.T. is supported by the Italian Ministry of Health (Grant NET‐2011‐02346784). L.C.J. and J.V.S. are supported by the Association for Frontotemporal Dementias Research Grant 2009, ZonMw Memorabel project number 733050103 and 733050813, and the Bluefield project. R.G. is supported by Italian Ministry of Health, Ricerca Corrente. J.L. was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy within the framework of the Munich Cluster for Systems Neurology (EXC 2145; SyNergy ‐ ID 390857198). The Swedish contributors C.G., L.O., and C.A. were supported by grants from JPND Prefrontals Swedish Research Council (VR) 529‐2014‐7504, JPND GENFI‐PROX Swedish Research Council (VR) 2019‐02248, Swedish Research Council (VR) 2015‐ 02926, Swedish Research Council (VR) 2018‐02754, Swedish FTD Initiative‐Schorling Foundation, Swedish Brain Foundation, Swedish Alzheimer Foundation, Stockholm County Council ALF, Karolinska Institutet Doctoral Funding, and StratNeuro, Swedish Demensfonden, during the conduct of the study.info:eu-repo/semantics/publishedVersio

The inner fluctuations of the brain in presymptomatic frontotemporal dementia: the chronnectome fingerprint

© 2019 Published by Elsevier Inc. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)Frontotemporal Dementia (FTD) is preceded by a long period of subtle brain changes, occurring in the absence of overt cognitive symptoms, that need to be still fully characterized. Dynamic network analysis based on resting-state magnetic resonance imaging (rs-fMRI) is a potentially powerful tool for the study of preclinical FTD. In the present study, we employed a "chronnectome" approach (recurring, time-varying patterns of connectivity) to evaluate measures of dynamic connectivity in 472 at-risk FTD subjects from the Genetic Frontotemporal dementia research Initiative (GENFI) cohort. We considered 249 subjects with FTD-related pathogenetic mutations and 223 mutation non-carriers (HC). Dynamic connectivity was evaluated using independent component analysis and sliding-time window correlation to rs-fMRI data, and meta-state measures of global brain flexibility were extracted. Results show that presymptomatic FTD exhibits diminished dynamic fluidity, visiting less meta-states, shifting less often across them, and travelling through a narrowed meta-state distance, as compared to HC. Dynamic connectivity changes characterize preclinical FTD, arguing for the desynchronization of the inner fluctuations of the brain. These changes antedate clinical symptoms, and might represent an early signature of FTD to be used as a biomarker in clinical trials.This work was supported in part by grants from the NIH (R01REB020407, P20GM103472), NSF grant 1539067 and the Well- come Trust grant (JBR 103838).info:eu-repo/semantics/publishedVersio

Examining empathy deficits across familial forms of frontotemporal dementia within the GENFI cohort

© 2022 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY license (http:// creativecommons.org/licenses/by/4.0/).Background: Reduced empathy is a common symptom in frontotemporal dementia (FTD). Although empathy deficits have been extensively researched in sporadic cases, few studies have explored the differences in familial forms of FTD. Methods: Empathy was examined using a modified version of the Interpersonal Reactivity Index (mIRI) in 676 participants from the Genetic FTD Initiative: 216 mutation-negative controls, 192 C9orf72 expansion carriers, 193 GRN mutation carriers and 75 MAPT mutation carriers. Using global scores from the CDR® plus NACC FTLD, mutation carriers were divided into three groups, asymptomatic (0), very mildly symptomatic/prodromal (.5), or fully symptomatic (1 or more). The mIRI Total score, as well as the subscores of Empathic Concern (EC) and Perspective Taking (PT) were assessed. Linear regression models with bootstrapping were used to assess empathy ratings across genetic groups, as well as across phenotypes in the symptomatic carriers. Neural correlates of empathy deficits were examined using a voxel-based morphometry (VBM) analysis. Results: All fully symptomatic groups scored lower on the mIRI Total, EC, and PT when compared to controls and their asymptomatic or prodromal counterparts (all p < .001). Prodromal C9orf72 expansion carriers also scored significantly lower than controls on the mIRI Total score (p = .046). In the phenotype analysis, all groups (behavioural variant FTD, primary progressive aphasia and FTD with amyotrophic lateral sclerosis) scored significantly lower than controls (all p < .007). VBM revealed an overlapping neural correlate of the mIRI Total score across genetic groups in the orbitofrontal lobe but with additional involvement in the temporal lobe, insula and basal ganglia in both the GRN and MAPT groups, and uniquely more posterior regions such as the parietal lobe and thalamus in the GRN group, and medial temporal structures in the MAPT group. Conclusions: Significant empathy deficits present in genetic FTD, particularly in symptomatic individuals and those with a bvFTD phenotype, while prodromal deficits are only seen using the mIRI in C9orf72 expansion carriers.This work was supported by the NIHR UCL/H Biomedical Research Centre, the Leonard Wolfson Experimental Neurology Centre (LWENC) Clinical Research Facility, and the UK Dementia Research Institute, which receives its funding from UK DRI Ltd, funded by the UK Medical Research Council, Alzheimer's Society and Alzheimer's Research UK. JDR is supported by an MRC Clinician Scientist Fellowship (MR/M008525/1) and has received funding from the NIHR Rare Disease Translational Research Collaboration (BRC149/NS/MH). This work was also supported by the MRC UK GENFI grant (MR/M023664/1), the Bluefield Project and the JPND GENFI-PROX grant (2019-02248). Several authors of this publication are members of the European Reference Network for Rare Neurological Diseases - Project ID No 739510. RC/CG are supported by a Frontotemporal Dementia Research Studentships in Memory of David Blechner funded through The National Brain Appeal (RCN 290173). MB is supported by a Fellowship award from the Alzheimer's Society, UK (AS-JF-19a-004-517). MB's work is also supported by the UK Dementia Research Institute which receives its funding from DRI Ltd, funded by the UK Medical Research Council, Alzheimer's Society and Alzheimer's Research UK. JCVS was supported by the Dioraphte Foundation grant 09-02-03-00, the Association for Frontotemporal Dementias Research Grant 2009, The Netherlands Organisation for Scientific Research grant HCMI 056-13-018, ZonMw Memorabel (Deltaplan Dementie, project number 733 051 042), Alzheimer Nederland and the Bluefield project. FM received funding from the Tau Consortium and the Center for Networked Biomedical Research on Neurodegenerative Disease (CIBERNED). RS-V is supported by an Alzheimer’s Research UK Clinical Research Training Fellowship (ARUK-CRF2017B-2), and has received funding from Fundació Marató de TV3, Spain (grant no. 20143810). CG received funding from JPND-Prefrontals VR Dnr 529-2014-7504, VR 2015-02926 and 2018-02754, the Swedish FTD Inititative-Schörling Foundation, Alzheimer Foundation, Brain Foundation and Stockholm County Council ALF. MM has received funding from a Canadian Institute of Health Research operating grant and the Weston Brain Institute and Ontario Brain Institute. JBR has received funding from the Wellcome Trust (103838) and is supported by the Cambridge University Centre for Frontotemporal Dementia, the Medical Research Council (SUAG/051 G101400) and the National Institute for Health Research Cambridge Biomedical Research Centre (BRC-1215-20014). EF has received funding from a CIHR grant #327387. DG received support from the EU Joint Programme – Neurodegenerative Disease Research and the Italian Ministry of Health (PreFrontALS) grant 733051042. RV has received funding from the Mady Browaeys Fund for Research into Frontotemporal Dementia. MO has received funding from BMBF (FTLDc).info:eu-repo/semantics/publishedVersio