نتایج جستجو برای: subtractive strong co

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

Journal: :Stroke 1998
X Wang F C Barone R F White G Z Feuerstein

BACKGROUND AND PURPOSE Differential gene expression has been reported following the onset of focal stroke. To identify de novo expression of ischemia-induced genes, we applied subtractive cDNA library strategy to identify the genes that are selectively upregulated by focal stroke. METHODS Spontaneously hypertensive rats were subjected to permanent occlusion of the middle cerebral artery (MCAO...

2011
Hossein Abbasimehr Mostafa Setak M. J. Tarokh

Churn prediction is a useful tool to predict customer at churn risk. By accurate prediction of churners and non-churners, a company can use the limited marketing resource efficiently to target the churner customers in a retention marketing campaign. Accuracy is not the only important aspect in evaluating a churn prediction models. Churn prediction models should be both accurate and comprehensib...

2010
ZURAB JANELIDZE

The notion of a subtractive category recently introduced by the author, is a pointed categorical counterpart of the notion of a subtractive variety of universal algebras in the sense of A. Ursini (recall that a variety is subtractive if its theory contains a constant 0 and a binary term s satisfying s(x, x) = 0 and s(x, 0) = x). Let us call a pointed regular category C normal if every regular e...

2012
Alberto Carraro Antonino Salibra

Answering a question by Honsell and Plotkin, we show that there are two equations between ⁄-terms, the so-called subtractive equations, consistent with ⁄-calculus but not satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of ⁄-calculus. 1998 ACM Subject Classification F.4.1 Lambda calculus and re...

2005
Phil M. Henry Stephen Westland Stephen M. Burkinshaw Tsz Lock Vien Cheung

This study is a preliminary investigation towards the design of effective colour spaces and colour tools to allow users to quickly and accurately select a given colour in a digital-display environment. It has been shown that many non-expert users find the RGB colour space to be non-intuitive. The choice of colour space on various visual tasks has also been shown to be an important factor and th...

2017
Olga E. Petrova Fernando Garcia-Alcalde Claudia Zampaloni Karin Sauer

Global transcriptomic analysis via RNA-seq is often hampered by the high abundance of ribosomal (r)RNA in bacterial cells. To remove rRNA and enrich coding sequences, subtractive hybridization procedures have become the approach of choice prior to RNA-seq, with their efficiency varying in a manner dependent on sample type and composition. Yet, despite an increasing number of RNA-seq studies, co...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر 1388

در این رساله t_n - علیت قوی تعریف می شود. این رده ها در جدول علیت فضا- زمان بین علیت پایدار و علیت قوی قرار دارند. یک قضیه برای رده بندی آنها ثابت می شود و t_n- علیت قوی با رده های علی کارتر مقایسه می شود. همچنین ثابت می شود که علیت فشرده پایدار از t_n - علیت قوی نتیجه می شود. بعلاوه به بررسی رابطه نظریه دامنه ها با نسبیت عام می پردازیم و ثابت می کنیم که نوع خاصی از فضا- زمان های علی پایدار, ب...

2001
Alexandros Mouzakitis Geoff Roberts

Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and effectively. In this paper both f i m y logic (FL) and subtractive clustering (SC) are used for the design of autonomous robot behaviours. The design procedure is conducted in two stages: first subtractive clustering is a...

Journal: :Nucleic Acids Research 1998

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

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