Among people with psychosis, those with a history of cannabis use show better cognitive performance than those who are cannabis naïve. It is unknown whether this pattern is present in youth at clinical high risk (CHR) of psychosis. We evaluated relationships between IQ and cannabis use while controlling for use of other substances known to impact cognition in 678 CHR and 263 healthy control (HC...

We introduce two CHR compiler optimizations aimed at reducing garbage creation by reusing suspension terms, used to represent the CHR constraints. We have implemented both optimizations in the K.U.Leuven CHR system. The optimizations dramatically improve the memory footprint and speed of CHR programs: in several benchmarks we have measured speedups of 40% and more, and a reduction of memory usa...

A quantitative trait locus (QTL) approach was used to define the genetic architecture underlying variation in systolic blood pressure (SBP) and heart rate (HR), measured indirectly on seven occasions by the tail cuff procedure. The tests were conducted in 395 F(2) adult mice (197 males, 198 females) derived from a cross of the C57BL/6J (B6) and DBA/2J (D2) strains and in 22 BXD recombinant-inbr...

s | 67 PM459 Brain Network Characteristics of Individuals at Clinical High Risk for Psychosis in between Normality and Psychosis: A Combined Structural and Functional Imaging Study Soo-Hee Choi, Jun Soo Kwon Seoul National University, Republic of Korea Abstract Objective: In an effort to improve early recognition and intervention in patients with schizophrenia (SZ), individuals at clinical high...

BACKGROUND AND AIMS Given the difficulty of treating schizophrenia and other forms of psychosis, researchers have shifted focus to early detection and intervention of individuals at clinical high risk (CHR) for psychosis. Previous studies have shown that elements in family functioning could predict symptom outcome in CHR individuals. However, associations between self reported family functionin...

Satisfiability Modulo Constraint Handling Rules (SMCHR) is the integration of the Constraint Handling Rules (CHRs) solver programming language into a Satisfiability Modulo Theories (SMT) solver framework. Constraint solvers are implemented in CHR as a set of high-level rules that specify the simplification (rewriting) and constraint propagation behavior. The traditional CHR execution algorithm ...

In this paper, we address the different conceptual and technical difficulties encountered when embedding CHR into an imperative host language. We argue that a tight, natural integration leads to a powerful programming language extension, intuitive to both CHR and imperative programmers. We show how to compile CHR to highly optimized imperative code. To this end, we first review the well-establi...

We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the answer provided by type inference is correct and consistent. The standard method for establishing confluence relies on an assumption that the CHR program is terminating. However, many examples in practice give rise to...