s | 69 Abstract Introduction: Patients with schizophrenia show deficits symptoms as anhedonia. This study was designed to find neural correlates of anhedonia during shopping behavior and compared the results between healthy controls and patients with schizophrenia. We hypothesized that anhedonia would influence the shopping behavior as negative way in schizophrenia. Methods: 20 patients with sc...

We recently mapped two quantitative trait loci that have widespread effects on hippocampal architecture in mouse: Hipp1a and Hipp5a. We also noted remarkable strain differences in the relative sizes of different hippocampal regions. Estimated heritable variation for these differences was 42% in hippocampus proper, 40% in dentate gyrus, 31% in granule cell layer and 18% in pyramidal cell layer. ...

Mouse resources such as Collaborative Cross (CC), Outbred Stocks (OS), Hybrid Mouse Diversity Panel (HMDP), and Chromosome Substitution Strains (CSSs) have been instrumental to many progresses in the studies of complex traits genetics. We have established a population of chromosome 1 (Chr 1) substitution lines (C1SLs) in which donor chromosomes were derived from Chinese wild mice. Genome sequen...

Constraint Handling Rules, CHR, have proved to be effective for a large range of reasoning tasks, which makes it interesting in different sorts of interactive installations. Typically, such an installation involves a large number of cooperating software components that need to refer to a common knowledge. Using CHR’s constraint stores as a knowledge representation may be appealing from a theore...

This volume contains the papers presented at CHR 2012, the 9th International Workshop on Constraint Handling Rules held on September 4th, 2012 in Budapest, at the occasion of ICLP 2012. This workshop was the ninth in a series of annual CHR workshops. It means to bring together in an informal setting, people involved in research on all matters involving CHR, in order to promote the exchange of i...

Constraint Handling Rules (CHR) is a high-level language for writing constraint solvers either from scratch or by modifying existing solvers. An important property of any constraint solver is connuence: The result of a computation should be independent from the order in which constraints arrive and in which rules are applied. In previous work 1], a suucient and necessary condition for the connu...

A series of congenic strains were constructed in which segments of chromosome (chr) 1 from Lewis (LEW) rats were introgressed into the Dahl salt-sensitive (S) strain. Three blood pressure quantitative trait loci (QTL) were defined. Two of these (QTL 1a and QTL 1b) were closely linked in the region between 1q31 and 1q35. The third blood pressure QTL (QTL region 2) was close to the centromere bet...

In this report, we provide a detailed description of the compilation scheme the K.U.Leuven JCHR system uses to compile CHR to efficient Java code. We start from a relatively straightforward adaptation of the traditional CHR compilation scheme for Prolog, and gradually add all its basic optimizations. Next, we show why this compilation scheme is not suited for compilation to an imperative host l...

Although individuals at clinical high risk (CHR) for psychosis exhibit a psychosis-risk syndrome involving attenuated forms of the positive symptoms typical of schizophrenia (SZ), it remains unclear whether their resting-state brain intrinsic functional networks (INs) show attenuated or qualitatively distinct patterns of functional dysconnectivity relative to SZ patients. Based on resting-state...