Finding the optimal assignment in budget-constrained auctions is a combinatorial optimization problem with many important applications, a notable example being the sale of advertisement space by search engines (in this context the problem is often referred to as the off-line AdWords problem). Based on the cavity method of statistical mechanics, we introduce a message passing algorithm that is c...

I study a budget-constrained, private-valuation, sealed-bid sequential auction with two incompletely-informed, risk-neutral bidders in which the valuations and income may be non-monotonic functions of a bidder’s type. Parameters permit the existence of multiple equilibrium symmetric bidding functions that differ in allocation, efficiency and revenue. The sequence of sale affects the competition...

The paper introduces a notion of a budgetconstrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement and a post-transition profit. The paper proposes a new modal language for reasoning about such a system. The language uses a modality labeled by agent as well as by budget and profit constraints. The main tec...

The social, economic, and environmental impacts of invasive plants are well recognized. However, these variable impacts are rarely accounted for in the spatial prioritization of funding for weed management. We examine how current spatially explicit prioritization methods can be extended to identify optimal budget allocations to both eradication and control measures of invasive species to minimi...

Background: The construction of metro lines is a high-risk project. Using a budget-based model for the safety units of metro construction projects can help safety managers to spend optimal budget allocation. The purpose of this study was to plan a budget model based on safety unit performance in an under construction metro station for better budget allocation using robust optimization. Methods...

XML is arising as a new format to represent the enterprises' business processes, since it is a exible and interchangeable language. In the work ow area, one of the most discussed questions is the evolution of the work ow representations, in order to meet new requirements. Despite the number of existing proposals, none of them deals with evolution of work ows that use the XML syntax. In this pap...

|Precoding at the transmitter side is a practicable method for transmission over intersymbol interference channels. In contrast to decision{feedback equalization no error propagation occurs and coded modulation can be applied as for the intersymbol interference free channel. In this paper, Tomlinson{Harashima precoding and exible precoding are analyzed and compared. The dualities and di erences...

Using the Trellis human/computer interaction model as an implementation vehicle, we demonstrate how to use concurrency-supporting hypertext to provide visual displays of the execution ows through a parallel Lisp program. In addition to displays, the hypertext interface allows injection of control ow into an otherwise functional computation, and therefore provides reader control over the order o...

A novel integer linear programming (ILP) formulation for resource-constrained scheduling problems is presented. Existing ILP-based methods for the same problem typically have a complexity (measured in terms of the number of unknown integer variables) that is proportional to the latency bound of the problem. Hence, they are restricted in scope (e.g., high-level synthesis). Our approach consists ...