نتایج جستجو برای: csp
تعداد نتایج: 6017 فیلتر نتایج به سال:
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...
Cysteine string proteins (CSPs) are novel synaptic vesicle-associated protein components characterized by an N-terminal J-domain and a central palmitoylated string of cysteine residues. The cellular localization and functional role of CSP was studied in pancreatic endocrine cells. In situ hybridization and RT-PCR analysis demonstrated CSP mRNA expression in insulin-producing cells. CSP1 mRNA wa...
The pathogenesis of fibromyalgia (FM) has not been clearly elucidated, but central sensitization, which plays an important role in the development of neuropathic pain, is considered to be the main mechanism. The cutaneous silent period (CSP), which is a spinal reflex mediated by A-delta cutaneous afferents, is useful for the evaluation of sensorimotor integration at the spinal and supraspinal l...
model K.R. Apt [CP99] for propagation (based on chaotic iterations) Reduction functions of functions Abstraction Constraint CSP Fixed point Partial Ordering Application Hybrid Constraint Solving – p. 55 A Generic Algorithm: propagation for constraint propagation: ordering on size of domains work on a CSP F = { set of propagation functions} X = initial CSP G = F While G 6= ∅ choose g ∈ G G = G− ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید