CHR is usually compiled to high-level languages (like Prolog) that make it hard or impossible to express low-level optimizations. This is a pity, because it confines CHR to be a prototyping language only, with an unacceptable performance for production quality software. This paper presents CCHR, a CHR system embedded in the C programming language, that compiles to low-level C code which is high...

In this exploratory paper we introduce CHR¬, an extension of the CHR language with negation as absence, an established feature in production rule systems. Negation as absence is a procedural notion that allows a more concise and clean programming style. We propose a formal operational semantics for CHR¬ close to CHR’s refined operational semantics. We illustrate and motivate its properties with...

Cepharanthine, a bisbenzylisoquinoline (biscoclaurine) alkaloid, completely overcomes resistance of a multidrug-resistant subline, ChR-24, derived from human KB carcinoma cells, to vincristine, actinomycin D, and daunomycin, and partially overcomes resistance to Adriamycin. Another biscoclaurine alkaloid, berbamine, partially overcomes resistance to these anticancer agents. Accumulation of [3H]...

We introduce the notion of connuence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers. With CHR one simpliies and solves constraints by applying rules. Connuence guarantees that a CHR program will always compute the same result for a given set of constraints independent of which rules are applied. We give a decidable, suucient and necessary syntactic condi...

The free chromophores (chr) extracted from macromomycin (MCR) and auromomycin (AUR) showed different IR spectra in KBr tablets and different CD spectra in ethanol or methanol solution. Chr-MCR contained a greater amount of alkyl moieties than chr-AUR as shown by much stronger IR absorbance at 2960 cm-1. The IR spectra of MCR, AUR and their apo-proteins (apo) in D2O showed that major parts of th...

We introduce the notion of connuence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers. With CHR one simpliies and solves constraints by applying rules. Connuence guarantees that a CHR program will always compute the same result for a given set of constraints independent of which rules are applied. We give a decidable, suucient and necessary syntactic condi...

To identify genetic determinants of lipoprotein levels, we are performing quantitative trait locus (QTL) analysis on a series of mouse intercrosses in a "daisy chain" experimental design, to increase the power of detecting QTL and to identify common variants that should segregate in multiple intercrosses. In this study, we intercrossed strains CAST/Ei and 129S1/SvImJ, determined HDL, total, and...

(SWR x New Zealand Black (NZB))F(1) (or SNF(1)) mice succumb to lupus nephritis. Although several NZB lupus susceptibility loci have been identified in other crosses, the potential genetic contributions of SWR to lupus remain unknown. To ascertain this, a panel of 86 NZB x F(1) backcross mice was immunophenotyped and genome scanned. Linkage analysis revealed four dominant SWR susceptibility loc...

We introduce the notion of connuence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers. With CHR one simpliies and solves constraints by applying rules. Connuence guarantees that a CHR program will always compute the same result for a given set of constraints independent of which rules are applied. We give a decidable, suucient and necessary syntactic condi...

Normal hearing in mammals depends on sound amplification by outer hair cells (OHCs) presumably by their somatic motility and force production. However, the role of OHC force production in cochlear amplification and frequency tuning are not yet fully understood. Currently, available OHC manipulation techniques for physiological or clinical studies are limited by their invasive nature, lack of pr...