نتایج جستجو برای: fotokian z

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

2002
Przemyslaw Kozankiewicz

The process that creates stereo images typically takes from 1.5 to 2 times longer than the algorithm for mono images. This paper presents a fast image-based algorithm for computing stereo images, that needs a little more time than the algorithm for mono images. The presented algorithm uses a single image with depth information (e.g. z-buffer) as an input and produces two images for left and rig...

1996
Nelson L. Max

Chen andWilliams[2]show how precomputedz-buffer hnagesfromdifferent fixedviewing positions canbe reprojected toproduceanimagefora new viewpoint. Hereimagesareprecomputedfortwigsand branchesatvariouslevelsinthehierarchical structure ofa tree,and adaptivelycombined,dependingon thepositionof thenew viewpoint.The precomputedimages containmultiplez levelstoavoidmissingpixelsinthereconstruction, subp...

2001
Geoff Kassel Graeme Smith

This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned with preserving the semantics of the original specification, but also with how efficiently the resulting specification can be model checked. Hence, the paper investigates alternative translation schemes and compares how e...

Journal: :Pediatrics 2013
Gehan Roberts Jeanie Cheong Gillian Opie Elizabeth Carse Noni Davis Julianne Duff Katherine J Lee Lex Doyle

OBJECTIVES To determine changes in height, weight, and BMI of extremely preterm (EPT; gestational age <28 completed weeks) survivors from birth to 18 years of age, compared with term controls. METHODS Birth, discharge, and follow-up at ages 2, 5, 8, and 18 years of consecutive EPT survivors and contemporaneous term controls born in 1991-1992 in Victoria, Australia. Weight, height, and BMI wer...

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

فرض کنیم w یک زیر مجموعه ناتهی از یک گروه آزاد باشد. خودریختی ? از یک گروه g را یک خودریختی حاشیه ای می نامیم اگر برای هر x?g داشته باشیم x^(-1) ?(x)?w^* (g)، جایی که w^* (g) زیرگروه حاشیه ای گروه g است. در این پایان نامه ثابت می کنیم که اگر g یک گروه باشد و w یک زیر مجموعه غیرتهی از f_? باشد به طوری که w^* (g)?w(g)?z(g)، آن گاه ?aut?_(w^* ) (g)?hom(g/w(g) ,w^* (g)) و هم چنین برای هر -pگروه متن...

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

فرض کنید h^2 فضای هاردی باشد. عملگر ضربی(انتقال به جلو) m_(z(f)=zf(z)) تعریف می شود با توجه به قضیه بورلینگ: aیک زیر فضای بسته ی پایای m_z است اگر و تنها اگرh^2 a=?؛ که ? یک تابع داخلی است. اگرu یک گوی واحد، p?uو u) ? z) (z): =(p-z)/(1-p ?z) ?_p برای هر عدد صحیح نامنفی n، فرض کنید ??_p (z))?^n ) (z)= ?((1-?|p|?^2)/(1-p ?z)) b_n b_n ها پایه برای فضای هاردی h^2 می باشد که به پایه گایکر معرو...

Journal: :International Mathematics Research Notices 2018

1998
Jin Song Dong Brendan P. Mahony

Active objects have their own thread of control and passive objects are controlled by others. In Object-Z, all objects are modelled as passive objects. Timed Communicating Object Z (TCOZ) extends the Object-Z notation with Timed CSP’s process and timing constructs. The blending of the concepts of object and non-terminating process leads to the notion of active object in TCOZ. This paper conside...

2004
Graeme Smith

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification...

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

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