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 ...

A characteristic-based semi-Lagrangian (CSL) method is developed for hyperbolic systems of conservation laws. In the CSL method, the governing equations are first transformed into a system of equations in characteristic form and then the Lagrangian form of the transformed equations is solved along the characteristic directions. By definition of hyperbolicity, such a transformation always exists...

We define a logic, called CSL, for the specification of complex data structures, and we show its use in program verification. Our framework allows to handle programs with dynamic linked structures and arrays carrying unbounded data, as well as the composition of these structures. The formulas in CSL allow a limited form of alternation between existential and universal quantifiers and they can e...

In this article we present a model for multiparty contracts in which contract conformance is defined abstractly as a property on traces. A key feature of our model is blame assignment, which means that for a given contract, every breach is attributed to a set of parties. We show that blame assignment is compositional by defining contract conjunction and contract disjunction. Moreover, to specif...

In cells infected with the Kaposi's sarcoma-associated herpesvirus (KSHV), CSL/CBF1 signaling is essential for viral replication and promotes the survival of KSHV-infected cells. CSL/CBF1 is a DNA adaptor molecule which recruits coactivator and corepressor complexes to regulate viral and cellular gene transcription and which is a major downstream effector molecule of activated Notch. The intera...

Continuous Stochastic Logic (CSL) can be interpreted over continuoustime Markov decision processes (CTMDPs) to specify quantitative properties of stochastic systems that allow some external control. Model checking CSL formulae over CTMDPs requires then the computation of optimal control strategies to prove or disprove a formula. The paper presents a conservative extension of CSL over CTMDPs—wit...

BACKGROUND Transcription factors of the CSL (CBF1/RBP-Jk/Suppressor of Hairless/LAG-1) family are key regulators of metazoan development and function as the effector components of the Notch receptor signalling pathway implicated in various cell fate decisions. CSL proteins recognize specifically the GTG[G/A]AA sequence motif and several mutants compromised in their ability to bind DNA have been...