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

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 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 For more than 20 years, medical literature has increasingly documented the need for students to learn, practice and demonstrate competence in basic clinical knowledge and skills. In 2001, the Louisiana State University Health Science Centers (LSUHSC) School of Medicine - New Orleans replaced its traditional Introduction in to Clinical Medicine (ICM) course with the Science and Practi...

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

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

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

OBJECTIVES Despite improvements in treatment modalities, large-for-gestational age (LGA) prevalence has remained between 30% and 40% among infants of mothers with type 1 insulin-dependent diabetes mellitus (TIDM). Our objective was to estimate LGA prevalence and examine the association between gestational weight gain (GWG) and prepregnancy body mass index (BMI) with LGA among mothers with TIDM....