Using Answer Set Programming for Solving Boolean Games

Boolean games are a framework for reasoning about the rational behaviour of agents, whose goals are formalized using propositional formulas. They offer an attractive alternative to normal-form games, because they allow for a more intuitive and more compact encoding. Unfortunately, however, there is currently no general, tailor-made method available to compute the equilibria of Boolean games. In this paper, we introduce a method for finding the pure Nash equilibria based on disjunctive answer set programming. Our method is furthermore capable of finding the core elements and the Pareto optimal equilibria, and can easily be modified to support other forms of optimality, thanks to the declarative nature of disjunctive answer set programming. Experimental results clearly demonstrate the effectiveness of the proposed method.

Imaging and radiation effects of gold nanoparticles in tumour cells

Gold nanoparticle radiosensitization represents a novel technique in enhancement of ionising radiation dose and its effect on biological systems. Variation between theoretical predictions and experimental measurement is significant enough that the mechanism leading to an increase in cell killing and DNA damage is still not clear. We present the first experimental results that take into account both the measured biodistribution of gold nanoparticles at the cellular level and the range of the product electrons responsible for energy deposition. Combining synchrotron-generated monoenergetic X-rays, intracellular gold particle imaging and DNA damage assays, has enabled a DNA damage model to be generated that includes the production of intermediate electrons. We can therefore show for the first time good agreement between the prediction of biological outcomes from both the Local Effect Model and a DNA damage model with experimentally observed cell killing and DNA damage induction via the combination of X-rays and GNPs. However, the requirement of two distinct models as indicated by this mechanistic study, one for short-term DNA damage and another for cell survival, indicates that, at least for nanoparticle enhancement, it is not safe to equate the lethal lesions invoked in the local effect model with DNA damage events.

Identification and validation of the dopamine agonist bromocriptine as a novel therapy for high-risk myelodysplastic syndromes and secondary acute myeloid leukemia

Myelodysplastic syndromes (MDS) represent a broad spectrum of diseases characterized by their clinical manifestation as one or more cytopenias, or a reduction in circulating blood cells. MDS is predominantly a disease of the elderly, with a median age in the UK of around 75. Approximately one third of MDS patients will develop secondary acute myeloid leukemia (sAML) that has a very poor prognosis. Unfortunately, most standard cytotoxic agents are often too toxic for older patients. This means there is a pressing unmet need for novel therapies that have fewer side effects to assist this vulnerable group. This challenge was tackled using bioinformatic analysis of available transcriptomic data to establish a gene-based signature of the development and progression of MDS. This signature was then used to identify novel therapeutic compounds via statistically-significant connectivity mapping. This approach suggested re-purposing an existing and widely-prescribed drug, bromocriptine as a novel potential therapy in these disease settings. This drug has shown selectivity for leukemic cells as well as synergy with current therapies.

Investigating the Implications of a Variable RBE on Proton Dose Fractionation Across a Clinical Pencil Beam Scanned Spread-Out Bragg Peak

Purpose: To investigate the clinical implications of a variable relative biological effectiveness (RBE) on proton dose fractionation. Using acute exposures, the current clinical adoption of a generic, constant cell killing RBE has been shown to underestimate the effect of the sharp increase in linear energy transfer (LET) in the distal regions of the spread-out Bragg peak (SOBP). However, experimental data for the impact of dose fractionation in such scenarios are still limited.

Methods and Materials: Human fibroblasts (AG01522) at 4 key depth positions on a clinical SOBP of maximum energy 219.65 MeV were subjected to various fractionation regimens with an interfraction period of 24 hours at Proton Therapy Center in Prague, Czech Republic. Cell killing RBE variations were measured using standard clonogenic assays and were further validated using Monte Carlo simulations and parameterized using a linear quadratic formalism.

Results: Significant variations in the cell killing RBE for fractionated exposures along the proton dose profile were observed. RBE increased sharply toward the distal position, corresponding to a reduction in cell sparing effectiveness of fractionated proton exposures at higher LET. The effect was more pronounced at smaller doses per fraction. Experimental survival fractions were adequately predicted using a linear quadratic formalism assuming full repair between fractions. Data were also used to validate a parameterized variable RBE model based on linear α parameter response with LET that showed considerable deviations from clinically predicted isoeffective fractionation regimens.

Conclusions: The RBE-weighted absorbed dose calculated using the clinically adopted generic RBE of 1.1 significantly underestimates the biological effective dose from variable RBE, particularly in fractionation regimens with low doses per fraction. Coupled with an increase in effective range in fractionated exposures, our study provides an RBE dataset that can be used by the modeling community for the optimization of fractionated proton therapy.

Genetic evidence fails to discriminate between Macroramphosus gracilis Lowe 1839 and Macroramphosus scolopax Linnaeus 1758 in Portuguese waters

Fish belonging to the genus Macroramphosus are distributed throughout the Atlantic, Indian and PaciWc oceans. Some authors consider this genus monotypic, Macroramphosus scolopax being the only valid species. Other authors consider (based on several morphological and ecological characters) that another species (Macroramphosus gracilis) exists and occurs frequently in sympatry with the Wrst one. Intermediate forms are also reported in literature. In this paper, using the mitochondrial control region and the nuclear Wrst S7 intron markers, we failed to Wnd genetic diVerences between individuals considered to belong to both species as well as the intermediate forms. Our results suggest that in the northeastern Atlantic, Macroramphosus is represented by a single species, M. scolopax, with diVerent morphotypes interbreeding in the sampling areas.