نتایج جستجو برای: partial root

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

Journal: :Archive of Formal Proofs 2017
Tobias Nipkow

Andersson [1, 2] introduced general balanced trees, search trees based on the design principle of partial rebuilding: perform update operations naively until the tree becomes too unbalanced, at which point a whole subtree is rebalanced. This article defines and analyzes a functional version of general balanced trees, which we call root-balanced trees. Using a lightweight model of execution time...

2017
Tobias Nipkow

Andersson introduced general balanced trees, search trees based on the design principle of partial rebuilding: perform update operations naively until the tree becomes too unbalanced, at which point a whole subtree is rebalanced. We define and analyze a functional version of general balanced trees which we call root-balanced trees. Using a lightweight model of execution time, amortized logarith...

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

چکیده: برش مورد مطالعه در 15 کیلومتری جاده ایلام به سمت مهران در منطقه ای تحت عنوان تنگ گراب قرار دارد. سازند گورپی متشکل از سنگهای نرم و تیره رنگ و لیتولوژی نرم بر روی سازند ایلام با سنگهای آهکی سخت و به رنگ سفید و نخودی قرار دارد. در این مطالعه تعداد 51 گونه متعلق به 23 جنس از فرامینیفرهای پلانکتونیک شناسایی و محدوده ی حضور آنها در برش مورد مطالعه تعیین شد. بر این اساس این سازند به 12 بایوزو...

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

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