Two kinds of procedural semantics for privative modification

In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L ̈f’s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation

The top squark-mediated annihilation scenario and direct detection of dark matter in compressed supersymmetry

Top squark-mediated annihilation of bino-like neutralinos to top-antitop pairs can play the dominant role in obtaining a thermal relic dark matter abundance in agreement with observations. In a previous paper, it was argued that this can occur naturally in models of compressed supersymmetry, which feature a running gluino mass parameter that is substantially smaller than the wino mass parameter at the scale of apparent gauge coupling unification. Here I study in some more detail the parameter space in which this is viable, and compare to other scenarios for obtaining the observed dark matter density. I then study the possibility of detecting the dark matter directly in future experiments. The prospects are consistently very promising for a wide variety of model parameters within this scenario.Comment: 17 pages. v2: additions to figures 4 and

On the Disalignment of Interstellar Grains

Several mechanisms have been proposed to explain the alignment of grains with the interstellar magnetic field, including paramagnetic dissipation, radiative torques, and supersonic gas-grain streaming. These must compete with disaligning processes, including randomly directed torques arising from collisions with gas atoms. I describe a novel disalignment mechanism for grains that have a time-varying electric dipole moment and that drift across the magnetic field. Depending on the drift speed, this mechanism may yield a much shorter disalignment timescale than that associated with random gas atom impacts. For suprathermally rotating grains, the new disaligning process may be more potent for carbonaceous dust than for silicate dust. This could result in efficient alignment for silicate grains but poor alignment for carbonaceous grains.Comment: 19 pages, 3 figures, submitted to Ap

Targeted deep surveys of high Galactic latitude HI with the GBT

Over 800 sq. deg. of high Galactic latitude sky have been mapped at 21 cm with the Robert C. Byrd Green Bank Telescope (GBT). An improved knowledge of the telescope's beam characteristics has allowed us to reliably map not only regions of high column density, but also such regions as ELAIS N1, a targeted Spitzer field, which have very low HI column density. The additional fields we have observed cover a cross-section of dynamically and chemically interesting regions as indicated by the presence of intermediate/high velocity gas and/or anomalous far-IR (dust) colour.Comment: 7 pages, 5 figures. To appear in "The Dynamic ISM: A celebration of the Canadian Galactic Plane Survey" ASP Conference Serie