Phase 1 Navstar/GPS ephemeris and space vehicle clock performance summary

The Navstar/Global Positioning System (GPS) is considered. The issue of control segment accuracy in predicting space vehicle (SV) clock and ephemeris states for broadcast to the user community is addressed. Both the highly precise ephemeris and clock prediction data blocks and the less precise (but longer period of utility) almanac data block are evaluated

A persistent and dynamic East Greenland Ice Sheet over the past 7.5 million years

Climate models show that ice-sheet melt will dominate sea-level rise over the coming centuries, but our understanding of ice-sheet variations before the last interglacial 125,000 years ago remains fragmentary. This is because terrestrial deposits of ancient glacial and interglacial periods1,2,3 are overrun and eroded by more recent glacial advances, and are therefore usually rare, isolated and poorly dated4. In contrast, material shed almost continuously from continents is preserved as marine sediment that can be analysed to infer the time-varying state of major ice sheets. Here we show that the East Greenland Ice Sheet existed over the past 7.5 million years, as indicated by beryllium and aluminium isotopes (10Be and 26Al) in quartz sand removed by deep, ongoing glacial erosion on land and deposited offshore in the marine sedimentary record5,6. During the early Pleistocene epoch, ice cover in East Greenland was dynamic; in contrast, East Greenland was mostly ice-covered during the mid-to-late Pleistocene. The isotope record we present is consistent with distinct signatures of changes in ice sheet behaviour coincident with major climate transitions. Although our data are continuous, they are from low-deposition-rate sites and sourced only from East Greenland. Consequently, the signal of extensive deglaciation during short, intense interglacials could be missed or blurred, and we cannot distinguish between a remnant ice sheet in the East Greenland highlands and a diminished continent-wide ice sheet. A clearer constraint on the behaviour of the ice sheet during past and, ultimately, future interglacial warmth could be produced by 10Be and 26Al records from a coring site with a higher deposition rate. Nonetheless, our analysis challenges the possibility of complete and extended deglaciation over the past several million years

Achieving the Achievable: Realistic Labor Law Reform

A common reprise among labor activists and scholars has been that for the fortunes of labor to change, the law must change. Prompted perhaps by a seeming surge in labor movement activity over the past few years, including headline-grabbing strikes and recent union victories at several U.S. Starbucks locations, various labor law activists and scholars have called to seize the moment and proposed the enactment of comprehensive labor law reform. We argue in this Article that broad-scale labor law reform is unlikely to be enacted by the current U.S. Congress or even have all its provisions pass muster when potentially challenged in the current U.S. Supreme Court. Thus, after a brief review of labor history/legislation, and an examination of the “limits of the law” in the workers’ rights area, we advance a set of three modest reform proposals that we argue have the potential of being both achievable and impactful. They are: (1) increasing the use of mail balloting in NLRB representation elections, (2) implementing NLRB-sponsored “debates” to be held at neutral locations during labor representation campaigns, and (3) exploring the potential greater use of labor neutrality agreements

Evaluation of Pt, Ni, and Ni–Mo electrocatalysts for hydrogen evolution on crystalline Si electrodes

The dark electrocatalytic and light photocathodic hydrogen evolution properties of Ni, Ni–Mo alloys, and Pt on Si electrodes have been measured, to assess the viability of earth-abundant electrocatalysts for integrated, semiconductor coupled fuel formation. In the dark, the activities of these catalysts deposited on degenerately doped p^+-Si electrodes increased in the order Ni < Ni–Mo ≤ Pt. Ni–Mo deposited on degenerately doped Si microwires exhibited activity that was very similar to that of Pt deposited by metal evaporation on planar Si electrodes. Under 100 mW cm^(−2) of Air Mass 1.5 solar simulation, the energy conversion efficiencies of p-type Si/catalyst photoelectrodes ranged from 0.2–1%, and increased in the order Ni ≈ Ni–Mo < Pt, due to somewhat lower photovoltages and photocurrents for p-Si/Ni–Mo relative to p-Si/Ni and p-Si/Pt photoelectrodes. Deposition of the catalysts onto microwire arrays resulted in higher apparent catalytic activities and similar photoelectrode efficiencies than were observed on planar p-Si photocathodes, despite lower light absorption by p-Si in the microwire structures

Cooling Tests of an Airplane Equipped with an NACA Cowling and a Wing-duct Cooling System

Cooling tests were made of a Northrop A-17A attack airplane successively equipped with a conventional.NACA cowling and with a wing-duct cooling system. The method of cooling the engine by admitting air from the propeller slipstream into wing ducts, passing it first through the accessory compartment and then over the engine from rear to front, appeared to offer possibilities for improved engine cooling, increased cooling of the accessories, and better fairing of the power-plant installation. The results showed that ground cooling for the wing duct system without cowl flap was better than for the NACA cowling with flap; ground cooling was appreciably improved by installing a cowl flap. Satisfactory temperatures were maintained in both climb and high-speed flight, but, with the use of conventional baffles, a greater quantity of cooling air appeared to be required for the wing duct system

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

All-cause mortality and serious cardiovascular events in people with hip and knee osteoarthritis: a population based cohort study

BACKGROUND: Because individuals with osteoarthritis (OA) avoid physical activities that exacerbate symptoms, potentially increasing risk for cardiovascular disease (CVD) and death, we assessed the relationship between OA disability and these outcomes. METHODS: In a population cohort aged 55+ years with at least moderately severe symptomatic hip and/or knee OA, OA disability (Western Ontario McMaster Universities (WOMAC) OA scores; Health Assessment Questionnaire (HAQ) walking score; use of walking aids) and other covariates were assessed by questionnaire. Survey data were linked to health administrative data to determine the relationship between baseline OA symptom severity to all-cause mortality and occurrence of a composite CVD outcome (acute myocardial infarction, coronary revascularization, heart failure, stroke or transient ischemic attack) over a median follow-up of 13.2 and 9.2 years, respectively. RESULTS: Of 2156 participants, 1,236 (57.3%) died and 822 (38.1%) experienced a CVD outcome during follow-up. Higher (worse) baseline WOMAC function scores and walking disability were independently associated with a higher all-cause mortality (adjusted hazard ratio, aHR, per 10-point increase in WOMAC function score 1.04, 95% confidence interval, CI 1.01–1.07, p = 0.004; aHR per unit increase in HAQ walking score 1.30, 95% CI 1.22–1.39, p<0.001; and aHR for those using versus not using a walking aid 1.51, 95% CI 1.34–1.70, p<0.001). In survival analysis, censoring on death, risk of our composite CVD outcome was also significantly and independently associated with greater baseline walking disability ((aHR for use of a walking aid  = 1.27, 95% CI 1.10–1.47, p = 0.001; aHR per unit increase in HAQ walking score  = 1.17, 95% CI 1.08–1.27, p<0.001). CONCLUSIONS: Among individuals with hip and/or knee OA, severity of OA disability was associated with a significant increase in all-cause mortality and serious CVD events after controlling for multiple confounders. Research is needed to elucidate modifiable mechanisms

Meteoric 10Be as a tracer of subglacial processes and interglacial surface exposure in Greenland

In order to test whether sediment emerging from presently glaciated areas of Greenland was exposed near or at Earth's surface during previous interglacial periods, we measured the rare isotope 10Be contained in grain coatings of sediment collected at five ice marginal sites. Such grain coatings contain meteoric 10Be (10Bemet), which forms in the atmosphere and is deposited onto Earth's surface. Samples include sediment entrained in ice, glaciofluvial sediment collected at the ice margin, and subglacial sediment extracted during hot water drilling in the ablation zone. Due to burial by ice, contemporary subglacial sediment could only have acquired substantial 10Bemet concentrations during periods in the past when the Greenland Ice Sheet was less extensive than present. The highest measured 10Bemet concentrations are comparable to those found in well-developed, long-exposed soils, suggesting subglacial preservation and glacial transport of sediment exposed during preglacial or interglacial periods. Ice-bound sediment has significantly higher 10Bemet concentrations than glaciofluvial sediment, suggesting that glaciofluvial processes are sufficiently erosive to remove tracers of previous interglacial exposures. Northern Greenland sites where ice and sediment are supplied from the ice sheet's central main dome have significantly higher 10Bemet concentrations than sites in southern Greenland, indicating greater preglacial or interglacial landscape preservation in central Greenland than in the south. Because southern Greenland has more frequent and spatially extensive periods of glacial retreat but nevertheless has less evidence of past subaerial exposure, we suggest that 10Bemet measurements in glacial sediment are primarily controlled by erosional efficiency rather than interglacial exposure length