IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T11:45:24ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2016-03-23T13:38:24Z2016-04-05T12:38:22Zhttp://eprints.imtlucca.it/id/eprint/3325This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/33252016-03-23T13:38:24ZCerebral metabolic pattern in obsessive-compulsive disorder: Altered intercorrelations between regional rates of glucose utilizationCorrelations between normalized regional cerebral metabolic rates for glucose, determined by positron emission tomography with 18F-2-fluoro-2-deoxy-D-glucose, were used to investigate functional associations between pairs of brain regions in 18 adult patients with primary obsessive-compulsive disorder (OCD) of childhood-onset, as compared with 18 age- and sex-matched control subjects. The number of correlations that differed significantly between the two groups exceeded chance, although as many of these correlations were larger in the OCD group relative to controls as were smaller. The two regions that had the largest number of correlations that differed significantly between groups were a left hemisphere superior parietal region and the left hemisphere anterior medial temporal area (which includes principally the amygdala). Correlations involving the caudate nuclei did not differ between the two groups for the most part. Anterior limbic/paralimbic regions had correlations in the OCD group that were significantly larger with frontal areas than in controls, and correlations that were significantly smaller with posterior brain regions. This pattern was especially pronounced for the left hemisphere anterior medial temporal region. These results suggest that the correlation pattern in OCD is not characterized by an overall loss of functional integration but, rather, by functional reorganization.Barry HorwitzSusan E. SwedoCheryl L. GradyPietro Pietrinipietro.pietrini@imtlucca.itMark B. SchapiroJudith L. RapoportStanley I. Rapoport2011-05-26T12:40:31Z2011-07-11T14:36:27Zhttp://eprints.imtlucca.it/id/eprint/375This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3752011-05-26T12:40:31ZAction and State-based Logics for Process AlgebrasProcess algebras are generally recognized as a convenient tool for describing concurrent systems at different levels of abstraction. They rely on a small set of basic operators which correspond to primitive notions on concurrent systems and on one or more notions of behavioural equivalence or preorder. The operators are used to build complex systems from more elementary ones. The behavioural equivalences are used to study the relationships between different descriptions of the same system at different levels of abstractions and thus to perform part of the analysis.Rocco De Nicolar.denicola@imtlucca.it