Debris and micrometeorite impact measurements in the laboratory

A method was developed to simulate space debris in the laboratory. This method, which is an outgrowth of research in inertial confinement fusion (ICF), uses laser ablation to accelerate material. Using this method, single 60 micron aluminum spheres were accelerated to 15 km/sec and larger 500 micron aluminum spheres were accelerated to 2 km/sec. Also, many small (less than 10 micron diameter) irregularly shaped particles were accelerated to speeds of 100 km/sec

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Hot dense capsule implosion cores produced by z-pinch dynamic hohlraum radiation

Hot dense capsule implosions driven by z-pinch x-rays have been measured for the first time. A ~220 eV dynamic hohlraum imploded 1.7-2.1 mm diameter gas-filled CH capsules which absorbed up to ~20 kJ of x-rays. Argon tracer atom spectra were used to measure the Te~ 1keV electron temperature and the ne ~ 1-4 x10^23 cm-3 electron density. Spectra from multiple directions provide core symmetry estimates. Computer simulations agree well with the peak compression values of Te, ne, and symmetry, indicating reasonable understanding of the hohlraum and implosion physics.Comment: submitted to Phys. Rev. Let

Neutron-Capture Elements in the Early Galaxy: Insights from a Large Sample of Metal-Poor Giants

New abundances for neutron-capture (n-capture) elements in a large sample of metal-poor giants from the Bond survey are presented. The spectra were acquired with the KPNO 4-m echelle and coude feed spectrographs, and have been analyzed using LTE fine-analysis techniques with both line analysis and spectral synthesis. Abundances of eight n-capture elements (Sr, Y, Zr, Ba, La, Nd, Eu, Dy) in 43 stars have been derived from blue (lambda = 4070--4710, R~20,000, S/N ratio~100-200) echelle spectra and red (lambda = 6100--6180, R~22,000, S/N ratio~100-200) coude spectra, and the abundance of Ba only has been derived from the red spectra for an additional 27 stars. Overall, the abundances show clear evidence for a large star-to-star dispersion in the heavy element-to-iron ratios. The new data also confirm that at metallicities [Fe/H] <~ --2.4, the abundance pattern of the heavy (Z >= 56) n-capture elements in most giants is well-matched to a scaled Solar System r-process nucleosynthesis pattern. The onset of the main r-process can be seen at [Fe/H] ~ --2.9. Contributions from the s-process can first be seen in some stars with metallicities as low as [Fe/H] ~ --2.75, and are present in most stars with metallicities [Fe/H] > --2.3. The lighter n-capture elements (Sr-Y-Zr) are enhanced relative to the heavier r-process element abundances. Their production cannot be attributed solely to any combination of the Solar System r- and main s-processes, but requires a mixture of material from the r-process and from an additional n-capture process which can operate at early Galactic time.Comment: Text + 5 Tables and 11 Figures: Submitted to the Astrophysical Journa

Assessing the discordance rate between local and central HER2 testing in women with locally determined HER2-negative breast cancer.

BackgroundThe importance of human epidermal growth factor receptor 2 (HER2) as a prognostic and predictive marker in invasive breast cancer is well established. Accurate assessment of HER2 status is essential to determine optimal treatment options.MethodsBreast cancer tumor tissue samples from the VIRGO observational cohort tissue substudy that were locally HER2-negative were retested centrally with both US Food and Drug Administration (FDA)-approved immunohistochemistry (IHC) and fluorescence in situ hybridization (FISH) assays, using FDA-approved assay cutoffs; results were compared.ResultsOf the 552 unique patient samples centrally retested with local HER2-negative results recorded, tumor samples from 22 (4.0%) patients were determined to be HER2-positive (95% confidence interval [CI] = 2.5%-5.7%). Of these, 18 had been tested locally by only one testing methodology; 15 of 18 were HER2-positive after the central retesting, based on the testing methodology not performed locally. Compared with the 530 patients with centrally confirmed HER2-negative tumors, the 22 patients with centrally determined HER2-positive tumors were younger (median age 56.5 versus 60.0 years) and more likely to have ER/PR-negative tumors (27.3% versus 22.3%). These patients also had shorter median progression-free survival (6.4 months [95% CI = 3.8-15.9 months] versus 9.1 months [95% CI = 8.3-10.3 months]) and overall survival (25.9 months [95% CI = 13.8-not estimable] versus 27.9 months [95% CI = 25.0-32.9 months]).ConclusionsThis study highlights the limitations of employing just one HER2 testing methodology in current clinical practice. It identifies a cohort of patients who did not receive potentially efficacious therapy because their tumor HER2-positivity was not determined by the test initially used. Because of inherent limitations in testing methodologies, it is inadvisable to rely on a single test to rule out potential benefit from HER2-targeted therapy

Hunting for the New Symmetries in Calabi-Yau Jungles

It was proposed that the Calabi-Yau geometry can be intrinsically connected with some new symmetries, some new algebras. In order to do this it has been analyzed the graphs constructed from K3-fibre CY_d (d \geq 3) reflexive polyhedra. The graphs can be naturally get in the frames of Universal Calabi-Yau algebra (UCYA) and may be decode by universal way with changing of some restrictions on the generalized Cartan matrices associated with the Dynkin diagrams that characterize affine Kac-Moody algebras. We propose that these new Berger graphs can be directly connected with the generalizations of Lie and Kac-Moody algebras.Comment: 29 pages, 15 figure

Imaging gravity waves in lower stratospheric AMSU-A radiances, Part 2: Validation case study

Two-dimensional radiance maps from Channel 9 (~60&ndash;90 hPa) of the Advanced Microwave Sounding Unit (AMSU-A), acquired over southern Scandinavia on 14 January 2003, show plane-wave-like oscillations with a wavelength &lambda;_<i>h</i> of ~400&ndash;500 km and peak brightness temperature amplitudes of up to 0.9 K. The wave-like pattern is observed in AMSU-A radiances from 8 overpasses of this region by 4 different satellites, revealing a growth in the disturbance amplitude from 00:00 UTC to 12:00 UTC and a change in its horizontal structure between 12:00 UTC and 20:00 UTC. Forecast and hindcast runs for 14 January 2003 using high-resolution global and regional numerical weather prediction (NWP) models generate a lower stratospheric mountain wave over southern Scandinavia with peak 90 hPa temperature amplitudes of ~5&ndash;7 K at 12:00 UTC and a similar horizontal wavelength, packet width, phase structure and time evolution to the disturbance observed in AMSU-A radiances. The wave&apos;s vertical wavelength is ~12 km. These NWP fields are validated against radiosonde wind and temperature profiles and airborne lidar profiles of temperature and aerosol backscatter ratios acquired from the NASA DC-8 during the second SAGE III Ozone Loss and Validation Experiment (SOLVE II). Both the amplitude and phase of the stratospheric mountain wave in the various NWP fields agree well with localized perturbation features in these suborbital measurements. In particular, we show that this wave formed the type II polar stratospheric clouds measured by the DC-8 lidar. To compare directly with the AMSU-A data, we convert these validated NWP temperature fields into swath-scanned brightness temperatures using three-dimensional Channel 9 weighting functions and the actual AMSU-A scan patterns from each of the 8 overpasses of this region. These NWP-based brightness temperatures contain two-dimensional oscillations due to this resolved stratospheric mountain wave that have an amplitude, wavelength, horizontal structure and time evolution that closely match those observed in the AMSU-A data. These comparisons not only verify gravity wave detection and horizontal imaging capabilities for AMSU-A Channel 9, but provide an absolute validation of the anticipated radiance signals for a given three-dimensional gravity wave, based on the modeling of Eckermann and Wu (2006)