Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, inspired by Yetter's work, which makes the calculus commutative. Then we add the of-course modality !, as Girard did, to re-introduce weakening and contraction for all formulas and get back the full power of intuitionistic and classical logic. We also present the categorical semantics, proved sound and complete. Finally we show the traditional properties of type systems, like subject reduction, the Church-Rosser theorem and normalization for the calculi of extended modalities, which we did not have before

A Millimeter-wave Galactic Plane Survey with the BICEP Polarimeter

In order to study inflationary cosmology and the Milky Way Galaxy's composition and magnetic field structure, Stokes I, Q, and U maps of the Galactic plane covering the Galactic longitude range 260° < ℓ < 340° in three atmospheric transmission windows centered on 100, 150, and 220 GHz are presented. The maps sample an optical depth 1 ≾ AV ≾ 30, and are consistent with previous characterizations of the Galactic millimeter-wave frequency spectrum and the large-scale magnetic field structure permeating the interstellar medium. The polarization angles in all three bands are generally perpendicular to those measured by starlight polarimetry as expected and show changes in the structure of the Galactic magnetic field on the scale of 60°. The frequency spectrum of degree-scale Galactic emission is plotted between 23 and 220 GHz (including WMAP data) and is fit to a two-component (synchrotron and dust) model showing that the higher frequency BICEP data are necessary to tightly constrain the amplitude and spectral index of Galactic dust. Polarized emission is detected over the entire region within two degrees of the Galactic plane, indicating the large-scale magnetic field is oriented parallel to the plane of the Galaxy. A trend of decreasing polarization fraction with increasing total intensity is observed, ruling out the simplest model of a constant Galactic magnetic field orientation along the line of sight in the Galactic plane. A generally increasing trend of polarization fraction with electromagnetic frequency is found, varying from 0.5%-1.5% at frequencies below 50 GHz to 2.5%-3.5% above 90 GHz. The effort to extend the capabilities of BICEP by installing 220 GHz band hardware is described along with analysis of the new band

C1: Applying the Cosmogenic Nuclide Dipstick Model for Deglaciation of Mt. Washington

Guidebook for field trips in Western Maine and Northern New Hampshire: New England Intercollegiate Geological Conference, p. 247-272

Fusion of radioactive 132^{132}Sn with 64^{64}Ni

Evaporation residue and fission cross sections of radioactive $^{132}$Sn on $^{64}$Ni were measured near the Coulomb barrier. A large sub-barrier fusion enhancement was observed. Coupled-channel calculations including inelastic excitation of the projectile and target, and neutron transfer are in good agreement with the measured fusion excitation function. When the change in nuclear size and shift in barrier height are accounted for, there is no extra fusion enhancement in $^{132}$Sn+$^{64}$Ni with respect to stable Sn+$^{64}$Ni. A systematic comparison of evaporation residue cross sections for the fusion of even $^{112-124}$Sn and $^{132}$Sn with $^{64}$Ni is presented.Comment: 9 pages, 11 figure

Pace and Process of Active Folding and Fluvial Incision Across the Kantishna Hills Anticline, Central Alaska

Rates of northern Alaska Range thrust system deformation are poorly constrained. Shortening at the system\u27s west end is focused on the Kantishna Hills anticline. Where the McKinley River cuts across the anticline, the landscape records both Late Pleistocene deformation and climatic change. New optically stimulated luminescence and cosmogenic 10Be depth profile dates of three McKinley River terrace levels (~22, ~18, and ~14–9 ka) match independently determined ages of local glacial maxima, consistent with climate-driven terrace formation. Terrace ages quantify rates of differential bedrock incision, uplift, and shortening based on fault depth inferred from microseismicity. Differential rock uplift and incision (≤1.4 m/kyr) drive significant channel width narrowing in response to ongoing folding at a shortening rate of ~1.2 m/kyr. Our results constrain northern Alaska Range thrust system deformation rates, and elucidate superimposed landscape responses to Late Pleistocene climate change and active folding with broad geomorphic implications

The Robinson Gravitational Wave Background Telescope (BICEP): a bolometric large angular scale CMB polarimeter

The Robinson Telescope (BICEP) is a ground-based millimeter-wave bolometric array designed to study the polarization of the cosmic microwave background radiation (CMB) and galactic foreground emission. Such measurements probe the energy scale of the inflationary epoch, tighten constraints on cosmological parameters, and verify our current understanding of CMB physics. Robinson consists of a 250-mm aperture refractive telescope that provides an instantaneous field-of-view of 17 degrees with angular resolution of 55 and 37 arcminutes at 100 GHz and 150 GHz, respectively. Forty-nine pair of polarization-sensitive bolometers are cooled to 250 mK using a 4He/3He/3He sorption fridge system, and coupled to incoming radiation via corrugated feed horns. The all-refractive optics is cooled to 4 K to minimize polarization systematics and instrument loading. The fully steerable 3-axis mount is capable of continuous boresight rotation or azimuth scanning at speeds up to 5 deg/s. Robinson has begun its first season of observation at the South Pole. Given the measured performance of the instrument along with the excellent observing environment, Robinson will measure the E-mode polarization with high sensitivity, and probe for the B-modes to unprecedented depths. In this paper we discuss aspects of the instrument design and their scientific motivations, scanning and operational strategies, and the results of initial testing and observations.Comment: 18 pages, 11 figures. To appear in Millimeter and Submillimeter Detectors and Instrumentation for Astronomy III, Proceedings of SPIE, 6275, 200

Nonlinear Semi-Analytic Methods for Trajectory Estimation

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76298/1/AIAA-29106-621.pd