In this paper, we propose compositional separation logic with tree predicates (CSLTP), where properties such as sortedness and heightbalancedness of complex data structures (for instance, AVL trees and red-black trees) can be fully specified. We show that the satisfiability problem of CSLTP is decidable. The main technical ingredient of the decision procedure is to compute the least fixed point...

Background: According to the drug resistance and side effects of the standard treatments for leishmaniasis, achieving effective treatment with less side effects and more benefits is of paramount importance. The present study aimed to evaluate the effect of Aloe vera leaf exudate on Leishmania major under in vitro and in vivo models, in inbred BALB/c mice. Methods: Different concentrations of bo...

Abstract We study the problem of privacy-preserving approximate kNN search in an outsourced environment — client sends encrypted data to untrusted server and later can perform secure updates. design a security model propose generic construction based on locality-sensitive hashing, symmetric encryption, oblivious map. The provides very strong guarantees, not only hiding information about data, b...

Lung protection during surgeries with artificial circulation (AC) is a vital task in clinical medicine. The aim . Evaluation of the effectiveness intraoperative administration nebulized budesonide for correcting volume status lungs and oxygen transport patients concomitant coronary heart disease (CHD) chronic obstructive pulmonary (COPD) artery bypass grafting (CABG) (AC). Methods pilot study i...

In this paper we improve previous bounds on expected measures of AVL trees by using fringe analysis. A new way of handling larger tree collections that are not closed is presented. An inherent diiculty posed by the transformations necessary to keep the AVL tree balanced makes its analysis diicult when using fringe analysis methods. We derive a technique to cope with this diiculty obtaining the ...

In the present paper, we evaluate the relationship between climate variables and population density of Lutzomyia longipalpis in Montes Claros, an area of active transmission of American visceral leishmaniasis (AVL) in Brazil. Entomological captures were performed in 10 selected districts of the city, between September 2002-August 2003. A total of 773 specimens of L. longipalpiswere captured in ...

Much has been said in praise of self-adjusting data structures, particularly self-adjusting binary search trees. Self-adjusting trees are most suited to skewed key-access distributions as the techniques attempt to place the most commonly accessed keys near the root of the tree. Theoretical bounds on worst-case and amortized performance (i.e. performance over a sequence of operations) have been ...

S~mtl iche bekannten Arten von ba lanc i e r t en B~umen lassen sich auf zwei Grundtypen zurUckfUhren: H~henbalanc ier te B~ume (AVL-B~ume [AVL], 2-3-B~ume [AHU], Bruder-B~ume [OS] . . . . ) und gew ich t sba lanc ie r t e B~ume. Bei den ers te ren b a i a n c i e r t man entweder H~hen der Teilb~ume (AVLB~ume) oder d ie Anzahl der S~hne eines Knotens (2-3 B~ume, BruderB~ume). Hier werden wi r ...