The Complexity of Reasoning for Fragments of Default Logic

Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as \SigmaPtwo-complete, and the complexity of the credulous and skeptical reasoning problem as SigmaP2-complete, resp. PiP2-complete. Additionally, he investigated restrictions on the default rules, i.e., semi-normal default rules. Selman made in 1992 a similar approach with disjunction-free and unary default rules. In this paper we systematically restrict the set of allowed propositional connectives. We give a complete complexity classification for all sets of Boolean functions in the meaning of Post's lattice for all three common decision problems for propositional default logic. We show that the complexity is a hexachotomy (SigmaP2-, DeltaP2-, NP-, P-, NL-complete, trivial) for the extension existence problem, while for the credulous and skeptical reasoning problem we obtain similar classifications without trivial cases.Comment: Corrected versio

Response of Spiking Neurons to Correlated Inputs

The effect of a temporally correlated afferent current on the firing rate of a leaky integrate-and-fire (LIF) neuron is studied. This current is characterized in terms of rates, auto and cross-correlations, and correlation time scale $\tau_c$ of excitatory and inhibitory inputs. The output rate $\nu_{out}$ is calculated in the Fokker-Planck (FP) formalism in the limit of both small and large $\tau_c$ compared to the membrane time constant $\tau$ of the neuron. By simulations we check the analytical results, provide an interpolation valid for all $\tau_c$ and study the neuron's response to rapid changes in the correlation magnitude.Comment: 4 pages, 3 figure

Nitrogen and phosphorus limitation of oceanic microbial growth during spring in the Gulf of Aqaba

Bioassay experiments were performed to identify how growth of key groups within the microbial community was simultaneously limited by nutrient (nitrogen and phosphorus) availability during spring in the Gulf of Aqaba's oceanic waters. Measurements of chlorophyll a (chl a) concentration and fast repetition rate (FRR) fluorescence generally demonstrated that growth of obligate phototrophic phytoplankton was co-limited by N and P and growth of facultative aerobic anoxygenic photoheterotropic (AAP) bacteria was limited by N. Phytoplankton exhibited an increase in chl a biomass over 24 to 48 h upon relief of nutrient limitation. This response coincided with an increase in photosystem II (PSII) photochemical efficiency (F v /F m), but was preceded (within 24 h) by a decrease in effective absorption crosssection (σPSII) and electron turnover time (τ). A similar response for τ and bacterio-chl a was observed for the AAPs. Consistent with the up-regulation of PSII activity with FRR fluorescence were observations of newly synthesized PSII reaction centers via low temperature (77K) fluorescence spectroscopy for addition of N (and N + P). Flow cytometry revealed that the chl a and thus FRR fluorescence responses were partly driven by the picophytoplankton (æ10 μm) community, and in particular Synechococcus. Productivity of obligate heterotrophic bacteria exhibited the greatest increase in response to a natural (deep water) treatment, but only a small increase in response to N and P addition, demonstrating the importance of additional substrates (most likely dissolved organic carbon) in moderating the heterotrophs. These data support previous observations that the microbial community response (autotrophy relative to heterotrophy) is critically dependent upon the nature of transient nutrient enrichment. © Inter-Research 2009

An early Little Ice Age brackish water invasion along the south coast of the Caspian Sea (sediment of Langarud wetland) and its wider impacts on environment and people

Caspian Sea level has undergone significant changes through time with major impacts not only on the surrounding coasts, but also offshore. This study reports a brackish water invasion on the southern coast of the Caspian Sea constructed from a multi-proxy analysis of sediment retrieved from the Langarud wetland. The ground surface level of wetland is >6 m higher than the current Caspian Sea level (at -27.41 m in 2014) and located >11 km far from the coast. A sequence covering the last millennium was dated by three radiocarbon dates. The results from this new study suggest that Caspian Sea level rose up to at least -21.44 m (i.e. >6 m above the present water level) during the early Little Ice Age. Although previous studies in the southern coast of the Caspian Sea have detected a high-stand during the Little Ice Age period, this study presents the first evidence that this high-stand reached so far inland and at such a high altitude. Moreover, it confirms one of the very few earlier estimates of a high-stand at -21 m for the second half of the 14th century. The effects of this large-scale brackish water invasion on soil properties would have caused severe disruption to regional agriculture, thereby destabilizing local dynasties and facilitating a rapid Turko-Mongol expansion of Tamerlane’s armies from the east.N Ghasemi (INIOAS), V Jahani (Gilan Province Cultural Heritage and Tourism Organisation) and A Naqinezhad (University of Mazandaran), INQUA QuickLakeH project (no. 1227) and to the European project Marie Curie, CLIMSEAS-PIRSES-GA-2009-24751

Status and Potential of Single-cell Transcriptomics for Understanding Plant Development and Functional Biology

Funding Information University of Western Australia Acknowledgments The authors would like to extend sincere thanks to Robert Salomon for inspiring to write this manuscript. Resources were provided by The University of Western Australia.Peer reviewedPostprin

Domestication as innovation : the entanglement of techniques, technology and chance in the domestication of cereal crops

The origins of agriculture involved pathways of domestication in which human behaviours and plant genetic adaptations were entangled. These changes resulted in consequences that were unintended at the start of the process. This paper highlights some of the key innovations in human behaviours, such as soil preparation, harvesting and threshing, and how these were coupled with genetic ‘innovations’ within plant populations. We identify a number of ‘traps’ for early cultivators, including the needs for extra labour expenditure on crop-processing and soil fertility maintenance, but also linked gains in terms of potential crop yields. Compilations of quantitative data across a few different crops for the traits of nonshattering and seed size are discussed in terms of the apparently slow process of domestication, and parallels and differences between different regional pathways are identified. We highlight the need to bridge the gap between a Neolithic archaeobotanical focus on domestication and a focus of later periods on crop-processing activities and labour organization. In addition, archaeobotanical data provide a basis for rethinking previous assumptions about how plant genetic data should be related to the origins of agriculture and we contrast two alternative hypotheses: gradual evolution with low selection pressure versus metastable equilibrium that prolonged the persistence of ‘semi-domesticated’ populations. Our revised understanding of the innovations involved in plant domestication highlight the need for new approaches to collecting, modelling and integrating genetic data and archaeobotanical evidence

Resistance to wheat rusts identified in wheat/Amblyopyrum muticum chromosome introgressions

© 2020 The Authors. Crop Science © 2020 Crop Science Society of America Wheat (Triticum aestivum L.) rusts are a worldwide production problem. Plant breeders have used genetic resistance to combat these fungi. However, single-gene resistance is rapidly overcome as a result of frequent occurrence of new virulent fungal strains. Thus, a supply of new resistance sources is continually needed, and new resistance sources are limited within hexaploid wheat genetic stocks. Wild relatives are able to be a resource for new resistance genes but are hindered because of chromosome incapability with domesticated wheats. Twenty-eight double-haploid hexaploid wheat/Amblyopyrum muticum (Boiss.) Eig introgression lines, with introgressions covering the majority of the T genome, were evaluated for resistance to Puccinia triticina Erikss., P. graminis Pers.:Pers. f.sp. tritici Erikss. & E. Henning, and P. striiformis Westend. f.sp. tritici Erikss. At the seedling level, four lines were resistant to races of P. triticina, six lines were resistant to P. graminis, and 15 lines were resistant to P. striiformis. At the adult stage, 16 lines were resistant to P. triticina. Line 355 had resistance to all three rusts and line 161 had resistance to all tested races of P. triticina. Some of these lines will require further work to reduce the size of the introgressed segment; however, lines 92 and 355 have very small fragments and can be used directly as new resistance donors

Weak pairwise correlations imply strongly correlated network states in a neural population

Biological networks have so many possible states that exhaustive sampling is impossible. Successful analysis thus depends on simplifying hypotheses, but experiments on many systems hint that complicated, higher order interactions among large groups of elements play an important role. In the vertebrate retina, we show that weak correlations between pairs of neurons coexist with strongly collective behavior in the responses of ten or more neurons. Surprisingly, we find that this collective behavior is described quantitatively by models that capture the observed pairwise correlations but assume no higher order interactions. These maximum entropy models are equivalent to Ising models, and predict that larger networks are completely dominated by correlation effects. This suggests that the neural code has associative or error-correcting properties, and we provide preliminary evidence for such behavior. As a first test for the generality of these ideas, we show that similar results are obtained from networks of cultured cortical neurons.Comment: Full account of work presented at the conference on Computational and Systems Neuroscience (COSYNE), 17-20 March 2005, in Salt Lake City, Utah (http://cosyne.org

Modeling resilience and sustainability in ancient agricultural systems

The reasons why people adopt unsustainable agricultural practices, and the ultimate environmental implications of those practices, remain incompletely understood in the present world. Archaeology, however, offers unique datasets on coincident cultural and ecological change, and their social and environmental effects. This article applies concepts derived from ecological resilience thinking to assess the sustainability of agricultural practices as a result of long-term interactions between political, economic, and environmental systems. Using the urban center of Gordion, in central Turkey, as a case study, it is possible to identify mismatched social and ecological processes on temporal, spatial, and organizational scales, which help to resolve thresholds of resilience. Results of this analysis implicate temporal and spatial mismatches as a cause for local environmental degradation, and increasing extralocal economic pressures as an ultimate cause for the adoption of unsustainable land-use practices. This analysis suggests that a research approach that integrates environmental archaeology with a resilience perspective has considerable potential for explicating regional patterns of agricultural change and environmental degradation in the past