This survey considers the following setting. A seller wants to sell a set of indivisible goods. A set of buyers are interested in buying the goods. Buyers have private values for bundles of goods they are interested in buying. The seller’s objective is to allocate the goods to the buyers efficiently (maximizing the total utility of buyers). Since the values of buyers are private information, th...

Mechanism design uses the tools of economics and game theory to design rules of interaction for economic transactions that will,in principle, yield some desired outcome. In the last few years this field has received much interest of researchers in computer science, especially with the Internet developing as a platform for communications and connections among enormous numbers of computers and hu...

The direct Vickrey-Clarke-Groves (VCG) mechanism requires solving underlying optimization problems of the main economy and of every “marginal” economy. We show that VCG outcome can be implemented using a competitive equilibrium (CE) of the main economy if and only if that CE price is also a CE price of every marginal economy. We call such a CE price a universal competitive equilibrium (UCE) pri...

The veriication of programs that contain mutually recursive procedures is a diicult task, and one which has not been satisfactorily addressed in the literature. Published proof rules have been later discovered to be unsound. Veriication Condition Generator (VCG) tools have been eeective in partially automating the veriication of programs, but in the past these VCG tools have in general not them...

In the customary VCG (Vickrey-Clarke-Groves) mechanism truth-telling is a dominant strategy. In this paper we study the sequential VCG mechanism and show that other dominant strategies may then exist. We illustrate how this fact can be used to minimize taxes using examples concerned with Clarke tax and public projects.

Respiration and body position changes (BPC) affect on the morphology of electrocardiograph (ECG). This variation can be modeled by the rotation of vectorcardiographic (VCG) loop. To visualize the distortion on ECG, caused by these motion artifacts, a software simulation environment was created. With user adjustable rotation angles it enables observation of the influence of VCG loop movement on ...

The electrocardiography (ECG) and vectocardiography (VCG) both describe the same phenomena: the temporal changes of the surface potentials resulting from cardiac electrical field. The ECG uses 12 leads positioned as it was found optimal from the medical point of view during a hundred years of practice. The VCG uses 3 channels connected to the psuedoorthogonal leads that placement is determined ...

Mechanism design, originally a subfield of microeconomics that concerns implementing systemic good solutions to problems that involve multiple self-interested agents so as to align their incentives with the objectives of the system designer, is now becoming a standard tool in computer science as more and more computer-related systems and phenomena are understood as interactions between self-int...

A natural goal in designing mechanisms for auctions and public projects is to maximize the social welfare while incentivizing players to bid truthfully. If these are the only concerns, the problem is easily solved by use of the VCG mechanism. Unfortunately, this mechanism is not computationally efficient in general and there are currently no other general methods for designing truthful mechanis...