نتایج جستجو برای: chr m 1
تعداد نتایج: 3058110 فیلتر نتایج به سال:
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...
Constraint Handling Rules (CHR) is a high-level language for writing constraint solvers either from scratch or by modifying existing solvers. An important property of any constraint solver is connuence: The result of a computation should be independent from the order in which constraints arrive and in which rules are applied. In previous work 1], a suucient and necessary condition for the connu...
A series of congenic strains were constructed in which segments of chromosome (chr) 1 from Lewis (LEW) rats were introgressed into the Dahl salt-sensitive (S) strain. Three blood pressure quantitative trait loci (QTL) were defined. Two of these (QTL 1a and QTL 1b) were closely linked in the region between 1q31 and 1q35. The third blood pressure QTL (QTL region 2) was close to the centromere bet...
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...
Abstract Vision restoration is an ideal medical application for optogenetics, because the eye provides direct optical access to retina stimulation. Optogenetic therapy could be used diseases involving photoreceptor degeneration, such as retinitis pigmentosa or age-related macular degeneration. We describe here selection, in non-human primates, of a specific optogenetic construct currently teste...
We recently reported the synthesis, characterization, and reactivities of molybdenum bispyrrolyl complexes of the type Mo(NR)(CHR′)(pyrrolyl)2 where pyrrolyl is either the parent pyrrolyl1 or 2,5-dimethylpyrrolyl (Me2Pyr). We are interested primarily in the use of bispyrrolyl species as precursors to bisalkoxide catalysts3 of the type Mo(NR)(CHR′)(OR)2 or Mo(NR)(CHR′)(diolate) through addition ...
outputs relate to inputs by a match transition relation, given by a dependency analysis. Definition 4 (Match transition relation). A match transition of a CHR program P is an ordered pair M(i, j,k,l) = (out(i, j), in(k,l)), expressing a dependency between an output out(i, j) = (C(i, j),Gi) of OutP and an input in(k,l) = (C(k,l),Gk) of I nP, for which ∃θ : CT |= ((C(i, j) = C(k,l))∧Gi∧Gk)θ holds...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید