The Complexity of Admissibility in Omega-Regular Games

Iterated admissibility is a well-known and important concept in classical game theory, e.g. to determine rational behaviors in multi-player matrix games. As recently shown by Berwanger, this concept can be soundly extended to infinite games played on graphs with omega-regular objectives. In this paper, we study the algorithmic properties of this concept for such games. We settle the exact complexity of natural decision problems on the set of strategies that survive iterated elimination of dominated strategies. As a byproduct of our construction, we obtain automata which recognize all the possible outcomes of such strategies

Viral expression and molecular profiling in liver tissue versus microdissected hepatocytes in hepatitis B virus - associated hepatocellular carcinoma.

Background: The molecular mechanisms whereby hepatitis B virus (HBV) induces hepatocellular carcinoma (HCC) remain elusive. We used genomic and molecular techniques to investigate host-virus interactions by studying multiple areas of the same liver from patients with HCC. Methods: We compared the gene signature of whole liver tissue (WLT) versus laser capture-microdissected (LCM) hepatocytes along with the intrahepatic expression of HBV. Gene expression profiling was performed on up to 17 WLT specimens obtained at various distances from the tumor center from individual livers of 11 patients with HCC and on selected LCM samples. HBV markers in liver and serum were determined by real-time polymerase chain reaction (PCR)and confocal immunofluorescence. Results: Analysis of 5 areas of the liver showed a sharp change in gene expression between the immediate perilesional area and tumor periphery that correlated with a significant decrease in the intrahepatic expression of HB surface antigen (HBsAg). The tumor was characterized by a large preponderance of down-regulated genes, mostly involved in the metabolism of lipids and fatty acids, glucose, amino acids and drugs, with down-regulation of pathways involved in the activation of PXR/RXR and PPARα/RXRα nuclear receptors, comprising PGC-1α and FOXO1, two key regulators critically involved not only in the metabolic functions of the liver but also in the life cycle of HBV, acting as essential transcription factors for viral gene expression. These findings were confirmed by gene expression of microdissected hepatocytes. Moreover, LCM of malignant hepatocytes also revealed up-regulation of unique genes associated with cancer and signaling Pathways, including two novel HCC-associated cancer testis antigen genes, NUF2 and TTK. Conclusions: Integrated gene expression profiling of whole liver tissue with that of microdissected hepatocytes demonstrated that HBV-associated HCC is characterized by a metabolism switch-off and by a significant reduction in HBsAg. LCM proved to be a critical tool to validate gene signatures associated with HCC and to identify genes that may play a role in hepatocarcinogenesis, opening new perspectives for the discovery of novel diagnostic markers and therapeutic targets

Magnetic Field Amplification in Galaxy Clusters and its Simulation

We review the present theoretical and numerical understanding of magnetic field amplification in cosmic large-scale structure, on length scales of galaxy clusters and beyond. Structure formation drives compression and turbulence, which amplify tiny magnetic seed fields to the microGauss values that are observed in the intracluster medium. This process is intimately connected to the properties of turbulence and the microphysics of the intra-cluster medium. Additional roles are played by merger induced shocks that sweep through the intra-cluster medium and motions induced by sloshing cool cores. The accurate simulation of magnetic field amplification in clusters still poses a serious challenge for simulations of cosmological structure formation. We review the current literature on cosmological simulations that include magnetic fields and outline theoretical as well as numerical challenges.Comment: 60 pages, 19 Figure

Campaign 9 of the K2 Mission: Observational Parameters, Scientific Drivers, and Community Involvement for a Simultaneous Space- and Ground-based Microlensing Survey

K2's Campaign 9 (K2C9) will conduct a ~3.7 deg2 survey toward the Galactic bulge from 2016 April 22 through July 2 that will leverage the spatial separation between K2 and the Earth to facilitate measurement of the microlens parallax ${\pi }_{{\rm{E}}}$ for $\gtrsim 170$ microlensing events. These will include several that are planetary in nature as well as many short-timescale microlensing events, which are potentially indicative of free-floating planets (FFPs). These satellite parallax measurements will in turn allow for the direct measurement of the masses of and distances to the lensing systems. In this article we provide an overview of the K2C9 space- and ground-based microlensing survey. Specifically, we detail the demographic questions that can be addressed by this program, including the frequency of FFPs and the Galactic distribution of exoplanets, the observational parameters of K2C9, and the array of resources dedicated to concurrent observations. Finally, we outline the avenues through which the larger community can become involved, and generally encourage participation in K2C9, which constitutes an important pathfinding mission and community exercise in anticipation of WFIRST

Robust multi-disciplinary design and optimisation of a reusable launch vehicle

For various technical reasons, no fully reusable launch vehicle has ever been successfully constructed or operated. Nonetheless, a range of reusable hypersonic vehicles is currently being considered as a viable alternative to the expensive but more conventional expendable rocket systems that are currently being used to gain access to space. This paper presents a methodology that has been developed for the rapid and efficient preliminary design of such vehicles. The methodology that is presented uses multi-disciplinary design optimization coupled with an integrated set of reduced-order models to estimate the characteristics of the vehicle's aero-thermodynamic, propulsion, thermal protection and internal system architecture, as well as to estimate its overall mass. In the present work, the methodology has been applied to the multi-disciplinary modelling and optimization of a reusable hybrid rocket- and ramjet-powered launch vehicle during both the ascent and re-entry phases of its mission

Solving parity games in scala

Parity games are two-player games, played on directed graphs, whose nodes are labeled with priorities. Along a play, the maximal priority occurring infinitely often determines the winner. In the last two decades, a variety of algorithms and successive optimizations have been proposed. The majority of them have been implemented in PGSolver, written in OCaml, which has been elected by the community as the de facto platform to solve efficiently parity games as well as evaluate their performance in several specific cases. PGSolver includes the Zielonka Recursive Algorithm that has been shown to perform better than the others in randomly generated games. However, even for arenas with a few thousand of nodes (especially over dense graphs), it requires minutes to solve the corresponding game. In this paper, we deeply revisit the implementation of the recursive algorithm introducing several improvements and making use of Scala Programming Language. These choices have been proved to be very successful, gaining up to two orders of magnitude in running time

Campaign 9 of the <i>K2</i> Mission: Observational Parameters, Scientific Drivers, and Community Involvement for a Simultaneous Space- and Ground-based Microlensing Survey

K2ʼs Campaign 9 (K2C9) will conduct a ∼3.7 deg2 survey toward the Galactic bulge from 2016 April 22 through July 2 that will leverage the spatial separation between K2 and the Earth to facilitate measurement of the microlens parallax ΠE for ≳170 microlensing events. These will include several that are planetary in nature as well as many short-timescale microlensing events, which are potentially indicative of free-floating planets (FFPs). These satellite parallax measurements will in turn allow for the direct measurement of the masses of and distances to the lensing systems. In this article we provide an overview of the K2C9 space- and ground-based microlensing survey. Specifically, we detail the demographic questions that can be addressed by this program, including the frequency of FFPs and the Galactic distribution of exoplanets, the observational parameters of K2C9, and the array of resources dedicated to concurrent observations. Finally, we outline the avenues through which the larger community can become involved, and generally encourage participation in K2C9, which constitutes an important pathfinding mission and community exercise in anticipation of WFIRST