نتایج جستجو برای: فراگاسیاتوکسین c

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

Controlled frames in Hilbert spaces have been recently introduced by P. Balazs and etc. for improving the numerical efficiency of interactive algorithms for inverting the frame operator. In this paper we develop a theory based on g-fusion frames on Hilbert spaces, which provides exactly the frameworks not only to model new frames on Hilbert spaces but also for deriving robust operators. In part...

2002
Eric Rutten

This documentation is designed to serve as a user s manual for Signal and Sigali It explains how one can use Signal and Sigali from scratch without any previous knowledge about the architecture of either of them Signal is the compiler of a synchronous data ow language of the same name This language is used for precise speci cation of real time reactive discrete event systems When used with one ...

2010
Heribert Vollmer

The study of the complexity of logical problems has provided a very fruitful field of research since many decades. On the one hand researchers have tried to classify exactly in terms of complexity classes and upper and lower bounds the complexity of decision and other logical problems. Although in general such problems are of high complexity, efforts have been made to develop efficient algorith...

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

فرض کنید a یک -c*جبر باشد. تور {u a}در a+ با خاصیت u <-1 یک تقریب یکانی برای a نامیده می شود هرگاه برای < داشته باشیم <- و همچنین برای هر x در lim x(1-u ) 0a، که در این صورت lim (1-u )x 0 نیز برقرار است . می دانیم که در هر -c*جبر a پایا نامیده می شود هرگاه a و a k یکریخت باند، که kجبر عملگرهای فشرده روی فضای هیلبرت تفکیک پذیر می باشد. در این پایان نامه ما ثابن خواهیم کرد که یک -c*جبر یکانی a پا...

2011
Lisa Higham Jalal Kawash Abhijeet Pareek

A framework for modelling memory consistency is presented. The framework is used to specify the operation of a total-store-order write buffer multiprocessor machine. The framework is used again to specify a more abstract “programmer-centric” model that does not refer to the write-buffer architecture. Finally, we prove that the abstract model correctly captures the computations of the operationa...

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

in the first chapter we study the necessary background of structure of commutators of operators and show what the commutator of two operators on a separable hilbert space looks like. in the second chapter we study basic property of jb and jb-algebras, jc and jc-algebras. the purpose of this chapter is to describe derivations of reversible jc-algebras in term of derivations of b (h) which are we...

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

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