نتایج جستجو برای: csl algebra
تعداد نتایج: 71079 فیلتر نتایج به سال:
The present study investigated the influence of radical position regularity in Chinese character orthographic tasks among Chinese-as-a-second-language (CSL) learners. The role that radical position regularity plays in the learning of Chinese characters was also verified by showing the aforementioned regularity. To address this issue, two experiments were conducted using the Chinese Radical Asse...
Somatic activating mutations in the Notch1 receptor result in the overexpression of activated Notch1, which can be tumorigenic. The goal of this study is to understand the molecular mechanisms underlying the phenotypic changes caused by the overexpression of ligand independent Notch 1 by using a tetracycline inducible promoter in an in vitro embryonic stem (ES) cells/OP9 stromal cells coculture...
The method of dynamic imaging of diffusion (DID)-ESR (electron spin resonance) has been utilized to study the anisotropy of translational diffusion of spin probes in the smectic A phase of a eutectic liquid crystal, S2. In particular, the nearly spherical perdeuterated-TEMPONE (PDT) and the rigid and elongated cholestane spin label (CSL) molecules were studied. Whereas D1 (the coefficient of di...
During the production of grape wine, the formation of thick leathery pellicle/bacterial cellulose (BC) at the airliquid interface was due to the bacterium, which was isolated and identified as Gluconacetobacter hansenii UAC09. Cultural conditions for bacterial cellulose production from G. hansenii UAC09 were optimized by central composite rotatable experimental design. To economize the BC produ...
The tiller inhibition gene (tin) that reduces tillering in wheat (Triticum aestivum) is also associated with large spikes, increased grain weight, and thick leaves and stems. In this study, comparison of near-isogenic lines (NILs) revealed changes in stem morphology, cell wall composition, and stem strength. Microscopic analysis of stem cross-sections and chemical analysis of stem tissue indica...
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...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید