This paper presents an algorithm for comparing large numbers of traces to each other and identifying and presenting groups of traces with similar features. It is applied to forensic analysis in which groups of similar traces are automatically identified and presented so that attribution and other related claims may be asserted, and independently confirmed or refuted. The approach of this paper ...

Recent research on qualitative reasoning has focussed on representing and reasoning about events that occur repeatedly. Allen's interval algebra has been modiied to model events that are collections of convex intervals|a non-convex interval. Using the modiied version of Allen's algebra, constraint-based algorithms have been investigated for nding feasible relations in a network of non-convex in...

The primal-dual method increases the dual variables gradually until some dual constraint becomes tight. Then, the primal variable corresponding to the tight dual constraint is ‘bought’ (or selected), and the process continues till we get a feasible primal solution. Next, we compare the value of the primal solution to the value of the dual solution to get an appropriate approximation factor (or ...

In the Petrol Station Replenishment Problem (PSRP) the aim is to jointly determine an allocation of petroleum products to tank truck compartments and to design delivery routes to stations. This article describes an exact algorithm for the PSRP. This algorithm was extensively tested on randomly generated data and on a real-life case arising in Eastern Quebec.

Given an undirected graph, the Vertex Coloring Problem (VCP) consists of assigning a color to each vertex of the graph in such a way that two adjacent vertices do not share the same color and the total number of colors is minimized. DSATUR-based Branch-and-Bound algorithm (DSATUR) is an effective exact algorithm for the VCP. One of its main drawback is that a lower bound is computed only once a...

Let $A$ be a positive (semidefinite) operator on complex Hilbert space $\mathcal{H}$ and let $\mathbb{A}=\left(\begin{array}{cc} A & O O A \end{array}\right).$ We obtain upper lower bounds for the $A$-Davis-Wielandt radius of semi-Hilbertian operators, which generalize improve existing ones. also $\mathbb{A}$-Davis-Wielandt $2 \times 2$ matrices. Finally, we determine exact value two matr...

Introduction: Since palmaris longus tendon is the first choice for grafting, its anatomical variation is important. This study was designed to find the anatomical variations of this tendon in Iranian population by performing a study on cadaver. Method: In this study, 150 forearms belonged to 75 cadavers were studied. After exploring the proximal end of tendon, tendon width was measured at its p...

Abstract We provide a constructive version of the notion sheaf models univalent type theory. start by relativizing existing theory to presheaves over base category. Any Grothendieck topology category then gives rise family left-exact modalities, and we recover model localizing presheaf with respect this modalities. some examples.

introduction: chest x–ray is one of the most common method of imaging. cardio thoracic ratio ( ctr ) is one of the parameters of chest x–ray that is used for determining cardiac enlargement. echocardiography as compared to chest x–ray is expensive and all centers dont have it, but it can determine heart size, valvular diseases, ejection fraction, left ventricular hypertrophy (lvh), pericardial ...