Parameterized Compilation Lower Bounds for Restricted CNF-formulas

We show unconditional parameterized lower bounds in the area of knowledge compilation, more specifically on the size of circuits in decomposable negation normal form (DNNF) that encode CNF-formulas restricted by several graph width measures. In particular, we show that - there are CNF formulas of size $n$ and modular incidence treewidth $k$ whose smallest DNNF-encoding has size $n^{\Omega(k)}$, and - there are CNF formulas of size $n$ and incidence neighborhood diversity $k$ whose smallest DNNF-encoding has size $n^{\Omega(\sqrt{k})}$. These results complement recent upper bounds for compiling CNF into DNNF and strengthen---quantitatively and qualitatively---known conditional low\-er bounds for cliquewidth. Moreover, they show that, unlike for many graph problems, the parameters considered here behave significantly differently from treewidth

The influence of date and place of birth on youth player selection to a National Football Association elite development programme

Aim: This study sought to examine whether the place and date of birth of elite youth Irish footballers influences their selection onto the Football Association of Ireland's primary development pathway; 12 regional centres of excellences called the “Emerging Talent Programme” (ETP). The proposed hypothesis was that players born earlier in the year would be over-represented compared to those born later in their age band. A secondary hypothesis was that access to the ETP would be independent of place of birth. Methods: The dates and place of birth of all elite youth footballers (n = 1936) selected onto the ETP since its inception were examined. χ2 tests were used to establish if the dates of birth differed from the expected population distribution. Odds ratios were used to identify spatial variation in relation to place of birth and talent production. Results: The results showed that admission to the ETP is not independent of quarter of birth (P .05, χ2 = 256.817, w = .388). Place of birth analysis showed an unequal geographical distribution of players gaining selection onto the ETP. Selection onto the ETP was not independent of place of birth (P < .05, χ2 = 149.457, w = .278). Footballers developed in counties that had an ETP centre were almost 50% more likely to gain selection than those without a centre (OR 1.455, 95% CI 1.314 -1.612). Conclusion: The current programme demonstrates inequitable distribution of opportunities to access elite development pathways due to biases related to date and place of birth

Variable strength of forest stand attributes and weather conditions on the questing activity of Ixodes ricinus ticks over years in managed forests

Given the ever-increasing human impact through land use and climate change on the environment, we crucially need to achieve a better understanding of those factors that influence the questing activity of ixodid ticks, a major disease-transmitting vector in temperate forests. We investigated variation in the relative questing nymph densities of Ixodes ricinus in differently managed forest types for three years (2008–2010) in SW Germany by drag sampling. We used a hierarchical Bayesian modeling approach to examine the relative effects of habitat and weather and to consider possible nested structures of habitat and climate forces. The questing activity of nymphs was considerably larger in young forest successional stages of thicket compared with pole wood and timber stages. Questing nymph density increased markedly with milder winter temperatures. Generally, the relative strength of the various environmental forces on questing nymph density differed across years. In particular, winter temperature had a negative effect on tick activity across sites in 2008 in contrast to the overall effect of temperature across years. Our results suggest that forest management practices have important impacts on questing nymph density. Variable weather conditions, however, might override the effects of forest management practices on the fluctuations and dynamics of tick populations and activity over years, in particular, the preceding winter temperatures. Therefore, robust predictions and the detection of possible interactions and nested structures of habitat and climate forces can only be quantified through the collection of long-term data. Such data are particularly important with regard to future scenarios of forest management and climate warming

Emergent global patterns of ecosystem structure and function from a mechanistic general ecosystem model

Anthropogenic activities are causing widespread degradation of ecosystems worldwide, threatening the ecosystem services upon which all human life depends. Improved understanding of this degradation is urgently needed to improve avoidance and mitigation measures. One tool to assist these efforts is predictive models of ecosystem structure and function that are mechanistic: based on fundamental ecological principles. Here we present the first mechanistic General Ecosystem Model (GEM) of ecosystem structure and function that is both global and applies in all terrestrial and marine environments. Functional forms and parameter values were derived from the theoretical and empirical literature where possible. Simulations of the fate of all organisms with body masses between 10 µg and 150,000 kg (a range of 14 orders of magnitude) across the globe led to emergent properties at individual (e.g., growth rate), community (e.g., biomass turnover rates), ecosystem (e.g., trophic pyramids), and macroecological scales (e.g., global patterns of trophic structure) that are in general agreement with current data and theory. These properties emerged from our encoding of the biology of, and interactions among, individual organisms without any direct constraints on the properties themselves. Our results indicate that ecologists have gathered sufficient information to begin to build realistic, global, and mechanistic models of ecosystems, capable of predicting a diverse range of ecosystem properties and their response to human pressures

Clique-width : harnessing the power of atoms.

Many NP-complete graph problems are polynomial-time solvable on graph classes of bounded clique-width. Several of these problems are polynomial-time solvable on a hereditary graph class G if they are so on the atoms (graphs with no clique cut-set) of G . Hence, we initiate a systematic study into boundedness of clique-width of atoms of hereditary graph classes. A graph G is H-free if H is not an induced subgraph of G, and it is (H1,H2) -free if it is both H1 -free and H2 -free. A class of H-free graphs has bounded clique-width if and only if its atoms have this property. This is no longer true for (H1,H2) -free graphs, as evidenced by one known example. We prove the existence of another such pair (H1,H2) and classify the boundedness of clique-width on (H1,H2) -free atoms for all but 18 cases

Intraregional variability in chironomid-inferred temperature estimates and the influence of river inundations on lacustrine chironomid assemblages.

Floodplain lakes are rarely analysed for fossil chironomids and usually not incorporated in modern chironomid-climate calibration datasets because of the potential complex hydrological processes that could result from flooding of the lakes. In order to investigate this potential influence of river inundations on fossil chironomid assemblages, 13 regularly inundated lakes and 20 lakes isolated from riverine influence were sampled and their surface sediments analysed for subfossil chironomid assemblages. The physical and chemical settings of all lakes were similar, although the variation in the environmental variables was higher in the lakes isolated from riverine influence. Chironomid concentration and taxon richness show significant differences between the two classes of lakes, and the variation in these variables is best explained by loss-on-ignition of the sediments (LOI). Relative chironomid abundances show some differences between the two groups of lakes, with several chironomid taxa occurring preferentially in one of the two lake-types. The variability in chironomid assemblages is also best explained by LOI. Application of a chironomid-temperature inference model shows that both types of lakes reconstruct July air temperatures that are equal to, or slightly underestimating, the measured temperature of the region. We conclude that, although there are some differences between the chironomid assemblages of floodplain lakes and of isolated lakes, these differences do not have a major effect on chironomid-based temperature reconstruction. © 2007 Springer Science+Business Media B.V

Testing the Goodness of Supplementary Feeding to Enhance Population Viability in an Endangered Vulture

[Background]: Human-predator conflicts are directly or indirectly threatening many species with extinction. Thus, biologists are urged to find simple solutions to complex situations while avoiding unforeseen conservation outcomes. The provision of supplementary food at artificial feeding sites (AFS) is frequently used in the conservation of scavenger bird populations currently suffering from indirect poisoning, although no scientific studies on its effectiveness have been conducted.[Methodology/Principal Findings]: We used a long-term data set of 95 individually marked birds from the largest European core of the endangered bearded vulture (Gypaetus barbatus) to test the long-term effects of specific AFS for bearded vultures on their survival rates (by CMR models) and population dynamics (by Monte Carlo simulations) in an area where fatalities derived from illegal poisoning and the use of other toxics like veterinary drugs have increased over the last several years. Our data support the positive relationship between the use of AFS and survival. However, contrary to theoretical predictions (e.g. high and more stable adult survival among long-lived species), the use of AFS increased only survival of pre-adults. Moreover, AFS buffered the effects of illegal poisoning on this age-class, while adult survival decreased over years. Our simulations predicted a maximum value of extinction probability over a time horizon of 50 years. Population projections run with survival rates expected in scenarios without poisoning predicted the situation of least conservation concern, while including only AFS can maintain a large floater surplus that may delay population decline but fails to reduce poisoning risk among adults.[Conclusions/Significance]: Although AFS are not effective to save bearded vultures from an expected population decline, they delay population extinction and can be a useful tool for prolonging population viability while combating illegal and indirect poisoning. The eradication of different sources of poisoning is of top priority to ensure the long-term viability of this and many other species.Financial support for AM was obtained from the Departament of Medi Ambient i Habitatge of Generalitat de Catalunya and Ministry of Environment. MC was supported by an Excellence post-doctoral contract (Junta de Andalucía).Peer reviewe

Habitat-Specific Population Growth of a Farmland Bird

BACKGROUND: To assess population persistence of species living in heterogeneous landscapes, the effects of habitat on reproduction and survival have to be investigated. METHODOLOGY/PRINCIPAL FINDINGS: We used a matrix population model to estimate habitat-specific population growth rates for a population of northern wheatears Oenanthe oenanthe breeding in farmland consisting of a mosaic of distinct habitat (land use) types. Based on extensive long-term data on reproduction and survival, habitats characterised by tall field layers (spring- and autumn-sown crop fields, ungrazed grasslands) displayed negative stochastic population growth rates (log lambda(s): -0.332, -0.429, -0.168, respectively), that were markedly lower than growth rates of habitats characterised by permanently short field layers (pastures grazed by cattle or horses, and farmyards, log lambda(s): -0.056, +0.081, -0.059). Although habitats differed with respect to reproductive performance, differences in habitat-specific population growth were largely due to differences in adult and first-year survival rates, as shown by a life table response experiment (LTRE). CONCLUSIONS/SIGNIFICANCE: Our results show that estimation of survival rates is important for realistic assessments of habitat quality. Results also indicate that grazed grasslands and farmyards may act as source habitats, whereas crop fields and ungrazed grasslands with tall field layers may act as sink habitats. We suggest that the strong decline of northern wheatears in Swedish farmland may be linked to the corresponding observed loss of high quality breeding habitat, i.e. grazed semi-natural grasslands