The composition of Event-B models

The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventing them in future. This work contributes to thatreinvention. Inspired by a proposed method for state-based decomposition and refinement [5] of an Event-B model, we propose a familiar parallel event composition (over disjoint state variable lists), and the less familiar event fusion (over intersecting state variable lists). A brief motivation is provided for these and other forms of composition of models, in terms of feature-based modelling. We show that model consistency is preserved under such compositions. More significantly we show that model composition preserves refinement

Event Representations with Tensor-based Compositions

Robust and flexible event representations are important to many core areas in language understanding. Scripts were proposed early on as a way of representing sequences of events for such understanding, and has recently attracted renewed attention. However, obtaining effective representations for modeling script-like event sequences is challenging. It requires representations that can capture event-level and scenario-level semantics. We propose a new tensor-based composition method for creating event representations. The method captures more subtle semantic interactions between an event and its entities and yields representations that are effective at multiple event-related tasks. With the continuous representations, we also devise a simple schema generation method which produces better schemas compared to a prior discrete representation based method. Our analysis shows that the tensors capture distinct usages of a predicate even when there are only subtle differences in their surface realizations.Comment: Accepted at AAAI 201

Building complex events: the case of Sicilian Doubly Inflected Construction

We examine the Doubly Inflected Construction of Sicilian (DIC; Cardinaletti and Giusti 2001, 2003, Cruschina 2013), in which a motion verb V1 from a restricted set is followed by an event verb V2 and both verbs are inflected for the same person and tense features. The interpretation of DIC involves a complex event which behaves as a single, integrated event by linguistic tests. Based on data drawn from different sources, we argue that DIC is an asymmetrical serial verb construction (Aikhenvald 2006). We propose an analysis of DIC in which V1 and V2 enter the semantic composition as lexical verbs, with V1 contributing a motion event and projecting a theme and a goal argument which are identified, respectively, with an agent and a location argument projected by V2. A morphosyntactic mechanism of feature-spread requires that the person and tense features be realized both on V1 and on V2, while, semantically, these features are interpreted only once, in a position from which they take scope over the complex predicate resulting from the combination of V1 and V2. The semantic analysis is based on an operation of event concatenation, defined over spatio-temporally contiguous events which share specific participants, and is implemented in a neo-Davidsonian framework (Parsons 1990)

Event notification services: analysis and transformation of profile definition languages

The integration of event information from diverse event notification sources is, as with meta-searching over heterogeneous search engines, a challenging task. Due to the complexity of profile definition languages, known solutions for heterogeneous searching cannot be applied for event notification. In this technical report, we propose transformation rules for profile rewriting. We transform each profile defined at a meta-service into a profile expressed in the language of each event notification source. Due to unavoidable asymmetry in the semantics of different languages, some superfluous information may be delivered to the meta-service. These notifications are then post-processed to reduce the number of spurious messages. We present a survey and classification of profile definition languages for event notification, which serves as basis for the transformation rules. The proposed rules are implemented in a prototype transformation module for a Meta-Service for event notification

Apart Cen A are UHECR mostly heavy radioactive and galactic nuclei?

Earliest AUGER UHECR anisotropy correlated with AGN within a GZK Universe almost fade away. Recent UHECR mass compositions did show a negligible nucleon composition and an UHECR nuclei (light or heavy) signature. The absence of UHECR events toward the Virgo cluster, an unique spread clustering of events around Cen-A, our nearest AGN, suggested a He-like nuclei as the main extragalactic UHECR component from Cen A, coexisting with Auger and HIRES composition. Because the light nuclei fragility such He UHECR cannot arrive from Virgo. Multiplet at twenty EeV along Cen A recently discovered by Auger confirm this interpretation to be indebt to fragments (D;He3; p) that had to reach us along the same UHECR. Remaining majority of UHECR clustering are partially correlated with a gamma noise at (1-3 MeV) in Comptel sky, linked to Al 26 galactic radioactive map as well as to a few TeV gamma anisotropy maps; rare UHECR triplet are overlapping on Vela TeV anisotropy. Therefore UHECR might be also (or mostly) heavy radioactive galactic nuclei as Ni55, Ni56, Ni57 and Co57 bent from the sources whose gamma and beta radioactivity and decay in flight is boosted (by Lorentz factor near a billion), leading to TeV correlated sky anisotropy. Galactic UHECR signals inside the inner center maybe suppressed by Lorentz bending forces. More clustering around external galactic plane is expected. Magellanic Cloud and Magellanic Stream may also rise in UHECR maps (as well as in multiplet). Future UHECR clustering might be observed around Cas A and Cygnus by T.A. The UHECR spectra cut off may be just the imprint of a galactic confinement and-or a spectroscopic heavy composition decrease step.Comment: 5 pages, 3 figures, few corrections following referee comment

Actors that Unify Threads and Events

There is an impedance mismatch between message-passing concurrency and virtual machines, such as the JVM. VMs usually map their threads to heavyweight OS processes. Without a lightweight process abstraction, users are often forced to write parts of concurrent applications in an event-driven style which obscures control flow, and increases the burden on the programmer. In this paper we show how thread-based and event-based programming can be unified under a single actor abstraction. Using advanced abstraction mechanisms of the Scala programming language, we implemented our approach on unmodified JVMs. Our programming model integrates well with the threading model of the underlying VM

Geologic history of Martian regolith breccia Northwest Africa 7034: Evidence for hydrothermal activity and lithologic diversity in the Martian crust

The timing and mode of deposition for Martian regolith breccia Northwest Africa (NWA) 7034 were determined by combining petrography, shape analysis, and thermochronology. NWA 7034 is composed of igneous, impact, and brecciated clasts within a thermally annealed submicron matrix of pulverized crustal rocks and devitrified impact/volcanic glass. The brecciated clasts are likely lithified portions of Martian regolith with some evidence of past hydrothermal activity. Represented lithologies are primarily ancient crustal materials with crystallization ages as old as 4.4 Ga. One ancient zircon was hosted by an alkali-rich basalt clast, confirming that alkalic volcanism occurred on Mars very early. NWA 7034 is composed of fragmented particles that do not exhibit evidence of having undergone bed load transport by wind or water. The clast size distribution is similar to terrestrial pyroclastic deposits. We infer that the clasts were deposited by atmospheric rainout subsequent to a pyroclastic eruption(s) and/or impact event(s), although the ancient ages of igneous components favor mobilization by impact(s). Despite ancient components, the breccia has undergone a single pervasive thermal event at 500–800°C, evident by groundmass texture and concordance of ~1.5 Ga dates for bulk rock K-Ar, U-Pb in apatite, and U-Pb in metamict zircons. The 1.5 Ga age is likely a thermal event that coincides with rainout/breccia lithification. We infer that the episodic process of regolith lithification dominated sedimentary processes during the Amazonian Epoch. The absence of pre-Amazonian high-temperature metamorphic events recorded in ancient zircons indicates source domains of static southern highland crust punctuated by episodic impact modification