Reversibility and asymmetric conflict in event structures

Reversible computation has attracted increasing interest in recent years, with applications in hardware, software and biochemistry. We introduce reversible forms of prime event structures and asymmetric event structures. In order to control the manner in which events are reversed, we use asymmetric conflict on events. We prove a number of results about reachable configurations; for instance, we show under what conditions reachable configurations which are finite are reachable by purely finite means. We discuss, with examples, reversing in causal order, where an event is only reversed once all events it caused have been reversed, as well as forms of non-causal reversing

Role of the hindbrain in dorsoventral but not anteroposterior axial specification of the inner ear

An early and crucial event in vertebrate inner ear development is the acquisition of axial identities that in turn dictate the positions of all subsequent inner ear components. Here, we focus on the role of the hindbrain in establishment of inner ear axes and show that axial specification occurs well after otic placode formation in chicken. Anteroposterior (AP) rotation of the hindbrain prior to specification of this axis does not affect the normal AP orientation and morphogenesis of the inner ear. By contrast, reversing the dorsoventral (DV) axis of the hindbrain results in changing the DV axial identity of the inner ear. Expression patterns of several ventrally expressed otic genes such as NeuroD, Lunatic fringe (Lfng) and Six1 are shifted dorsally, whereas the expression pattern of a normally dorsal-specific gene, Gbx2, is abolished. Removing the source of Sonic Hedgehog (SHH) by ablating the floor plate and/or notochord, or inhibiting SHH function using an antibody that blocks SHH bioactivity results in loss of ventral inner ear structures. Our results indicate that SHH, together with other signals from the hindbrain, are important for patterning the ventral axis of the inner ear. Taken together, our studies suggest that tissue(s) other than the hindbrain confer AP axial information whereas signals from the hindbrain are necessary and sufficient for the DV axial patterning of the inner ear

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications

Petri nets are a formalism for modelling and reasoning about the behaviour of distributed systems. Recently, a reversible approach to Petri nets, Reversing Petri Nets (RPN), has been proposed, allowing transitions to be reversed spontaneously in or out of causal order. In this work we propose an approach for controlling the reversal of actions of an RPN, by associating transitions with conditions whose satisfaction/violation allows the execution of transitions in the forward/reversed direction, respectively. We illustrate the framework with a model of a novel, distributed algorithm for antenna selection in distributed antenna arrays.Comment: RC 201

Magnetic dips in the solar wind

Using magnetic data from the HELIOS 1 fluxgate magnetometer, with a 0.2 sec resolution, the structures of several interplanetary discontinuities involving magnetic dips and rotations of the magnetic field vector were investigated. A minimum variance analysis illustrates the behavior of the magnetic field through the transition in the plane of its maximum variation. Using this analysis, quite different structures have been individuated and, in particular, narrow transitions resembling almost one dimensional reconnected neutral sheets. For the thinner cases (scale lengths of the magnetic rotation of the order or smaller than 1,000 km), results show the observed structures could be the nonlinear effect of a resistive tearing mode instability having developed on an originally one dimensional neutral sheet at the solar corona

Towards Reversible Sessions

In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits taking different computation paths along the same session, as well as reverting the whole session and starting a new one. Our aim is to define a theoretical basis for examining the interplay in concurrent systems between reversible computation and session-based interaction. We thus enrich a session-based variant of pi-calculus with memory devices, dedicated to keep track of the computation history of sessions in order to reverse it. We discuss our initial investigation concerning the definition of a session type discipline for the proposed reversible calculus, and its practical advantages for static verification of safe composition in communication-centric distributed software performing reversible computations.Comment: In Proceedings PLACES 2014, arXiv:1406.331

Intermediate Phases, structural variance and network demixing in chalcogenides: the unusual case of group V sulfides

We review Intermediate Phases (IPs) in chalcogenide glasses and provide a structural interpretation of these phases. In binary group IV selenides, IPs reside in the 2.40 < r < 2.54 range, and in binary group V selenides they shift to a lower r, in the 2.29< r < 2.40 range. Here r represents the mean coordination number of glasses. In ternary alloys containing equal proportions of group IV and V selenides, IPs are wider and encompass ranges of respective binary glasses. These data suggest that the local structural variance contributing to IP widths largely derives from four isostatic local structures of varying connectivity r; two include group V based quasi-tetrahedral (r = 2.29) and pyramidal (r = 2.40) units, and the other two are group IV based corner-sharing (r = 2.40) and edge-sharing (r = 2.67) tetrahedral units. Remarkably, binary group V (P, As) sulfides exhibit IPs that are shifted to even a lower r than their selenide counterparts; a result that we trace to excess Sn chains either partially (As-S) or completely (P-S) demixing from network backbone, in contrast to excess Sen chains forming part of the backbone in corresponding selenide glasses. In ternary chalcogenides of Ge with the group V elements (As, P), IPs of the sulfides are similar to their selenide counterparts, suggesting that presence of Ge serves to reign in the excess Sn chain fragments back in the backbone as in their selenide counterparts