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

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده علوم ریاضی و مهندسی کامپیوتر 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...

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

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