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

Let ~ H and ~ K be finite composition series of a group G. The intersections Hi ∩ Kj of their members form a lattice CSL( ~ H, ~ K) under set inclusion. Improving the Jordan-Hölder theorem, G. Grätzer, J.B. Nation and the present authors have recently shown that ~ H and ~ K determine a unique permutation π such that, for all i, the i-th factor of ~ H is “down-and-up projective” to the π(i)-th f...

We show that an example of a nonhyperreflexive CSL algebra recently constructed by Davidson and Power is a special case of a general and natural reflexive subspace construction. Completely different techniques of proof are needed because of absence of symmetry. It is proven that if y and ¿T are reflexive proper linear subspaces of operators acting on a separable Hubert space, then the hyperrefl...

The effects of cholesterol on the dynamics and the structural properties of two different spin probes, the sterol type CSL and the phospholipid type 16-PC, in POPC/cholesterol oriented multilayer model membranes were examined. Our results are consistent with a nonideal solution containing cholesterol-rich clusters created by the self association of cholesterol in POPC model membranes. The later...

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

In over 4 decades of experience with computer-supported learning (CSL), applications have progressed from rote training with primitive computer work stations, to today’s web-based applications for support of online learning communities (OLCs). It is assumed here that the growing focus of CSL applications on OLCs to support collaborative group learning has an inexorable momentum that parallels t...

In Crenarchaea, several tRNA genes are predicted to express precursor-tRNAs (pre-tRNAs) with canonical or non-canonical introns at various positions. We initially focused on the tRNA(Thr) species of hyperthermophilic crenarchaeon, Aeropyrum pernix (APE) and found that in the living APE cells three tRNA(Thr) species were transcribed and subsequently matured to functional tRNAs. During maturation...

This article aims to illustrate the effect of reflections upon students' learning in a newly developed dental module at the University of British Columbia. Students reflected individually before, during, and after the development of their community service-learning (CSL) projects. One hundred twenty-one students provided reflections through e-mail, a password-protected intranet site (WebCT), or...

The study aims to construct a multidimensional computerized adaptive testing (MCAT) system for enhancing the Chinese as second language (CSL) proficiency test. Because currently the major CSL proficiency tests still retain paper-pencil (P&P) test method for testing. Nowadays more advances computer technology is available, project development on the computerized based test (CBT) has been gradual...

Markov chains are a well-known stochastic process that provide a balance between being able to adequately model the system’s behavior and being able to afford the cost of the model solution. Systems can be modeled directly as Markov chains, or with a higher-level formalism for which Markov chains represent the underlying semantics. Markov chains are widely used to study the performance of compu...