This paper describes an extension to the constraint satisfaction problem (CSP) called MUSE CSP (MU ltiply SEgmented C onstraint Satisfaction Problem). This extension is especially useful for those problems which segment into multiple sets of partially shared variables. Such problems arise naturally in signal processing applications including computer vision, speech processing, and handwriting r...

Chronic scrotal pain (CSP) is a common and debilitating condition, but the underlying characteristics and etiology of CSP are poorly understood. The objective of this study is to identify the characteristic and etiologies of CSP. Men presenting for management of CSP completed a standardized questionnaire and underwent a complete physical examination. From Feb 2014 to Sep 2015, a total of 131 me...

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. ObjectZ provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process intera...

Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete methods which make an exhaustive search on the solution space. These methods have the advantage to prove CSP inconsistency, but their complexity grows exponentially when the problem size increases. The second family includ...

AIM This study evaluated the prevalence of the chewing side preference (CSP) in the deciduous, mixed and permanent dentitions. MATERIALS AND METHODS Three-hundred subjects were divided in three groups (n = 100): Group 1 - children with deciduous dentition; group 2-children with mixed dentition; group 3 - subjects with permanent dentition. The CSP was determined using a direct method (visual o...

We are producing a transgenic mosquito, a flying syringe, to deliver a vaccine protein to human beings via the saliva the mosquito deposits in the skin while biting. The mosquito produces a vaccine protein in the salivary gland (SG) and deposits the protein into the host's skin when it takes the host's blood. We chose circumsporozoite protein (CSP), currently the most promising malaria vaccine ...

This paper describes an extension to the constraint satisfaction problem (CSP) called MUSE CSP (MU ltiply SEgmented Constraint Satisfaction Problem). This extension is especially useful for those problems which segment into multiple sets of partially shared variables. Such problems arise naturally in signal processing applications including computer vision, speech processing, and handwriting re...

Software that is used to control machines and robots must be predictable and reliable. Model-Driven Design (MDD) techniques are used to comply with both the technical and business needs. This paper introduces a CSP meta-model that is suitable for these MDD techniques. The meta-model describes the structure of CSP models that are designed; using this meta-model it is possible to use all regular ...

Cysteine string proteins (csps) are a recently discovered class of cysteine-rich proteins. They have been shown to associate preferentially with synaptic vesicle fractions of Torpedo electric organ or rat brain where they have been implicated in events associated with transmitter secretion. However, to date there has been no information concerning the distribution of csps in rat tissues. We inv...

PURPOSE To assess clinical outcomes related to conservative management of women with cesarean scar pregnancies (CSPs), specifically through uterine artery embolization (UAE) with local and systemic methotrexate (MTX) treatment (UAE-MTX), or ultrasound-guided local and systemic MTX treatment (USG-MTX). METHODS Forty-five patients with CSP were randomly allocated to receive UAE-MTX (n = 24) or ...