نتایج جستجو برای: Interval methods
تعداد نتایج: 1991967 فیلتر نتایج به سال:
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...
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...
بر اساس پخش و پراکندگی چینه شناسی روزنبران پلانکتونیک شناسایی شده از برش مورد پژوهش 9 بیوزون شناسایی و معرفی شد که منطبق با بایوزون های استاندارد جهانی در قلمرو تتیس بوده و به ترتیب ازپایین به بالا شامل : بیوزون 1)dicarinella concavata interval zone (سانتونین پسین) بیوزون 2) dicarinella asymetrica total range zone ( کامپانین میانی) بیوزون 3) globotruncanita elevata interval zone ( کامپانین پ...
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...
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...
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 ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید