نتایج جستجو برای: clarke mechanism
تعداد نتایج: 568792 فیلتر نتایج به سال:
This paper uses the Clarke mechanism to construct an incentive compatible tâtonnement process which converges to the Lindahl allocation of a public good economy. We show truth telling is an equilibrium in the infinite horizon game induced by the tâtonnement. JEL Codes: C72, D44, H41
We revisit the problem of real-time pricing for load frequency balancing introduced in [3]. Taking inspiration from the Vickrey-Clarke-Groves (VCG) mechanism, we derive incremental price functions that implement the optimal solution in Nash equilibrium. We then compare this pricing scheme with some recent dynamic mechanisms.
We argue that when externalities such as pollution are nonexcludable, agents must be compelled to participate in a "mechanism" to ensure a Pareto-efficient outcome. We survey some of the main findings of the mechanism-design (implementation-theory) literature such as the Nash implementation theorem, the Gibbard-Satterthwaite theorem, the Vickrey-Clarke-Groves mechanism, and the Arrow/d'Aspremon...
In this work we deploy a mechanism design approach for allocating a divisible commodity (electricity in our example) among consumers. We consider each consumer with an associated personal valuation function of the energy resource during a certain time interval. We aim to select the optimal consumption profile for every user avoiding consumption peaks when the total required energy could exceed ...
Background: Malignant melanoma is one of the fatal cutaneous neoplasms which are curable by early diagnosis. This neoplasm is diagnosed by the biopsy of the suspected lesion. It is essential to classify the tumor based on its histology, thickness, phase of growth, level of invasion, mitotic rate, presence of regression, inflammatory infiltration and ulceration. These descriptions yield some kno...
This report is a collection of six articles on model checking in the abstraction/refinement framework. This framework is used by various techniques for tackling the state-space explosion problem that is frequently encountered in model checking. The articles collected in this report are (in order of appearance): 1. Counterexample-guided abstraction refinement. Clarke, Grumberg, Jha, Lu, Veith[2]...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید