Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic

Extent of the Ross Orogen in Antarctica: new data from DSDP 270 and Iselin Bank

The Ross Sea is bordered by the Late Precambrian–Cambrian Ross–Delamerian Orogen of East Antarctica and the more Pacific-ward Ordovician–Silurian Lachlan–Tuhua–Robertson Bay–Swanson Orogen. A calcsilicate gneiss from Deep Sea Drilling Project 270 drill hole in the central Ross Sea, Antarctica, gives a U-Pb titanite age of 437 ± 6 Ma (2σ). This age of high-grade metamorphism is too young for typical Ross Orogen. Based on this age, and on lithology, we propose a provisional correlation with the Early Palaeozoic Lachlan–Tuhua–Robertson Bay–Swanson Orogen, and possibly the Bowers Terrane of northern Victoria Land. A metamorphosed porphyritic rhyolite dredged from the Iselin Bank, northern Ross Sea, gives a U-Pb zircon age of 545 ± 32 Ma (2σ). The U-Pb age, petrochemistry, Ar-Ar K-feldspar dating, and Sr and Nd isotopic ratios indicate a correlation with Late Proterozoic–Cambrian igneous protoliths of the Ross Orogen. If the Iselin Bank rhyolite is not ice-rafted debris, then it represents a further intriguing occurrence of Ross basement found outside the main Ross–Delamerian Orogen

Perceptual Pluralism

Perceptual systems respond to proximal stimuli by forming mental representations of distal stimuli. A central goal for the philosophy of perception is to characterize the representations delivered by perceptual systems. It may be that all perceptual representations are in some way proprietarily perceptual and differ from the representational format of thought (Dretske 1981; Carey 2009; Burge 2010; Block ms.). Or it may instead be that perception and cognition always trade in the same code (Prinz 2002; Pylyshyn 2003). This paper rejects both approaches in favor of perceptual pluralism, the thesis that perception delivers a multiplicity of representational formats, some proprietary and some shared with cognition. The argument for perceptual pluralism marshals a wide array of empirical evidence in favor of iconic (i.e., image-like, analog) representations in perception as well as discursive (i.e., language-like, digital) perceptual object representations

Spatial updating in narratives.

Across two experiments we investigated spatial updating in environments encoded through narratives. In Experiment 1, in which participants were given visualization instructions to imagine the protagonist’s movement, they formed an initial representation during learning but did not update it during subsequent described movement. In Experiment 2, in which participants were instructed to physically move in space towards the directions of the described objects prior to testing, there was evidence for spatial updating. Overall, findings indicate that physical movement can cause participants to link a spatial representation of a remote environment to a sensorimotor framework and update the locations of remote objects while they move

Alpha-decay branching ratios of near-threshold states in 19Ne and the astrophysical rate of 15O(alpha,gamma)19Ne

The 15O(alpha,gamma)19Ne reaction is one of two routes for breakout from the hot CNO cycles into the rp process in accreting neutron stars. Its astrophysical rate depends critically on the decay properties of excited states in 19Ne lying just above the 15O + alpha threshold. We have measured the alpha-decay branching ratios for these states using the p(21Ne,t)19Ne reaction at 43 MeV/u. Combining our measurements with previous determinations of the radiative widths of these states, we conclude that no significant breakout from the hot CNO cycle into the rp process in novae is possible via 15O(alpha,gamma)19Ne, assuming current models accurately represent their temperature and density conditions

Iron under Earth's core conditions: Liquid-state thermodynamics and high-pressure melting curve

{\em Ab initio} techniques based on density functional theory in the projector-augmented-wave implementation are used to calculate the free energy and a range of other thermodynamic properties of liquid iron at high pressures and temperatures relevant to the Earth's core. The {\em ab initio} free energy is obtained by using thermodynamic integration to calculate the change of free energy on going from a simple reference system to the {\em ab initio} system, with thermal averages computed by {\em ab initio} molecular dynamics simulation. The reference system consists of the inverse-power pair-potential model used in previous work. The liquid-state free energy is combined with the free energy of hexagonal close packed Fe calculated earlier using identical {\em ab initio} techniques to obtain the melting curve and volume and entropy of melting. Comparisons of the calculated melting properties with experimental measurement and with other recent {\em ab initio} predictions are presented. Experiment-theory comparisons are also presented for the pressures at which the solid and liquid Hugoniot curves cross the melting line, and the sound speed and Gr\"{u}neisen parameter along the Hugoniot. Additional comparisons are made with a commonly used equation of state for high-pressure/high-temperature Fe based on experimental data.Comment: 16 pages including 6 figures and 5 table

Voronoi-Delaunay analysis of normal modes in a simple model glass

We combine a conventional harmonic analysis of vibrations in a one-atomic model glass of soft spheres with a Voronoi-Delaunay geometrical analysis of the structure. ``Structure potentials'' (tetragonality, sphericity or perfectness) are introduced to describe the shape of the local atomic configurations (Delaunay simplices) as function of the atomic coordinates. Apart from the highest and lowest frequencies the amplitude weighted ``structure potential'' varies only little with frequency. The movement of atoms in soft modes causes transitions between different ``perfect'' realizations of local structure. As for the potential energy a dynamic matrix can be defined for the ``structure potential''. Its expectation value with respect to the vibrational modes increases nearly linearly with frequency and shows a clear indication of the boson peak. The structure eigenvectors of this dynamical matrix are strongly correlated to the vibrational ones. Four subgroups of modes can be distinguished

First Observation of Coherent π0\pi^0 Production in Neutrino Nucleus Interactions with Eν<E_{\nu}< 2 GeV

The MiniBooNE experiment at Fermilab has amassed the largest sample to date of $\pi^0$s produced in neutral current (NC) neutrino-nucleus interactions at low energy. This paper reports a measurement of the momentum distribution of $\pi^0$s produced in mineral oil (CH$_2$) and the first observation of coherent $\pi^0$ production below 2 GeV. In the forward direction, the yield of events observed above the expectation for resonant production is attributed primarily to coherent production off carbon, but may also include a small contribution from diffractive production on hydrogen. Integrated over the MiniBooNE neutrino flux, the sum of the NC coherent and diffractive modes is found to be (19.5 $\pm$1.1 (stat) $\pm$2.5 (sys))% of all exclusive NC $\pi^0$ production at MiniBooNE. These measurements are of immediate utility because they quantify an important background to MiniBooNE's search for $\nu_{\mu} \to \nu_e$ oscillations.Comment: Submitted to Phys. Lett.

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types

CANDELS : constraining the AGN-merger connection with host morphologies at z ~ 2

Using Hubble Space Telescope/WFC3 imaging taken as part of the Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey, we examine the role that major galaxy mergers play in triggering active galactic nucleus (AGN) activity at z ~ 2. Our sample consists of 72 moderate-luminosity (L X ~ 1042-44 erg s-1) AGNs at 1.5 < z < 2.5 that are selected using the 4 Ms Chandra observations in the Chandra Deep Field South, the deepest X-ray observations to date. Employing visual classifications, we have analyzed the rest-frame optical morphologies of the AGN host galaxies and compared them to a mass-matched control sample of 216 non-active galaxies at the same redshift. We find that most of the AGNs reside in disk galaxies (51.4+5.8 - 5.9%), while a smaller percentage are found in spheroids (27.8+5.8 - 4.6%). Roughly 16.7+5.3 - 3.5% of the AGN hosts have highly disturbed morphologies and appear to be involved in a major merger or interaction, while most of the hosts (55.6+5.6 - 5.9%) appear relatively relaxed and undisturbed. These fractions are statistically consistent with the fraction of control galaxies that show similar morphological disturbances. These results suggest that the hosts of moderate-luminosity AGNs are no more likely to be involved in an ongoing merger or interaction relative to non-active galaxies of similar mass at z ~ 2. The high disk fraction observed among the AGN hosts also appears to be at odds with predictions that merger-driven accretion should be the dominant AGN fueling mode at z ~ 2, even at moderate X-ray luminosities. Although we cannot rule out that minor mergers are responsible for triggering these systems, the presence of a large population of relatively undisturbed disk-like hosts suggests that the stochastic accretion of gas plays a greater role in fueling AGN activity at z ~ 2 than previously thought