Despite high estimates of the heritability of aggressiveness, the genetic basis for individual differences in aggression remains unclear. Previously, we showed that the wild-derived mouse strain MSM/Ms (MSM) exhibits highly aggressive behaviors, and identified chromosome 15 (Chr 15) as the location of one of the genetic factors behind this escalated aggression by using a panel of consomic strai...

This paper investigates the relationship between the Logical Algorithms formalism (LA) of Ganzinger and McAllester and Constraint Handling Rules (CHR). We present a translation scheme from LA to CHR: CHR with rule priorities and show that the metacomplexity theorem for LA can be applied to a subset of CHR via inverse translation. This result is compared with previous work. Inspired by the high-...

To identify the genes controlling plasma concentrations of triglycerides (TGs), FFAs, and glucose, we carried out a quantitative trait loci (QTL) analysis of the closely related mouse strains New Zealand Black (NZB/B1NJ) and New Zealand White (NZW/LacJ), which share 63% of their genomes. The NZB x NZW F(2) progeny were genotyped and phenotyped to detect QTL, and then comparative genomics, bioin...

activity of these two cytokines is neutralized. Specific alleles of the human IL1RN were found to be associated with chronic hypochlorhydric response to Helicobacter pylori infection and the risk of gastric cancer [4], and with severe clinical symptoms in several chronic inflammatory diseases, including systemic lupus erythematosus [5], ulcerative colitis [6] and alopecia areata [7]. Two SNPs w...

Colitic lesions are much more severe in C3H/HeJBir (C3H) than C57BL/6J (B6) mice after 10 backcrosses of a disrupted interleukin-10 (Il10) gene. This study identified cytokine deficiency-induced colitis susceptibility (Cdcs) modifiers by using quantitative trait locus (QTL) analysis. A segregating F(2) population (n = 408) of IL-10-deficient mice was genotyped and necropsied at 6 weeks of age. ...

Among people at genetic risk of schizophrenia, those who use cannabis show smaller thalamic and hippocampal volumes. We evaluated this relationship in people at clinical high risk (CHR) of psychosis. The Alcohol and Drug Use Scale was used to identify 132 CHR cannabis users, the majority of whom were non-dependent cannabis users, 387 CHR non-users, and 204 healthy control non-users, and all par...

The rule-based programming language Constraint Handling Rules (CHR) has been introduced to ease the development and implementation of constraint solvers. Currently, several CHR libraries exist in languages such as Prolog, Haskell and Java. The K.U.Leuven JCHR system is a high-performance integration of Constraint Handling Rules (CHR) and Java. JCHR is currently by far the most efficient impleme...

Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed, forward chaining rules. To ensure CHR propagation rules are applied at most once with the same combination of constraints, CHR implementations maintain a socalled propagation history. The performance impact of this history can be significant. We introduce several optimizations that, for the maj...

This paper proposes an integration of Constraint Handling Rules (CHR), a rulebased language to specify application-oriented constraint solvers, into the declarative multiparadigm language Curry. This integration provides a convenient way to specify and use flexible constraint systems in applications implemented in Curry. We propose to represent CHR as data objects in Curry programs so that the ...

Adaptive constraint processing with Constraint Handling Rules (CHR) allows the application of intelligent search strategies to solve Constraint Satisfaction Problems (CSP), but these search algorithms have to be implemented in the host language of adaptive CHR, which is currently Java. On the other hand, CHR enables to explicitly formulate search in CHR, using disjunctive bodies to model choice...