Cooking your own parity game preorders through matching plays

\u3cp\u3eParity games can be used to solve satisfiability, verification and controller synthesis problems. As part of an effort to better understand their nature, or the nature of the problems they solve, preorders on parity games have been studied. Defining these relations, and in particular proving their transitivity, has proven quite difficult on occasion. We propose a uniform way of lifting certain preorders on Kripke structures to parity games and study the resulting preorders. We explore their relation with parity game preorders from the literature and we study new relations. Finally, we investigate whether these preorders can also be obtained via modal characterisations.\u3c/p\u3

Cooking your own parity game preorders through matching plays

Parity games can be used to solve satisfiability, verification and controller synthesis problems. As part of an effort to better understand their nature, or the nature of the problems they solve, preorders on parity games have been studied. Defining these relations, and in particular proving their transitivity, has proven quite difficult on occasion. We propose a uniform way of lifting certain preorders on Kripke structures to parity games and study the resulting preorders. We explore their relation with parity game preorders from the literature and we study new relations. Finally, we investigate whether these preorders can also be obtained via modal characterisations

Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book

Cultural Contexts of Health and Illness Among the Lancaster Amish

This work uses anthropological approaches to navigate and elucidate the cultural dynamics of the Lancaster Amish. Group identity and cultural practice are understood here as the driving forces behind Amish negotiations with technology. Using healthcare as a lens for understanding this dynamic, this dissertation delineates a pluralistic healthcare system utilized by Amish church districts in the Lancaster, PA area. One part of that system--biomedicine--is further elaborated through discussion about Amish cooperation with a cutting-edge genetic treatment/research facility, the Clinic for Special Children (CSC). This research was motivated by two broad questions. How do Lancaster Amish districts shape their use of medical and other technologies? And how does CSC create a biomedical environment where this kind of cultural negotiation can occur? A number of conceptual frameworks are put into play here: identity and action in cultural worlds; medical pluralism and health technologies; and processes of embodiment. This dissertation describes ways in which the Amish body mediates the self and the community, intercedes for that community with the outside, and builds the artifacts that populate their cultural worlds. Those bodies are deeply imbedded in what it means to be Amish--from the twisting double helix of a Lancaster Amish genotype to the daily implications of living in closed religious communities. Using qualitative methods, this dissertation adds vital richness to medical anthropology and Amish studies while providing an excellent case for understanding challenges occurring in translational medicine.Doctor of Philosoph

Fuelling the zero-emissions road freight of the future: routing of mobile fuellers

The future of zero-emissions road freight is closely tied to the sufficient availability of new and clean fuel options such as electricity and Hydrogen. In goods distribution using Electric Commercial Vehicles (ECVs) and Hydrogen Fuel Cell Vehicles (HFCVs) a major challenge in the transition period would pertain to their limited autonomy and scarce and unevenly distributed refuelling stations. One viable solution to facilitate and speed up the adoption of ECVs/HFCVs by logistics, however, is to get the fuel to the point where it is needed (instead of diverting the route of delivery vehicles to refuelling stations) using "Mobile Fuellers (MFs)". These are mobile battery swapping/recharging vans or mobile Hydrogen fuellers that can travel to a running ECV/HFCV to provide the fuel they require to complete their delivery routes at a rendezvous time and space. In this presentation, new vehicle routing models will be presented for a third party company that provides MF services. In the proposed problem variant, the MF provider company receives routing plans of multiple customer companies and has to design routes for a fleet of capacitated MFs that have to synchronise their routes with the running vehicles to deliver the required amount of fuel on-the-fly. This presentation will discuss and compare several mathematical models based on different business models and collaborative logistics scenarios