We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be treated as a specialization of the A-G method for well-synchronized concurrent programs. First, we present an A-G based program logic for a low-level language with built-in locking primitives. Then we extend the program ...

Interactions between steroids and the nicotinic acetylcholine receptor (AChR) have been studied in native membrane vesicles from Torpedo marmorata electric organ by electron spin resonance (ESR) and fluorescence techniques. ESR spectra of spin-labelled cholestane (CSL) revealed that this steroid probe was incorporated into the AChR-rich membrane vesicles in regions which were to a certain exten...

Notch signaling plays a key role in the development of pancreatic cancer. Among the four identified Notch receptors, Notch1 and Notch2 share the highest homology. Notch1 has been reported to be an oncogene but some reports indicate that Notch2, not Notch1, plays a key role in pancreatic carcinogenesis. As both are transcription factors, examination of their genomic binding sites might reveal in...

The industrial washing of corn grain during its milling generates a residue known as “corn steep liquor (CSL)”. This is rich in amino acids, carbohydrates, vitamins, and mineral nutrients that can stimulate the vegetative growth when applied to plants. However, mode action this product not yet known. work involved foliar root application pepper plants, at dose 5 mL L−1, two CSL products (CSL-H ...

The relevance of this work lies in the fact that it is first time corn steep liquor (CSL) has been proposed as a unique source nutrients for producing biosurfactants controlled fermentation and Aneurinibacillus aneurinilyticus, isolated from CSL, evaluated extracellular cell-bound fermentation, using secondary raw materials nutrients. In present study, A. aneurinilyticus was inoculated into cul...

Much attention has been given in recent years to observations and models that show that variations in the transport of the Atlantic Meridional Overturning Circulation (AMOC) and in the Gulf Stream (GS) can contribute to interannual, decadal, and multi-decadal variations in coastal sea level (CSL) along the US East Coast. However, less is known about the impact of short-term (time scales of days...

for repeat testing. The authors’ conclusion that it should be considered for screening patients requires further consideration and study but conceivably, this assay should improve the future of VWD diagnosis. Conflict-of-interest disclosure: P.D.J. has received research funding from Bayer, CSL Behring, and Octapharma; and honoraria for educational talks from Baxalta, CSL Behring, and Octapharma. n

Notch is a conserved signaling pathway that specifies cell fates in metazoans. Receptor-ligand interactions induce changes in gene expression, which is regulated by the transcription factor CBF1/Su(H)/Lag-1 (CSL). CSL interacts with coregulators to repress and activate transcription from Notch target genes. While the molecular details of the activator complex are relatively well understood, the...

BACKGROUND Cbf11 and Cbf12, the fission yeast CSL transcription factors, have been implicated in the regulation of cell-cycle progression, but no specific roles have been described and their target genes have been only partially mapped. METHODOLOGY/PRINCIPAL FINDINGS Using a combination of transcriptome profiling under various conditions and genome-wide analysis of CSL-DNA interactions, we id...