نتایج جستجو برای: Interval methods

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

پایان نامه :0 1374

the rationale behind the present study is that particular learning strategies produce more effective results when applied together. the present study tried to investigate the efficiency of the semantic-context strategy alone with a technique called, keyword method. to clarify the point, the current study seeked to find answer to the following question: are the keyword and semantic-context metho...

پایان نامه :0 1370

all analytical methods are generally based on the measurement of a parameter or parameters which are somehow related to the concentration of the species.an ideal analytical method is one in which the concentration of a species can be measured to a high degree precision and accuracy and with a high sensitivity. unfortunately finding such a method is very difficult or sometimes even impossible.in...

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

بر اساس پخش و پراکندگی چینه شناسی روزنبران پلانکتونیک شناسایی شده از برش مورد پژوهش 9 بیوزون شناسایی و معرفی شد که منطبق با بایوزون های استاندارد جهانی در قلمرو تتیس بوده و به ترتیب ازپایین به بالا شامل : بیوزون 1)dicarinella concavata interval zone (سانتونین پسین) بیوزون 2) dicarinella asymetrica total range zone ( کامپانین میانی) بیوزون 3) globotruncanita elevata interval zone ( کامپانین پ...

2000
Thomas A. Henzinger Benjamin Horowitz Rupak Majumdar Howard Wong-Toi

Since hybrid embedded systems are pervasive and often safety-critical, guarantees about their correct performance are desirable. The hybrid systems model checker HyTech provides such guarantees and has successfully veriied some systems. However, HyTech severely restricts the continuous dynamics of the system being analyzed and, therefore, often forces the use of prohibitively expensive discrete...

1995
P. Van Hentenryck

This paper presents a branch & cut algorithm to nd all isolated solutions of a system of polynomial constraints. Our ndings show that fairly straightforward reenements of interval methods inspired by AI constraint propagation techniques result in a multivariate root nding algorithm that is competitive with continuation methods on most benchmarks and which can solve a variety of systems that are...

2004
Luke E. K. Achenie Vladik Kreinovich Kaj Madsen

This chapter contains selected papers presented at the Minisymposium on Interval Methods of the PARA’04 Workshop “State-ofthe-Art in Scientific Computing”. The emphasis of the workshop was on high-performance computing (HPC). The ongoing development of ever more advanced computers provides the potential for solving increasingly difficult computational problems. However, given the complexity of ...

Journal: :Computers & Chemical Engineering 1996

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

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