13,741 research outputs found
Stop-list slicing.
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the slicing criterion: those variables that are not of interest. This third parameter is called the stoplist. When a variable in the stop-list is encountered, the data-flow dependence analysis of slicing is terminated for that variable. Stop-list slicing further focuses on the computation of interest, while ignoring computations known or determined to be uninteresting. This has the potential to reduce slice size when compared to traditional forms of slicing. In order to assess the size of the reduction obtained via stop-list slicing, the paper reports the results of three empirical evaluations: a large scale empirical study into the maximum slice size reduction that can be achieved when all program variables are on the stop-list; a study on a real program, to determine the reductions that could be obtained in a typical application; and qualitative case-based studies to illustrate stop-list slicing in the small. The large-scale study concerned a suite of 42 programs of approximately 800KLoc in total. Over 600K slices were computed. Using the maximal stoplist reduced the size of the computed slices by about one third on average. The typical program showed a slice size reduction of about one-quarter. The casebased studies indicate that the comprehension effects are worth further consideration
Investigating the Structure of the Windy Torus in Quasars
Thermal mid-infrared emission of quasars requires an obscuring structure that
can be modeled as a magneto-hydrodynamic wind in which radiation pressure on
dust shapes the outflow. We have taken the dusty wind models presented by
Keating and collaborators that generated quasar mid-infrared spectral energy
distributions (SEDs), and explored their properties (such as geometry, opening
angle, and ionic column densities) as a function of Eddington ratio and X-ray
weakness. In addition, we present new models with a range of magnetic field
strengths and column densities of the dust-free shielding gas interior to the
dusty wind. We find this family of models -- with input parameters tuned to
accurately match the observed mid-IR power in quasar SEDs -- provides
reasonable values of the Type 1 fraction of quasars and the column densities of
warm absorber gas, though it does not explain a purely luminosity-dependent
covering fraction for either. Furthermore, we provide predictions of the
cumulative distribution of E(B-V) values of quasars from extinction by the wind
and the shape of the wind as imaged in the mid-infrared. Within the framework
of this model, we predict that the strength of the near-infrared bump from hot
dust emission will be correlated primarily with L/L_Edd rather than luminosity
alone, with scatter induced by the distribution of magnetic field strengths.
The empirical successes and shortcomings of these models warrant further
investigations into the composition and behaviour of dust and the nature of
magnetic fields in the vicinity of actively accreting supermassive black holes.Comment: 11 pages, 6 figures, accepted for publication in MNRA
Framework for software architecture visualization assessment.
In order to assess software architecture visualisation strategies, we qualitatively characterize then construct an assessment framework with 7 key areas and 31 features. The framework is used for evaluation and comparison of various strategies from multiple stakeholder perspectives. Six existing software architecture visualisation tools and a seventh research tool were evaluated. All
tools exhibited shortcomings when evaluated in the framework
A review of small cetaceans from waters off the Arabian Peninsula. Scientific Committee document SC/50/SM6, International Whaling Commission, Muscat, Oman
Available data on small cetacean species in coastal and offshore waters off peninsula Arabia are reviewed. Species accounts are presented for a total of 16 small cetaceans, including information on the date and source of first records in the region, distribution, stock identity, abundance, external appearance, migrations or local movements, status, incidental takes, directed catches and other threats, ecology, life history and disease/parasites. In addition the origin and present location of all curated specimens are listed. Anecdotal information, such as that obtained from local fishermen and other observers, is also presented
Mean age gradient and asymmetry in the star formation history of the Small Magellanic Cloud
We derive the star formation history in four regions of the Small Magellanic
Cloud (SMC) using the deepest VI color-magnitude diagrams (CMDs) ever obtained
for this galaxy. The images were obtained with the Advanced Camera for Surveys
onboard the Hubble Space Telescope and are located at projected distances of
0.5-2 degrees from the SMC center, probing the main body and the wing of the
galaxy. We derived the star-formation histories (SFH) of the four fields using
two independent procedures to fit synthetic CMDs to the data. We compare the
SFHs derived here with our earlier results for the SMC bar to create a deep
pencil-beam survey of the global history of the central SMC. We find in all the
six fields observed with HST a slow star formation pace from 13 to 5-7 Gyr ago,
followed by a ~ 2-3 times higher activity. This is remarkable because dynamical
models do not predict a strong influence of either the LMC or the Milky Way
(MW) at that time. The level of the intermediate-age SFR enhancement
systematically increases towards the center, resulting in a gradient in the
mean age of the population, with the bar fields being systematically younger
than the outer ones. Star formation over the most recent 500 Myr is strongly
concentrated in the bar, the only exception being the area of the SMC wing. The
strong current activity of the latter is likely driven by interaction with the
LMC. At a given age, there is no significant difference in metallicity between
the inner and outer fields, implying that metals are well mixed throughout the
SMC. The age-metallicity relations we infer from our best fitting models are
monotonically increasing with time, with no evidence of dips. This may argue
against the major merger scenario proposed by Tsujimoto and Bekki 2009,
although a minor merger cannot be ruled out.Comment: 30 pages, 16 figures, accepted for publication in Ap
Chemical composition of a sample of bright solar-metallicity stars
We present a detailed analysis of seven young stars observed with the
spectrograph SOPHIE at the Observatoire de Haute-Provence for which the
chemical composition was incomplete or absent in the literature. For five
stars, we derived the stellar parameters and chemical compositions using our
automatic pipeline optimized for F, G, and K stars, while for the other two
stars with high rotational velocity, we derived the stellar parameters by using
other information (parallax), and performed a line-by-line analysis.
Chromospheric emission-line fluxes from CaII are obtained for all targets. The
stellar parameters we derive are generally in good agreement with what is
available in the literature. We provide a chemical analysis of two of the stars
for the first time. The star HIP 80124 shows a strong Li feature at 670.8 nm
implying a high lithium abundance. Its chemical pattern is not consistent with
it being a solar sibling, as has been suggested.Comment: To be published on A
- …