نتایج جستجو برای: روش csp
تعداد نتایج: 375540 فیلتر نتایج به سال:
The Plasmodium falciparum circumsporozoite protein (CSP) is critical for sporozoite function and invasion of hepatocytes. Given its critical nature, a phase III human CSP malaria vaccine trial is ongoing. The CSP is composed of three regions as follows: an N terminus that binds heparin sulfate proteoglycans, a four amino acid repeat region (NANP), and a C terminus that contains a thrombospondin...
Objective. The cavum septi pellucidi (CSP) is routinely imaged in the fetal brain during obstetric sonography; in fact, for well over a decade, assessment of the CSP has been considered part of the required elements of a standard examination of fetal morphology in guidelines developed by multiple specialty societies. Our objective is to present the 4 reasons why all practicing sonologists and s...
This paper proposes a novel problem setting of selectional preference (SP) between a predicate and its arguments, called as context-sensitive SP (CSP). CSP models the narrative consistency between the predicate and preceding contexts of its arguments, in addition to the conventional SP based on semantic types. Furthermore, we present a novel CSP model that extends the neural SP model (Van de Cr...
CSP, Hoare’s Communicating Sequential Processes, is a formal language for specifying, implementing and reasoning about concurrent processes and their interactions. Existing software tools that deal with CSP directly are largely concerned with assisting formal proofs. This paper presents an alternative use for CSP, namely the compilation of CSP systems to executable code. The main motivation for...
Constraint satisfaction has received increasing attention these years. Intense research has focused on solving all kinds of constraint satisfaction problems (CSPs). In this paper, first we propose a random CSP model, named k-CSP, that guarantees the existence of phase transitions under certain circumstances. The exact location of the phase transition is quantified and experimental results are p...
Malaria remains a major global public health problem with an estimated 200 million cases detected in 2012. Although the most advanced candidate malaria vaccine (RTS,S) has shown promise in clinical trials, its modest efficacy and durability have created uncertainty about the impact of RTS,S immunization (when used alone) on global malaria transmission. Here we describe the development and chara...
In this paper, we study the relation among the parameters in their most general setting that define a large class of random CSP models d-k-CSP where d is the domain size and k is the length of the constraint scopes. The model d-k-CSP unifies several related models such as the model RB and the model k-CSP. We prove that the model d-k-CSP exhibits exact phase transitions if k ln d increases no sl...
Time is an integral aspect of computer systems. It is essential for modelling a system’s performance and also affects its safety or security. Timed Csp [5] conservatively extends the process algebra CSP with timed primitives, where real numbers ≥ 0 model how time passes with reference to a single, conceptually global, clock. While there have been approaches for model checking Timed Csp [1, 5], ...
Cysteine-string proteins (CSPs) are associated with secretory vesicles and critical for regulated neurotransmitter release and peptide exocytosis. At nerve terminals, CSPs have been implicated in the mediation of neurotransmitter exocytosis by modulating presynaptic calcium channels; however, studies of CSPs in peptidergic secretion suggest a direct role in exocytosis independent of calcium tra...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید