Efficient Pattern Matching in Python

Pattern matching is a powerful tool for symbolic computations. Applications include term rewriting systems, as well as the manipulation of symbolic expressions, abstract syntax trees, and XML and JSON data. It also allows for an intuitive description of algorithms in the form of rewrite rules. We present the open source Python module MatchPy, which offers functionality and expressiveness similar to the pattern matching in Mathematica. In particular, it includes syntactic pattern matching, as well as matching for commutative and/or associative functions, sequence variables, and matching with constraints. MatchPy uses new and improved algorithms to efficiently find matches for large pattern sets by exploiting similarities between patterns. The performance of MatchPy is investigated on several real-world problems

On Ultrasmall Silicate Grains in the Diffuse Interstellar Medium

The abundance of both amorphous and crystalline silicates in very small grains is limited by the fact that the 10 micron silicate emission feature is not detected in the diffuse ISM. On the basis of the observed IR emission spectrum for the diffuse ISM, the observed ultraviolet extinction curve, and the 10 micron silicate absorption profile, we obtain upper limits on the abundances of ultrasmall (a < 15 Angstrom) amorphous and crystalline silicate grains. Contrary to previous work, as much as ~20% of interstellar Si could be in a < 15 Angstrom silicate grains without violating observational constraints. Not more than ~5% of the Si can be in crystalline silicates (of any size).Comment: Submitted to ApJ Letters, 11 pages, 4 figures, Late

Mushroom body output neurons encode valence and guide memory-based action selection in Drosophila

Animals discriminate stimuli, learn their predictive value and use this knowledge to modify their behavior. In Drosophila, the mushroom body (MB) plays a key role in these processes. Sensory stimuli are sparsely represented by similar to 2000 Kenyon cells, which converge onto 34 output neurons (MBONs) of 21 types. We studied the role of MBONs in several associative learning tasks and in sleep regulation, revealing the extent to which information flow is segregated into distinct channels and suggesting possible roles for the multi-layered MBON network. We also show that optogenetic activation of MBONs can, depending on cell type, induce repulsion or attraction in flies. The behavioral effects of MBON perturbation are combinatorial, suggesting that the MBON ensemble collectively represents valence. We propose that local, stimulus-specific dopaminergic modulation selectively alters the balance within the MBON network for those stimuli. Our results suggest that valence encoded by the MBON ensemble biases memory-based action selection

A Cryogenic Silicon Interferometer for Gravitational-wave Detection

The detection of gravitational waves from compact binary mergers by LIGO has opened the era of gravitational wave astronomy, revealing a previously hidden side of the cosmos. To maximize the reach of the existing LIGO observatory facilities, we have designed a new instrument that will have 5 times the range of Advanced LIGO, or greater than 100 times the event rate. Observations with this new instrument will make possible dramatic steps toward understanding the physics of the nearby universe, as well as observing the universe out to cosmological distances by the detection of binary black hole coalescences. This article presents the instrument design and a quantitative analysis of the anticipated noise floor

First narrow-band search for continuous gravitational waves from known pulsars in advanced detector data

Spinning neutron stars asymmetric with respect to their rotation axis are potential sources of continuous gravitational waves for ground-based interferometric detectors. In the case of known pulsars a fully coherent search, based on matched filtering, which uses the position and rotational parameters obtained from electromagnetic observations, can be carried out. Matched filtering maximizes the signalto- noise (SNR) ratio, but a large sensitivity loss is expected in case of even a very small mismatch between the assumed and the true signal parameters. For this reason, narrow-band analysis methods have been developed, allowing a fully coherent search for gravitational waves from known pulsars over a fraction of a hertz and several spin-down values. In this paper we describe a narrow-band search of 11 pulsars using data from Advanced LIGO’s first observing run. Although we have found several initial outliers, further studies show no significant evidence for the presence of a gravitational wave signal. Finally, we have placed upper limits on the signal strain amplitude lower than the spin-down limit for 5 of the 11 targets over the bands searched; in the case of J1813-1749 the spin-down limit has been beaten for the first time. For an additional 3 targets, the median upper limit across the search bands is below the spin-down limit. This is the most sensitive narrow-band search for continuous gravitational waves carried out so far

Magnesia-Based Cements: A Journey of 150 Years, and Cements for the Future?

This review examines the detailed chemical insights that have been generated through 150 years of work worldwide on magnesium-based inorganic cements, with a focus on both scientific and patent literature. Magnesium carbonate, phosphate, silicate-hydrate, and oxysalt (both chloride and sulfate) cements are all assessed. Many such cements are ideally suited to specialist applications in precast construction, road repair, and other fields including nuclear waste immobilization. The majority of MgO-based cements are more costly to produce than Portland cement because of the relatively high cost of reactive sources of MgO and do not have a sufficiently high internal pH to passivate mild steel reinforcing bars. This precludes MgO-based cements from providing a large-scale replacement for Portland cement in the production of steel-reinforced concretes for civil engineering applications, despite the potential for CO2 emissions reductions offered by some such systems. Nonetheless, in uses that do not require steel reinforcement, and in locations where the MgO can be sourced at a competitive price, a detailed understanding of these systems enables their specification, design, and selection as advanced engineering materials with a strongly defined chemical basis

First-principles calculations of the phase stability of TiO2

Published versio

Solubility of Rock in Steam Atmospheres of Planets

Extensive experimental studies show that all major rock-forming elements (e.g., Si, Mg, Fe, Ca, Al, Na, K) dissolve in steam to a greater or lesser extent. We use these results to compute chemical equilibrium abundances of rocky-element-bearing gases in steam atmospheres equilibrated with silicate magma oceans. Rocky elements partition into steam atmospheres as volatile hydroxide gases (e.g., Si(OH)4, Mg(OH)2, Fe(OH)2, Ni(OH)2, Al(OH)3, Ca(OH)2, NaOH, KOH) and via reaction with HF and HCl as volatile halide gases (e.g., NaCl, KCl, CaFOH, CaClOH, FAl(OH)2) in much larger amounts than expected from their vapor pressures over volatile-free solid or molten rock at high temperatures expected for steam atmospheres on the early Earth and hot rocky exoplanets. We quantitatively compute the extent of fractional vaporization by defining gas/magma distribution coefficients and show that Earth's subsolar Si/Mg ratio may be due to loss of a primordial steam atmosphere. We conclude that hot rocky exoplanets that are undergoing or have undergone escape of steam-bearing atmospheres may experience fractional vaporization and loss of Si, Mg, Fe, Ni, Al, Ca, Na, and K. This loss can modify their bulk composition, density, heat balance, and interior structure

Supplement: "Localization and broadband follow-up of the gravitational-wave transient GW150914" (2016, ApJL, 826, L13)

This Supplement provides supporting material for Abbott et al. (2016a). We briefly summarize past electromagnetic (EM) follow-up efforts as well as the organization and policy of the current EM follow-up program. We compare the four probability sky maps produced for the gravitational-wave transient GW150914, and provide additional details of the EM follow-up observations that were performed in the different bands