1,374 research outputs found

    The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

    Get PDF
    Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

    A viscoelastic deadly fluid in carnivorous pitcher plants

    Get PDF
    Background : The carnivorous plants of the genus Nepenthes, widely distributed in the Asian tropics, rely mostly on nutrients derived from arthropods trapped in their pitcher-shaped leaves and digested by their enzymatic fluid. The genus exhibits a great diversity of prey and pitcher forms and its mechanism of trapping has long intrigued scientists. The slippery inner surfaces of the pitchers, which can be waxy or highly wettable, have so far been considered as the key trapping devices. However, the occurrence of species lacking such epidermal specializations but still effective at trapping insects suggests the possible implication of other mechanisms. Methodology/Principal Findings : Using a combination of insect bioassays, high-speed video and rheological measurements, we show that the digestive fluid of Nepenthes rafflesiana is highly viscoelastic and that this physical property is crucial for the retention of insects in its traps. Trapping efficiency is shown to remain strong even when the fluid is highly diluted by water, as long as the elastic relaxation time of the fluid is higher than the typical time scale of insect movements. Conclusions/Significance : This finding challenges the common classification of Nepenthes pitchers as simple passive traps and is of great adaptive significance for these tropical plants, which are often submitted to high rainfalls and variations in fluid concentration. The viscoelastic trap constitutes a cryptic but potentially widespread adaptation of Nepenthes species and could be a homologous trait shared through common ancestry with the sundew (Drosera) flypaper plants. Such large production of a highly viscoelastic biopolymer fluid in permanent pools is nevertheless unique in the plant kingdom and suggests novel applications for pest control

    Theory of Star Formation

    Full text link
    We review current understanding of star formation, outlining an overall theoretical framework and the observations that motivate it. A conception of star formation has emerged in which turbulence plays a dual role, both creating overdensities to initiate gravitational contraction or collapse, and countering the effects of gravity in these overdense regions. The key dynamical processes involved in star formation -- turbulence, magnetic fields, and self-gravity -- are highly nonlinear and multidimensional. Physical arguments are used to identify and explain the features and scalings involved in star formation, and results from numerical simulations are used to quantify these effects. We divide star formation into large-scale and small-scale regimes and review each in turn. Large scales range from galaxies to giant molecular clouds (GMCs) and their substructures. Important problems include how GMCs form and evolve, what determines the star formation rate (SFR), and what determines the initial mass function (IMF). Small scales range from dense cores to the protostellar systems they beget. We discuss formation of both low- and high-mass stars, including ongoing accretion. The development of winds and outflows is increasingly well understood, as are the mechanisms governing angular momentum transport in disks. Although outstanding questions remain, the framework is now in place to build a comprehensive theory of star formation that will be tested by the next generation of telescopes.Comment: 120 pages, to appear in ARAA. No changes from v1 text; permission statement adde

    Consensus Statement Immunonutrition and Exercise.

    Get PDF
    In this consensus statement on immunonutrition and exercise, a panel of knowledgeable contributors from across the globe provides a consensus of updated science, including the background, the aspects for which a consensus actually exists, the controversies and, when possible, suggested directions for future research

    The stellar and sub-stellar IMF of simple and composite populations

    Full text link
    The current knowledge on the stellar IMF is documented. It appears to become top-heavy when the star-formation rate density surpasses about 0.1Msun/(yr pc^3) on a pc scale and it may become increasingly bottom-heavy with increasing metallicity and in increasingly massive early-type galaxies. It declines quite steeply below about 0.07Msun with brown dwarfs (BDs) and very low mass stars having their own IMF. The most massive star of mass mmax formed in an embedded cluster with stellar mass Mecl correlates strongly with Mecl being a result of gravitation-driven but resource-limited growth and fragmentation induced starvation. There is no convincing evidence whatsoever that massive stars do form in isolation. Various methods of discretising a stellar population are introduced: optimal sampling leads to a mass distribution that perfectly represents the exact form of the desired IMF and the mmax-to-Mecl relation, while random sampling results in statistical variations of the shape of the IMF. The observed mmax-to-Mecl correlation and the small spread of IMF power-law indices together suggest that optimally sampling the IMF may be the more realistic description of star formation than random sampling from a universal IMF with a constant upper mass limit. Composite populations on galaxy scales, which are formed from many pc scale star formation events, need to be described by the integrated galactic IMF. This IGIMF varies systematically from top-light to top-heavy in dependence of galaxy type and star formation rate, with dramatic implications for theories of galaxy formation and evolution.Comment: 167 pages, 37 figures, 3 tables, published in Stellar Systems and Galactic Structure, Vol.5, Springer. This revised version is consistent with the published version and includes additional references and minor additions to the text as well as a recomputed Table 1. ISBN 978-90-481-8817-

    Heritability Estimation of Reliable Connectomic Features*

    Get PDF
    Brain imaging genetics is an emerging research field to explore the underlying genetic architecture of brain structure and function measured by different imaging modalities. However, not all the changes in the brain are a consequential result of genetic effect and it is usually unknown which imaging phenotypes are promising for genetic analyses. In this paper, we focus on identifying highly heritable measures of structural brain networks derived from diffusion weighted imaging data. Using the twin data from the Human Connectome Project (HCP), we evaluated the reliability of fractional anisotropy measure, fiber length and fiber number of each edge in the structural connectome and seven network level measures using intraclass correlation coefficients. We then estimated the heritability of those reliable network measures using SOLAR-Eclipse software. Across all 64,620 network edges between 360 brain regions in the Glasser parcellation, we observed ~5% of them with significantly high heritability in fractional anisotropy, fiber length or fiber number. All the tested network level measures, capturing the network integrality, segregation or resilience, are highly heritable, with variance explained by the additive genetic effect ranging from 59% to 77%

    How do you say ‘hello’? Personality impressions from brief novel voices

    Get PDF
    On hearing a novel voice, listeners readily form personality impressions of that speaker. Accurate or not, these impressions are known to affect subsequent interactions; yet the underlying psychological and acoustical bases remain poorly understood. Furthermore, hitherto studies have focussed on extended speech as opposed to analysing the instantaneous impressions we obtain from first experience. In this paper, through a mass online rating experiment, 320 participants rated 64 sub-second vocal utterances of the word ‘hello’ on one of 10 personality traits. We show that: (1) personality judgements of brief utterances from unfamiliar speakers are consistent across listeners; (2) a two-dimensional ‘social voice space’ with axes mapping Valence (Trust, Likeability) and Dominance, each driven by differing combinations of vocal acoustics, adequately summarises ratings in both male and female voices; and (3) a positive combination of Valence and Dominance results in increased perceived male vocal Attractiveness, whereas perceived female vocal Attractiveness is largely controlled by increasing Valence. Results are discussed in relation to the rapid evaluation of personality and, in turn, the intent of others, as being driven by survival mechanisms via approach or avoidance behaviours. These findings provide empirical bases for predicting personality impressions from acoustical analyses of short utterances and for generating desired personality impressions in artificial voices

    Advanced optical imaging in living embryos

    Get PDF
    Developmental biology investigations have evolved from static studies of embryo anatomy and into dynamic studies of the genetic and cellular mechanisms responsible for shaping the embryo anatomy. With the advancement of fluorescent protein fusions, the ability to visualize and comprehend how thousands to millions of cells interact with one another to form tissues and organs in three dimensions (xyz) over time (t) is just beginning to be realized and exploited. In this review, we explore recent advances utilizing confocal and multi-photon time-lapse microscopy to capture gene expression, cell behavior, and embryo development. From choosing the appropriate fluorophore, to labeling strategy, to experimental set-up, and data pipeline handling, this review covers the various aspects related to acquiring and analyzing multi-dimensional data sets. These innovative techniques in multi-dimensional imaging and analysis can be applied across a number of fields in time and space including protein dynamics to cell biology to morphogenesis

    Diffusion of Subsidized ACTs in Accredited Drug Shops in Tanzania: Determinants of Stocking and Characteristics of Early and Late Adopters.

    Get PDF
    Many households in sub-Saharan Africa utilize the private sector as a primary source of treatment for malaria episodes. Expanding access to effective treatment in private drug shops may help reduce incidence of severe disease and mortality. This research leveraged a longitudinal survey of stocking of subsidized artemisinin combination therapies (ACTs), an effective anti-malarial, in Accredited Drug Dispensing Outlets (ADDOs) in two regions of Tanzania. This provided a unique opportunity to explore shop and market level determinants of product diffusion in a developing country retail market. 356 ADDOs in the Rukwa and Mtwara regions of Tanzania were surveyed at seven points between Feb 2011 and May 2012. Shop level audits were used to measure the availability of subsidized ACTs at each shop. Data on market and shop level factors were collected during the survey and also extracted from GIS layers. Regression and network based methodologies were used. Shops classified as early and late adopters, following Rogers' model of product diffusion, were compared. The Bass model of product diffusion was applied to determine whether shops stocked ACTs out of a need to imitate market competitors or a desire to satisfy customer needs. Following the introduction of a subsidy for ACTs, stocking increased from 12% to nearly 80% over the seven survey rounds. Stocking was influenced by higher numbers of proximal shops and clinics, larger customer traffic and the presence of a licensed pharmacist. Early adopters were characterized by a larger percentage of customers seeking care for malaria, a larger catchment and sourcing from specific wholesalers/suppliers. The Bass model of product diffusion indicated that shops were adopting products in response to competitor behavior, rather than customer demand. Decisions to stock new pharmaceutical products in Tanzanian ADDOs are influenced by a combination of factors related to both market competition and customer demand, but are particularly influenced by the behavior of competing shops. Efforts to expand access to new pharmaceutical products in developing country markets could benefit from initial targeting of high profile shops in competitive markets and wholesale suppliers to encourage faster product diffusion across all drug retailers
    corecore