A Survey on Approximation Mechanism Design without Money for Facility Games

In a facility game one or more facilities are placed in a metric space to serve a set of selfish agents whose addresses are their private information. In a classical facility game, each agent wants to be as close to a facility as possible, and the cost of an agent can be defined as the distance between her location and the closest facility. In an obnoxious facility game, each agent wants to be far away from all facilities, and her utility is the distance from her location to the facility set. The objective of each agent is to minimize her cost or maximize her utility. An agent may lie if, by doing so, more benefit can be obtained. We are interested in social choice mechanisms that do not utilize payments. The game designer aims at a mechanism that is strategy-proof, in the sense that any agent cannot benefit by misreporting her address, or, even better, group strategy-proof, in the sense that any coalition of agents cannot all benefit by lying. Meanwhile, it is desirable to have the mechanism to be approximately optimal with respect to a chosen objective function. Several models for such approximation mechanism design without money for facility games have been proposed. In this paper we briefly review these models and related results for both deterministic and randomized mechanisms, and meanwhile we present a general framework for approximation mechanism design without money for facility games

Bribeproof mechanisms for two-values domains

Schummer (Journal of Economic Theory 2000) introduced the concept of bribeproof mechanism which, in a context where monetary transfer between agents is possible, requires that manipulations through bribes are ruled out. Unfortunately, in many domains, the only bribeproof mechanisms are the trivial ones which return a fixed outcome. This work presents one of the few constructions of non-trivial bribeproof mechanisms for these quasi-linear environments. Though the suggested construction applies to rather restricted domains, the results obtained are tight: For several natural problems, the method yields the only possible bribeproof mechanism and no such mechanism is possible on more general domains.Comment: Extended abstract accepted to SAGT 2016. This ArXiv version corrects typos in the proofs of Theorem 7 and Claims 28-29 of prior ArXiv versio

Mechanism Design for Constrained Heterogeneous Facility Location

The facility location problem has emerged as the benchmark problem in the study of the trade-off between incentive compatibility without transfers and approximation guarantee, a research area also known as approximate mechanism design without money. One limitation of the vast literature on the subject is the assumption that agents and facilities have to be located on the same physical space. We here initiate the study of constrained heterogeneous facility location problems, wherein selfish agents can either like or dislike the facility and facilities can be located on a given feasible region of the Euclidean plane. In our study, agents are assumed to be located on a real segment, and their location together with their preferences towards the facilities can be part of their private type. Our main result is a characterization of the feasible regions for which the optimum is incentive-compatible in the settings wherein agents can only lie about their preferences or about their locations. The stark contrast between the two findings is that in the former case any feasible region can be coupled with incentive compatibility, whilst in the second, this is only possible for feasible regions where the optimum is constant

Longitudinal Analysis of Quality of Life, Clinical, Radiographic, Echocardiographic, and Laboratory Variables in Dogs with Preclinical Myxomatous Mitral Valve Disease Receiving Pimobendan or Placebo: The EPIC Study

Background: Changes in clinical variables associated with the administration of pimobendan to dogs with preclinical myxomatous mitral valve disease (MMVD) and cardiomegaly have not been described. Objectives: To investigate the effect of pimobendan on clinical variables and the relationship between a change in heart size and the time to congestive heart failure (CHF) or cardiac-related death (CRD) in dogs with MMVD and cardiomegaly. To determine whether pimobendan-treated dogs differ from dogs receiving placebo at onset of CHF. Animals: Three hundred and fifty-four dogs with MMVD and cardiomegaly. Materials and Methods: Prospective, blinded study with dogs randomized (ratio 1:1) to pimobendan (0.4-0.6 mg/kg/d) or placebo. Clinical, laboratory, and heart-size variables in both groups were measured and compared at different time points (day 35 and onset of CHF) and over the study duration. Relationships between short-term changes in echocardiographic variables and time to CHF or CRD were explored. Results: At day 35, heart size had reduced in the pimobendan group:median change in (Delta) LVIDDN -0.06 (IQR:-0.15 to + 0.02), P < 0.0001, and LA:Ao -0.08 (IQR:-0.23 to + 0.03), P < 0.0001. Reduction in heart size was associated with increased time to CHF or CRD. Hazard ratio for a 0.1 increase in Delta LVIDDN was 1.26, P = 0.0003. Hazard ratio for a 0.1 increase in Delta LA:Ao was 1.14, P = 0.0002. At onset of CHF, groups were similar. Conclusions and Clinical Importance: Pimobendan treatment reduces heart size. Reduced heart size is associated with improved outcome. At the onset of CHF, dogs treated with pimobendan were indistinguishable from those receiving placebo

Uniform, Equal Division, and Other Envy-Free Rules between The Two

This paper studies the problem of fairly allocating an amount of a divisible resource when preferences are single-peaked. We characterize the class of envy-free and peak-only rules and show that the class forms a complete lattice with respect to a dominance relation. We also pin down the subclass of strategy-proof rules and show that the subclass also forms a complete lattice. In both cases, the upper bound is the uniform rule, the lower bound is the equal division rule, and any other rule is between the two

Collaboration in sensor network research: an in-depth longitudinal analysis of assortative mixing patterns

Many investigations of scientific collaboration are based on statistical analyses of large networks constructed from bibliographic repositories. These investigations often rely on a wealth of bibliographic data, but very little or no other information about the individuals in the network, and thus, fail to illustrate the broader social and academic landscape in which collaboration takes place. In this article, we perform an in-depth longitudinal analysis of a relatively small network of scientific collaboration (N = 291) constructed from the bibliographic record of a research center involved in the development and application of sensor network and wireless technologies. We perform a preliminary analysis of selected structural properties of the network, computing its range, configuration and topology. We then support our preliminary statistical analysis with an in-depth temporal investigation of the assortative mixing of selected node characteristics, unveiling the researchers' propensity to collaborate preferentially with others with a similar academic profile. Our qualitative analysis of mixing patterns offers clues as to the nature of the scientific community being modeled in relation to its organizational, disciplinary, institutional, and international arrangements of collaboration.Comment: Scientometrics (In press

Proteomic Analysis of Ovarian Cancer Cells Reveals Dynamic Processes of Protein Secretion and Shedding of Extra-Cellular Domains

Background: Elucidation of the repertoire of secreted and cell surface proteins of tumor cells is relevant to molecular diagnostics, tumor imaging and targeted therapies. We have characterized the cell surface proteome and the proteins released into the extra-cellular milieu of three ovarian cancer cell lines, CaOV3, OVCAR3 and ES2 and of ovarian tumor cells enriched from ascites fluid. Methodology and Findings: To differentiate proteins released into the media from protein constituents of media utilized for culture, cells were grown in the presence of [ 13 C]-labeled lysine. A biotinylation-based approach was used to capture cell surface associated proteins. Our general experimental strategy consisted of fractionation of proteins from individual compartments followed by proteolytic digestion and LC-MS/MS analysis. In total, some 6,400 proteins were identified with high confidence across all specimens and fractions. Conclusions and Significance: Protein profiles of the cell lines had substantial similarity to the profiles of human ovarian cancer cells from ascites fluid and included protein markers known to be associated with ovarian cancer. Proteomic analysis indicated extensive shedding from extra-cellular domains of proteins expressed on the cell surface, and remarkably high secretion rates for some proteins (nanograms per million cells per hour). Cell surface and secreted proteins identified by indept

When does the co-evolution of technology and science overturn into technoscience?

In this paper, the relations between science and technology, intervention and representation, the natural and the artificial are analysed on the background of the formation of modern science in the sixteenth century. Due to the fact that technique has been essential for modern science from its early beginning, modern science is characterised by a hybridisation of knowledge and intervention. The manipulation of nature in order to measure its properties has steadily increased until artificial things have been produced, such as laser beams, chemical compounds, elementary particles. Furthermore, the structural bracing of natural science, technological development, and industrial exploitation of nature go also back to the foundation of modern science. In order to strengthen the debate on technoscience against this background, the specific characteristics of technoscientific objects have to be clarified as have the specific characteristics of the social organisation of technoscience and its performance