نتایج جستجو برای: مدل clp
تعداد نتایج: 123582 فیلتر نتایج به سال:
Human coactosin-like protein (CLP) shares high homology with coactosin, a filamentous (F)-actin binding protein, and interacts with 5LO and F-actin. As a tumor antigen, CLP is overexpressed in tumor tissue cells or cell lines, and the encoded epitopes can be recognized by cellular and humoral immune systems. To gain a better understanding of its various functions and interactions with related p...
Background: The prevalence of dental anomalies in children with cleft lip and palate (CLP) has been said to be higher than in the normal children; however, such findings have not been expressed for different racial groups. Aim: To determine the prevalence of anomalies in children with CLP and to ascertain if there were any differences between the prevalence figures for CLP and non-CLP children....
PURPOSE Severe oxidative stress is an important event that occurs in patients with sepsis. The body has extensive and multiple defense mechanisms against the reactive oxygen species (ROS) produced during inflammation and sepsis. One of these mechanisms includes a group of enzymes that utilize selenium as their cofactor. The purpose of this study is investigating of Selenium effect on oxidative ...
Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Since the basic operational step in program execution is a test for solvability of constraints in a given algebraic structure, CLP has in addition an algebraic semantics. CLP is then a general paradigm which may be instantiated on...
The development of cognitive impairment in sepsis is associated with neurotoxic effects caused by oxidative stress. We have assessed the effects of acute and extended administration of guanosine (GUA) on brain oxidative stress parameters and cognitive impairment in rats submitted to sepsis by cecal ligation and perforation (CLP). To achieve this goal, male Wistar rats underwent either sham oper...
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from an imperative language with heap-allocated mutable data structures and recursive procedures into CLP. The CLP formulation (1) provides a clean way to reason about the behavior and correctness of the original program, ...
Consultation-liaison psychiatry (CLP) was first established in China after liberation in 1949. It has developed more rapidly over the last two decades but, despite major regional differences in the level of CLP, the overall practice of CLP in the country remains quite basic, largely limited to case-based consultation with other medical departments. There is little ongoing collaboration between ...
In this paper we present a procedure for representing the semantics of linear hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate analysis and verification of LHAs can then be performed using generic CLP analysis and transformation tools. LHAs provide an expressive notation for specifying real-time systems. The main contributions are (i) a technique for capturing th...
Unlike most bacterial species, Mycobacterium tuberculosis depends on the Clp proteolysis system for survival even in in vitro conditions. We hypothesized that Clp is required for the physiologic turnover of mycobacterial proteins whose accumulation is deleterious to bacterial growth and survival. To identify cellular substrates, we employed quantitative proteomics and transcriptomics to identif...
El debate sobre los cuidados de largo plazo (CLP) y la necesidad establecer sistemas CLP ha alcanzado un consenso mundial, con organizaciones internacionales como Organización Mundial Salud (OMS) que alientan a países actuar al respecto. Durante las pasadas elecciones presidenciales en Chile, varios candidatos hicieron propuestas señalando implementar nuevas soluciones para hacer frente crecien...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید