Model Checking Markov Chains Markov chains are widely used for modelling the behaviour of computer and communication systems. A common goal of modelling is the estimation of performance and dependability measures of the system under study, such as throughput, buffer occupancy or mean time to failure. With model checking, the angle is somewhat different: Instead of conducting an analysis whose a...

in a retrospective study, one hundred corneosclerallaceration (csl) cases were managed at zahedan ophthalmic center from 1988-1990. our findings showed that csl is more commonly seen in young and male patients. seasonal variation in csl frequency with higher prevalence in the fust half of the years was evident. also it was found that cataract was more common in corneal lacerations while hyphema...

A “role set” is the set of classes in a class hierarchy where an object may reside simultaneously. A “migration pattern” is a sequence of role sets that an object can migrate through. We define a “migration inventory”, which is a set of migration patterns, as a dynamic integrity constraint on object migration. We consider three update languages: SL which has five operators, CSL+ which extends S...

England Abstract A stable homology theory is defined for completely distributive CSL algebras in terms of the point-neighbourhood homology of the partially ordered set of meet-irreducible elements of the invariant projection lattice. This specialises to the simplicial homology of the underlying simplicial complex in the case of a digraph algebra. These groups are computable and useful. In parti...

BACKGROUND CSL (CBF1/RBP-Jκ/Suppressor of Hairless/LAG-1) transcription factors are the effector components of the Notch receptor signalling pathway, which is critical for metazoan development. The metazoan CSL proteins (class M) can also function in a Notch-independent manner. Recently, two novel classes of CSL proteins, designated F1 and F2, have been identified in fungi. The role of the fung...

We prove that two dual operator spaces X and Y are stably isomorphic if and only if there exist completely isometric normal representations φ and ψ of X and Y , respectively, and ternary rings of operators M1,M2 such that φ(X) = [M ∗ 2 ψ(Y )M1] −w ∗ and ψ(Y ) = [M2φ(X)M ∗ 1 ]. We prove that this is equivalent to certain canonical dual operator algebras associated with the operator spaces being ...

Notch signaling is an important regulator of stem cell differentiation. All canonical Notch signaling is transmitted through the DNA-binding protein CSL, and hyperactivated Notch signaling is associated with tumor development; thus it may be anticipated that CSL deficiency should reduce tumor growth. In contrast, we report that genetic removal of CSL in breast tumor cells caused accelerated gro...

Notch signaling mediates communication between cells and is essential for proper embryonic patterning and development. CSL is a DNA binding transcription factor that regulates transcription of Notch target genes by interacting with coregulators. Transcriptional activation requires the displacement of corepressors from CSL by the intracellular portion of the receptor Notch (NotchIC) and the recr...