In this paper we propose a convergence acceleration method for collocation solutions of the linear second-kind Volterra integral equations with proportional delay qt (0 < q < 1). This convergence acceleration method called multilevel correction method is based on a kind of hybrid mesh, which can be viewed as a combination between the geometric meshes and the uniform meshes. It will be shown tha...

We introduce the method of clausal graph tableaux at the example of hybrid logic with difference and star modalities. Clausal graph tableaux are prefix-free and terminate by construction. They provide an abstract method of establishing the small model property of modal logics. In contrast to the filtration method, clausal graph tableaux result in goal-directed decision procedures. Until now no ...

Power exponentiation is an important operation in modern cryptography. This operation can be efficiently calculated using the concept of the addition chain. In this paper, two new systematic methods, a Run-length method and a Hybrid method, are proposed to generate a short addition chain. The performance of these two methods are theoretically analyzed and it is shown that the Hybrid method is m...

This paper focuses on the use of advanced techniques of text analysis as support for collocation extraction. A hybrid system is presented that combines statistical methods and multilingual parsing for detecting accurate collocational information from English, French, Spanish and Italian corpora. The advantage of relying on full parsing over using a traditional window method (which ignores the s...

Hybrid and cyberphysical systems pose significant challenges for a formal development formalism based on pure discrete events. This paper compares the capabilities of (conventional) Event-B for modelling such systems with the corresponding capabilities of the Hybrid Event-B formalism, whose design was intended expressly for such systems. We do the comparison in the context of a simple water tan...

A nonlinear filtering problem is investigated, and the discrete representation theorem is used to synthesize the optimal filter. An optimal filtering algorithm is described, and hybrid techniques are employed to effect several methods of implementing the algorithm on a hybrid computer. These implementations are then compared (via Monte Carlo analysis) on the bases of speed and accuracy. It is c...

The hybrid fuzzy differential equations have a wide range of applications in science and engineering. We consider the problem of nding their numerical solutions by using a novel hybrid method based on fuzzy neural network. Here neural network is considered as a part of large eld called neural computing or soft computing. The proposed algorithm is illustrated by numerical examples and the result...

A novel hybrid method for tracking multiple indistinguishable maneuvering targets using a wireless sensor network is introduced in this paper. The problem of tracking the location of targets is formulated as a Maximum Likelihood Estimation. We propose a hybrid optimization method, which consists of an iterative and a heuristic search method, for finding the location of targets simultaneously. T...

In this paper, a novel hybrid kernel machine ensemble is proposed for abnormal ECG beat detection to facilitate long-term monitoring of heart patients. A binary SV M is trained using ECG beats from different patients to adapt to the reference values based on the general patient population. A one-class SV M is trained using only normal ECG beats from a specific patient to adapt to the specific r...

We introduce a very general method of achieving stable and fast color segmentation. This method works on diierent hierarchical data structures and combines local bottom-up region growing segmentation with top-down separation techniques. As our method supports exploitation of inherent parallelism, a real-time object detection has been designed and is in the implementation phase.