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

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

Journal: :Applied biochemistry and biotechnology 2004
Nasib Qureshi Patrick Karcher Michael Cotta Hans P Blaschek

Corn steep liquor (CSL), a byproduct of the corn wet-milling process, was used in an immobilized cell continuous biofilm reactor to replace the expensive P2 medium ingredients. The use of CSL resulted in the production of 6.29 g/L of total acetone-butanol-ethanol (ABE) as compared with 6.86 g/L in a control experiment. These studies were performed at a dilution rate of 0.32 h-1. The productivit...

2004
Jong Min Choi Myung-Whun Sung Kwang Suk Park Jeong-Hun Hah

Programs for the analysis of pathological voice data have been presented for the last few decades. Computerized Speech Lab (CSL) has been recognized as a standard in the field of pathological voice analysis. PRAAT is a new open program which is constantly being improved almost every week. CSL gives the “Voice disorders database” which was produced by Massachusetts Eye and Ear Infirmary. In this...

2005
D. N. Aguilera

We study a spin-1 single flavor color superconducting phase which results from a color-spin locking (CSL) interaction in two-flavor quark matter. This phase is particularly interesting for compact star cooling applications since the CSL phase may survive under charge neutrality constraints implying a mismatch between upand down-quark chemical potentials which can destroy the scalar diquark cond...

2004
Paolo Ballarini

The Continuous Stochastic Logic (CSL) is a powerful means to state properties which refer to Continuous Time Markov Chains (CTMCs). The verification of such properties on a model can be achieved through a suitable algorithm. In this doctoral thesis, the CSL logic has been considered and two major aspects have been addressed: the analysis of its expressiveness and the study of methods for a deco...

Journal: :The Medical journal of Australia 2011
Heath A Kelly Danuta M Skowronski Gaston De Serres Paul V Effler

The 2010 trivalent influenza vaccine (TIV) manufactured by CSL Biotherapies (CSL) was associated with increased febrile reactions, including febrile convulsions, among Australian children. CSL is one of the few manufacturers that use deoxycholate as the virus-splitting agent in the manufacture of TIV. Clusters of adverse events following immunisation (AEFI) have been previously linked to other ...

2017
Dong Eun Kim Maria-Giuseppina Procopio Soumitra Ghosh Seung-Hee Jo Sandro Goruppi Francesco Magliozzi Pino Bordignon Victor Neel Paolo Angelino G Paolo Dotto

Cancer-associated fibroblasts (CAFs) are important for tumor initiation and promotion. CSL, a transcriptional repressor and Notch mediator, suppresses CAF activation. Like CSL, ATF3, a stress-responsive transcriptional repressor, is down-modulated in skin cancer stromal cells, and Atf3 knockout mice develop aggressive chemically induced skin tumors with enhanced CAF activation. Even at low basa...

Journal: :J. Log. Algebr. Program. 2003
Josée Desharnais Prakash Panangaden

In a recent paper Baier, Haverkort, Hermanns and Katoen [BHHK00], analyzed a new way of model-checking formulas of a logic for continuoustime processes called Continuous Stochastic Logic (henceforth CSL) – against continuous-time Markov chains – henceforth CTMCs. One of the important results of that paper was the proof that if two CTMCs were bisimilar then they would satisfy exactly the same fo...

2009
J. J. Wagner K. S. Lusby G. W. Horn

Story in Brief Corn steep liquor (CSL) and fermented ammoniated condensed whey (FACW) were compared to cottonseed meal (CS1\I) as protein sources f())' wintering 6 I lactating first-calf Hereford heifers and 32 yearling HerefOl'd heifers on nati\'e range. Cattle were allotted by weight and individually fed 6 days per week fill' 12 weeks one of four protein treatments: negative control (I\C). po...

2007
Xinyu Feng Rodrigo Ferreira Zhong Shao

We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be treated as a specialization of the A-G method for well-synchronized concurrent programs. First, we present an A-G based program logic for a low-level language with built-in locking primitives. Then we extend the program ...

Journal: :Biochimica et biophysica acta 1990
H R Arias M B Sankaram D Marsh F J Barrantes

Interactions between steroids and the nicotinic acetylcholine receptor (AChR) have been studied in native membrane vesicles from Torpedo marmorata electric organ by electron spin resonance (ESR) and fluorescence techniques. ESR spectra of spin-labelled cholestane (CSL) revealed that this steroid probe was incorporated into the AChR-rich membrane vesicles in regions which were to a certain exten...

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

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