Computing Stable Coalitions: Approximation Algorithms for Reward Sharing

Consider a setting where selfish agents are to be assigned to coalitions or projects from a fixed set P. Each project k is characterized by a valuation function; v_k(S) is the value generated by a set S of agents working on project k. We study the following classic problem in this setting: "how should the agents divide the value that they collectively create?". One traditional approach in cooperative game theory is to study core stability with the implicit assumption that there are infinite copies of one project, and agents can partition themselves into any number of coalitions. In contrast, we consider a model with a finite number of non-identical projects; this makes computing both high-welfare solutions and core payments highly non-trivial. The main contribution of this paper is a black-box mechanism that reduces the problem of computing a near-optimal core stable solution to the purely algorithmic problem of welfare maximization; we apply this to compute an approximately core stable solution that extracts one-fourth of the optimal social welfare for the class of subadditive valuations. We also show much stronger results for several popular sub-classes: anonymous, fractionally subadditive, and submodular valuations, as well as provide new approximation algorithms for welfare maximization with anonymous functions. Finally, we establish a connection between our setting and the well-studied simultaneous auctions with item bidding; we adapt our results to compute approximate pure Nash equilibria for these auctions.Comment: Under Revie

The Least-core and Nucleolus of Path Cooperative Games

Cooperative games provide an appropriate framework for fair and stable profit distribution in multiagent systems. In this paper, we study the algorithmic issues on path cooperative games that arise from the situations where some commodity flows through a network. In these games, a coalition of edges or vertices is successful if it enables a path from the source to the sink in the network, and lose otherwise. Based on dual theory of linear programming and the relationship with flow games, we provide the characterizations on the CS-core, least-core and nucleolus of path cooperative games. Furthermore, we show that the least-core and nucleolus are polynomially solvable for path cooperative games defined on both directed and undirected network

Systems analysis of metabolism in the pathogenic trypanosomatid Leishmania major

Systems analyses have facilitated the characterization of metabolic networks of several organisms. We have reconstructed the metabolic network of Leishmania major, a poorly characterized organism that causes cutaneous leishmaniasis in mammalian hosts. This network reconstruction accounts for 560 genes, 1112 reactions, 1101 metabolites and 8 unique subcellular localizations. Using a systems-based approach, we hypothesized a comprehensive set of lethal single and double gene deletions, some of which were validated using published data with approximately 70% accuracy. Additionally, we generated hypothetical annotations to dozens of previously uncharacterized genes in the L. major genome and proposed a minimal medium for growth. We further demonstrated the utility of a network reconstruction with two proof-of-concept examples that yielded insight into robustness of the network in the presence of enzymatic inhibitors and delineation of promastigote/amastigote stage-specific metabolism. This reconstruction and the associated network analyses of L. major is the first of its kind for a protozoan. It can serve as a tool for clarifying discrepancies between data sources, generating hypotheses that can be experimentally validated and identifying ideal therapeutic targets

Role of seminal plasma in the anti-HIV-1 activity of candidate microbicides

BACKGROUND: Evaluation of microbicides for prevention of HIV-1 infection in macaque models for vaginal infection has indicated that the concentrations of active compounds needed for protection by far exceed levels sufficient for complete inhibition of infection in vitro. These experiments were done in the absence of seminal plasma (SP), a vehicle for sexual transmission of the virus. To gain insight into the possible effect of SP on the performance of selected microbicides, their anti-HIV-1 activity in the presence, and absence of SP, was determined. METHODS: The inhibitory activity of compounds against the X4 virus, HIV-1 IIIB, and the R5 virus, HIV-1 BaL was determined using TZM-bl indicator cells and quantitated by measuring β-galactosidase induced by infection. The virucidal properties of cellulose acetate 1,2-benzene-dicarboxylate (CAP), the only microbicide provided in water insoluble, micronized form, in the presence of SP was measured. RESULTS: The HIV-1 inhibitory activity of the polymeric microbicides, poly(naphthalene sulfonate), cellulose sulfate, carrageenan, CAP (in soluble form) and polystyrene sulfonate, respectively, was considerably (range ≈ 4 to ≈ 73-fold) diminished in the presence of SP (33.3%). Formulations of micronized CAP, providing an acidic buffering system even in the presence of an SP volume excess, effectively inactivated HIV-1 infectivity. CONCLUSION: The data presented here suggest that the in vivo efficacy of polymeric microbicides, acting as HIV-1 entry inhibitors, might become at least partly compromised by the inevitable presence of SP. These possible disadvantages could be overcome by combining the respective polymers with acidic pH buffering systems (built-in for formulations of micronized CAP) or with other anti-HIV-1 compounds, the activity of which is not affected by SP, e.g. reverse transcriptase and zinc finger inhibitors

The ESR1 (6q25) locus is associated with calcaneal ultrasound parameters and radial volumetric bone mineral density in European men

<p><b>Purpose:</b> Genome-wide association studies (GWAS) have identified 6q25, which incorporates the oestrogen receptor alpha gene (ESR1), as a quantitative trait locus for areal bone mineral density (BMD(a)) of the hip and lumbar spine. The aim of this study was to determine the influence of this locus on other bone health outcomes; calcaneal ultrasound (QUS) parameters, radial peripheral quantitative computed tomography (pQCT) parameters and markers of bone turnover in a population sample of European men.</p> <p><b>Methods:</b> Eight single nucleotide polymorphisms (SNP) in the 6q25 locus were genotyped in men aged 40-79 years from 7 European countries, participating in the European Male Ageing Study (EMAS). The associations between SNPs and measured bone parameters were tested under an additive genetic model adjusting for centre using linear regression.</p> <p><b>Results:</b> 2468 men, mean (SD) aged 59.9 (11.1) years had QUS measurements performed and bone turnover marker levels measured. A subset of 628 men had DXA and pQCT measurements. Multiple independent SNPs showed significant associations with BMD using all three measurement techniques. Most notably, rs1999805 was associated with a 0.10 SD (95%CI 0.05, 0.16; p = 0.0001) lower estimated BMD at the calcaneus, a 0.14 SD (95%CI 0.05, 0.24; p = 0.004) lower total hip BMD(a), a 0.12 SD (95%CI 0.02, 0.23; p = 0.026) lower lumbar spine BMD(a) and a 0.18 SD (95%CI 0.06, 0.29; p = 0.003) lower trabecular BMD at the distal radius for each copy of the minor allele. There was no association with serum levels of bone turnover markers and a single SNP which was associated with cortical density was also associated with cortical BMC and thickness.</p> <p><b>Conclusions:</b> Our data replicate previous associations found between SNPs in the 6q25 locus and BMD(a) at the hip and extend these data to include associations with calcaneal ultrasound parameters and radial volumetric BMD.</p&gt

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks

Background The field of synthetic biology promises to revolutionize our ability to engineer biological systems, providing important benefits for a variety of applications. Recent advances in DNA synthesis and automated DNA assembly technologies suggest that it is now possible to construct synthetic systems of significant complexity. However, while a variety of novel genetic devices and small engineered gene networks have been successfully demonstrated, the regulatory complexity of synthetic systems that have been reported recently has somewhat plateaued due to a variety of factors, including the complexity of biology itself and the lag in our ability to design and optimize sophisticated biological circuitry. Methodology/Principal Findings To address the gap between DNA synthesis and circuit design capabilities, we present a platform that enables synthetic biologists to express desired behavior using a convenient high-level biologically-oriented programming language, Proto. The high level specification is compiled, using a regulatory motif based mechanism, to a gene network, optimized, and then converted to a computational simulation for numerical verification. Through several example programs we illustrate the automated process of biological system design with our platform, and show that our compiler optimizations can yield significant reductions in the number of genes () and latency of the optimized engineered gene networks. Conclusions/Significance Our platform provides a convenient and accessible tool for the automated design of sophisticated synthetic biological systems, bridging an important gap between DNA synthesis and circuit design capabilities. Our platform is user-friendly and features biologically relevant compiler optimizations, providing an important foundation for the development of sophisticated biological systems.National Institutes of Health (U.S.) (Grant # 7R01GM74712-5)United States. Defense Advanced Research Projects Agency (contract HR0011-10-C-0168)National Science Foundation (U.S.) (NSF CAREER award 0968682)BBN Technologie

Non-irradiation-derived reactive oxygen species (ROS) and cancer: therapeutic implications

Owing to their chemical reactivity, radicals have cytocidal properties. Destruction of cells by irradiation-induced radical formation is one of the most frequent interventions in cancer therapy. An alternative to irradiation-induced radical formation is in principle drug-induced formation of radicals, and the formation of toxic metabolites by enzyme catalysed reactions. Although these developments are currently still in their infancy, they nevertheless deserve consideration. There are now numerous examples known of conventional anti-cancer drugs that may at least in part exert cytotoxicity by induction of radical formation. Some drugs, such as arsenic trioxide and 2-methoxy-estradiol, were shown to induce programmed cell death due to radical formation. Enzyme-catalysed radical formation has the advantage that cytotoxic products are produced continuously over an extended period of time in the vicinity of tumour cells. Up to now the enzymatic formation of toxic metabolites has nearly exclusively been investigated using bovine serum amine oxidase (BSAO), and spermine as substrate. The metabolites of this reaction, hydrogen peroxide and aldehydes are cytotoxic. The combination of BSAO and spermine is not only able to prevent tumour cell growth, but prevents also tumour growth, particularly well if the enzyme has been conjugated with a biocompatible gel. Since the tumour cells release substrates of BSAO, the administration of spermine is not required. Combination with cytotoxic drugs, and elevation of temperature improves the cytocidal effect of spermine metabolites. The fact that multidrug resistant cells are more sensitive to spermine metabolites than their wild type counterparts makes this new approach especially attractive, since the development of multidrug resistance is one of the major problems of conventional cancer therapy