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

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

CSL is the primary target of the Notch signaling pathway in mammalian cells. It is a DNA binding protein that generally represses transcription in the absence of Notch signaling and activates transcription upon formation of a ternary complex with NICD, the protease-generated intracellular domain of NOTCH: Previous mapping experiments identified the central third of CSL as both necessary and suf...

BACKGROUND Canonical Notch signaling is initiated when ligand binding induces proteolytic release of the intracellular part of Notch (ICN) from the cell membrane. ICN then travels into the nucleus where it drives the assembly of a transcriptional activation complex containing the DNA-binding transcription factor CSL, ICN, and a specialized co-activator of the Mastermind family. A consensus DNA ...

A divide-and-conquer approach is presented for signer-independent continuous Chinese Sign Language(CSL) recognition in this paper. The problem of continuous CSL recognition is divided into the subproblems of isolated CSL recognition. We combine the simple recurrent network(SRN) with the hidden Markov models(HMM) in this approach. The improved SRN is introduced for segmentation of continuous CSL...

The CREATE Signal Library (CSL) is a generalpurpose software framework for sound synthesis and digital audio signal processing. It is implemented as a C++ class library to be used to build stand-alone synthesis servers, or embedded into other programs. This paper describes the overall design and implementation of CSL version 3. We also present CSL's facilities for network I/O of control and sam...

We design a concurrent separation logic for GPGPU, namely GPUCSL, and prove its soundness by using Coq. GPUCSL is based on a CSL proposed by Blom et al., which is for automatic verification of GPGPU kernels, but employs different inference rules because the rules in Blom’s CSL are not standard. For example, Blom’s CSL does not have a frame rule. Our CSL is a simple extension of the original CSL...