A Logic for Non-Deterministic Parallel Abstract State Machines

We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and St\"ark for reasoning about hierarchical (parallel) ASMs. Our main contribution to this regard is the handling of non-determinism (both bounded and unbounded) within the logical formalism. Moreover, we do this without sacrificing the completeness of the logic for statements about single steps of non-deterministic parallel ASMs, such as invariants of rules, consistency conditions for rules, or step-by-step equivalence of rules.Comment: arXiv admin note: substantial text overlap with arXiv:1602.0748

On the length of chains of proper subgroups covering a topological group

We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and $(ii)$ For every sigma-bounded subgroup H of G there exists a such that H is a subset of G_a. In case of the group Sym(w) of all permutations of w with the topology inherited from w^w this improves upon earlier results of S. Thomas

From nonlinear to linearized elasticity via Γ-convergence: the case of multiwell energies satisfying weak coercivity conditions

Linearized elasticity models are derived, via Γ-convergence, from suitably rescaled non- linear energies when the corresponding energy densities have a multiwell structure and satisfy a weak coercivity condition, in the sense that the typical quadratic bound from below is replaced by a weaker p bound, 1 < p < 2, away from the wells. This study is motivated by, and our results are applied to, energies arising in the modeling of nematic elastomers

Concurrent Computing with Shared Replicated Memory

The behavioural theory of concurrent systems states that any concurrent system can be captured by a behaviourally equivalent concurrent Abstract State Machine (cASM). While the theory in general assumes shared locations, it remains valid, if different agents can only interact via messages, i.e. sharing is restricted to mailboxes. There may even be a strict separation between memory managing agents and other agents that can only access the shared memory by sending query and update requests to the memory agents. This article is dedicated to an investigation of replicated data that is maintained by a memory management subsystem, whereas the replication neither appears in the requests nor in the corresponding answers. We show how the behaviour of a concurrent system with such a memory management can be specified using concurrent communicating ASMs. We provide several refinements of a high-level ground model addressing different replication policies and internal messaging between data centres. For all these refinements we analyse their effects on the runs such that decisions concerning the degree of consistency can be consciously made.Comment: 23 page

Deconvolving Instrumental and Intrinsic Broadening in Excited State X-ray Spectroscopies

Intrinsic and experimental mechanisms frequently lead to broadening of spectral features in excited-state spectroscopies. For example, intrinsic broadening occurs in x-ray absorption spectroscopy (XAS) measurements of heavy elements where the core-hole lifetime is very short. On the other hand, nonresonant x-ray Raman scattering (XRS) and other energy loss measurements are more limited by instrumental resolution. Here, we demonstrate that the Richardson-Lucy (RL) iterative algorithm provides a robust method for deconvolving instrumental and intrinsic resolutions from typical XAS and XRS data. For the K-edge XAS of Ag, we find nearly complete removal of ~9.3 eV FWHM broadening from the combined effects of the short core-hole lifetime and instrumental resolution. We are also able to remove nearly all instrumental broadening in an XRS measurement of diamond, with the resulting improved spectrum comparing favorably with prior soft x-ray XAS measurements. We present a practical methodology for implementing the RL algorithm to these problems, emphasizing the importance of testing for stability of the deconvolution process against noise amplification, perturbations in the initial spectra, and uncertainties in the core-hole lifetime.Comment: 35 pages, 13 figure

Adding many Baumgartner clubs

I define a homogeneous ℵ2–c.c. proper product forcing for adding many clubs of ω1 with finite conditions. I use this forcing to build models of b(ω1)=ℵ2, together with d(ω1) and 2ℵ0 large and with very strong failures of club guessing at ω1

Displaced but not replaced: the impact of e-learning on academic identities in higher education.

Challenges facing universities are leading many to implement institutional strategies to incorporate e-learning rather than leaving its adoption up to enthusiastic individuals. Although there is growing understanding about the impact of e-learning on the student experience, there is less understanding of academics’ perceptions of e-learning and its impact on their identities. This paper explores the changing nature of academic identities revealed through case study research into the implementation of e-learning at one UK university. By providing insight into the lived experiences of academics in a university in which technology is not only transforming access to knowledge but also influencing the balance of power between academic and student in knowledge production and use, it is suggested that academics may experience a jolt to their ‘trajectory of self’ when engaging with e-learning. The potential for e-learning to prompt loss of teacher presence and displacement as knowledge expert may appear to undermine the ontological security of their academic identity

Explicit Evidence Systems with Common Knowledge

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic

Offscreen and in the chair next to your: conversational agents speaking through actual human bodies

his paper demonstrates how to interact with a conversational agent that speaks through an actual human body face-to-face and in person (i.e., offscreen). This is made possible by the cyranoid method: a technique involving a human person speech shadowing for a remote third-party (i.e., receiving their words via a covert audio-relay apparatus and repeating them aloud in real-time). When a person shadows for an artificial conversational agent source, we call the resulting hybrid an “echoborg.” We report a study in which people encountered conversational agents either through a human shadower face-to-face or via a text interface under conditions where they assumed their interlocutor to be an actual person. Our results show that the perception of a conversational agent is dramatically altered when the agent is voiced by an actual, tangible person. We discuss the potential implications this methodology has for the development of conversational agents and general person perception research

Growing Environmental Activists: Developing Environmental Agency and Engagement Through Children’s Fiction.

We explore how story has the potential to encourage environmental engagement and a sense of agency provided that critical discussion takes place. We illuminate this with reference to the philosophies of John Macmurray on personal agency and social relations; of John Dewey on the primacy of experience for philosophy; and of Paul Ricoeur on hermeneutics, dialogue, dialectics and narrative. We view the use of fiction for environmental understanding as hermeneutic, a form of conceptualising place which interprets experience and perception. The four writers for young people discussed are Ernest Thompson Seton, Kenneth Grahame, Michelle Paver and Philip Pullman. We develop the concept of critical dialogue, and link this to Crick's demand for active democratic citizenship. We illustrate the educational potential for environmental discussions based on literature leading to deeper understanding of place and environment, encouraging the belief in young people that they can be and become agents for change. We develop from Zimbardo the key concept of heroic resister to encourage young people to overcome peer pressure. We conclude with a call to develop a greater awareness of the potential of fiction for learning, and for writers to produce more focused stories engaging with environmental responsibility and activism