نتایج جستجو برای: baabaa chr
تعداد نتایج: 2070 فیلتر نتایج به سال:
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 ...
Constraint Handling Rules (CHR) [1] has become a general-purpose rule-based programming language throughout the last decade. The relations to many other formalisms have been investigated [2] and often results could be transferred from CHR to other formalisms, or vice versa. Graph Transformation Systems (GTS) [3], which have been developed in the 60ies and have become increasingly popular, have ...
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 ...
Under the guidance of the Chromosome-centric Human Proteome Project (C-HPP), (1, 2) we conducted a systematic survey of the expression status of genes located at human chromosome 20 (Chr.20) in three cancer tissues, gastric, colon, and liver carcinoma, and their representative cell lines. We have globally profiled proteomes in these samples with combined technology of LC-MS/MS and acquired the...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید