نتایج جستجو برای: baabaa chr
تعداد نتایج: 2070 فیلتر نتایج به سال:
BACKGROUND Disruptions in thalamic functional connectivity have been observed in people with schizophrenia and in youth at clinical high risk (CHR) of psychosis. However, the impact of environmental risk factors for psychosis on thalamic dysconnectivity is poorly understood. We tested whether thalamic dysconnectivity is related to patterns of cannabis use in a CHR sample. METHODS 162 CHR and ...
Constraint Handling Rules (CHR) is both an effective concurrent declarative constraint-based programming language and a versatile computational formalism. While conceptually simple, CHR is distinguished by a remarkable combination of desirable features: – a semantic foundation in classical and linear logic, – an effective and efficient sequential and parallel execution model – guaranteed proper...
Introduction. Constraint Handling Rules (CHR) [2] is a high-level, powerful, yet relatively simple “no box” CLP language, embedded in a host language, commonly Prolog. It is based on multi-headed committed-choice rules. Recent implementations of CHR consist of a compiler which translates a CHR program to host language code, and a run-time system implementing the constraint store. Originally, CH...
BACKGROUND Schizophrenia is a severe, disabling and prevalent mental disorder without cure and with a variable, incomplete pharmacotherapeutic response. Prior to onset in adolescence or young adulthood a prodromal period of abnormal symptoms lasting weeks to years has been identified and operationalized as clinically high risk (CHR) for schizophrenia. However, only a minority of subjects prospe...
Hepatocarcinoma, a malignant cancer, threaten human life badly. It is a current issue to seek the effective natural remedy from plant to treat cancer due to the resistance of the advanced hepatocarcinoma to chemotherapy. Chrysin (Chr), a major symbol ingredient in Chinese Propolis, has a wide range of pharmacological properties and is considered to have anti-hepatocarcinoma effects. However its...
Confluence is an important property for any kind of rewrite system including CHR, which is a general-purpose declarative committedchoice language consisting of multi-headed guarded rules. CHR can yield a confluence problem, because of non-determinism in the choice of rules using the abstract semantics. Confluence in CHR is an ongoing research topic, because it provides numerous benefits for imp...
Today, there exist two distinct direct approaches to prove termination of CHR programs. Both are applicable on separate classes of CHR programs. One approach, by T. Frühwirth, proves termination of CHR programs without propagation rules. A second approach deals with CHR programs with propagation rules. Due to its extended scope to such programs, it fails to prove termination for a class of CHR ...
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...
The notion of confluence is prevalent in graph transformation systems (GTS) as well as constraint handling rules (CHR). This work presents a generalized embedding of GTS in CHR that allows to consider strong derivations in confluence analyses. Confluence of a terminating CHR program is decidable, but confluence of a terminating GTS is undecidable. We show that observable confluence in CHR is a ...
The purposes of this study were to: 1) determine if the critical heart rate (CHR) model for cycle ergometry can be applied to treadmill running; and 2) examine the times to exhaustion (T lim) as well as the ! VO 2 , ratings of perceived exertion (RPE), electromyographic amplitude (EMG AMP) and mean power frequency (MPF) responses during constant heart rate (HR) runs at CHR-5 b·min-1 (CHR-5), CH...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید