We present a mathematical model, and the corresponding mathematical analysis, that justifies and quantifies the use of principal component analysis of biallelic genetic marker data for a set of individuals to detect the number of subpopulations represented in the data. We indicate that the power of the technique relies more on the number of individuals genotyped than on the number of markers.

Electromyography is a very useful technique for a number of clinical and research applications in physiology and other life science applications. We have adapted this technique as a student exercise to explore important aspects of postural control. With minimal effort and some mathematical calculations this student friendly technique efficiently demonstrates the interaction of anticipatory, or ...

In image compression, object-based approaches are adapted to high compression rates, since they take into account the geometry of the objects and the human eye characteristics. Mathematical Morphology, dealing with geometrical features is a well suited technique for segmentation purposes. This paper presents a method to segment image sequences, first step of an object-oriented compression syste...

Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in practice is its inability to handle complex mathematical constraints. To address the problem, we have integrated CORAL’s heuristic solvers into NASA Ames’ Symbolic PathFinder symbolic execution tool. CORAL’s solvers hav...

One of the most fundamental features of digital image and the basic steps in image processing, analysis, pattern recognition and computer vision is the edge of an image where the preciseness and reliability of its results will affect directly on the comprehension machine system made objective world. Several edge detectors have been developed in the past decades, although no single edge detector...

The efficiency of transportation system management plays an important role in the planning and operation efficiency of flexible manufacturing systems. Automated Guided Vehicles (AGV) are part of diversified and advanced techniques in the field of material transportation which have many applications today and act as an intermediary between operating and storage equipment and are routed and contr...

Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and textual information are formulated as logical statements at appropriately high level of abstraction. Contrary to this it seems, the human mind integrates sensor and language signals seamlessly, before signals are understood, at pre-conceptual level. Learning of conceptual contents...

The design of operators (e.g. filters) for Signal or Image Processing requires an algebraic decomposition structure, to represent the family of operators considered, and statistical optimization techniques, defined over the space of operator decompositions or over another isomorphic structure. This paper surveys a technique for designing set operators based on Mathematical Morphology decomposit...

Photogrammetric Computer Vision algorithms often deal with complex numerical calculations and complex data structures. For modelling the numerical calculations usually a mathematical model is used. For the data structures an Object-Oriented model is appropriate. But there is still a lack in modelling the combination of both kinds of notation. In this paper we present a new modelling technique f...

The work reported in the paper employs a general approach of associating engineering domains with general discrete mathematical models, called – graph representations. Once the engineering system is represented by a graph representation, all the reasoning processes upon the system are substituted by a reasoning of a more mathematical nature over the graph representation. Accordingly, graph repr...