The use of data-mining for the automatic formation of tactics

This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques

The development and validation of an age-structured model for the evaluation of disease control strategies for intestinal helminths

Epidemiological modelling can be a useful tool for the evaluation of parasite control strategies. An age-structured epidemiological model of intestinal helminth dynamics is developed. This model includes the explicit representation of changing worm distributions between hosts as a result of treatment, and estimates the morbidity due to heavy infections. The model is used to evaluate the effectiveness of different programmes of age-targeted community chemotherapy in reducing the amount of morbidity due to helminth infection. The magnitude of age-related heterogeneities is found to be very important in determining the results of age-targeted treatment programmes. The model was verified using field data from control programmes for Ascaris lumbricoides and Trichuris trichiura, and was found to provide accurate predictions of prevalence and mean intensities of infection during and following different control regime

The development of an age structured model for schistosomiasis transmission dynamics and control and its validation for Schistosoma mansoni

Mathematical models are potentially useful tools to aid in the design of control programmes for parasitic diseases. In this paper, a fully age structured epidemiological model of human schistosomiasis is developed and parameterized, and used to predict trends in infection prevalence, intensity and prevalence of heavy infections over age and time during several rounds of mass and age targeted treatment. The model is validated against data from a Schistosoma mansoni control programme in Keny

Observational Evidence for the Co-evolution of Galaxy Mergers, Quasars, and the Blue/Red Galaxy Transition

We compile a number of observations to estimate the time-averaged rate of formation or buildup of red sequence galaxies, as a function of mass and redshift. Comparing this with the mass functions of mergers and quasar hosts, and independently comparing their clustering properties as a function of redshift, we find that these populations trace the same mass distribution, with similar evolution, at redshifts 0<z<~1.5. Knowing one of the quasar, merger, or elliptical mass/luminosity functions, it is possible to predict the others. Allowing for greater model dependence, we compare the rate of early-type buildup with the implied merger and quasar triggering rates as a function of mass and redshift and find agreement. Over this redshift range, observed merger fractions can account for the entire bright quasar luminosity function and buildup of the red sequence at all but the highest masses at low redshift (>~10^11 M_solar at z<~0.3) where 'dry' mergers appear to dominate. This supports a necessary prediction of theories where mergers between gas-rich galaxies produce ellipticals with an associated phase of quasar activity, after which the remnant becomes red. These populations trace a similar characteristic transition mass, possibly reflecting the mass above which the elliptical population is mostly (>~50%) assembled at a given redshift, which increases with redshift over the observed range in a manner consistent with suggestions that cosmic downsizing may apply to red galaxy assembly as well as star formation. These mass distributions as a function of redshift do not uniformly trace the all/red/blue galaxy population, ruling out models in which quasar activity is generically associated with star formation or is long lived in 'old' systems.Comment: 24 pages, 17 figures. Accepted to ApJ. Substantially revised and expanded to match published versio

The Bimodal Galaxy Stellar Mass Function in the COSMOS Survey to z~1: A Steep Faint End and a New Galaxy Dichotomy

We present a new analysis of stellar mass functions (MF) in the COSMOS field to fainter limits than has been previously probed to z~1. Neither the total nor the passive or star-forming MF can be well fit with a single Schechter function once one probes below 3e9 Msun. We observe a dip or plateau at masses ~1e10 Msun, and an upturn towards a steep faint-end slope of -1.7 at lower mass at any z<1. This bimodal nature of the MF is not solely a result of the blue/red dichotomy. The blue MF is by itself bimodal at z~1. This suggests a new dichotomy in galaxy formation that predates the appearance of the red sequence. We propose two interpretations for this bimodality. If the gas fraction increases towards lower mass, galaxies with M_baryon~1e10 Msun would shift to lower stellar masses, creating the observed dip. This would indicate a change in star formation efficiency, perhaps linked to supernovae feedback becoming much more efficient. Therefore, we investigate whether the dip is present in the baryonic (stars+gas) MF. Alternatively, the dip could be created by an enhancement of the galaxy assembly rate at ~1e11 Msun, a phenomenon that naturally arises if the baryon fraction peaks at M_halo ~1e12 Msun. In this scenario, galaxies occupying the bump around M* would be identified with central galaxies and the second fainter component having a steep faint-end slope with satellites. While the dip is apparent in the total MF at any z, it appears to shift from the blue to red population, likely as a result of transforming high-mass blue galaxies into red ones. At the same time, we detect a drastic upturn in the number of low-mass red galaxies. Their increase with time reflects a decrease in the number of blue systems and so we tentatively associate them with satellite dwarf galaxies that have undergone quenching.Comment: 16 pages, 10 figures, accepted for publication in Ap

Pressure-induced metallization in solid boron

Different phases of solid boron under high pressure are studied by first principles calculations. The $\alpha$-B$_{12}$ structure is found to be stable up to 270 GPa. Its semiconductor band gap (1.72 eV) decreases continuously to zero around 160 GPa, where the material transforms to a weak metal. The metallicity, as measured by the density of states at the Fermi level, enhances as the pressure is further increased. The pressure-induced metallization can be attributed to the enhanced boron-boron interactions that cause bands overlap. These results are consist with the recently observed metallization and the associated superconductivity of bulk boron under high pressure (M.I.Eremets et al, Science{\bf 293}, 272(2001)).Comment: 14 pages, 5 figure

Total energy calculation of high pressure selenium: The origin of incommensurate modulations in Se-IV and the instability of proposed Se-II

We present calculation of the high pressure crystal structures in selenium, including rational approximants to the recently reported incommensurate phases. We show how the incommensurate phases can be intuitively explained in terms of imaginary phonon frequencies arising from Kohn anomalies in the putative undistorted phase. We also find inconsistencies between the calculated and experimental Se-II phase - the calculations show it to be a metastable metal while the experiment finds a stable semiconductor. We propose that the experimentally reported structure is probably in error.Comment: 4 pages 4 figure