نتایج جستجو برای: subtractive strong co
تعداد نتایج: 694604 فیلتر نتایج به سال:
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...
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...
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...
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...
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...
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...
در این رساله t_n - علیت قوی تعریف می شود. این رده ها در جدول علیت فضا- زمان بین علیت پایدار و علیت قوی قرار دارند. یک قضیه برای رده بندی آنها ثابت می شود و t_n- علیت قوی با رده های علی کارتر مقایسه می شود. همچنین ثابت می شود که علیت فشرده پایدار از t_n - علیت قوی نتیجه می شود. بعلاوه به بررسی رابطه نظریه دامنه ها با نسبیت عام می پردازیم و ثابت می کنیم که نوع خاصی از فضا- زمان های علی پایدار, ب...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید