Sometimes the bad character heuristics fails. In the following situation the comparison a-b causes a mismatch. An alignment of the rightmost occurence of the pattern symbol a with the text symbol a would produce a negative shift. Instead, a shift by 1 would be possible. However, in this case it is better to derive the maximum possible shift distance from the structure of the pattern. This metho...

Phrase has been considered as a more informative feature term for improving the effectiveness of document retrieval .This paper propose an Algorithm A Phrase Based Document Retrieval to retrieve the similar documents by combining two exiting algorithm suffix tree ,index data structure and “The Boyer-Moore Algorithm”, faster string searching algorithm. The suffix tree is constructed based on E. ...

Abstract Stochastic processes with random reinforced relocations have been introduced in a series of papers by Boyer and co-authors (Boyer Solis Salas 2014, Pineda 2016, Boyer, Evans Majumdar 2017) to model animal foraging behaviour. Such process evolves as Markov process, except at relocation times, when it chooses time its whole past according some ‘memory kernel’, jumps value that time. We p...

Epidemiology of Psychiatric Disorders among Children and Adolescents in Kohgiloyeh Boyer- Ahmad Province, Iran

The invited review paper to accompany this special issue, authored by Williams and Boyer [...]

Les luttes politiques et idéologiques contre les anglicismes illustrent parfaitement le double aspect de l’ unilinguisme tel que défini par Henri Boyer : « pas concurrence (pour la langue nationale ), déviance (par rapport à norme ) » (Boyer, 2001). Terme fois dénotant connotant, entre description prescription, l’anglicisme est un fléau pour puristes défenseurs auto-proclamés du génie langue. D...

We present here a proof of Ramsey's Theorem for exponent 2 using the Boyer-Moore theorem prover. The presentation is intended to be in a style to assist those who want to learn how to improve their eeectiveness in using the Boyer-Moore logic and theorem prover.