نتایج جستجو برای: baabaa chr
تعداد نتایج: 2070 فیلتر نتایج به سال:
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information.In this paper, we propose a new trace for CHR which contains enough information to ...
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 equi...
Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed, forward chaining rules. To ensure CHR propagation rules are applied at most once with the same combination of constraints, CHR implementations maintain a so-called propagation history. The performance impact of this history can be significant. We introduce several optimizations that, for the ma...
Channelrhodopsin (ChR) is a light-gated cation channel derived from green algae. Since the inward flow of cations triggers the neuron firing, neurons expressing ChRs can be optically controlled even within freely moving mammals. Although ChR has been broadly applied to neuro-science research, little is known about its molecular mechanisms. We determined the crystal structure of chimeric ChR at ...
CHR-2797 is a novel metalloenzyme inhibitor that is converted into a pharmacologically active acid product (CHR-79888) inside cells. CHR-79888 is a potent inhibitor of a number of intracellular aminopeptidases, including leucine aminopeptidase. CHR-2797 exerts antiproliferative effects against a range of tumor cell lines in vitro and in vivo and shows selectivity for transformed over nontransfo...
Constraint Handling Rules (CHR) is a rule-based language to specify application-oriented constraint solvers. CHR requires a host language that provides the basic constraints used in a CHR program. In this paper, we argue that an integrated functional logic language like Curry is an appropriate host language for CHR since it supports a natural formulation of constraint handling rules and a seaml...
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...
A central question in cell cycle control is how differential gene expression is regulated. Timing of expression is important for correct progression through the cell cycle. E2F, CDE, and CHR promoter sites have been linked to transcriptional repression in resting cells and activation during the cell cycle. Further, the DREAM complex binds CHR or CDE/CHR elements of G2/M genes resulting in repre...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید