The Case Against Cosmology

It is argued that some of the recent claims for cosmology are grossly overblown. Cosmology rests on a very small database: it suffers from many fundamental difficulties as a science (if it is a science at all) whilst observations of distant phenomena are difficult to make and harder to interpret. It is suggested that cosmological inferences should be tentatively made and sceptically received.Comment: 9 pages, no figure

Improving estimates of migration flows to Eurostat

In this paper we identify the current mandatory requirements and issues concerning the supply of detailed migration data to Eurostat. Using simple illustrations on immigration to the United Kingdom, we show how substantial and significant improvements can be made to the flows reported by the International Passenger Survey, which contain irregularities and missing data due to its relatively small sample size. Our general methodology is based on the idea of smoothing, repairing and combining data within multiplicative component framework

The existence and detection of optically dark galaxies by 21cm surveys

One explanation for the disparity between Cold Dark Matter (CDM) predictions of galaxy numbers and observations could be that there are numerous dark galaxies in the Universe. These galaxies may still contain baryons, but no stars, and may be detectable in the 21cm line of atomic hydrogen. The results of surveys for such objects, and simulations that do/do not predict their existence, are controversial. In this paper we use an analytical model of galaxy formation, consistent with CDM, to firstly show that dark galaxies are certainly a prediction of the model. Secondly, we show that objects like VIRGOHI21, a dark galaxy candidate recently discovered by us, while rare are predicted by the model. Thirdly, we show that previous 'blind' HI surveys have placed few constraints on the existence of dark galaxies. This is because they have either lacked the sensitivity and/or velocity resolution or have not had the required detailed optical follow up. We look forward to new 21cm blind surveys (ALFALFA and AGES) using the Arecibo multi-beam instrument which should find large numbers of dark galaxies if they exist

Nuclear rocket shielding methods, modification, updating, and input data preparation. Volume 5 - Two-dimensional, discrete ordinates transport technique Final progress report

Two dimensional, discrete ordinates transport technique for use with nuclear rocket shielding methods, modification, updating, and data input preparation - Vol.

Gradual Certified Programming in Coq

Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition from dynamically-typed to statically-typed programs, it seems desirable to support a gradual path to certified programming. We explore gradual certified programming in Coq, providing the possibility to postpone the proofs of selected properties, and to check "at runtime" whether the properties actually hold. Casts can be integrated with the implicit coercion mechanism of Coq to support implicit cast insertion a la gradual typing. Additionally, when extracting Coq functions to mainstream languages, our encoding of casts supports lifting assumed properties into runtime checks. Much to our surprise, it is not necessary to extend Coq in any way to support gradual certified programming. A simple mix of type classes and axioms makes it possible to bring gradual certified programming to Coq in a straightforward manner.Comment: DLS'15 final version, Proceedings of the ACM Dynamic Languages Symposium (DLS 2015

Seeing Galaxies Through Thick & Thin. III. HST Imaging of the Dust in Backlit Spiral Galaxies

We present analysis of WFPC2 imaging of two spiral galaxies partially backlit by E/S0 systems in the pairs AM1316-241 and AM0500-620, and the spiral foreground system in NGC 1275. Images in B and I are used to determine the reddening curve of in these systems. The spiral component of AM1316-241 shows dust strongly concentrated in discrete arms, with a reddening law very close to the Milky Way mean. The dust distribution is scale-free between about 100 pc and the arm scale. The spiral in AM0500-620 shows dust concentrated in arms and interarm spurs, with measurable interarm extinction as well. Although its dust properties are less well-determined, we find evidence for a steeper extinction law here. The shape of the reddening law suggests that, at least in AM1316-241, we have resolved most of the dust structure. In AM0500-620, the slope of the fractal perimeter-scale relation steepens systematically from low to high extinction. In AM1316-241, we cannot determine a unique fractal dimension from the defining area-perimeter relation, so the projected dust distribution is best defined as fractal-like. In neither galaxy do we see regions even on single-pixel scales in spiral arms with AB > 2.5. The measurements in NGC 1275 are compromised by our lack of independent knowledge of the foreground system's light distribution, but masked sampling of the absorption suggests an effective reddening curve much flatter than the Milky Way mean (perhaps indicating that the foreground system has been affected by immersion in the hot intracluster gas).Comment: Astronomical Journal, in press. 13 figures. Full-size PostScript figures available at http://www.astr.ua.edu/preprints/kee