Computability of simple games: A characterization and application to the core

The class of algorithmically computable simple games (i) includes the class of games that have finite carriers and (ii) is included in the class of games that have finite winning coalitions. This paper characterizes computable games, strengthens the earlier result that computable games violate anonymity, and gives examples showing that the above inclusions are strict. It also extends Nakamura's theorem about the nonemptyness of the core and shows that computable games have a finite Nakamura number, implying that the number of alternatives that the players can deal with rationally is restricted.Comment: 35 pages; To appear in Journal of Mathematical Economics; Appendix added, Propositions, Remarks, etc. are renumbere

Novel Pink Bollworm Resistance to the Bt Toxin Cry 1Ac: Effects on Mating, Oviposition, Larval Development and Survival

Bt cotton plants are genetically engineered to produce insecticidal toxins from the Bacillus thuringiensis (Bt) Berliner (Bacillales: Bacillaceae) bacterium and target key lepidopteran pests. In all previous strains of pink bollworm, Pectinophora gossypiella (Saunders) (Lepidoptera: Gelechiidae) selected in the laboratory for resistance to insecticidal Cry1Ac toxin using an artificial diet containing the toxin, resistance to Cry1Ac and to Bt cotton is linked to three cadherin alleles (r1, r2, and r3). In contrast, the BG(4) pink bollworm strain was selected for resistance to Bt cotton by feeding larvae for four days in each of 42 generations on bolls of ‘NuCOTN33B®’ that expressed Cry1Ac toxin. After additional selection for eleven generations on Cry1Ac-incorporated diet, the susceptibility to Cry1Ac, fecundity, egg viability, and mating of this strain (Bt4R) was compared with the unselected Cry1Ac-susceptible parent strain. Some larvae of the Bt4R strain survived on diet containing ≥ 10 µg Cry1Ac per milliliter artificial diet, but none survived on transgenic cotton bolls. In contrast to strains selected exclusively on Cry1Ac diet, some survival of progeny of reciprocal moth crosses of Bt4R resistant and Bt-susceptible strains occurred on Cry1Ac-treated diet, suggesting differences in levels of dominance. The Bt4R resistant strain does not have the r1, r2, or r3 mutant cadherin genes as do all previous strains of pink bollworm selected on Cry1Ac-treated artificial diet. The combined results suggest a mechanism of resistance to Cry1Ac that is different from previously described cadherin mutations

Methods for detecting associations between phenotype and aggregations of rare variants

Although genome-wide association studies have uncovered variants associated with more than 150 traits, the percentage of phenotypic variation explained by these associations remains small. This has led to the search for the dark matter that explains this missing genetic component of heritability. One potential explanation for dark matter is rare variants, and several statistics have been devised to detect associations resulting from aggregations of rare variants in relatively short regions of interest, such as candidate genes. In this paper we investigate the feasibility of extending this approach in an agnostic way, in which we consider all variants within a much broader region of interest, such as an entire chromosome or even the entire exome. Our method searches for subsets of variant sites using either Markov chain Monte Carlo or genetic algorithms. The analysis was performed with knowledge of the Genetic Analysis Workshop 17 answers

Prioritising references for systematic reviews with RobotAnalyst: A user study

Screening references is a time-consuming step necessary for systematic reviews and guideline development. Previous studies have shown that human effort can be reduced by using machine learning software to prioritise large reference collections such that most of the relevant references are identified before screening is completed. We describe and evaluate RobotAnalyst, a Web-based software system that combines text-mining and machine learning algorithms for organising references by their content and actively prioritising them based on a relevancy classification model trained and updated throughout the process. We report an evaluation over 22 reference collections (most are related to public health topics) screened using RobotAnalyst with a total of 43 610 abstract-level decisions. The number of references that needed to be screened to identify 95% of the abstract-level inclusions for the evidence review was reduced on 19 of the 22 collections. Significant gains over random sampling were achieved for all reviews conducted with active prioritisation, as compared with only two of five when prioritisation was not used. RobotAnalyst's descriptive clustering and topic modelling functionalities were also evaluated by public health analysts. Descriptive clustering provided more coherent organisation than topic modelling, and the content of the clusters was apparent to the users across a varying number of clusters. This is the first large-scale study using technology-assisted screening to perform new reviews, and the positive results provide empirical evidence that RobotAnalyst can accelerate the identification of relevant studies. The results also highlight the issue of user complacency and the need for a stopping criterion to realise the work savings

A Revised Design for Microarray Experiments to Account for Experimental Noise and Uncertainty of Probe Response

Background Although microarrays are analysis tools in biomedical research, they are known to yield noisy output that usually requires experimental confirmation. To tackle this problem, many studies have developed rules for optimizing probe design and devised complex statistical tools to analyze the output. However, less emphasis has been placed on systematically identifying the noise component as part of the experimental procedure. One source of noise is the variance in probe binding, which can be assessed by replicating array probes. The second source is poor probe performance, which can be assessed by calibrating the array based on a dilution series of target molecules. Using model experiments for copy number variation and gene expression measurements, we investigate here a revised design for microarray experiments that addresses both of these sources of variance. Results Two custom arrays were used to evaluate the revised design: one based on 25 mer probes from an Affymetrix design and the other based on 60 mer probes from an Agilent design. To assess experimental variance in probe binding, all probes were replicated ten times. To assess probe performance, the probes were calibrated using a dilution series of target molecules and the signal response was fitted to an adsorption model. We found that significant variance of the signal could be controlled by averaging across probes and removing probes that are nonresponsive or poorly responsive in the calibration experiment. Taking this into account, one can obtain a more reliable signal with the added option of obtaining absolute rather than relative measurements. Conclusion The assessment of technical variance within the experiments, combined with the calibration of probes allows to remove poorly responding probes and yields more reliable signals for the remaining ones. Once an array is properly calibrated, absolute quantification of signals becomes straight forward, alleviating the need for normalization and reference hybridizations

Murine model for Fusarium oxysporum invasive fusariosis reveals organ-specific structures for dissemination and long-term persistence

Peer reviewedPublisher PD

ISMRM Open Science Initiative for Perfusion Imaging (OSIPI): ASL pipeline inventory

Purpose: To create an inventory of image processing pipelines of arterial spin labeling (ASL) and list their main features, and to evaluate the capability, flexibility, and ease of use of publicly available pipelines to guide novice ASL users in selecting their optimal pipeline. Methods: Developers self-assessed their pipelines using a questionnaire developed by the Task Force 1.1 of the ISMRM Open Science Initiative for Perfusion Imaging. Additionally, each publicly available pipeline was evaluated by two independent testers with basic ASL experience using a scoring system created for this purpose. Results: The developers of 21 pipelines filled the questionnaire. Most pipelines are free for noncommercial use (n = 18) and work with the standard NIfTI (Neuroimaging Informatics Technology Initiative) data format (n = 15). All pipelines can process standard 3D single postlabeling delay pseudo-continuous ASL images and primarily differ in their support of advanced sequences and features. The publicly available pipelines (n = 9) were included in the independent testing, all of them being free for noncommercial use. The pipelines, in general, provided a trade-off between ease of use and flexibility for configuring advanced processing options. Conclusion: Although most ASL pipelines can process the common ASL data types, only some (namely, ASLPrep, ASLtbx, BASIL/Quantiphyse, ExploreASL, and MRICloud) are well-documented, publicly available, support multiple ASL types, have a user-friendly interface, and can provide a useful starting point for ASL processing. The choice of an optimal pipeline should be driven by specific data to be processed and user experience, and can be guided by the information provided in this ASL inventory

Radial Growth of Qilian Juniper on the Northeast Tibetan Plateau and Potential Climate Associations

There is controversy regarding the limiting climatic factor for tree radial growth at the alpine treeline on the northeastern Tibetan Plateau. In this study, we collected 594 increment cores from 331 trees, grouped within four altitude belts spanning the range 3550 to 4020 m.a.s.l. on a single hillside. We have developed four equivalent ring-width chronologies and shown that there are no significant differences in their growth-climate responses during 1956 to 2011 or in their longer-term growth patterns during the period AD 1110–2011. The main climate influence on radial growth is shown to be precipitation variability. Missing ring analysis shows that tree radial growth at the uppermost treeline location is more sensitive to climate variation than that at other elevations, and poor tree radial growth is particularly linked to the occurrence of serious drought events. Hence water limitation, rather than temperature stress, plays the pivotal role in controlling the radial growth of Sabina przewalskii Kom. at the treeline in this region. This finding contradicts any generalisation that tree-ring chronologies from high-elevation treeline environments are mostly indicators of temperature changes

Transport Spectroscopy of Symmetry-Broken Insulating States in Bilayer Graphene

The flat bands in bilayer graphene(BLG) are sensitive to electric fields E\bot directed between the layers, and magnify the electron-electron interaction effects, thus making BLG an attractive platform for new two-dimensional (2D) electron physics[1-5]. Theories[6-16] have suggested the possibility of a variety of interesting broken symmetry states, some characterized by spontaneous mass gaps, when the electron-density is at the carrier neutrality point (CNP). The theoretically proposed gaps[6,7,10] in bilayer graphene are analogous[17,18] to the masses generated by broken symmetries in particle physics and give rise to large momentum-space Berry curvatures[8,19] accompanied by spontaneous quantum Hall effects[7-9]. Though recent experiments[20-23] have provided convincing evidence of strong electronic correlations near the CNP in BLG, the presence of gaps is difficult to establish because of the lack of direct spectroscopic measurements. Here we present transport measurements in ultra-clean double-gated BLG, using source-drain bias as a spectroscopic tool to resolve a gap of ~2 meV at the CNP. The gap can be closed by an electric field E\bot \sim13 mV/nm but increases monotonically with a magnetic field B, with an apparent particle-hole asymmetry above the gap, thus providing the first mapping of the ground states in BLG.Comment: 4 figure

Early star-forming galaxies and the reionization of the Universe

Star forming galaxies represent a valuable tracer of cosmic history. Recent observational progress with Hubble Space Telescope has led to the discovery and study of the earliest-known galaxies corresponding to a period when the Universe was only ~800 million years old. Intense ultraviolet radiation from these early galaxies probably induced a major event in cosmic history: the reionization of intergalactic hydrogen. New techniques are being developed to understand the properties of these most distant galaxies and determine their influence on the evolution of the universe.Comment: Review article appearing in Nature. This posting reflects a submitted version of the review formatted by the authors, in accordance with Nature publication policies. For the official, published version of the review, please see http://www.nature.com/nature/archive/index.htm