Relational Rippling: a General Approach

We propose a new version of rippling, called relational rippling. Rippling is a heuristic for guiding proof search, especially in the step cases of inductive proofs. Relational rippling is designed for representations in which value passing is by shared existential variables, as opposed to function nesting. Thus relational rippling can be used to guide reasoning about logic programs or circuits represented as relations. We give an informal motivation and introduction to relational rippling. More details, including formal definitions and termination proofs can be found in the longer version of this paper, [Bundy and Lombart, 1995]

Reaching Beyond the Moron : Eugenic Control of Secondary Disability Groups

While much has been published about the American eugenics movement, few authors have considered the relative status of various disability populations as targets of eugenic control. While many writers focus on persons diagnosed as feeble-minded as the central focus of control, little has been written regarding the status of additional disability groups. This is important since, as described here, a central component of coming to understand past social injustices against marginalized groups and the contemporary relevance of such injustices is gaining an awareness of why specific populations were accepted by control authorities as appropriate or viable targets for control measures

Galaxy downsizing evidenced by hybrid evolutionary tracks

An unified picture of stellar and halo mass build-up as a function of mass is presented. Inferred stellar-dark halo mass relations of galaxies, Ms-Mh, out to z=4 together with average LCDM halo mass aggregation histories (MAHs) are used for inferring average Ms growth histories, the Galaxian Hybrid Evolutionary Tracks (GHETs). The more massive the galaxy, the earlier transited in average from an active regime of Ms growth to a passive one: log(Mtran/Msun)=10.30+0.55z ("population downsizing"), where Mtran is the typical transition stellar mass. This result agrees with independent observational determinations based on the evolution of the galaxy stellar mass function decomposition into blue and red galaxies. The specific star formation rate, SSFR, predicted from the derivative of the GHET is consistent with direct measures of the SSFR for galaxies at different z's. The average GHETs of galaxies smaller than Mtran at z=0 (Ms~10^10.3 Msun) did not reach the quiescent regime, and for them, the lower the mass, the faster the later Ms growth rate ("downsizing in SSFR"). The GHETs allow to predict the transition rate in number density of active to passive population; the predicted values agree with direct estimates of growth rate in number density for the (massive) red population up to z~1. We show that LCDM-based models of disk galaxy evolution are able to reproduce the low-mass side of the Ms-Mh relation at z~0, but at higher z's disagree strongly with the GHETs: models do not reproduce the downsizing in SSFR and the high SSFR of low mass galaxies. (Abridged)Comment: 14 pages, 9 figures. To appear in ApJ. References updated/corrected, minor typos correcte

The radio AGN population dichotomy: Green valley Seyferts versus red sequence low-excitation AGN

Radio outflows of active galactic nuclei (AGN) are invoked in cosmological models as a key feedback mechanism in the latest phases of massive galaxy formation. Recently it has been suggested that the two major radio AGN populations -- the powerful high-excitation, and the weak low-excitation radio AGN (HERAGN and LERAGN, resp.) -- represent two earlier and later stages of massive galaxy build-up. To test this, here we make use of a local (0.04<z<0.1) sample of ~500 radio AGN with available optical spectroscopy, drawn from the FIRST, NVSS, SDSS, and 3CRR surveys. A clear dichotomy is found between the properties of low-excitation (absorption line AGN, and LINERs) and high-excitation (Seyferts) radio AGN. The hosts of the first have the highest stellar masses, reddest optical colors, and highest mass black holes but accrete inefficiently (at low rates). On the other hand, the high-excitation radio AGN have lower stellar masses, bluer optical colors (consistent with the `green valley'), and lower mass black holes that accrete efficiently (at high rates). Such properties can be explained if these two radio AGN populations represent different stages in the formation of massive galaxies, and thus are also linked to different phases of the `AGN feedback'.Comment: 5 pages, 4 figures, 1 table, to appear in ApJ

Nonuniform high-gamma (60-500 Hz) power changes dissociate cognitive task and anatomy in human cortex

High-gamma-band (\u3e60 Hz) power changes in cortical electrophysiology are a reliable indicator of focal, event-related cortical activity. Despite discoveries of oscillatory subthreshold and synchronous suprathreshold activity at the cellular level, there is an increasingly popular view that high-gamma-band amplitude changes recorded from cellular ensembles are the result of asynchronous firing activity that yields wideband and uniform power increases. Others have demonstrated independence of power changes in the low- and high-gamma bands, but to date, no studies have shown evidence of any such independence above 60 Hz. Based on nonuniformities in time-frequency analyses of electrocorticographic (ECoG) signals, we hypothesized that induced high-gamma-band (60-500 Hz) power changes are more heterogeneous than currently understood. Using single-word repetition tasks in six human subjects, we showed that functional responsiveness of different ECoG high-gamma sub-bands can discriminate cognitive task (e.g., hearing, reading, speaking) and cortical locations. Power changes in these sub-bands of the high-gamma range are consistently present within single trials and have statistically different time courses within the trial structure. Moreover, when consolidated across all subjects within three task-relevant anatomic regions (sensorimotor, Broca\u27s area, and superior temporal gyrus), these behavior- and location-dependent power changes evidenced nonuniform trends across the population. Together, the independence and nonuniformity of power changes across a broad range of frequencies suggest that a new approach to evaluating high-gamma-band cortical activity is necessary. These findings show that in addition to time and location, frequency is another fundamental dimension of high-gamma dynamics

The Sloan Lens ACS Survey. IX. Colors, Lensing and Stellar Masses of Early-type Galaxies

We present the current photometric dataset for the Sloan Lens ACS (SLACS) Survey, including HST photometry from ACS, WFPC2, and NICMOS. These data have enabled the confirmation of an additional 15 grade `A' (certain) lens systems, bringing the number of SLACS grade `A' lenses to 85; including 13 grade `B' (likely) systems, SLACS has identified nearly 100 lenses and lens candidates. Approximately 80% of the grade `A' systems have elliptical morphologies while ~10% show spiral structure; the remaining lenses have lenticular morphologies. Spectroscopic redshifts for the lens and source are available for every system, making SLACS the largest homogeneous dataset of galaxy-scale lenses to date. We have developed a novel Bayesian stellar population analysis code to determine robust stellar masses with accurate error estimates. We apply this code to deep, high-resolution HST imaging and determine stellar masses with typical statistical errors of 0.1 dex; we find that these stellar masses are unbiased compared to estimates obtained using SDSS photometry, provided that informative priors are used. The stellar masses range from 10^10.5 to 10^11.8 M$_\odot$ and the typical stellar mass fraction within the Einstein radius is 0.4, assuming a Chabrier IMF. The ensemble properties of the SLACS lens galaxies, e.g. stellar masses and projected ellipticities, appear to be indistinguishable from other SDSS galaxies with similar stellar velocity dispersions. This further supports that SLACS lenses are representative of the overall population of massive early-type galaxies with M* >~ 10^11 M$_\odot$, and are therefore an ideal dataset to investigate the kpc-scale distribution of luminous and dark matter in galaxies out to z ~ 0.5.Comment: 20 pages, 18 figures, 5 tables, published in Ap

Analysis and imaging of biocidal agrochemicals using ToF-SIMS

ToF-SIMS has been increasingly widely used in recent years to look at biological matrices, in particular for biomedical research, although there is still a lot of development needed to maximise the value of this technique in the life sciences. The main issue for biological matrices is the complexity of the mass spectra and therefore the difficulty to specifically and precisely detect analytes in the biological sample. Here we evaluated the use of ToF-SIMS in the agrochemical field, which remains a largely unexplored area for this technique. We profiled a large number of biocidal active ingredients (herbicides, fungicides, and insecticides); we then selected fludioxonil, a halogenated fungicide, as a model compound for more detailed study, including the effect of co-occurring biomolecules on detection limits. There was a wide range of sensitivity of the ToF-SIMS for the different active ingredient compounds, but fludioxonil was readily detected in real-world samples (wheat seeds coated with a commercial formulation). Fludioxonil did not penetrate the seed to any great depth, but was largely restricted to a layer coating the seed surface. ToF-SIMS has clear potential as a tool for not only detecting biocides in biological samples, but also mapping their distribution

Identification of hydroxyapatite spherules provides new insight into subretinal pigment epithelial deposit formation in the aging eye.

Accumulation of protein- and lipid-containing deposits external to the retinal pigment epithelium (RPE) is common in the aging eye, and has long been viewed as the hallmark of age-related macular degeneration (AMD). The cause for the accumulation and retention of molecules in the sub-RPE space, however, remains an enigma. Here, we present fluorescence microscopy and X-ray diffraction evidence for the formation of small (0.5-20 μm in diameter), hollow, hydroxyapatite (HAP) spherules in Bruch's membrane in human eyes. These spherules are distinct in form, placement, and staining from the well-known calcification of the elastin layer of the aging Bruch's membrane. Secondary ion mass spectrometry (SIMS) imaging confirmed the presence of calcium phosphate in the spherules and identified cholesterol enrichment in their core. Using HAP-selective fluorescent dyes, we show that all types of sub-RPE deposits in the macula, as well as in the periphery, contain numerous HAP spherules. Immunohistochemical labeling for proteins characteristic of sub-RPE deposits, such as complement factor H, vitronectin, and amyloid beta, revealed that HAP spherules were coated with these proteins. HAP spherules were also found outside the sub-RPE deposits, ready to bind proteins at the RPE/choroid interface. Based on these results, we propose a novel mechanism for the growth, and possibly even the formation, of sub-RPE deposits, namely, that the deposit growth and formation begin with the deposition of insoluble HAP shells around naturally occurring, cholesterol-containing extracellular lipid droplets at the RPE/choroid interface; proteins and lipids then attach to these shells, initiating or supporting the growth of sub-RPE deposits

Extremely Red Objects in the Field of QSO 1213-0017: A Galaxy Concentration at z=1.31

We have discovered a concentration of extremely red objects (EROs; R-K>6) in the field of the z=2.69 quasar QSO 1213-0017 (UM 485), which is significantly overabundant compared to the field ERO surface density. The optical/near-IR colors of the EROs and numerous other red galaxies in this field are consistent with elliptical galaxies at z=1-2. HST optical images for a subset of galaxies show regular morphologies, most of them being disky or diffuse and without any obvious evidence for interactions. Ground-based IR images show similar morphologies, indicating any dust reddening in these objects is spatially uniform. Optical spectroscopy with the W. M. Keck Telescope has found that four of the red galaxies lie at =1.31, and a fifth lies in the foreground at z=1.20. Of the =1.31 galaxies, one is a reddened AGN while the remaining three have rest-frame UV absorption-line spectra characteristic of old (few Gyr) stellar populations, similar to the old red galaxy LBDS 53W091 at z=1.55. Including the MgII absorber seen in the QSO spectrum, we find five galaxies at =1.31 spread over 1.5 h_50^{-1} Mpc on the sky. These results suggest we have discovered a coherent structure of old galaxies at high-redshift, possibly associated with a massive galaxy cluster.Comment: 37 pages including 11 Postscript figures. To appear in the June 2000 issue of the Astronomical Journa