Using visualization for visualization : an ecological interface design approach to inputting data

Visualization is experiencing growing use by a diverse community, with continuing improvements in the availability and usability of systems. In spite of these developments the problem of how first to get the data in has received scant attention: the established approach of pre-defined readers and programming aids has changed little in the last two decades. This paper proposes a novel way of inputting data for scientific visualization that employs rapid interaction and visual feedback in order to understand how the data is stored. The approach draws on ideas from the discipline of ecological interface design to extract and control important parameters describing the data, at the same time harnessing our innate human ability to recognize patterns. Crucially, the emphasis is on file format discovery rather than file format description, so the method can therefore still work when nothing is known initially of how the file was originally written, as is often the case with legacy binary data. © 2013 Elsevier Ltd

A Spin-Orbit Alignment for the Hot Jupiter HATS-3b

We have measured the alignment between the orbit of HATS-3b (a recently discovered, slightly inflated Hot Jupiter) and the spin-axis of its host star. Data were obtained using the CYCLOPS2 optical-fiber bundle and its simultaneous calibration system feeding the UCLES spectrograph on the Anglo-Australian Telescope. The sky-projected spin-orbit angle of $\lambda = 3\pm25^{\circ}$ was determined from spectroscopic measurements of Rossiter-McLaughlin effect. This is the first exoplanet discovered through the HATSouth transit survey to have its spin-orbit angle measured. Our results indicate that the orbital plane of HATS-3b is consistent with being aligned to the spin axis of its host star. The low obliquity of the HATS-3 system, which has a relatively hot mid F-type host star, agrees with the general trend observed for Hot Jupiter host stars with effective temperatures $>6250$K to have randomly distributed spin-orbit angles.Comment: 13 pages. Accepted for publication in the Astrophysical Journa

Structural, vibrational and thermal properties of densified silicates : insights from Molecular Dynamics

Structural, vibrational and thermal properties of densified sodium silicate (NS2) are investigated with classical molecular dynamics simulations of the glass and the liquid state. A systematic investigation of the glass structure with respect to density was performed. We observe a repolymerization of the network manifested by a transition from a tetrahedral to an octahedral silicon environment, the decrease of the amount of non-bridging oxygen atoms and the appearance of three-fold coordinated oxygen atoms (triclusters). Anomalous changes in the medium range order are observed, the first sharp diffraction peak showing a minimum of its full-width at half maximum according to density. The previously reported vibrational trends in densified glasses are observed, such as the shift of the Boson peak intensity to higher frequencies and the decrease of its intensity. Finally, we show that the thermal behavior of the liquid can be reproduced by the Birch-Murnaghan equation of states, thus allowing us to compute the isothermal compressibility

An epidemiological study of burglary offenders: trends and predictors of self-reported arrests for burglary in the United States, 2002-2013

Burglary is serious property crime with a relatively high incidence and has been shown to be variously associated with other forms of criminal behavior. Unfortunately, an epidemiological understanding of burglary and its correlates is largely missing from the literature. Using public-use data collected between 2002 and 2013 as part of the National Survey on Drug Use and Health (NSDUH), the current study compared those who self-reported burglary arrest in the prior 12 months with and without criminal history. The unadjusted prevalence estimates of self-reported burglary arrest were statistically different for those with a prior arrest history (4.7%) compared with those without an arrest history (0.02%) which is a 235-fold difference. Those with an arrest history were more likely to report lower educational attainment, to have lower income, to have moved more than 3 times in the past 5 years, and to use alcohol, tobacco, illicit drugs, and engage in binge drinking. Moreover, those with prior arrest histories were younger and more likely to be male. There is considerable heterogeneity among burglars with criminal history indicating substantially greater behavioral risk

A Nearly Polar Orbit for the Extrasolar Hot Jupiter WASP-79b

We report the measurement of a spin-orbit misalignment for WASP-79b, a recently discovered, bloated transiting hot Jupiter from the WASP survey. Data were obtained using the CYCLOPS2 optical-fiber bundle and its simultaneous calibration system feeding the UCLES spectrograph on the Anglo-Australian Telescope. We have used the Rossiter-McLaughlin effect to determine the sky-projected spin-orbit angle to be lambda = -106+19-13 degrees. This result indicates a significant misalignment between the spin axis of the host star and the orbital plane of the planet -- the planet being in a nearly polar orbit. WASP-79 is consistent with other stars that have Teff > 6250K and host hot Jupiters in spin-orbit misalignment.Comment: 8 pages, 2 figures, in press ApJL (accepted 2 August 2013

A formal soundness proof of region-based memory management for object-oriented paradigm.

Region-based memory management has been proposed as a viable alternative to garbage collection for real-time applications and embedded software. In our previous work we have developed a region type inference algorithm that provides an automatic compile-time region-based memory management for object-oriented paradigm. In this work we present a formal soundness proof of the region type system that is the target of our region inference. More precisely, we prove that the object-oriented programs accepted by our region type system achieve region-based memory management in a safe way. That means, the regions follow a stack-of-regions discipline and regions deallocation never create dangling references in the store and on the program stack. Our contribution is to provide a simple syntactic proof that is based on induction and follows the standard steps of a type safety proof. In contrast the previous safety proofs provided for other region type systems employ quite elaborate techniques