1,369 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
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
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
Monitoring canopy quality and improving equitable outcomes of urban tree planting using LiDAR and machine learning
Urban tree canopies are fundamental to mitigating the impacts of climate change within cities as well as providing a range of other important ecosystem, health, and amenity benefits. However, urban tree planting initiatives do not typically utilize data about both the horizontal and vertical dimensions of the tree canopy, despite height being a critical determinant of the quality and value of urban canopy cover. We present a novel pipeline that uses airborne LiDAR data to train a multi-task machine learning model to generate estimates of both canopy cover and height in urban areas. We apply this to multi-source multi-spectral imagery for the case study of Chicago, USA. Our results indicate that a multi-task UNet convolutional neural network can be used to generate reliable estimates of canopy cover and height from aerial and satellite imagery. We then use these canopy estimates to allocate 75,000 trees from Chicago's recent green initiative under four scenarios, minimizing the urban heat island effect and then optimizing for an equitable canopy distribution, comparing results when only canopy cover is used, and when both canopy cover and height are considered. Through the introduction of this novel pipeline, we show that including canopy height within decision-making processes allows the distribution of new trees to be optimised to further reduce the urban heat island effect in localities where trees have the highest cooling potential and allows trees to be more equitably distributed to communities with lower quality canopies
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
A Simple Model for the Absorption of Starlight by Dust in Galaxies
We present a new model to compute the effects of dust on the integrated
spectral properties of galaxies, based on an idealized prescription of the main
features of the interstellar medium (ISM). The model includes the ionization of
HII regions in the interiors of the dense clouds in which stars form and the
influence of the finite lifetime of these clouds on the absorption of
radiation. We compute the production of emission lines and the absorption of
continuum radiation in the HII regions and the subsequent transfer of line and
continuum radiation in the surrounding HI regions and the ambient ISM. This
enables us to interpret simultaneously all the observations of a homogeneous
sample of nearby UV-selected starburst galaxies, including the ratio of far-IR
to UV luminosities, the ratio of Halpha to Hbeta luminosities, the Halpha
equivalent width, and the UV spectral slope. We show that the finite lifetime
of stellar birth clouds is a key ingredient to resolve an apparent discrepancy
between the attenuation of line and continuum photons in starburst galaxies. In
addition, we find that an effective absorption curve proportional to
lambda^-0.7 reproduces the observed relation between the ratio of far-IR to UV
luminosities and the UV spectral slope. We interpret this relation most simply
as a sequence in the overall dust content of the galaxies. The shallow
wavelength dependence of the effective absorption curve is compatible with the
steepness of known extinction curves if the dust has a patchy distribution. In
particular, we find that a random distribution of discrete clouds with optical
depths similar to those in the Milky Way provides a consistent interpretation
of all the observations. Our model for absorption can be incorporated easily
into any population synthesis model. (abridged)Comment: To appear in the 2000 July 20 issue of the Astrophysical Journal; 19
pages with 13 embedded PS figures (emulateapj5.sty
The Low Surface Brightness Extent of the Fornax Cluster
We have used a large format CCD camera to survey the nearby Fornax cluster
and its immediate environment for low luminosity low surface brightness
galaxies. Recent observations indicate that these are the most dark matter
dominated galaxies known and so they are likely to be a good tracer of the dark
matter in clusters. We have identified large numbers of these galaxies
consistent with a steep faint end slope of the luminosity function (alpha~ -2)
down to MB ~ -12. These galaxies contribute almost the same amount to the total
cluster light as the brighter galaxies and they have a spatial extent that is
some four times larger. They satisfy two of the important predictions of N-body
hierarchical simulations of structure formation using dark halos. The
luminosity (mass ?) function is steep and the mass distribution is more
extended than that defined by the brighter galaxies. We also find a large
concentration of low surface brightness galaxies around the nearby galaxy
NGC1291.Comment: 16 pages, 6 figure
- …