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

Somatic activating mutations in the Notch1 receptor result in the overexpression of activated Notch1, which can be tumorigenic. The goal of this study is to understand the molecular mechanisms underlying the phenotypic changes caused by the overexpression of ligand independent Notch 1 by using a tetracycline inducible promoter in an in vitro embryonic stem (ES) cells/OP9 stromal cells coculture...

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

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

Objective of current study was to determine aflatoxin B1 level in cotton see cake (CSL) rape seed (RSC), wheat bran (WB) and compound feed (CF) 10 districts Punjab, Pakistan namely Bahawalnagar, Bhakkar, Jhang, Kasur, Khanewal, Layyah, Multan, Muzaffargarh, Rahim Yar Khan Rajanpur. For this purpose samples CSC (n=375), RSC (n=100), WB (n=75), CF (n=100) were analyzed at Nutrition Division Buffa...

Spontaneous collapse models are phenomological theories formulated to address major difficulties in macroscopic quantum mechanics. We place significant bounds on the parameters of the leading collapse models, the continuous spontaneous localization (CSL) model, and the Diosi-Penrose (DP) model, by using LISA Pathfinder’s measurement, at a record accuracy, of the relative acceleration noise betw...

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