نتایج جستجو برای: جبر csl
تعداد نتایج: 3558 فیلتر نتایج به سال:
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...
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...
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...
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...
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 ...
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...
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...
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...
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 ...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید