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

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

Story in Brief Corn steep liquor (CSL) and fermented ammoniated condensed whey (FACW) were compared to cottonseed meal (CS1\I) as protein sources f())' wintering 6 I lactating first-calf Hereford heifers and 32 yearling HerefOl'd heifers on nati\'e range. Cattle were allotted by weight and individually fed 6 days per week fill' 12 weeks one of four protein treatments: negative control (I\C). po...

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

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

The Continuous Stochastic Logic (CSL) is a powerful means to state properties which refer to Continuous Time Markov Chains (CTMCs). The verification of such properties on a model can be achieved through a suitable algorithm. In this doctoral thesis, the CSL logic has been considered and two major aspects have been addressed: the analysis of its expressiveness and the study of methods for a deco...

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