This paper presents, a hybrid method, low-resolution and high-resolution, for Persian page segmentation. In the low-resolution page segmentation, a pyramidal image structure is constructed for multiscale analysis and segments document image to a set of regions. By high-resolution page segmentation, by connected components analysis, each region is segmented to homogeneous regions and identifyi...

The title of the paper must be understood in a strictly literal sense: we discuss the formalization, in the Matita Interactive Theorem Prover [2, 3], of one page of a traditional graduate textbook in Number Theory, and precisely the portion of text spanning from line −9 of page 19 to line −6 of page 20 in Ireland and Rosen’s book “A Classical Introduction to Modern Number Theory” [10] (see appe...

An experimental machine vision system that reads pages of printed text is described, with particular attention to features which permit it to cope with a variety of languages. We have attempted to uncouple sources of variation in the input irnaging defects, page layouts, sizes of text, symbol sets, font styles, linguistic contexts, and transliteration encodings so that each can be managed by an...

As my natural taste has always been to look forward rather than backward this is a task which I did not care to undertake. Now, however, I feel most grateful to my friend Mauricio Peixoto for having coaxed me into accepting it. For it has provided me with my first opportunity to cast an objective glance at my early mathematical work, my algebro-geometric phase. As I see it at last it was my lot...

A rapid and simple technique for diagnosis of rotaviral diarrhea is polyacrylamide gel electrophoresis (PAGE) of dsRNA extracted from fecal samples. To determine the electrophoretype of Iranian calf rotavirus, 23 rotaviral positive fecal samples from diarrheic Holstein calves at the age of less than one month in Tehran region were examined. The viral dsRNA was extracted with phenol-chloroform, ...