We present CCMC (Conditional CSL Model Checker), a model checker for continuous-time Markov chains (CTMCs) with respect to properties specified in continuous-time stochastic logic (CSL). Existing CTMC model checkers such as PRISM or MRMC handle only binary CSL until path formulas. CCMC is the first tool that supports algorithms for analyzing multiple until path formulas. Moreover, CCMC supports...

We have used Affymetrix gene chips to measure the expression of 10 CESA and 29 CSL genes of Arabidopsis in different developmental stages or organs. These measurements reveal that many of the genes exhibit different levels of expression in the various organs. While several CESA genes are highly expressed in all the tissues examined, very few CSL genes approach such high levels of expression. Th...

CSL [CBF-1, Su(H), Lag-1]-type transcription factors are the primary effectors of the Notch pathway, a signal transduction cascade that is essential for the development of all metazoan organisms. Interestingly, CSL proteins were originally classified as transcriptional repressors in vertebrates, but as transcriptional activators in model invertebrate organisms. Resolution of this paradox came w...

The generation and recognition of body language is a key technologies of VR. Sign Language is a visual-gestural language mainly used by hearing-impaired people. In this paper, gesture and facial expression models are created using computer graphics and used to synthesize Chinese Sign Language (CSL), and from it a human-computer CSL interaction system is implemented. Using a system combining CSL...

This study investigated the effects of consolidated soil layer (CSL) composed fly ash (FA) and polyacrylamide (PAM) on growth Artemisia ordosica through plot experiments in Inner Mongolia, North China. It could provide a feasibility reference for ecological restoration combating desertification desert areas. The germination characteristics were studied control 6 kinds CSL, which formed with 3 a...

Many cancer cells over-express significantly the glycoproteins specific to the endogenous cerebellar soluble lectin or CSL. These ligands may present the same electrophoretic profiles regardless of the specie or tissue. We purified a large amount of the active CSL using an immuno-affinity chromatography, which was used to isolate the CSL ligands from human tumour K562 cell lines. After protease...

A chiral soliton lattice (CSL), proposed as the ground state of rotating baryonic matter at a finite density, is shown to be unstable in large parameter region for two flavors owing pion condensations, leading types non-Abelian (NA) CSL phases (dimer and deconfining phases). We determine phase diagram where dimer meets other QCD vacuum three tricritical points. The critical angular velocity NA-...

Background We investigated predictors of the rural clients' satisfaction level (CSL), and interlinks between perceived specific service quality (PSSQ), perceived utility value (PUV), CSL, and clients' reactions (CR) towards current and future utilization of providers and facilities in the public-private mixed health system of Bangladesh. Methods A quantitative study using interviewer-administ...

We have isolated a murine cDNA encoding a 9-kD protein, Chisel (Csl), in a screen for transcriptional targets of the cardiac homeodomain factor Nkx2-5. Csl transcripts were detected in atria and ventricles of the heart and in all skeletal muscles and smooth muscles of the stomach and pulmonary veins. Csl protein was distributed throughout the cytoplasm in fetal muscles, although costameric and ...