We present CCMC (Conditional CSL Model Checker), a model checker for continuous-time Markov chains (CTMCs) with respect to formulas specified in continuoustime stochastic logic (CSL). Existing CTMC model checkers such as PRISM or MRMC handle only binary CSL until path formulas. CCMC is the first tool that supports algorithms for analyzing multiple until path formulas. Moreover, CCMC supports a ...

Human learners can resolve referential ambiguity and discover the relationships between words and meanings through a cross-situational learning (CSL) strategy. Some people with aphasia (PWA) can learn word-referent pairings under referential uncertainty supported by online feedback. However, it remains unknown whether PWA can learn new words cross-situationally and if such learning ability is s...

Regulation of transcription is fundamental to development and physiology, and occurs through binding of transcription factors to specific DNA sequences in the genome. CSL (CBF1/Suppressor of Hairless/LAG-1), a core component of the Notch signaling pathway, is one such transcription factor that acts in concert with co-activators or co-repressors to control the activity of associated target genes...

The Notch/CSL pathway plays an important role in skin homeostasis and carcinogenesis. CSL, the key effector of canonical Notch signaling endowed with an intrinsic transcription repressive function, suppresses stromal fibroblast senescence and Cancer Associated Fibroblast (CAF) activation through direct down-modulation of key effector genes. Interacting proteins that participate with CSL in this...

Continuous Spontaneous Localization (CSL) is one possible explanation for dynamically induced collapse of the wave-function during a quantum measurement. The collapse is mediated by a stochastic non-linear modification of the Schrödinger equation. A consequence of the CSL mechanism is an extremely tiny violation of energy-momentum conservation, which can, in principle, be detected in the labora...

In a market undergoing constant evolution, the production of chicken meat that consumers would perceive as "natural" and "animal friendly" is crucial. The use of probiotics in rurally reared chickens could represent a major opportunity to achieve mutual benefit for both the industry and consumers. A total of 264 male Kabir chicks were randomly distributed to one of 2 dietary treatments: the L g...

We present CCMC (Conditional CSL Model Checker), a model checker for continuous-time Markov chains (CTMCs) with respect to properties specified in continuous-time stochastic logic (CSL). Existing CTMC model checkers such as PRISM or MRMC handle only binary CSL until path formulas. CCMC is the first tool that supports algorithms for analyzing multiple until path formulas. Moreover, CCMC supports...

CSL [CBF-1, Su(H), Lag-1]-type transcription factors are the primary effectors of the Notch pathway, a signal transduction cascade that is essential for the development of all metazoan organisms. Interestingly, CSL proteins were originally classified as transcriptional repressors in vertebrates, but as transcriptional activators in model invertebrate organisms. Resolution of this paradox came w...

The generation and recognition of body language is a key technologies of VR. Sign Language is a visual-gestural language mainly used by hearing-impaired people. In this paper, gesture and facial expression models are created using computer graphics and used to synthesize Chinese Sign Language (CSL), and from it a human-computer CSL interaction system is implemented. Using a system combining CSL...