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

Virtual risk management—exploring effects of childhood risk experiences through innovative methods (ViRMa) for primary school children in Norway: study protocol for the ViRMa project

Background: Research indicates that risky play benefits children’s risk assessment and risk management skills and offers several positive health effects such as resilience, social skills, physical activity, well-being, and involvement. There are also indications that the lack of risky play and autonomy increases the likelihood of anxiety. Despite its well-documented importance, and the willingness of children to engage in risky play, this type of play is increasingly restricted. Assessing long-term effects of risky play has been problematic because of ethical issues with conducting studies designed to allow or encourage children to take physical risks with the potential of injury. Objective: The Virtual Risk Management project aims to examine children’s development of risk management skills through risky play. To accomplish this, the project aims to use and validate newly developed and ethically appropriate data collection tools such as virtual reality, eye tracking, and motion capturing, and to provide insight into how children assess and handle risk situations and how children’s past risky play experiences are associated with their risk management. Methods: We will recruit 500 children aged 7-10 years and their parents from primary schools in Norway. Children’s risk management will be measured through data concerning their risk assessment, risk willingness, and risk handling when completing a number of tasks in 3 categories of virtual reality scenarios: street crossing, river crossing, and playing on playground equipment. The children will move around physically in a large space while conducting the tasks and wear 17 motion-capturing sensors that will measure their movements to analyze motor skills. We will also collect data on children’s perceived motor competence and their sensation-seeking personality. To obtain data on children’s risk experiences, parents will complete questionnaires on their parental style and risk tolerance, as well as information about the child’s practical risk experience. Results: Four schools have been recruited to participate in data collection. The recruitment of children and parents for this study started in December 2022, and as of April 2023, a total of 433 parents have consented for their children to participate. Conclusions: The Virtual Risk Management project will increase our understanding of how children’s characteristics, upbringing, and previous experiences influence their learning and ability to handle challenges. Through development and use of cutting-edge technology and previously developed measures to describe aspects of the children’s past experiences, this project addresses crucial topics related to children’s health and development. Such knowledge may guide pedagogical questions and the development of educational, injury prevention, and other health-related interventions, and reveal essential areas for focus in future studies. It may also impact how risk is addressed in crucial societal institutions such as the family, early childhood education, and schools

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