Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinitestate continuous-time Markov chain. In this paper, we use the established continuous stochastic logic (CSL) to express properties of Markov population models. This allows us to express important measures of biological systems, such as...

We generalize the notion of ‘diagonal’ from the class of CSL algebras to masa bimodules. We prove that a reflexive masa bimodule decomposes as a sum of two bimodules, the diagonal and a module generalizing the w*-closure of the Jacobson radical of a CSL algebra. The latter module turns out to be reflexive, a result which is new even for CSL algebras. We show that the projection onto the direct ...

Using Lorenz microscopy and small-angle electron diffraction, we directly present that the chiral magnetic soliton lattice (CSL) continuously evolves from a chiral helimagnetic structure in small magnetic fields in Cr(1/3)NbS2. An incommensurate CSL undergoes a phase transition to a commensurate ferromagnetic state at the critical field strength. The period of a CSL, which exerts an effective p...

Antibody screening is important for the antenatal screening and pre-transfusion tests. This study aimed to compare the MUT/Mur kodecytesAbtectcell III (CSL Abtectcell III) red cell antibody screening kit with DiaMed ID-Dia Cell I-II-III Asia that was then used in our laboratory. In this study, 125 samples were randomly chosen, with 67 samples of known antibody specificities and 58 samples ident...

The radial scar (RS) or complex sclerosing lesion (CSL) of the breast represents a management dilemma on diagnosis at breast core needle biopsy because of the risk of associated malignancy identified only upon surgical excision. To determine our experience, we retrospectively reviewed core needle biopsies performed at the Darlene G. Cass Breast Imaging Center from 2006 to 2011, identifying 67 p...

It is currently unclear whether tissue changes surrounding multifocal epithelial tumors are a cause or consequence of cancer. Here, we provide evidence that loss of mesenchymal Notch/CSL signaling causes tissue alterations, including stromal atrophy and inflammation, which precede and are potent triggers for epithelial tumors. Mice carrying a mesenchymal-specific deletion of CSL/RBP-Jκ, a key N...

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

Disclosure: David Parr has received honoraria for advising CSL Behring and Grifols (formerly Talecris), in addition to sponsorship from AstraZeneca and Boehringer Ingelheim. Emer Reeves and Niels Seersholm have no competing interests to disclose; however, both have received honoraria for this educational activity funded by CSL Behring. Kenneth R. Chapman has received compensation for consulting...

Notch is a phylogenetically conserved transmembrane receptor that is required for many aspects of animal development. Upon ligand stimulation, a fragment of Notch is released proteolytically and enters the nucleus to form a complex with the DNA-binding protein CSL (CBF1/Suppressor of Hairless/Lag1) and activate transcription of Notch-CSL target genes. The physical structure of the Notch-CSL com...