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

Laccase production by Coriolopsis caperata RCK2011 under solid state fermentation was optimized following Taguchi design of experiment. An orthogonal array layout of L18 (2(1) × 3(7)) was constructed using Qualitek-4 software with eight most influensive factors on laccase production. At individual level pH contributed higher influence, whereas, corn steep liquor (CSL) accounted for more than 50...

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

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

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

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

CONTEXT High-density lipoprotein (HDL) cholesterol is an inverse predictor of coronary atherosclerotic disease. Preliminary data have suggested that HDL infusions can induce atherosclerosis regression. OBJECTIVE To investigate the effects of reconstituted HDL on plaque burden as assessed by intravascular ultrasound (IVUS). DESIGN AND SETTING A randomized placebo-controlled trial was conduct...