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

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

Remote Monitor Alarm System

A remote monitor alarm system monitors discrete alarm and analog power supply voltage conditions at remotely located communications terminal equipment. A central monitoring unit (CMU) is connected via serial data links to each of a plurality of remote terminal units (RTUS) that monitor the alarm and power supply conditions of the remote terminal equipment. Each RTU can monitor and store condition information of both discrete alarm points and analog power supply voltage points in its associated communications terminal equipment. The stored alarm information is periodically transmitted to the CMU in response to sequential polling of the RTUS. The number of monitored alarm inputs and permissible voltage ranges for the analog inputs can be remotely configured at the CMU and downloaded into programmable memory at each RTU. The CMU includes a video display, a hard disk memory, a line printer and an audio alarm for communicating and storing the alarm information received from each RTU

Stratigraphic control of landscape response to base-level fall, Young Womans Creek, Pennsylvania, USA

Landscapes are thought to respond to changes in relative base level through the upstream propagation of a boundary that delineates relict from adjusting topography. However, spatially-variable rock strength can influence the topographic expression of such transient landscapes, especially in layered rocks, where strength variations can mask topographic signals expected due to changes in climate or tectonics. Here, we analyze the landscape response to base-level fall in Young Womans Creek, a 220 km2 catchment on the Appalachian Plateau, USA underlain by gently folded Paleozoic sedimentary rocks. We measured in situ 10Be concentrations in stream sands from 17 nested watersheds, and used a spatially-distributed model of sediment and 10Be production to constrain a threefold increase in the rate of base-level fall propagating upstream from the catchment outlet. Using lidar topography and a nearby detailed stratigraphic section, we map the extent of continuous, blocky, resistant sandstone strata that act as a caprock overlying more easily erodible sandstones and siltstones. The caprock influences landscape response in two ways. First, it serves as a boundary between slowly eroding (11.5 m Myr−1), low-sloping (3–5°) areas of relict topography and lower, steeper portions of the landscape adjusting to base-level fall. Second, hillslopes supported by the overlying caprock are armored with coarse sediment and are significantly steeper (20–30°) than hillslopes where the caprock has been eroded (10°), despite having similar erosion rates (36 m Myr−1) and bedrock substrate. Our results illustrate how gently dipping, layered rocks engender complicated relationships between lithology, topography and erosion rate, highlighting the importance of understanding how rock material properties influence surface processes and landscape evolution

Coupled-channels analysis of the 16^{{\bf 16}}O+208^{{\bf 208}}Pb fusion barrier distribution

Analyses using simplified coupled-channels models have been unable to describe the shape of the previously measured fusion barrier distribution for the doubly magic $^{16}$O+$^{208}$Pb system. This problem was investigated by re-measuring the fission excitation function for $^{16}$O+$^{208}$Pb with improved accuracy and performing more exact coupled-channels calculations, avoiding the constant-coupling and first-order coupling approximations often used in simplified analyses. Couplings to the single- and 2-phonon states of $^{208}$Pb, correctly taking into account the excitation energy and the phonon character of these states, particle transfers, and the effects of varying the diffuseness of the nuclear potential, were all explored. However, in contrast to other recent analyses of precise fusion data, no satisfactory simultaneous description of the shape of the experimental barrier distribution and the fusion cross-sections for $^{16}$O+$^{208}$Pb was obtained.Comment: RevTex, 29 pages, 7 postscript figures, to appear in PR

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

Enhanced Stability and Efficiency for Photoelectrochemical Iodide Oxidation by Methyl Termination and Electrochemical Pt Deposition of n-Si Microwire Arrays

Arrays of Si microwires doped n-type (n-Si) and surface-functionalized with methyl groups have been used, with or without deposition of Pt electrocatalysts, to photoelectrochemically oxidize I–(aq) to I_3–(aq) in 7.6 M HI(aq). Under conditions of iodide oxidation, methyl-terminated n-Si microwire arrays exhibited stable short-circuit photocurrents over a time scale of days, albeit with low energy-conversion efficiencies. In contrast, electrochemical deposition of Pt onto methyl-terminated n-Si microwire arrays consistently yielded energy-conversion efficiencies of ∼2% for iodide oxidation, with an open-circuit photovoltage of ∼400 mV and a short-circuit photocurrent density of ∼10 mA cm^(–2) under 100 mW cm^(–2) of simulated air mass 1.5G solar illumination. Platinized electrodes were stable for >200 h of continuous operation, with no discernible loss of Si or Pt. Pt deposited using electron-beam evaporation also resulted in stable photoanodic operation of the methyl-terminated n-Si microwire arrays but yielded substantially lower photovoltages than when Pt was deposited electrochemically