نتایج جستجو برای: farnesiferol c

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

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

فرض کنیم $sigma(x)$, گردایه همه زیرجبرهایی از $c(x)$ شامل $c^*(x)$ باشد. مطالعه ایدآل ها در $c(x)$ بستگی به این حقیقت دارد که اگر $i$ یک ایدآل سره در $c(x)$ باشد, آنگاه $z(i)$ یک $z$ -پالایه روی $x$ است. اما این مساله در زیرجبر دلخواه $a(x)in sigma(x)$ لزوما صادق نیست. ما در این پایان نامه, با فرض این که $x$ یک فضای {f تیخونف }باشد, یک نوع جدید از ایدآل ها در $a(x)...

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

فرض کنیم c_f (x)ساکل c(x) باشد. نشان می دهیم که هر ایده ال اول در c(x)/(c_f (x)) اساسی است برای هر ،h?c(x) ثابت می کنیم هر ایده ال اول از c(x)/h اساسی است اگر وتنها اگر مجموعه z(h) از صفر مجموعه های h شامل نقاط منفرد نباشد. ثابت شده است که dimc(x)? dimc(x)/c_f (x) که dimc(x) بعد گلدی c(x) می باشد. و نامساوی ممکن است اکید باشد. همچنین به ویژگیهای جبری فضاهای فشرده با حداکثر نقاط منفرد شمار...

1995
Mary P. HARPER Randall A. HELZERMAN

In this paper, we describe a system which is capable of utilizing a variety of knowledge sources to select the most appropriate parse for a spoken sentence. These knowledge sources include syntax, semantics, and contextual information. We discuss one way to utilize contextual information when determining the parse for a sentence. At its simplest level, the system can be thought of as a general-...

2004
Eugene Asarin

Current state and perspectives of development of the theory of timed languages are analyzed. A large list of open problems is suggested. 1 Why study timed systems? In most cases computer science deals with sequences of events or actions (we will call them behaviors). Powerful formalisms have been developed to express sets or trees of such sequences (various automata, grammars, expressions, proc...

2004
Pawel Sobocinski Chris Hankin Andrew Pitts Corrado Priami

This article is an overview of the recent developments of a theory originally introduced by Leifer and Milner: given a formalism with a reduction semantics, a canonical labelled transition system is derived on which bisimilarity as well as other other equivalences are congruences, provided that the contexts of the formalism form the arrows of a category which has certain colimits. We shall also...

2009
Stefanie Shattuck-Hufnagel Katherine Williams William F. Ganong Ursula Goldstein Stephen K. Holford Arafim Ordubadi Victor W. Zue

The first experiment involved the intelligibility of alternated speech. In a typical experiment by Cherry and Taylor, and later by Huggins,2 a continuous speech message was periodically switched alternately to the subject's left and right ears, so that one ear received speech, while the other received silence. The intelligibility was assessed by counting the number of words the subject was able...

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

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