[1] We present a model of effusive silicic volcanic eruptions which relates magma chamber and conduit physics to time‐dependent data sets, including ground deformation and extrusion rate. The model involves a deflating chamber which supplies Newtonian magma through a cylindrical conduit. Solidification is approximated as occurring at fixed depth, producing a solid plug that slips along its marg...

Malware is a major threat to security and privacy of network users. A large variety of malware is typically spread over the Internet, hiding in benign traffic. New types of malware appear every day, challenging both the research community and security companies to improve malware identification techniques. In this paper we present MAGMA, MultilAyer Graphs for MAlware detection, a novel malware ...

Magma is a new software system for computational algebra, the design of which is based on the twin concepts of algebraic structure and morphism. The design is intended to provide a mathematically rigorous environment for computing with algebraic structures (groups, rings, fields, modules and algebras), geometric structures (varieties, special curves) and combinatorial structures (graphs, design...

Introduction: Large volcanic edifices on Venus constitute a primary expression of the thermal evolution of that planet. Over 150 volcanic edifices with diameters > 100 km are distributed heterogeneously over the surface of Venus [1-4]. They are characterized by extensive radially oriented lava flow aprons and generally shallow flank slopes. The compositions of the lava flows that build such str...

Lunar floor-fractured craters (FFCs) represent the surface manifestation of a class of shallow crustal intrusions in which magma-filled cracks (dikes) rising to the surface from great depth encounter contrasts in host rock lithology (breccia lens, rigid solidified melt sheet) and intrude laterally to form a sill, laccolith or bysmalith, thereby uplifting and deforming the crater floor. Recent d...

Citation: Caricchi L, Simpson G and Schaltegger U (2016) Estimates of Volume and Magma Input in Crustal Magmatic Systems from Zircon Geochronology: The Effect of Modeling Assumptions and System Variables. Front. Earth Sci. 4:48. doi: 10.3389/feart.2016.00048 Estimates of Volume and Magma Input in Crustal Magmatic Systems from Zircon Geochronology: The Effect of Modeling Assumptions and System V...

We present MaGMA (Mobility and Group Management Architecture), an architecture for groupware support in mobile networks. MaGMA’s main objective is enabling mobile users to use real-time group applications over the IP infrastructure. Our solutions address group management as well as support for QoS and seamless handoff. We illustrate the advantages of MaGMA using mathematical analysis and simula...

Major element compositions of glass inclusions in olivine and plagioclase phenocrysts from representative Mariana arc lavas show that mafic Mariana arc liquids are tholeiitic and not high-alumina, implying that the high-alumina characteristic of these lavas reflects accumulation of plagioclase. Glass inclusions also show the common occurrence of felsic melts previously unrecognized among Marian...

These notes complement the lectures and aim to give you practical experience in working with Galois groups in Magma. They are aimed at people for whom working with Magma is something of a struggle. I myself am still in this category, although perhaps starting to leave it, having written these notes . . . . Given the aims, the exercises corresponding to the first two lectures are intended to be ...