ELSA: An Integrated, Semi-Automated Nebular Abundance Package

We present ELSA, a new modular software package, written in C, to analyze and manage spectroscopic data from emission-line objects. In addition to calculating plasma diagnostics and abundances from nebular emission lines, the software provides a number of convenient features including the ability to ingest logs produced by IRAF's splot task, to semi-automatically merge spectra in different wavelength ranges, and to automatically generate various data tables in machine-readable or LaTeX format. ELSA features a highly sophisticated interstellar reddening correction scheme that takes into account temperature and density effects as well as He II contamination of the hydrogen Balmer lines. Abundance calculations are performed using a 5-level atom approximation with recent atomic data, based on R. Henry's ABUN program. Improvements planned in the near future include use of a three-region ionization model, similar to IRAF's nebular package, error propagation, and the addition of ultraviolet and infrared line analysis capability. Detailed documentation for all aspects of ELSA are available at http://www.williams.edu/Astronomy/research/PN .Comment: 2 pages, contributed paper, IAU Symp. 234, Planetary Nebulae in Our Galaxy and Beyon

Environmental modeling and recognition for an autonomous land vehicle

An architecture for object modeling and recognition for an autonomous land vehicle is presented. Examples of objects of interest include terrain features, fields, roads, horizon features, trees, etc. The architecture is organized around a set of data bases for generic object models and perceptual structures, temporary memory for the instantiation of object and relational hypotheses, and a long term memory for storing stable hypotheses that are affixed to the terrain representation. Multiple inference processes operate over these databases. Researchers describe these particular components: the perceptual structure database, the grouping processes that operate over this, schemas, and the long term terrain database. A processing example that matches predictions from the long term terrain model to imagery, extracts significant perceptual structures for consideration as potential landmarks, and extracts a relational structure to update the long term terrain database is given

Estimating the burden of disease attributable to diabetes in South Africa in 2000

Objectives. To estimate the burden of disease attributable to diabetes by sex and age group in South Africa in 2000. Design. The framework adopted for the most recent World Health Organization comparative risk assessment (CRA) methodology was followed. Small community studies used to derive the prevalence of diabetes by population group were weighted proportionately for a national estimate. Populationattributable fractions were calculated and applied to revised burden of disease estimates. Monte Carlo simulation-modelling techniques were used for uncertainty analysis. Setting. South Africa. Subjects. Adults 30 years and older. Outcome measures. Mortality and disability-adjusted life years (DALYs) for ischaemic heart disease (IHD), stroke, hypertensive disease and renal failure. Results. Of South Africans aged ≥ 30 years, 5.5% had diabetes which increased with age. Overall, about 14% of IHD, 10% of stroke, 12% of hypertensive disease and 12% of renal disease burden in adult males and females (30+ years) were attributable to diabetes. Diabetes was estimated to have caused 22 412 (95% uncertainty interval 20 755 - 24 872) or 4.3% (95% uncertainty interval 4.0 - 4.8%) of all deaths in South Africa in 2000. Since most of these occurred in middle or old age, the loss of healthy life years comprises a smaller proportion of the total 258 028 DALYs (95% uncertainty interval 236 856 - 290 849) in South Africa in 2000, accounting for 1.6% (95% uncertainty interval 1.5 - 1.8%) of the total burden. Conclusions. Diabetes is an important direct and indirect cause of burden in South Africa. Primary prevention of the disease through multi-level interventions and improved management at primary health care level are needed

First record of an invasive shrimp from the family Processidae (Crustacea, Decapoda) in the Mediterranean Sea

This is the first recording on the genus Nikoides Paulson, 1875 in the Mediterranean Sea, with remarks on taxonomy and ecology

Rhetoric in the language of real estate marketing

“Des. Res.”, “rarely available”, “viewing essential” – these are all part of the peculiar parlance of housing advertisements which contain a heady mix of euphemism, hyperbole and superlative. Of interest is whether the selling agent’s penchant for rhetoric is spatially uniform or whether there are variations across the urban system. We are also interested in how the use of superlatives varies over the market cycle and over the selling season. For example, are estate agents more inclined to use hyperbole when the market is buoyant or when it is flat, and does it matter whether a house is marketed in the summer or winter? This paper attempts to answer these questions by applying textual analysis to a unique dataset of 49,926 records of real estate transactions in the Strathclyde conurbation over the period 1999 to 2006. The analysis opens up a new avenue of research into the use of real estate rhetoric and its interaction with agency behaviour and market dynamics

Electrostatics of ions inside the nanopores and trans-membrane channels

A model of a finite cylindrical ion channel through a phospholipid membrane of width $L$ separating two electrolyte reservoirs is studied. Analytical solution of the Poisson equation is obtained for an arbitrary distribution of ions inside the trans-membrane pore. The solution is asymptotically exact in the limit of large ionic strength of electrolyte on the two sides of membrane. However, even for physiological concentrations of electrolyte, the electrostatic barrier sizes found using the theory are in excellent agreement with the numerical solution of the Poisson equation. The analytical solution is used to calculate the electrostatic potential energy profiles for pores containing charged protein residues. Availability of a semi-exact interionic potential should greatly facilitate the study of ionic transport through nanopores and ion channels

Federal tax policies, congressional voting and natural resources

Can abundance of natural resources affect legislators' voting behaviour over federal tax policies? We construct a political economy model of a federalized economy with district heterogeneity in natural resource abundance. The model shows that representatives of natural resource-rich districts are more (less) willing to vote in favour of federal tax increases (decreases). This occurs because resource-rich districts are less responsive to federal tax changes due to the immobile nature of their natural resources. We test the model's predictions using data on roll-call votes in the US House of Representatives over the major federal tax bills initiated during the period of 1945–2003, in conjunction with the presence of active giant oil fields in US congressional districts. Our identification strategy rests on plausibly exogenous giant oil field discoveries and exploitation and narrative-based aggregate federal tax shocks that are exogenous to individual congressional districts and legislators. We find that: (i) resource-rich congressional districts are less responsive to changes in federal taxes and (ii) representatives of resource-rich congressional districts are more (less) supportive of federal tax increases (decreases), controlling for legislator, congressional district and state indicators. Our results indicate that resource richness is approximately half as dominant as the main determinant, namely party affiliation, in driving legislators' voting behaviour over federal tax policies

Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic