In this paper, we develop a new class of iterative mechanisms called a VCG-equivalent in expectation mechanism. Iterative auctions are preferred over their sealed-bid counterparts in practical settings, since they can avoid full revelation of type information. However, to guarantee that sincere strategies are an ex post equilibrium, the mechanism needs to achieve exactly the same outcome as the...

One hundred-thirty soil isolates of A. flavus were collected from commercial pistachio orchards in two main production regions including Rafsanjan (Kerman Province, south-eastern of Iran) and Damghan (Semnan Province, central north of Iran) and assayed for vegetative compatibility groups (VCGs). The sixteen and twenty VCGs were identified for 41 and 37 nit-mutant producing isolates of A. flavus...

In this investigation, Aspergillus niger isolated from eight food substances, have been classified based on the absence of heterokaryon formation. The size their sporangia were differentiated, wild and mutant strains subjected to vegetative compatibility tests in order group them into different groups (VCGs) which include VCG-1, VCG-2, VCG-3 VCG-4. further tested for possible formation a stable...

BACKGROUND Vectorcardiogram (VCG) signals monitor both spatial and temporal cardiac electrical activities along three orthogonal planes of the body. However, the absence of spatiotemporal resolution in conventional VCG representations is a major impediment for medical interpretation and clinical usage of VCG. This is especially so because time-domain features of 12-lead ECG, instead of both spa...

Numerous criteria for the diagnosis of inferior wall myocardial infarction by electrocardiogram (ECG) and vectorcardiogram (VCG) have been published, but they have not been subjected to a systematic, independent evaluation. Accordingly, we studied 146 patients undergoing cardiac catheterization; 63 were normal and 83 had a history of infarction, a significant right coronary lesion and an inferi...

AIMS When analyzing P-wave morphology, the vectorcardiogram (VCG) has been shown useful to identify indicators of propensity to atrial fibrillation (AF). Since VCG is rarely used in the clinical routine, we wanted to investigate if these indicators could be accurately determined in VCG derived from standard 12-lead ECG (dVCG). METHODS ECG and VCG recordings from 21 healthy subjects and 20 pat...

Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not themselves been mechanically proven, so any proof using and depending on these VCGs might have contained errors. In our work, we define and rigorously prove correct a VCG tool within the HOL theorem proving system, for a s...

Veri cation Condition Generator (VCG) tools have been e ective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not themselves been mechanically proven, so any proof using and depending on these VCGs might not be sound. In our work, we de ne and rigorously prove correct a VCG tool within the HOL theorem proving system, for a standard whil...

The study aim was to construct linear transformations for derivation of McFeeParungao vectorcardiogram (VCG) from 12 standard ECG or Frank VCG and to assess the accuracy of derived electric cardiac signals (ECS) and secondarily derived VCG parameters. A large archive of VCG data recorded in the McFee-Parungao lead system have been accumulated and analyzed in the Cardiology Research Complex (Mos...