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

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

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

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

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

In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show...

Ligand binding by Notch receptors triggers a series of proteolytic cleavages that liberate the intracellular portion of Notch (ICN) from the cell membrane, permitting it to translocate to the nucleus. Nuclear ICN binds to a highly conserved DNA-binding transcription factor called CSL (also known as RBP-Jkappa, CBF1, Suppressor of Hairless, and Lag-1) and recruits Mastermind-like transcriptional...

This paper presents a new soundness proof for concurrent separation logic (CSL) in terms of a standard operational semantics. The proof gives a direct meaning to CSL judgments, which can easily be adapted to accommodate extensions of CSL, such as permissions and storable locks, as well as more advanced program logics, such as RGSep. Further, it explains clearly why resource invariants should be...