A new adaptive sorting algorithm is introduced. The new implementation relies on using the traditional AVL trees, and has the same performance limitations. More precisely, the number of comparisons performed by our algorithm, on an input sequence of length n that has I inversions, is at most 1.44n lg I n + O(n) . Our algorithm runs in time O(n log I n ) and is practically efficient and easy to ...

Resource discovery is of great importance in grid environments. Most of existing approaches treat all resources equally without any categorizing mechanism. We propose, Resource Category Tree (RCT), which organizes resources based on their characteristics represented by primary attributes (PA). RCT adopts a structure of distributed AVL tree, with each node representing a specific range of PA val...

Since transfers increase the connectivity of routes, they improve characteristics transit networks. Designing and managing are well-investigated issues arising at tactical operational level. Conversely, monitoring phase was rarely faced to verify consistency between well planned and/or delivered transfers. In this paper, we tailor an innovative methodology for measuring rate two routes by using...

Chronic alcoholism is associated with a marked deficit in total magnesium (tMg). However, little is known about the status of the physiologically active form, ionized magnesium (iMg). We assessed serum iMg (measured with two ion-selective electrodes, AVL 988-4 and NOVA CRT) and tMg concentrations in chronic alcoholics at admission (n = 31) and after abstinence (n = 13) and compared these result...

The clinical-immunological spectrum of human Leishmania (L.) infantum chagasi infection in Amazonian Brazil was recently reviewed based on clinical, DTH, and IFAT (IgG) evaluations that identified five profiles: three asymptomatic (asymptomatic infection, AI; subclinical resistant infection, SRI; and indeterminate initial infection, III) and two symptomatic (symptomatic infection, SI; American ...

Vascular proliferations may arise in the breast following radiation treatment for a primary breast adenocarcinoma. A post-radiation vascular proliferation can usually be classified as angiosarcoma or as an atypical vascular lesion (AVL). Angiosarcomas with a “low-grade” morphology, behave aggressively but exhibit substantial histomorphologic overlap with AVLs, which have a generally benign clin...

BACKGROUND AND PURPOSE The purpose of this study was to determine which leads in the standard 12-lead electrocardiogram (ECG) are the best for detecting acute coronary syndrome (ACS) among chest pain patients in the emergency department. METHODS Neural network classifiers were used to determine the predictive capability of individual leads and combinations of leads from 862 ECGs from chest pa...

We consider binary search trees, where rebalancing transformations need not be connected with updates but may be delayed. For standard AVL tree rebalancing, we prove that even though the rebalancing operations are un-coupled from updates, their total number is bounded by O(M log(M +N)), where M is the number of updates to an AVL tree of initial size N. Hence, relaxed balancing of AVL trees come...

This paper presents MatchC, a matching logic reachability verifier using the K framework. K is a rewritingbased framework for defining and analyzing programming languages. Matching logic is a logic designed to state and reason about structural properties over arbitrary program configurations. Matching logic reachability is a unifying framework for operational and axiomatic semantics of programi...