Two Wide Planetary-mass Companions to Solar-type Stars in Upper Scorpius

At wide separations, planetary-mass and brown dwarf companions to solar-type stars occupy a curious region of parameter space not obviously linked to binary star formation or solar system scale planet formation. These companions provide insight into the extreme case of companion formation (either binary or planetary), and due to their relative ease of observation when compared to close companions, they offer a useful template for our expectations of more typical planets. We present the results from an adaptive optics imaging survey for wide (~50–500 AU) companions to solar-type stars in Upper Scorpius. We report one new discovery of a ~14 M_J companion around GSC 06214−00210and confirm that the candidate planetary-mass companion 1RXS J160929.1−210524 detected by Lafrenière et al. is in fact comoving with its primary star. In our survey, these two detections correspond to ~4% of solar-type stars having companions in the 6–20 M_J mass and ~200–500 AU separation range. This figure is higher than would be expected if brown dwarfs and planetary-mass companions were drawn from an extrapolation of the binary mass function. Finally, we discuss implications for the formation of these objects

Searching for solar-like oscillations in the delta Scuti star rho Puppis

Despite the shallow convective envelopes of delta Scuti pulsators, solar-like oscillations are theoretically predicted to be excited in those stars as well. To search for such stochastic oscillations we organised a spectroscopic multi-site campaign for the bright, metal-rich delta Sct star rho Puppis. We obtained a total of 2763 high-resolution spectra using four telescopes. We discuss the reduction and analysis with the iodine cell technique, developed for searching for low-amplitude radial velocity variations, in the presence of high-amplitude variability. Furthermore, we have determined the angular diameter of rho Puppis to be 1.68 \pm 0.03 mas, translating into a radius of 3.52 \pm 0.07Rsun. Using this value, the frequency of maximum power of possible solar-like oscillations, is expected at ~43 \pm 2 c/d (498 \pm 23 muHz). The dominant delta Scuti-type pulsation mode of rho Puppis is known to be the radial fundamental mode which allows us to determine the mean density of the star, and therefore an expected large frequency separation of 2.73 c/d (31.6 muHz). We conclude that 1) the radial velocity amplitudes of the delta Scuti pulsations are different for different spectral lines; 2) we can exclude solar-like oscillations to be present in rho Puppis with an amplitude per radial mode larger than 0.5 m/s.Comment: 14 pages, 12 figure, accepted for MNRA

Robust and inexpensive equipment design for polymerase chain reaction detection of sequence mutations Cystic fibrosis in a mother and 2 children analysed

Every polymerase chain reaction (PCR) requires use of a temperature cycler for about 3 hours. Since there are many diagnostic tests using this technology, it is important that robust but inexpensive machinery is available. Such a standalone machine has been designed and used to analyse an interesting family in which another and her 2 children were diagnosed as having cystic fibrosis

Discovery of spatial periodicities in a coronal loop using automated edge-tracking algorithms

A new method for automated coronal loop tracking, in both spatial and temporal domains, is presented. Applying this technique to TRACE data, obtained using the 171 Å filter on 1998 July 14, we detect a coronal loop undergoing a 270 s kink-mode oscillation, as previously found by Aschwanden et al. However, we also detect flare-induced, and previously unnoticed, spatial periodicities on a scale of 3500 km, which occur along the coronal loop edge. Furthermore, we establish a reduction in oscillatory power for these spatial periodicities of 45% over a 222 s interval. We relate the reduction in detected oscillatory power to the physical damping of these loop-top oscillations

Developments in PF-HPLC (pneumatic-fluoropolymer high performance liquid chromatography)

Return missions are providing unique opportunities to deepen our knowledge of the formation and evolution of the solar system. The six Apollo missions have been critical in shaping our understanding of the Earth-Moon history [1], and the recent Genesis (solar wind; e.g., [2]), Stardust (cometary dust from Wild 2; e.g., [3,4]) and Hayabusa (dust from S-type asteroid from Itokawa; e.g., [5]) missions brought in a wealth of data

The REE isotopic compositions of the Earth

Lanthanides are a group of 14 naturally occurring elements with atomic numbers ranging from 57 (La) to 74 (Lu), which are also known as rare earth elements (REE). REEs are ubiquitous in minerals and rocks. The chemical properties of REEs vary as smooth functions of their atomic numbers, a phenomenon known as the contraction of the lanthanides. This is the main control behind REE fractionation in minerals and rocks. The relative abundance of REEs is usually presented as the REE pattern by normalizing the concentrations in the sample to those in reference materials such as chondrites and shales

Hipster: Integrating Theory Exploration in a Proof Assistant

This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new theory development. The second is proof mode, used in a particular proof attempt, trying to discover the missing lemmas which would allow the current goal to be proved. Hipster's proof mode complements and boosts existing proof automation techniques that rely on automatically selecting existing lemmas, by inventing new lemmas that need induction to be proved. We show example uses of both modes