Repressors are frequently deployed to limit the transcriptional response to signalling pathways. For example, several co-repressors interact directly with the DNA-binding protein CSL and are proposed to keep target genes silenced in the absence of Notch activity. However, the scope of their contributions remains unclear. To investigate co-repressor activity in the context of this well defined s...

Over the last two decades many techniques have been developed to specify and evaluate Markovian dependability models. Most often, these Markovian models are automatically derived from stochastic Petri nets, stochastic process algebras, or stochastic activity networks. However, whereas the model specification has become very comfortable, the specification of the dependability measures of interes...

Markov-reward models, as extensions of continuous-time Markov chains, have received increased attention for the specification and evaluation of performance and dependability properties of systems. Until now, however, the specification of reward-based performance and dependability measures has been done manually and informally. In this paper, we change this undesirable situation by the introduct...

In this work, biosurfactant production by Bacillus subtilis #573 was evaluated using corn steep liquor (CSL) as culture medium. The best results were obtained in a culture medium consisting of 10% (v/v) of CSL, with a biosurfactant production of about 1.3 g/l. To the best of our knowledge, this is the first report describing biosurfactant production by B. subtilis using CSL as culture medium. S...

The verification of continuous-time Markov chains (CTMCs) against continuous stochastic logic (CSL) [3, 6], a stochastic branchingtime temporal logic, is considered. CSL facilitates among others the specification of steady-state properties and the specification of probabilistic timing properties of the form P⊲⊳p(Φ1 U I Φ2), for state formulas Φ1 and Φ2, comparison operator ⊲⊳, probability p, an...

CSL is a stochastic temporal logic that has been defined for continuous time Markov chains, and that allows the checking of whether a single state, or a set of states, satisfies a given probabilistic condition defined over states or over a path of states. In this paper we consider the problem of CSL model checking in the context of Generalized Stochastic Petri Nets. We present a translation fro...

Using an antiserum produced against a purified calsequestrin-like (CSL) protein from a microsomal fraction of sea urchin eggs, we performed light and electron microscopic immunocytochemical localizations on sea urchin eggs and embryos in the first cell cycle. The sea urchin CSL protein has been found to bind Ca++ similarly to calsequestrin, the well-characterized Ca++ storage protein in the sar...