نتایج جستجو برای: boyer

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

2013
Eileen LI

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 ...

2010
Xinyan Zha Sartaj Sahni

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...

Journal: :Proceedings of the National Academy of Sciences of the United States of America 1961
M L Wolfrom A O Pittet I C Gillam

* 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). ...

Journal: :The Journal of biological chemistry 1965
J Nagai K Bloch

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...

Journal: :JDCTA 2009
Yang Wang

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...

2012
Bi Kun Gu Nai - jie Tu Kun Liu Xiao - hu Liu Gang

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...

Journal: :Formal Methods in System Design 1991
David M. Goldschlag

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...

Journal: :international journal of agricultural management and development 2011
mohsen mosaee ahmadreza ommani

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...

Journal: :international journal of advanced biological and biomedical research 2014
masoud taghvaie samaneh khademi ali zamen gholami

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...

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

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