Suppose that a hyperbolic knot in S admits a finite surgery, Boyer and Zhang proved that the surgery slope must be either integral or halfintegral, and they conjectured that the latter case does not happen. Using the correction terms in Heegaard Floer homology, we prove that if a hyperbolic knot in S admits a half-integral finite surgery, then the knot must have the same knot Floer homology as ...

Scalpel, a popular open source file recovery tool, performs file carving using the Boyer-Moore string search algorithm to locate headers and footers in a disk image. We show that the time required for file carving may be reduced significantly by employing multi-pattern search algorithms such as the multipattern Boyer-Moore and Aho-Corasick algorithms as well as asynchronous disk reads and multi...

* The spectra were obtained both from Dr. Marjorie C. Caserio of the California Institute of Technology, Pasadena, and independently from Dr. LeRoy F. Johnson of Varian Associates, Palo Alto. This assistance is gratefully acknowledged. 1 Noelting, E., and A. Kohn, Chem.-Ztg., 18, 1905 (1894). 2 For various pertinent references, see J. V. R. Kaufman and J. P. Picard, Chem. Rev., 59, 429 (1959). ...

1. CHA, S., MOURAD, N., CHA, C.-J. M., AND PARKE, R. E., JR., Fedemtion Proc., 24, 362 (1965). 2. MITCHELL, R. A., BUTLER, L. G., AND BOYER, P. D., B&hem. and Biophys. Research Communs., 16, 545, (1964). 3. KREIL, G., AND BOYER, P. D., Biochem. and Biophys. Research Commune., 16, 551 (1964). 4. CHA, S., AND PARKS, R. E., JR., Federation Proc., 22, 361 (1963); J. Btil. Chem., 239, 1961 (1964). 5...

The Boyer-Moore’s string matching algorithm uses two pre-computed tables skip, which utilizes the occurrence heuristic of symbols in a pattern, and shift, which utilizes the match heuristic of the pattern, for searching a string. Some experts have pointed out that the difficulty of understanding the computation of the shift table has hindered utilization of the algorithm in a wider range of app...

Traditional parallel single string matching algorithms are always based on PRAM computation model. Those algorithms concentrate on the cost optimal design and the theoretical speed. Based on the distributed string matching algorithm proposed by CHEN, a practical distributed string matching algorithm architecture is proposed in this paper. And also an improved single string matching algorithm ba...

This paper describes, by means of an example, how one may mechanically verify delay insensitive circuits on an automated theorem prover. It presents the verification of both the safety and liveness properties of an n-node delay insensitive fifo circuit [12]. The proof system used is a mechanized implementation of Unity [3] on the Boyer-Moore prover [1], described in [6, 7, 8]. This paper descri...

the main objective in this causal-correlation field research was to identify effective factors on rural youth’s attitude towards agricultural occupation, in kohgiluyeh and boyer-ahmad province, iran. rural youth 15-25 years old in kohgiluyeh and boyer- ahmad province were the population of this study. the technique of sampling was cluster sampling. the technique of data collection is questionna...

economic and social changes in recent decades led to regional imbalance and inordinate concentration of facilities in some parts and bereavement of other parts. we need to district and regional planning which its objective is providing an appropriate model for balanced distribution of services according to population of settlements or spatial balance in the region. the topics of sustainable dev...