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

Stromal Tumor Microenvironment in Chronic Lymphocytic Leukemia: Regulation of Leukemic Progression

Chronic Lymphocytic Leukemia (CLL), the most prevalent adult leukemia in western countries, which is highly heterogeneous with a very variable clinical outcome. Emerging evidence indicates that the stromal tumor microenvironment (STME) and stromal associated genes (SAG) play important roles in the pathogenesis and progression of CLL. However, the precise mechanisms by which STME and SAG are involved in this process remain unknown. In an attempt to explore the role of STME in this process, we examined the expression levels of stromal associated genes using gene expression profiling (GEP) of CLL cells from lymph nodes (LN) (n=15), bone marrow (BM) (n=18), and peripheral blood (PB) (n=20). Interestingly, LUM, MMP9, MYLK, ITGA9, CAV1, CAV2, FBN1, PARVA, CALD1, ITGB5 and EHD2 were found to be overexpressed while ITGB2, DLC1 and ITGA6 were under expressed in LN-CLL compared to BM-CLL and PB-CLL. This is suggestive of a role for LN-mediated TME in CLL cell survival/progression. Among these genes, expression of MYLK, CAV1 and CAV2 correlated with clinical outcome as determined by time to first treatment. Together, our studies show that members of the stromal signature, particularly in the CLL cells from lymph nodes, regulate CLL cell survival and proliferation and thus leukemic progression

Barrier Distributions as a Tool to Investigate Fusion and Fission

The recent availability of precisely measured fusion cross-sections has enabled the extraction of a representation of the distribution of barriers encountered during fusion. These representations, obtained from a variety of reactions, provide a direct observation of how the structure of the fusing nuclei changes the inter-nuclear potential landscape, thus affecting the fusion probability. Recent experiments showing the effects of static quadrupole and hexadecapole deformation, single-- and double-phonon states, transfer of nucleons between two nuclei, and high lying excited states are reviewed. The application of these concepts to the explanation of the anomalous fission-fragment anisotropies observed following reactions with actinides is discussed.Comment: 12 pages, To be published in the Proceedings of the NN 97 Conference, Gatlinburg, Tennessee, June 1997 (Nucl. Phys. A

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

Influence of Dietary MP on the Production Rates and N Usage by Steers Fed High Grain Content Diets

An experiment was conducted to determine if dietary metabolizable protein (MP) could be manipulated to reduce N content of feedlot effluent without compromising production rates in yearling steers fed high grain content diets. Three feeding programs included: LO) 11 % CP fed throughout; HI) 13% CP fed throughout; and LHL) 11 % fed from d 1 to 35, 13% CP (HI) fed d 36 to 94 and 1 1 % CP (LO) fed from d 95 to 1 17. An estradiol-trenbalone acetate implant was administered on d 35. There were 5 pens of 8 steers (BW=7561b) assigned to each treatment. The MP allowed ADG for the diets were 3.3 and 4.0 Ib for the LO and HI diets respectively. Cumulative ADG and feed efficiency were improved (Pc.05) by feeding the HI diet. Fluctuations in interim growth rates obscured the determination of specifically when this effect occurred. The faster growth rate was associated with heavier and fatter carcasses. An evaluation of serum urea-N concentrations suggested that the influence of the growth promotant on N metabolism was beginning to diminish within 56d. The HI diet caused higher (P\u3c .05) serum urea-N levels at 63, 91 and 117d on feed. Total N intake was calculated by pen and increased (P\u3c .01) from 41.4 to 47.3 to 51.2 Ib/steer for treatments LO, LHL and HI respectively. The N intake1100 BW gained increased (P\u3c .01) from 9.89 to 10.90 to 11.33 Ib for LO, LHL and HI treatments respectively. These results indicate that increasing production efficiency by elevating the MP content of diets may not cause a concomitant improvement in the efficiency of N retention on the feedlot scale

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

The Northwestern Greenland Ice Sheet During The Early Pleistocene Was Similar To Today

The multi-million year history of the Greenland Ice Sheet remains poorly known. Ice-proximal glacial marine diamict provides a direct but discontinuous record of ice sheet behavior; it is underutilized as a climate archive. Here, we present a novel multiproxy analysis of an Early Pleistocene marine diamict from northwestern Greenland. Low cosmogenic nuclide concentrations indicate minimal near-surface exposure, similar to modern terrestrial sediment. Detrital apatite (U-Th-Sm)/He (AHe) ages all predate glaciation by \u3e150 million years, suggesting the northwestern Greenland Ice Sheet had, by 1.9 Ma, not yet incised fjords of sufficient depth to excavate grains with young AHe ages. The diamict contains terrestrial plant leaf wax, likely from land surfaces surrounding the ice sheet. These data indicate that a persistent, dynamic ice sheet existed in northwestern Greenland by 1.9 Ma and that diamict is a useful archive of ice sheet history and process

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

Estimating Parameterized Post-Newtonian Parameters from Spacecraft Radiometric Tracking Data

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77381/1/AIAA-7647-407.pd