1. Computing machines. 2. Definitions. Automatic machines. Computing machines. Circle and circle-free numbers. Computable sequences and numbers. 3. Examples of computing machines. 4. Abbreviated tables Further examples. 5. Enumeration of computable sequences. 6. The universal computing machine. 7. Detailed description of the universal machine. 8. Application of the diagonal process. Pagina 1 di...

We describe a trainable, hand-drawn symbol recognizer based on a multi-layer recognition scheme. Symbols are internally represented as binary templates. An ensemble of four different classifiers compares and ranks definition symbols according to their similarity to the unknown symbol. The scores of the individual classifiers are aggregated to produce a combined score for each definition. The de...

In a recent paper, Bindjeme and Fill obtained a surprisingly easy exact formula for the L2-distance of the (normalized) number of comparisons of Quicksort under the uniform model to its limit. Shortly afterwards, Neininger proved a central limit theorem for the error. As a consequence, he obtained the asymptotics of the L3-distance. In this short note, we use the moment transfer approach to re-...

honing is a process for finishing surfaces to obtain smooth surface. this process is used for finalpolish of inner parts such as engines cylinders. optimizing this process has always been a bigchallenge for mass production of cylinder blocks of internal combustion engines. honing processhas some variable parameters, thus to get their optimum rates the automobile cylinders were tested.in this re...

1. Introduction We are concerned with detecting a change in the underlying condition of a process, when the available observations are related only probabilistically to this condition. This situation has long been of concern to statisticians, engineers, economists, epidemiologists, etc. In this paper we address the specific context of monitoring a discrete-part production machine, with the obje...

Recent improvements in web standards and technologies enable the attackers to hide and obfuscate infectious codes with new methods and thus escaping the security filters. In this paper, we study the application of machine learning techniques in detecting malicious web pages. In order to detect malicious web pages, we propose and analyze a novel set of features including HTML, JavaScript (jQuery...