We consider a social cost minimization problem with equality and inequality constraints in which a central coordinator allocates infinitely divisible goods to self-interested N firms under information asymmetry. We consider the VickreyClarke-Groves (VCG) mechanism and study its connection to an alternative mechanism based on market clearing-price. Under the considered set up, we show that the V...

Abstract In the sponsored search auction, VCG and GSP have been compared by researchers from computer science and economics in the last few years. However, there have been some experiments not well consistent with the existing literatures. We proposed that an assumption could be refined, namely the dominant-strategy equilibrium is still the unique valid VCG equilibrium concept in the sponsored ...

For the problem of allocating one or more items among a group of competing agents, the Vickrey-Clarke-Groves (VCG) mechanism is strategyproof and efficient. However, the VCG mechanism is not strongly budget balanced: in general, value flows out of the system of agents in the form of VCG payments, which reduces the agents’ utilities. In many settings, the objective is to maximize the sum of the ...

ABSTRACT Thirty-nine isolates of Fusarium oxysporum were collected from tomato plants displaying wilt symptoms in a field in California 2 years after F. oxysporum f. sp. lycopersici race 3 was first observed at that location. These and other isolates of F. oxysporum f. sp. lycopersici were characterized by pathogenicity, race, and vegetative compatibility group (VCG). Of the 39 California isola...

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...

Environment Provider Orderbook File Orderbook Distribution Abstract Orderbook Provider Pricing FactoryOrderbook Provider Pricing Factory Pricing Outcome CPLEX Adapter Abstract Solver VCG PricingSolver VCG Pricing

Recordings of biological signals such as vibrocardiography often contain contaminating noise. Noise sources may include respiratory, gastrointestinal, and muscles movement, or environmental noise. Depending on individual physiology and sensor location, the vibrocardiographic (VCG) signals may be obscured by these noises in the time-frequency plane, which may interfere with automated characteriz...

Simultaneously recorded standard electrocardiograms (ECG) and Frank vectorcardiograms (VCG) were correlated with the coronary arteriograms and the left ventiiculograms of 210 patients. Quantitative criteria were applied to ECG measurements made by manual technics and to VCG measurements obtained by computer technics. As the extent of significant arteriographic disease increased, the frequency o...

This paper analyzes ex post equilibria in the VCG combinatorial auctions. If Σ is a family of bundles of goods, the organizer may restrict the bundles on which the participants submit bids, and the bundles allocated to them, to be in Σ . The Σ-VCG combinatorial auctions obtained in this way are known to be truth-telling mechanisms. In contrast, this paper deals with non-restricted VCG auctions,...