Background: Recently, the surgical methods are used in patients with anterior cruciate ligament rupture and have been associated with successful results. There are different results in the term of using of the surgical methods for anterior cruciate ligament that often is associated with some complications such as infection, static laxity, remaining the pain, need to recurrence surgery, and limi...

To parallelize a DO-loop in a Fortran program, the independence of various iterations of the DO-loop has to be detected. Two commonly used tests to check for iteration independence are the GCD test and the Banerjee test. In this paper we introduce a new data dependence test called the Diagonal test that is based on some very simple geometric properties of straight lines and hyper-planes. We sho...

The purpose of this paper is to present a method for testing computer programs with iteration loops. Given such programs, we have shown that for classes of program paths, identified as sequences of simple loop paths, there is a characterizing function called a simple loop pattern. The key idea of simple loop patterns is that these special functions form a base set which can represent any path c...

Background The relationship between handedness and digital dermatoglyphic patterns has never been investigated in the Sinhalese population. The goal of this study is to establish the above mentioned relationship, which would positively aid personal identification.  Findings One hundred forty Sinhalese students (70 right-handed and 70 left-handed) were studied for their digital dermatoglyphic pa...

Research on automatic software repair is concerned with the development of systems that automatically detect and repair bugs. One well-known class of bugs is the infinite loop. Every computer programmer or user has, at least once, experienced this type of bug. We state the problem of repairing infinite loops in the context of test-suite based software repair: given a test suite with at least on...

This paper presents a complete trajectory tracking controller design for an Unmanned Air Vehicle using Linear Parameter Varying design methods. The longitudinal and lateral controllers are designed using an inner loop – outer loop structure with the inner loop LPV controller designed using μsynthesis. The inner-loop is then approximated with a reference model and the outer loop is designed usin...

We study the two loop quantum equivalence of sigma models related by Buscher’s T-duality transformation. The computation of the two loop perturbative free energy density is performed in the case of a certain deformation of the SU(2) principal sigma model, and its T-dual, using dimensional regularization and the geometric sigma model perturbation theory. We obtain agreement between the free ener...