Abstra t: Au tion me hanism design has traditionally been a largely analyti pro ess, relying on assumptions su h as fully rational bidders. In pra ti e, however, bidders behave unpredi tably, making them dif ult to model and ompli ating the design pro ess. To address this hallenge, we present an adaptive au tion me hanism: one that learns to adjust its parameters in response to past empiri al b...

Seventeen patients received liver homografts between 1963 and May, 1968. The eight treated before July, 1967, died within 34 days; seven had progressive infections with gram-negative bacilli. Candida albicans and cytomegalovirus. The infections were similar to but more fulminating than those after renal homotransplantation. In nine later cases. there was more discriminating donor selection. imp...

Abstra t. The e e tive integration of de ision pro edures in formula simpli ation is a fundamental problem in me hani al veri ation. The main sour e of diÆ ulty o urs when the de ision pro edure is asked to solve goals ontaining symbols whi h are interpreted for the prover but uninterpreted for the de ision pro edure. To ope with the problem, Boyer & Moore proposed a te hnique, alled augmentati...

During the operation of softwareontrolled physi al system, there are times when the values of environmental variables are not known by the ontrol software. To orre tly spe ify and reason about su h systems, a spe i ation language must allow variables to take a spe ial unde ned value that signi es that the value of the variable is unknown. Adding an unde ned value to the type system of a languag...

T. J. Ashby1, A. D. Kennedy2, and S. M. Watt3 1 Institute for Computer Systems Ar hite ture, University of Edinburgh, S otland, UK T.Ashby ed.a .uk 2 Parti le Physi s Theory, University of Edinburgh, S otland, UK adk ph.ed.a .uk 3 Computer S ien e Department, The University of Western Ontario, London, Canada Stephen.Watt uwo. a Abstra t. An important step in latti e QCD, and various super omput...

Thomas R. Henderson Randy H. Katz Geo ast Network Systems, In . Ele tri al Engineering and Computer S ien e Dept. 190 Independen e Drive University of California, Berkeley Menlo Park, CA 94025 Berkeley, CA 94720 Abstra t|Advan es in satellite te hnology are enabling the deployment of large onstellations of Low-EarthOrbiting (LEO) satellites. Next-generation systems will be tailored for broadban...

X iv :0 80 3. 19 23 v1 [ qbi o. N C ] 1 3 M ar 2 00 8 Shannon Information Capa ity of Dis rete Synapses Adam B. Barrett and M.C.W. van Rossum Institute for Adaptive and Neural Computation University of Edinburgh, 5 Forrest Hill Edinburgh EH1 2QL, UK There is eviden e that biologi al synapses have only a xed number of dis rete weight states. Memory storage with su h synapses behaves quite di ere...

Productivity is becoming increasingly important in high performance computing. Parallel systems, as well as the problems they are being used to solve, are becoming dramatically larger and more complicated. Traditional approaches to programming for these systems, such as MPI, are being regarded as too tedious and too tied to particular machines. Languages such as Unified Parallel C attempt to si...