Optimal Mechanism Design with Flexible Consumers and Costly Supply

The problem of designing a profit-maximizing, Bayesian incentive compatible and individually rational mechanism with flexible consumers and costly heterogeneous supply is considered. In our setup, each consumer is associated with a flexibility set that describes the subset of goods the consumer is equally interested in. Each consumer wants to consume one good from its flexibility set. The flexibility set of a consumer and the utility it gets from consuming a good from its flexibility set are its private information. We adopt the flexibility model of [1] and focus on the case of nested flexibility sets -- each consumer's flexibility set can be one of k nested sets. Examples of settings with this inherent nested structure are provided. On the supply side, we assume that the seller has an initial stock of free supply but it can purchase more goods for each of the nested sets at fixed exogenous prices. We characterize the allocation and purchase rules for a profit-maximizing, Bayesian incentive compatible and individually rational mechanism as the solution to an integer program. The optimal payment function is pinned down by the optimal allocation rule in the form of an integral equation. We show that the nestedness of flexibility sets can be exploited to obtain a simple description of the optimal allocations, purchases and payments in terms of thresholds that can be computed through a straightforward iterative procedure.Comment: 8 pages. arXiv admin note: text overlap with arXiv:1607.0252

A science metric study of Iranian published articles about oral health-related quality of life

BACKGROUND AND AIM: A new perspective on health suggested that the ultimate goal of dental care, namely good oral hygiene, should no longer merely is seen as the absence of caries or periodontal disease; a patient's mental and social well-being should be considered as well. The concept of oral health-related quality of life (OHRQoL) captures the aim of this new perspective. The present article aimed to describe the published studies carried out to date in Iran on OHRQoL. METHODS: After adequate searching, 28 articles were reviewed published up to beginning 2013. RESULTS: Among the reviewed articles, there were 9 studies in which the OHRQoL questionnaires have been validated in Farsi, 15 studies in which the OHRQoL has been evaluated in a specific group of patients and 4 were interventional studies. CONCLUSION: Further precise studies are necessary in this regard in Iran especially in the field of intervention. KEYWORDS: Oral Health, Quality of Life, Ira

Iranian politics and the origins of the Anglo-Iranian oil dispute of 1950-1951.

Available from British Library Document Supply Centre-DSC:DXN045465 / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Functional Testing Approaches for "BIFST-able" tlm_fifo

Evolution of Electronic System Level design methodologies, allows a wider use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems that emphasizes on separating communications among modules from the details of functional units. This paper explores different functional testing approaches for the implementation of Built-in Functional Self Test facilities in the TLM primitive channel tlm_fifo. In particular, it focuses on three different test approaches based on a finite state machine model of tlm_fifo, functional fault models, and march tests respectivel

Plug & Test at System Level via Testable TLM Primitives

With the evolution of Electronic System Level (ESL) design methodologies, we are experiencing an extensive use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems where details of the communication among modules are separated from the those of the implementation of functional units. This paper represents a first step toward the automatic insertion of testing capabilities at the transaction level by definition of testable TLM primitives. The use of testable TLM primitives should help designers to easily get testable transaction level descriptions implementing what we call a "Plug & Test" design methodology. The proposed approach is intended to work both with hardware and software implementations. In particular, in this paper we will focus on the design of a testable FIFO communication channel to show how designers are given the freedom of trading-off complexity, testability levels, and cos