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. ...

Both CHR and LCC languages are based on the same model of concurrent computation, where agents communicate through a shared constraint store, with a synchronization mechanism based on constraint entailment. The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first contribution o...

Graph transformation systems (GTS) and constraint handling rules (CHR) are nondeterministic rule-based state transition systems. CHR is well-known for its powerful confluence and program equivalence analyses, for which we provide the basis in this work to apply them to GTS. We give a sound and complete embedding of GTS in CHR, investigate confluence of an embedded GTS, and provide a program equ...

The sorption of organic pollutants to marine plastic litter may pose risks organisms, notably for what concerns their intake and transfer through microplastic (MP) ingestion. This study investigated the effects polystyrene MP loaded with chrysene (CHR) on early-stage physiological endpoints measured in Mediterranean mussel Mytilus galloprovincialis. same concentrations virgin microplastics 10.8...

Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR constraint store. In contrast to Logic Programming (LP), there are not many tools available for deriving such information for CHR. Hence, instead of building analyses for CHR from scratch, we define a transformation ...

INTRODUCTION Few studies evaluating the epidemiology of critical illness have used strict population-based designs that exclude subjects external to the base population. The objective of this study was to evaluate the potential effects of inclusion of nonresidents in population-based studies in intensive care. METHODS A population-based cohort study including all adults admitted to Calgary He...

In the current paper, we discuss cycles in Constraint Handling Rules for the purpose of scaling termination proofs. In order to obtain a useful characterization, our approach differs from the ones used in other declarative languages, such as Logic Programming and Term Rewrite Systems. Due to multi-headed rules, the notion of a cycle is not in direct correspondence with the recursive calls of a ...