Parity Games on Temporal Graphs

Temporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the availability of edges can change with time. We consider the complexity of solving $\omega$-regular games played on temporal graphs where the edge availability is ultimately periodic and fixed a priori. We show that solving parity games on temporal graphs is decidable in PSPACE, only assuming the edge predicate itself is in PSPACE. A matching lower bound already holds for what we call punctual reachability games on static graphs, where one player wants to reach the target at a given, binary encoded, point in time. We further study syntactic restrictions that imply more efficient procedures. In particular, if the edge predicate is in $P$ and is monotonically increasing for one player and decreasing for the other, then the complexity of solving games is only polynomially increased compared to static graphs

Comprehensive investigation of Ge-Si bonded interfaces using oxygen radical activation

In this work, we investigate the directly bonded germanium-silicon interfaces to facilitate the development of high quality germanium silicon hetero integration at the wafer scale. X-ray photoelectron spectroscopy data is presented which provides the chemical composition of the germanium surfaces as a function of the hydrophilic bonding reaction at the interface. The bonding process induced long range deformation is detected by synchrotron x-ray topography. The hetero-interface is characterized by measuring forward and reverse current, and by high resolution transmission electron microscopy. (C) 2011 American Institute of Physics. [doi: 10.1063/1.3601355

Potential Improvements to the Nuclear Safety and Launch Approval Process for Nuclear Reactors Utilized for Space Power and Propulsion Applications

This study examines potential improvements that could be made to the nuclear safety and launch approval process for fission reactors to reduce the associated uncertainties in cost and schedule while continuing to ensure public safety and environmental protection. It concentrates on the launch approval and mission safety of fission power and propulsion applications of nuclear energy. Improvements to the launch approval process for radioisotope power systems (RPSs) are being considered elsewhere but are acknowledged throughout the report. The study considered technical, process, and organizational improvements to the launch approval processes. The study exclusively evaluated reactors that would not be started up prior to achieving a sufficiently high orbit, per United Nations (UN) Resolution 47/68.Potential criticality accidents were considered that could occur during a launch failure or abort or during reentry. Numerous scenarios were examined that might involve one or more Earth flybys as well as potential transportation missions that could intentionally return an active, or previously active fission reactor to Earth orbit. The Study Group was guided in its deliberations according to a number of fundamental principles. These included the paramount importance of adequate and appropriate levels of public safety and environmental protection as well as the importance of the inclusion of independent scientific, engineering, and safety reviews of the applications and proposals as a critical part of the process. Also considered was the need for the development of launch approval processes that might be different, depending upon the source of the application for launch approval, whether it be derived as a governmental launch, a commercial launch, or a hybrid/combination of the two. It is clear that all launches of nuclear reactors into space should have similar safety requirements; however, the safety review effort and the details of the analysis that are required should be commensurate with the potential hazards and the actual risk, which may differ based on the reactor design and its intended purpose. Finally, the study aimed at ensuring that whatever processes and procedures are developed should maximize the sufficiency, simplicity, and transparency of the processes. The Study Group reached five Conclusions and makes thirteen Recommendations. The Conclusions and Recommendations presented here are extensions of those presented previously in other studies. This report attempts to add specificity to the actions that need to be taken in order to move forward with successful space fission reactor programs. Without action to address the perceived and real problems in the launch approval process, designers and mission managers will be reluctant to commit the resources necessary to make space fission reactors a reality

Parity Games on Temporal Graphs

AbstractTemporal graphs are a popular modelling mechanism for dynamic complex systems that extend ordinary graphs with discrete time. Simply put, time progresses one unit per step and the availability of edges can change with time.We consider the complexity of solving $$\omega$$ ω -regular games played on temporal graphs where the edge availability is ultimately periodic and fixed a priori.We show that solving parity games on temporal graphs is decidable in $$\textsf{PSPACE}$$ PSPACE , only assuming the edge predicate itself is in $$\textsf{PSPACE}$$ PSPACE . A matching lower bound already holds for what we call punctual reachability games on static graphs, where one player wants to reach the target at a given, binary encoded, point in time. We further study syntactic restrictions that imply more efficient procedures. In particular, if the edge predicate is in and is monotonically increasing for one player and decreasing for the other, then the complexity of solving games is only polynomially increased compared to static graphs.</jats:p

Allele Mining in Barley Genetic Resources Reveals Genes of Race-Non-Specific Powdery Mildew Resistance

Race-non-specific, or quantitative, pathogen resistance is of high importance to plant breeders due to its expected durability. However, it is usually controlled by multiple quantitative trait loci (QTL) and therefore difficult to handle in practice. Knowing the genes that underlie race-non-specific resistance (NR) would allow its exploitation in a more targeted manner. Here, we performed an association-genetic study in a customized worldwide collection of spring barley accessions for candidate genes of race-NR to the powdery mildew fungus Blumeria graminis f. sp. hordei (Bgh) and combined data with results from QTL mapping as well as functional-genomics approaches. This led to the identification of 11 associated genes with converging evidence for an important role in race-NR in the presence of the Mlo gene for basal susceptibility. Outstanding in this respect was the gene encoding the transcription factor WRKY2. The results suggest that unlocking plant genetic resources and integrating functional-genomic with genetic approaches can accelerate the discovery of genes underlying race-NR in barley and other crop plants

Complex controls on nitrous oxide flux across a large elevation gradient in the tropical Peruvian Andes

Acknowledgements The authors would like to acknowledge the agencies that funded this research; the UK Natural Environment Research Council (NERC; joint grant references NE/H006583, NE/H007849 and NE/H006753). Patrick Meir was supported by an Australian Research Council Fellowship (FT110100457). Javie Eduardo Silva Espejo, Walter Huaraca Huasco and the ABIDA NGO provided critical fieldwork and logistical support. Angus Calder (University of St.Andrews) and Vicky Munro (University of Aberdeen) provided invaluable laboratory support. Thanks to Adrian Tejedor from the Amazon Conservation Association, who provided assistance with site access and site selection at Hacienda Villa Carmen. This publication is a contribution from the Scottish Alliance for Geoscience, Environment and Society (http://www.sages.ac.uk).Peer reviewedPublisher PD

Supernovae Shock Breakout/Emergence Detection Predictions for a Wide-Field X-ray Survey

There are currently many large-field surveys operational and planned including the powerful Vera C. Rubin Observatory Legacy Survey of Space and Time. These surveys will increase the number and diversity of transients dramatically. However, for some transients, like supernovae (SNe), we can gain more understanding by directed observations (e.g. shock breakout, $\gamma$-ray detections) than by simply increasing the sample size. For example, the initial emission from these transients can be a powerful probe of these explosions. Upcoming ground-based detectors are not ideally suited to observe the initial emission (shock emergence) of these transients. These observations require a large field-of-view X-ray mission with a UV follow up within the first hour of shock breakout. The emission in the first one hour to even one day provides strong constraints on the stellar radius and asymmetries in the outer layers of stars, the properties of the circumstellar medium (e.g. inhomogeneities in the wind for core-collapse SNe, accreting companion in thermonuclear SNe), and the transition region between these two. This paper describes a simulation for the number of SNe that could be seen by a large field of view lobster eye X-ray and UV observatory.Comment: 13 pages, 7 figures, submitted to Ap