1,847 research outputs found
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
- …