Andrew V. Goldberg, Andrew Wright, Jason D. Hartline, Michael Saks, Anna R. Karlin
We study a class of single-round, sealed-bid auctions for items in unlimited supply, such as digital goods. We introduce the notion of competitive auctions. A competitive auction is truthful (i.e.,...
Andrew V. Goldberg, Jason D. Hartline, Michael Saks, Andrew Wright, Anna R. Karlin
We study a class of single-round, sealed-bid auctions for an item in unlimited supply, such as a digital good. We introduce the notion of competitive auctions. A competitive auction is truthful...
South Pacific Regional Environment Programme (2008)
Sherry Heileman Consultant, Solomone Fifita, Paula Holl, Taito Nakalevu, Sefa New, Coral Pasisi, ...
would like to thank the following individuals and institutions who played a vital role in the production of this report:
Andrew V. Goldberg, Jason D. Hartline, Michael Saks, Andrew Wright, Anna R. Karlin
We study a class of single-round, sealed-bid auctions for items in unlimited supply, such as digital goods. We introduce the notion of competitive auctions. A competitive auction is truthful (i.e.,...
Andrew V. Goldberg, Andrew Wright, Jason D. Hartline, Michael Saks, Anna R. Karlin
We study a class of single-round, sealed-bid auctions for items in unlimited supply, such as digital goods. We introduce the notion of competitive auctions. A competitive auction is truthful (i.e.,...
Compiling Functional Languages with Flow Analysis (2007)
Suresh Jagannathan, Andrew Wright
6> P are known, then a specialized calling protocol can be used for P . The calling protocol may allocate P 's closure on the stack or in registers. If P is suitably small, its body may be...
Submitted to Games and Economic Behavior Competitive Auctions (2007)
Andrew V. Goldberg, Jason D. Hartline, Anna R. Karlin, Andrew Wright
We study a class of single-round, sealed-bid auctions for items in unlimited supply, such as digital goods. We introduce the notion of competitive auctions. A competitive auction is truthful (i.e.,...
Thermal response and plant sizing (2006)
Britton, Chris, Parand, Foroutan, Robinson, Darren, Wright, Andrew, Van Zyl, Robert
Hancock, Gregory R., Wright, Andrew, De Silva, H.
Opencast mining alters surface and subsurface hydrology of a landscape both during and post-mining. At mine closure, following opencast mining in mines with low overburden to coal ratios, a void is...
Capitalism, states and accounting (2004)
Catchpowle, Lesley, Cooper, Christine, Wright, Andrew
This paper is concerned with accounting's relationship to the state and to capitalism. It argues from a theoretical and historical perspective that accounting has been a central part of capitalism's...
Andrew V. Goldberg, Jason D. Hartline, Anna R. Karlin, Andrew Wright, Michael Saks
We study a class of single-round, sealed-bid auctions for items in unlimited supply, such as digital goods. We introduce the notion of competitive auctions. A competitive auction is truthful (i.e.,...
Competitive auctions ✩ www.elsevier.com/locate/geb (2002)
We study a class of single-round, sealed-bid auctions for an item in unlimited supply, such as a digital good. We introduce the notion of competitive auctions. A competitive auction is truthful (i.e....
Competitive auctions and digital goods (2001)
Andrew Goldberg, Jason Hartline, Andrew Wright, Jason D. Hartline
Abstract We study a class of single round, sealed bid auctions for items in unlimited supply such as digital goods. We focus on auctions that are truthful and competitive. Truthful auctions encourage...
Competitive auctions and digital goods (2001)
Andrew Goldberg, Jason Hartline, Andrew Wright
September1999(RevisedApril2001) Abstract Westudyaclassofsingleround,sealedbidauctionsforitemsinunlimitedsupplysuchasdigitalgoods....
Competitive auctions and digital goods (2001)
Andrew V. Goldberg, Jason D. Hartline, Andrew Wright
We study a class of single round, sealed bid auctions for items in unlimited supply such as digital goods. We focus on auctions that are truthful and competitive. Truthful auctions encourage bidders...
Competitive auctions and digital goods (2001)
Andrew Goldberg, Jason Hartline, Andrew V. Goldberg, Jason D. Hartline, Andrew Wright
We study a class of single round, sealed bid auctions for items in unlimited supply such as digital goods. We focus on auctions that are truthful and competitive. Truthful auctions encourage bidders...
Andrew Goldberg, Jason Hartline, Andrew V. Goldberg, Jason D. Hartline, Andrew Wright
We study a class of single round, sealed bid auctions for items in unlimited supply such as digital goods. We focus on auctions that are truthful and competitive. Truthful auctions encourage bidders...
Competitive Auctions and Digital Goods (1999)
Andrew V. Goldberg, Jason D. Hartline, Andrew Wright
We study a class of single round, sealed bid auctions for items in unlimited supply such as digital goods. We focus on auctions that are stable and competitive. Stable auctions encourage bidders to...
Single and loving it: Must-alias analysis for higher-order languages (1998)
Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew Wright
In standard control-flow analyses for higher-order languages, a single abstract binding for a variable represents a set of exact bindings, and a single abstract reference cell represents a set of...
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report (1998)
Andrew Wright Suresh, Andrew Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
Introduction A typical compiler for Java translates source code into machine-independent byte code. The byte code may be either interpreted by a Java Virtual Machine, or further compiled to native...
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report (1998)
Andrew Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
Introduction A typical compiler for Java translates source code into machine-independent byte code. The byte code may be either interpreted by a Java Virtual Machine, or further compiled to native...
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report (1998)
Andrew Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
Introduction A typical compiler for Java translates source code into machine-independent byte code. The byte code may be either interpreted by a Java Virtual Machine, or further compiled to native...
Type-Directed Flow Analysis for Typed Intermediate Languages (1997)
Suresh Jagannathan, Stephen Weeks, Andrew Wright
. Flow analysis is especially valuable for optimizing functional languages because control-flow information is not syntactically apparent in higher-order programs. Flow analyses typically operate on...
Type-Directed Flow Analysis for Typed Intermediate Languages (1997)
Suresh Jagannathan, Stephen Weeks, Andrew Wright
. Flow analysis is especially valuable for optimizing functional languages because control-flow information is not syntactically apparent in higher-order programs. Flow analyses typically operate on...
Suresh Jagannathan, Andrew Wright
A flow-directed inlining strategy uses information derived from control-flow analysis to specialize and inline procedures for functional and object-oriented languages. Since it uses control-flow...
Suresh Jagannathan, Andrew Wright
A flow-directed inlining strategy uses information derived from control-flow analysis to specialize and inline procedures for functional and object-oriented languages. Since it uses control-flow...
Effective flow analysis for avoiding run-time checks (1995)
Suresh Jagannathan, Andrew Wright
Abstract. This paper describes a general purpose program analysis that computes global control-flow and data-flow information for higher-order, call-by-value programs. This information can be used to...
Simple Imperative Polymorphism (1995)
. This paper describes a simple extension of the Hindley-Milner polymorphic type discipline to call-by-value languages that incorporate imperative features like references, exceptions, and...
Effective Flow Analysis for Avoiding Run-Time Checks (1995)
Suresh Jagannathan, Andrew Wright
. This paper describes a general purpose program analysis that computes global control-flow and data-flow information for higher-order, call-by-value programs. This information can be used to drive...
Effective Flow Analysis for Avoiding Run-Time Checks (1995)
Suresh Jagannathan, Andrew Wright
. This paper describes a general purpose program analysis that computes global control-flow and data-flow information for higher-order, call-by-value programs. This information can be used to drive...
Pattern Matching for Scheme (1995)
This document describes several pattern matching macros for Scheme, and an associated mechanism for defining new forms of structured data. The basic form of pattern matching expression is: (match exp...
A Practical Soft Type System for Scheme (1994)
Andrew Wright, Robert Cartwright
Soft typing is a generalization of static type checking that accommodates both dynamic typing and static typing in one framework. A soft type checker infers types for identifiers and inserts explicit...
What is the relationship between built form and energy use in dwellings?
Energy is used in dwellings to provide four services: space heating, hot water, lighting and to power appliances. This paper describes how the usage of energy in a UK home results from a complex...
The relationship between dNTP pool levels and mutagenesis in an Escherichia coli NDP kinase mutant
Nordman, Jared, Wright, Andrew
Loss of nucleoside diphosphate kinase (Ndk) function in Escherichia coli results in an increased frequency of spontaneous mutation and an imbalance in dNTP pool levels. It is presumed that the...
Chen, Jianbo, Nikolaitchik, Olga, Singh, Jatinder, Wright, Andrew, Bencsics, Craig E., Coffin, John M., ...
A long-standing question in retrovirus biology is how RNA genomes are distributed among virions. In the studies presented in this report, we addressed this issue by directly examining HIV-1 RNAs in...
Slow steps towards management of the world's largest tuna fishery
Langley, Adam, Wright, Andrew, Hurry, Glenn, Hampton, John, Aqorua, Transform, Rodwell, Len
Today, the tuna fishery of the western and central Pacific is one of the world's largest fisheries. Annual catches exceed 2 million mt--approximately 50% of the global tuna catch--with an...
Drift-net fishing in the South Pacific : From controversy to management
Wright, Andrew, Doulman, David J.
The South Pacific albacore tuna (Thunnus alalunga) fishery is one of the region's oldest commercial fisheries. Fleets from major distant-water fishing nations (DWFNs) deploy long-line, troll and...