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

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

2015
Noel Gerard McElvaney Emer Reeves David Parr Niels Seersholm Kenneth R. Chapman

Disclosure: David Parr has received honoraria for advising CSL Behring and Grifols (formerly Talecris), in addition to sponsorship from AstraZeneca and Boehringer Ingelheim. Emer Reeves and Niels Seersholm have no competing interests to disclose; however, both have received honoraria for this educational activity funded by CSL Behring. Kenneth R. Chapman has received compensation for consulting...

Journal: :The Journal of biological chemistry 2004
Maude Le Gall Edward Giniger

Notch is a phylogenetically conserved transmembrane receptor that is required for many aspects of animal development. Upon ligand stimulation, a fragment of Notch is released proteolytically and enters the nucleus to form a complex with the DNA-binding protein CSL (CBF1/Suppressor of Hairless/Lag1) and activate transcription of Notch-CSL target genes. The physical structure of the Notch-CSL com...

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

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

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