نتایج جستجو برای: p space
تعداد نتایج: 1725749 فیلتر نتایج به سال:
The paper shows a logspace-reduction from the boolean circuit value problem which demonstrates that any relation subsuming bisimilarity and being subsumed by trace preorder (i.e., language inclusion) is ptime-hard, even for finite acyclic labelled transition systems. This reproves and substantially extends the result of Balcázar, Gabarró and Sántha (1992) for bisimilarity.
let $g$ be a locally compact group, $h$ be a compact subgroup of $g$ and $varpi$ be a representation of the homogeneous space $g/h$ on a hilbert space $mathcal h$. for $psi in l^p(g/h), 1leq p leqinfty$, and an admissible wavelet $zeta$ for $varpi$, we define the localization operator $l_{psi,zeta} $ on $mathcal h$ and we show that it is a bounded operator. moreover, we prove that the localizat...
اسانس گیاهان (خشک شده در سایه)، tanacetum tenuisectum , tanacetum polycephalum به دو روش: 1- تقطیر با آب 2- برای اولین بار به روش میکرواستخراج فاز جامد در فضای فوقانی گرفته شد و به روش gc/ms مورد آنالیز و شناسایی واقع گردید. عمده ترکیبات اسانس سرشاخه های گلدار گیاه (tanacetum polycephalum) hydrodistillation % compounds 12.07 camphor 10.66 1, 8- cineole 9.57 chrysanthenyl acetate – t...
let h be a separable hilbert space and let b be the set of bessel sequences in h. by using several interesting results in operator theory we study some topological properties of frames and riesz bases by constructing a banach space structure on b. the convergence of a sequence of elements in b is de_ned and we determine whether important properties of the sequence is preserved under the con...
تئوری چیدمان فضایی بر پای? گراف ها و قوانین آنان شکل می گیرد. و هر یال گراف در این تئوری برمبنای دید و دسترسی کاربر وزن دهی و تحلیل می شوند. بین هر دو نقطه در فضا که کاربر دید و دسترسی داشته باشد، برداری رسم می شود و این بردار به عنوان یک یال گراف در ارتباط دیگر یال ها تحلیل و بررسی می شود. نکته همین جاست؛ در درج? اول پارامترهای دید و دسترسی برای وزن دهی به یال های گراف کافی نیستند. ا?عمالِ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید