A re we alone in the universe? How can we find out? What would happen if we made contact with extraterrestrial life forms, intelligent or otherwise? These questions have fascinated humans ever since we understood that there is a universe beyond our pale blue dot. As the British physicist and author Arthur C Clarke put it: “Two possibilities exist: either we are alone in the universe or we are n...

We introduce a sealed bid auction of a single item in which the winner is chosen at random among the highest k bidders according to a fixed probability distribution, and the price for the chosen winner is the Vickrey-Clarke-Groves price. We call such an auction a cascade auction. Our analysis suggests that this type of auction may give higher revenues compared to second price auction in cases o...

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

,. Department of Health and Human Services i PI: KELLER, EDWARD L ">unc,i: u ,/*iu° j +gmM '" '"" ' "" ill! ni 1 2 R01 EY006860-21 10044723 ion JUL01 2 Duai 0, .. jettons indicated. ; IRQ: CVP Received: 07/01/2005 1 . TITLE OF PROJECT (Do not exceed 81 characters, including spaces i Studies of the Oculomotor Systems 2. RESPONSE TO SPECIFIC REQUEST FOR APPLICATIONS OR PROGRAM ANNOUNCEMENT OR SOL...

For a cardinal κ and a model M of cardinality κ let No(M) denote the number of non-isomorphic models of cardinality κ which are L∞,κequivalent to M . We prove that for κ a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality κ is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are Σ1-definable ...

Certain basic concepts of geometrical stability theory are generalized to a class of closure operators containing algebraic closure. A specific case of a generalized closure operator is developed which is relevant to Vaught’s conjecture. As an application of the methods, we prove Theorem A. Let G be a superstable group of U− rank ω such that the generics of G are locally modular and Th(G) has f...

Ascending price auctions typically involve a single price path with buyers paying their final bid price. Using this traditional definition, no ascending price auction can achieve the Vickrey-Clarke-Groves (VCG) outcome for general private valuations in the combinatorial auction setting. We relax this definition by allowing discounts to buyers from the final price of the auction (or alternativel...

As superintendent of the Provincial Lunatic Asylum in Toronto from 1853 to 1875, Dr. Joseph Workman came in contact with most of the medical practitioners in Ontario. One of these was Dr. John Galbraith Hyde of Stratford, a fellow Ulsterman with whom Workman appears to have corresponded regularly. Hyde emigrated to Canada from County Tyrone, Ireland, in 1841, having received his license to prac...

http://dx.doi.org/10.1016/j.ins.2014.03.083 0020-0255/ 2014 Elsevier Inc. All rights reserved. ⇑ Corresponding author. Tel.: +39 089 964255. E-mail addresses: [email protected] (I. De Falco), [email protected] (A. Della Cioppa), [email protected] (D. [email protected] (U. Scafuri), [email protected] (E. Tarantino). I. De Falco , A. Della ...

We present the design and implementation of bounded-length sequence (BLS) variables for a CP solver. The domain of a BLS variable is represented as the combination of a set of candidate lengths and a sequence of sets of candidate characters. We show how this representation, together with requirements imposed by propagators, affects the implementation of BLS variables for a copying CP solver, mo...