Logic Programming and Logarithmic Space

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic) computation is given via a synctactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multi-heads finite automata, a kind of pointer machines that is a standard model of logarithmic space computation

Nuttier Bubbles

We construct new explicit solutions of general relativity from double analytic continuations of Taub-NUT spacetimes. This generalizes previous studies of 4-dimensional nutty bubbles. One 5-dimensional locally asymptotically AdS solution in particular has a special conformal boundary structure of $AdS_3\times S^1$. We compute its boundary stress tensor and relate it to the properties of the dual field theory. Interestingly enough, we also find consistent 6-dimensional bubble solutions that have only one timelike direction. The existence of such spacetimes with non-trivial topology is closely related to the existence of the Taub-NUT(-AdS) solutions with more than one NUT charge. Finally, we begin an investigation of generating new solutions from Taub-NUT spacetimes and nuttier bubbles. Using the so-called Hopf duality, we provide new explicit time-dependent backgrounds in six dimensions.Comment: 32 pages, 1 figure; v.3. typos corrected. Matches the published versio

Nonprofit governance: Improving performance in troubled economic times

Nonprofit management is currently pressured to perform effectively in a weak economy. Yet, nonprofit governance continues to suffer from unclear conceptions of the division of labor between board of directors and executive directors. This online survey of 114 executive directors aims to provide clarification and recommendations for social administration

Present Effects of Past Wildfires on Leaf Litter Breakdown in Stream Ecosystems

We investigated the present effects from a 10-year-old wildfire on leaf litter breakdown rates in 3 headwater streams in central Idaho. These systems experienced a massive debris flow one year after the fire. Based on soil instability and burn patterns, we identified 3 stream conditions: unburned, burned only, and burned/scoured. We placed leaf bags containing willow leaves (Salix sp.) in each stream type and removed bags at various time intervals until all bags were collected 100 days after their introduction. Leaf material was dried and weighed, and decay rate coefficients were calculated. Macroinvertebrates colonizing the bags were enumerated and identified, and selected taxa were placed into trophic groups. We found that the unburned stream had the fastest leaf litter breakdown rate, the lowest level of incident light reaching the stream, and the largest amount of benthic organic matter. The burned/scoured stream was nearly opposite in all respects. Numbers of 2 detritivore invertebrate taxa, Serratella tibialis and Zapada oregonensis, were highest in the unburned stream but lowest in the burned/scoured stream. A third taxon, Baetis sp., showed the opposite relationship. Presence of predatory invertebrates did not affect detritivore abundance or leaf decay rate in the bags. Our research suggests that recovery response variables of some stream systems may not have returned to prefire levels even a decade after the initial wildfire. In this study, the recovery of our streams appears to be connected to the return of the riparian zone, though fire-induced debris flows may slow or alter final recovery of the stream system

Fitting the integrated Spectral Energy Distributions of Galaxies

Fitting the spectral energy distributions (SEDs) of galaxies is an almost universally used technique that has matured significantly in the last decade. Model predictions and fitting procedures have improved significantly over this time, attempting to keep up with the vastly increased volume and quality of available data. We review here the field of SED fitting, describing the modelling of ultraviolet to infrared galaxy SEDs, the creation of multiwavelength data sets, and the methods used to fit model SEDs to observed galaxy data sets. We touch upon the achievements and challenges in the major ingredients of SED fitting, with a special emphasis on describing the interplay between the quality of the available data, the quality of the available models, and the best fitting technique to use in order to obtain a realistic measurement as well as realistic uncertainties. We conclude that SED fitting can be used effectively to derive a range of physical properties of galaxies, such as redshift, stellar masses, star formation rates, dust masses, and metallicities, with care taken not to over-interpret the available data. Yet there still exist many issues such as estimating the age of the oldest stars in a galaxy, finer details ofdust properties and dust-star geometry, and the influences of poorly understood, luminous stellar types and phases. The challenge for the coming years will be to improve both the models and the observational data sets to resolve these uncertainties. The present review will be made available on an interactive, moderated web page (sedfitting.org), where the community can access and change the text. The intention is to expand the text and keep it up to date over the coming years.Comment: 54 pages, 26 figures, Accepted for publication in Astrophysics & Space Scienc

Photoluminescence of two-dimensional GaTe and GaSe films

Gallium chalcogenides are promising building blocks for novel van der Waals heterostructures. We report on the low-temperature micro-photoluminescence (PL) of GaTe and GaSe films with thicknesses ranging from 200 nm to a single unit cell. In both materials, PL shows a dramatic decrease by 10e4–10e5 when film thickness is reduced from 200 to 10 nm. Based on evidence from continuous-wave (cw) and time-resolved PL, we propose a model explaining the PL decrease as a result of non-radiative carrier escape via surface states. Our results emphasize the need for special passivation of two-dimensional films for optoelectronic applications

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

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter