We study a spin-1 single flavor color superconducting phase which results from a color-spin locking (CSL) interaction in two-flavor quark matter. This phase is particularly interesting for compact star cooling applications since the CSL phase may survive under charge neutrality constraints implying a mismatch between upand down-quark chemical potentials which can destroy the scalar diquark cond...

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996 [1, 2]. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen [4, 5] presented an efficient polyno...

Cowden syndrome (CS), a Mendelian autosomal-dominant disorder, predisposes to breast, thyroid and other cancers. Germline mutations in phosphatase and tensin homolog (PTEN) have been recently reported in 23% of a large series of classic CS. Here, we validated our small (n = 10) pilot study in a large patient series that germline variations in succinate dehydrogenase genes (SDHx) occur in 8% (49...

Cancer-associated fibroblasts (CAFs) are important for tumor initiation and promotion. CSL, a transcriptional repressor and Notch mediator, suppresses CAF activation. Like CSL, ATF3, a stress-responsive transcriptional repressor, is down-modulated in skin cancer stromal cells, and Atf3 knockout mice develop aggressive chemically induced skin tumors with enhanced CAF activation. Even at low basa...

Programs for the analysis of pathological voice data have been presented for the last few decades. Computerized Speech Lab (CSL) has been recognized as a standard in the field of pathological voice analysis. PRAAT is a new open program which is constantly being improved almost every week. CSL gives the “Voice disorders database” which was produced by Massachusetts Eye and Ear Infirmary. In this...

The 2010 trivalent influenza vaccine (TIV) manufactured by CSL Biotherapies (CSL) was associated with increased febrile reactions, including febrile convulsions, among Australian children. CSL is one of the few manufacturers that use deoxycholate as the virus-splitting agent in the manufacture of TIV. Clusters of adverse events following immunisation (AEFI) have been previously linked to other ...

In a recent paper Baier, Haverkort, Hermanns and Katoen [BHHK00], analyzed a new way of model-checking formulas of a logic for continuoustime processes called Continuous Stochastic Logic (henceforth CSL) – against continuous-time Markov chains – henceforth CTMCs. One of the important results of that paper was the proof that if two CTMCs were bisimilar then they would satisfy exactly the same fo...

In this paper, the removal of phenol by using aqueous solution in a low pressure reverse osmosis membrane was investigated. The effect of feed pressure, feed concentration, feed flow rate and feed pH on phenol rejection was investigated. The results showed that feed pH is the most affective parameter on the phenol rejection. Rejection of phenol increased with increasing pH from 2 to 10 under th...

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