نتایج جستجو برای: csl algebra

تعداد نتایج: 71079  

Journal: :Computers in Human Behavior 2016
Jon-Chao Hong Ching-Ji Wu Hsueh-Chih Chen Yu-Lin Chang Kuo-En Chang

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

2011
Habib Hamidi Derek Gustafason Matteo Pellegrini Judith Gasson

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

1999
Jozef K. Moscicki Jack H. Freed

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

Journal: :Journal of microbiology and biotechnology 2011
Mahadevaswamy Usha Rani Navin K Rastogi K A Anu Appaiah

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

2017
J. Hyles S. Vautrin F. Pettolino C. MacMillan Z. Stachurski J. Breen H. Berges T. Wicker W. Spielmeyer

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

2017
Stephen K K Chan Gustavo Cerda-Moya Robert Stojnic Kat Millen Bettina Fischer Silvie Fexova Lenka Skalska Maria Gomez-Lamarca Zoe Pillidge Steven Russell Sarah J Bray

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

2015
Eduardo J. Gudiña Elisabete C. Fernandes Ana I. Rodrigues José A. Teixeira Lígia R. Rodrigues

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

2000
Boudewijn R. Haverkort Holger Hermanns Joost-Pieter Katoen

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

2000
Christel Baier Boudewijn R. Haverkort Holger Hermanns Joost-Pieter Katoen

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

2000
Christel Baier Boudewijn R. Haverkort Holger Hermanns Joost-Pieter Katoen

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید