When considering the correctness of programs, the only absolute demonstration of quality is mathematical proof. Yet the complexity of these proofs makes them all but impossible both to construct and read, and the correctness of the proofs themselves come into question. We take an approach to the creation of these proofs based on specifying an axiomatic semantics for the programming language, an...

Vectorcardiogram (VCG) recorded by both the Frank and Kimura systems were examined in 45 patients with complete right bundle branch block (RBBB) and left axis deviation (LAD) to investigate the relationship seen on electrocardiogram (ECG) between RBBB with LAD and bilateral bundle. The sample included: 13 cases of type SI, SII, SIII, SaVF; 21 cases of type SI, SII, SIII, aVF; and 11 cases of ty...

IN RECENT YEARS the morphological features of the major portions of the atrioventricular (A-V) conduction system of human hearts that were afflicted with various congenital anomalies have been described.1-6 These reports have contrasted the anatomy of the A-V conduction system in examples of ventricular septal defect (VSD) and tetralogy of Fallot with that configuration found in defects of the ...

PURPOSE To investigate the immediate effects of the high-pitched blowing vocal exercise. METHODS This is a comparative observational study. Participants were 46 women with ages between 25 and 45 years, who were divided into two groups: 23 individuals with vocal complaint (VCG), and 23 without vocal complaint (WVCG). The procedures included vocal auditory-perceptual analysis, acoustic analysis...

The way compatible pairs of nitrate non-utilizing mutants (nit) are selected is usually not explained and remains unclear whether these pairs are representative for an isolate or strain. In addition, tester strains of Verticillium dahliae vegetative compatibility groups (VCGs) cross-react with at least one pair of tester strains of another VCG, and although it is a common knowledge of scientist...

Using nitrate non-utilizing (nit) mutants, we determined vegetative compatibility groups (VCG) among strains of Beauveria bassiana representing strains indigenous to North America, isolated from diverse insect hosts, and strains that have been mass released for insect control. Genetic similarity among these strains was analyzed using random amplified polymorphic DNA (RAPD) markers. Our data rev...

The Vickrey-Clarke-Groves (VCG) mechanism offers a general technique for resource allocation with payments, ensuring allocative efficiency while eliciting truthful information about preferences. However, VCG relies on exact computation of an optimal allocation of resources, a problem which is often computationally intractable, and VCG that uses an approximate allocation algorithm no longer guar...

AIM Study was designed to assess relationship between aortic compliance and homogeneity of heart electrical activity in dialysis patients. METHODS Study group was consisted of 120 dialyzed patients; 57 (age 50,7 ± 7,1) were on continuous ambulatory peritoneal dialysis (CAPD) and 73 (age 51,6 ± 7,6) were hemodialyzed (HD). Three-dimensional vectorocardiographic (VCG) monitoring was done to ass...

In wireless networks, it is often assumed that each individual wireless terminal will faithfully follow the prescribed protocols without any deviation– except, perhaps, for a few faulty or malicious ones. Wireless terminals, when owned by individual users, will likely do what is the most beneficial to their owners, i.e., act “selfishly”. Therefore, an algorithm or protocol intended for selfish ...