Non-Zero Sum Games for Reactive Synthesis

In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution concepts are developed in the context of non-zero sum games played on graphs. They are part of the contributions obtained in the inVEST project funded by the European Research Council.Comment: LATA'16 invited pape

Limits on models of the ultrahigh energy cosmic rays based on topological defects

An erratum exists for this article. Please see the description link below for details.Using the propagation of ultrahigh energy nucleons, photons, and electrons in the universal radiation backgrounds, we obtain limits on the luminosity of topological defect scenarios for the origin of the highest energy cosmic rays. The limits are set as a function of the mass of the X particles emitted by the cosmic strings or other defects, the cosmological evolution of the topological defects, and the strength of the extragalactic magnetic fields. The existing data on the cosmic ray spectrum and on the isotropic 100 MeV gamma-ray background limit significantly the parameter space in which topological defects can generate the flux of the highest energy cosmic rays, and rule out models with the standard X-particle mass of 10¹⁶GeV and higher.R. J. Protheroe and Todor Stane

The Sheaf-Theoretic Structure Of Non-Locality and Contextuality

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this includes Kochen-Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to obstructions to the existence of global sections. We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. We distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples --- due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively --- occupy successively higher levels of this hierarchy. A general correspondence is shown between the existence of local hidden-variable realizations using negative probabilities, and no-signalling; this is based on a result showing that the linear subspaces generated by the non-contextual and no-signalling models, over an arbitrary measurement cover, coincide. Maximal non-locality is generalized to maximal contextuality, and characterized in purely qualitative terms, as the non-existence of global sections in the support. A general setting is developed for Kochen-Specker type results, as generic, model-independent proofs of maximal contextuality, and a new combinatorial condition is given, which generalizes the `parity proofs' commonly found in the literature. We also show how our abstract setting can be represented in quantum mechanics. This leads to a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.Comment: 33 pages. Extensively revised, new results included. Published in New Journal of Physic

Shopping Streets versus Shopping Malls - Determinants of Agglomeration Format Attractiveness from the Customers' Point of View

The decline of shopping streets and the rise of shopping malls have been major trends in European retailing for decades. So far, research has failed to investigate this shift of agglomeration format (AF) patronage from a marketing perspective, including the consumers’ point of view. This paper presents a theoretical comparison of generic similarities and conceptual differences between shopping streets and shopping malls. Based on this comparison the AF-specific characteristics perceived by consumers are compared and discussed with respect to their impact on agglomeration attractiveness. This leads to the development of a conceptual framework which is empirically tested using a web-based survey of almost 1,000 consumers representing a typical urban central European retail market. The relative importance of nine distinctive AF characteristics on attractiveness was analysed using structural equation modelling. The findings proved to be quite similar for both shopping streets and shopping malls; the retail tenant mix and atmosphere had the highest relative importance

EPIdemiology of Surgery-Associated Acute Kidney Injury (EPIS-AKI) : Study protocol for a multicentre, observational trial

More than 300 million surgical procedures are performed each year. Acute kidney injury (AKI) is a common complication after major surgery and is associated with adverse short-term and long-term outcomes. However, there is a large variation in the incidence of reported AKI rates. The establishment of an accurate epidemiology of surgery-associated AKI is important for healthcare policy, quality initiatives, clinical trials, as well as for improving guidelines. The objective of the Epidemiology of Surgery-associated Acute Kidney Injury (EPIS-AKI) trial is to prospectively evaluate the epidemiology of AKI after major surgery using the latest Kidney Disease: Improving Global Outcomes (KDIGO) consensus definition of AKI. EPIS-AKI is an international prospective, observational, multicentre cohort study including 10 000 patients undergoing major surgery who are subsequently admitted to the ICU or a similar high dependency unit. The primary endpoint is the incidence of AKI within 72 hours after surgery according to the KDIGO criteria. Secondary endpoints include use of renal replacement therapy (RRT), mortality during ICU and hospital stay, length of ICU and hospital stay and major adverse kidney events (combined endpoint consisting of persistent renal dysfunction, RRT and mortality) at day 90. Further, we will evaluate preoperative and intraoperative risk factors affecting the incidence of postoperative AKI. In an add-on analysis, we will assess urinary biomarkers for early detection of AKI. EPIS-AKI has been approved by the leading Ethics Committee of the Medical Council North Rhine-Westphalia, of the Westphalian Wilhelms-University Münster and the corresponding Ethics Committee at each participating site. Results will be disseminated widely and published in peer-reviewed journals, presented at conferences and used to design further AKI-related trials. Trial registration number NCT04165369