نتایج جستجو برای: boyer
تعداد نتایج: 1607 فیلتر نتایج به سال:
In order to investigate goiter prevalence in Boyer-Ahmad, an Iranian tribal province, 87 families were randomly selected in Yasuj township and Doruhan county. Clinical examination of the subjects disclosed 95% of females and 87% of males over 6 years of age to be goitrous. Grade 2 goiter had the highest prevalence among females. In males grade 1 b was the most prevalent. Hormonal studies o...
Based on the Boyer-Moore-Galil approach. a new algorithm is proposed which requires a number of character comparisons bounded by 20, regardless of the Dumber of occurrences of the pattern in the textstring. Preprocessing is only slightly more involved and still requires a time linear in the pattern size.
This paper presents several techniques, motivated by the study of weakest preconditions, for structuring proofs about recursive functions using generic theories. The theories can be implemented on a variety of theorem provers that support introduction and instantiation of partial functions (PVS, HOL, ACL2, NQTHM). The focus here is on the Boyer-Moore (NQTHM [1,2]) and Kaufmann-Moore (ACL2 [6]) ...
We describe and analyze three simple and fast algorithms on the average for solving the problem of string matching with a bounded number of mismatches. These are the naive algorithm, an algorithm based on the Boyer-Moore approach, and ad-hoc deterministic nite automata searching. We include simulation results that compare these algorithms to previous works.
Ryan P. Kovach,∗ ¶ Gordon Luikart,† Winsor H. Lowe,‡ Matthew C. Boyer,§ and Clint C. Muhlfeld∗† ∗U.S. Geological Survey, Northern Rocky Mountain Science Center, Glacier National Park West Glacier, MT 59936, U.S.A. †Flathead Lake Biological Station, University of Montana, Polson, MT 59860, U.S.A. ‡Division of Biological Sciences, University of Montana, Missoula, MT 59812, U.S.A. §Montana Fish, W...
It is demonstrated that, in the adiabatic approximation, nonequatorial circular orbits of particles in the Kerr metric ~i.e., orbits of constant Boyer-Lindquist radius! remain circular under the influence of gravitational radiation reaction. A brief discussion is given of conditions for breakdown of adiabaticity and of whether slightly noncircular orbits are stable against the growth of eccentr...
We investigate the probabilistic behavior of a string-matching heuristic used for searching for the occurrences of a pattern in a random text. Our investigation covers the two cases when the pattern itself is xed or random. Under suitable normalization we show that the total search time is asymptotically normally distributed in the case of xed pattern, whereas in the case of random pattern the ...
String matching is the problem of finding all the occurrences of a pattern in a text. We present a new method to compute a combinatorial shift function (“best matching shift”) of the well-known Boyer–Moore string matching algorithm. Moreover we conduct experiments showing that the algorithm using this best matching shift is the most efficient in particular cases such as the search for patterns ...
n August, the New England Journal of Medicine published a letter to the editor by Boyer, Shannon and Hibberd entitled " Web Sites with Misinformation about Illicit Drugs ". 1 In this article, Boyer et al. criticize government websites for not competing successfully with " partisan " drug information web sites, name sites they consider partisan, and offer specific criticism of information found ...
ADP-Glc pyrophosphorylase (EC 2.7.7.27), starch synthases (EC 2.4.1.21), and SBEs (EC 2.4.1.18) are the key enzymes in the pathway of plant starch biosynthesis. Starch is a polymer of Glc that exists as two fractions, amylose and amylopectin, in maize (Zea mays L.) kernel amyloplasts. The essentially linear polymer amylose contains a-1,4-linked Glc, whereas the branched polymer amylopectin cont...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید