Petrology of the Paired Dominion Range 2010 Howardites: Indications of Magmatic Complexity on Asteroid Vesta

A comprehensive petrologic and geochemical characterization of six paired howardites collected from the Dominion Range, Antarctica was conducted. These howardites are megaregolith samples from the asteroid 4 Vesta. Collectively, they contain an assortment of igneous rock fragments that indicate magmatic processes were capable of producing a variety of rock types; 22 chemically and texturally discrete basaltic eucrite, cumulate eucrite, and diogenite lithologies are recognized. The implications for remote-sensing observations of Vesta are discussed. The petrogenesis of two previously unrecognized lithologies are described in further detail: an evolved dacite that we propose is a residual melt from extensive crystallization, and a Mg-rich olivine-orthopyroxene and symplectite assemblage, which we interpret to represent the mantle of Vesta. Evidence suggests that complete melting of Vesta likely did not occur, and that partial melting and serial magmatism dominated the early magmatic history of Vesta. This research supports an evolving view that the differentiation and magmatic activity that occurred on Vesta was extremely complex

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the $\varepsilon$-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

Composite-pulse magnetometry with a solid-state quantum sensor

The sensitivity of quantum magnetometers is challenged by control errors and, especially in the solid-state, by their short coherence times. Refocusing techniques can overcome these limitations and improve the sensitivity to periodic fields, but they come at the cost of reduced bandwidth and cannot be applied to sense static (DC) or aperiodic fields. Here we experimentally demonstrate that continuous driving of the sensor spin by a composite pulse known as rotary-echo (RE) yields a flexible magnetometry scheme, mitigating both driving power imperfections and decoherence. A suitable choice of RE parameters compensates for different scenarios of noise strength and origin. The method can be applied to nanoscale sensing in variable environments or to realize noise spectroscopy. In a room-temperature implementation based on a single electronic spin in diamond, composite-pulse magnetometry provides a tunable trade-off between sensitivities in the microT/sqrt(Hz) range, comparable to those obtained with Ramsey spectroscopy, and coherence times approaching T1

Discovery of Yttrium, Zirconium, Niobium, Technetium, and Ruthenium Isotopes

Currently, thirty-four yttrium, thirty-five zirconium, thirty-four niobium, thirty-five technetium, and thirty-eight ruthenium isotopes have been observed and the discovery of these isotopes is discussed here. For each isotope a brief synopsis of the first refereed publication, including the production and identification method, is presented.Comment: To be published in Atomic Data and Nuclear Data Table

Radio-Frequency Spectroscopy

Contains reports on three research projects

Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis

We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specified by parameters, rather than concrete values. Our goal is to synthesize values of these parameters that, for a given cost function, minimise expected total cost incurred before reaching a given set of target states. We show that under mild assumptions, optimal values of parameters can be effectively approximated using translation to a Markov decision process (MDP) whose actions correspond to discretized values of these parameters

Radon Potential, Geologic Formations, and Lung Cancer Risk

OBJECTIVE: Exposure to radon is associated with approximately 10% of U.S. lung cancer cases. Geologic rock units have varying concentrations of uranium, producing fluctuating amounts of radon. This exploratory study examined the spatial and statistical associations between radon values and geological formations to illustrate potential population-level lung cancer risk from radon exposure. METHOD: This was a secondary data analysis of observed radon values collected in 1987 from homes (N = 309) in Kentucky and geologic rock formation data from the Kentucky Geological Survey. Radon value locations were plotted on digital geologic maps using ArcGIS and linked to specific geologic map units. Each map unit represented a package of different types of rock (e.g., limestone and/or shale). Log-transformed radon values and geologic formation categories were compared using one-way analysis of variance. RESULTS: Observed radon levels varied significantly by geologic formation category. Of the 14 geologic formation categories in north central Kentucky, four were associated with median radon levels, ranging from 8.10 to 2.75 pCi/L. CONCLUSION: Radon potential maps that account for geologic factors and observed radon values may be superior to using observed radon values only. Knowing radon-prone areas could help target population-based lung cancer prevention interventions given the inequities that exist related to radon

Hadronic production of squark-squark pairs: The electroweak contributions

We compute the electroweak (EW) contributions to squark--squark pair production processes at the LHC within the framework of the Minimal Supersymmetric Standard Model (MSSM). Both tree-level EW contributions, of O(alpha_s alpha + alpha^2), and next-to-leading order (NLO) EW corrections, of O(alpha_s^2 alpha), are calculated. Depending on the flavor and chirality of the produced quarks, many interferences between EW-mediated and QCD-mediated diagrams give non-zero contributions at tree-level and NLO. We discuss the computational techniques and present an extensive numerical analysis for inclusive squark--squark production as well as for subsets and single processes. While the tree-level EW contributions to the integrated cross sections can reach the 20% level, the NLO EW corrections typically lower the LO prediction by a few percent.Comment: 36 pages, 18 figure

What a difference a term makes:the effect of educational attainment on marital outcomes in the UK

Abstract In the past, students in England and Wales born within the first 5 monthsof the academic year could leave school one term earlier than those born later inthe year. Focusing on women, those who were required to stay on an extra termmore frequently hold some academic qualification. Using having been required tostay on as an exogenous factor affecting academic attainment, we find that holding alow-level academic qualification has no effect on the probability of being currentlymarried for women aged 25 or above, but increases the probability of the husbandholding some academic qualification and being economically active.33 Halama