Ionospheric simulator survey

Evaluation of D and E region ionospheric simulation technique

Interpretations of Presburger Arithmetic in Itself

Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are definably isomorphic to the identity self-interpretation. In order to prove the results we show that all linear orders that are interpretable in (N,+) are scattered orders with the finite Hausdorff rank and that the ranks are bounded in terms of the dimension of the respective interpretations. From our result about self-interpretations of PrA it follows that PrA isn't one-dimensionally interpretable in any of its finite subtheories. We note that the latter was conjectured by A. Visser.Comment: Published in proceedings of LFCS 201

Conserved noncoding sequences highlight shared components of regulatory networks in dicotyledonous plants

Conserved noncoding sequences (CNSs) in DNA are reliable pointers to regulatory elements controlling gene expression. Using a comparative genomics approach with four dicotyledonous plant species (Arabidopsis thaliana, papaya [Carica papaya], poplar [Populus trichocarpa], and grape [Vitis vinifera]), we detected hundreds of CNSs upstream of Arabidopsis genes. Distinct positioning, length, and enrichment for transcription factor binding sites suggest these CNSs play a functional role in transcriptional regulation. The enrichment of transcription factors within the set of genes associated with CNS is consistent with the hypothesis that together they form part of a conserved transcriptional network whose function is to regulate other transcription factors and control development. We identified a set of promoters where regulatory mechanisms are likely to be shared between the model organism Arabidopsis and other dicots, providing areas of focus for further research

Creative professional users musical relevance criteria

Although known item searching for music can be dealt with by searching metadata using existing text search techniques, human subjectivity and variability within the music itself make it very difficult to search for unknown items. This paper examines these problems within the context of text retrieval and music information retrieval. The focus is on ascertaining a relationship between music relevance criteria and those relating to relevance judgements in text retrieval. A data-rich collection of relevance judgements by creative professionals searching for unknown musical items to accompany moving images using real world queries is analysed. The participants in our observations are found to take a socio-cognitive approach and use a range of content and context based criteria. These criteria correlate strongly with those arising from previous text retrieval studies despite the many differences between music and text in their actual content

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be logically characterized in terms of second-order monadic monoidal quantifiers

Resting-state anticorrelations between medial and lateral prefrontal cortex: Association with working memory, aging, and individual differences

We examined how variation in working memory (WM) capacity due to aging or individual differences among young adults is associated with intrinsic or resting-state anticorrelations, particularly between (1) the medial prefrontal cortex (MPFC), a component of the default-mode network (DMN) that typically decreases in activation during external, attention-demanding tasks, and (2) the dorsolateral prefrontal cortex (DLPFC), a component of the fronto-parietal control network that supports executive functions and WM and typically increases in activation during attention-demanding tasks. We compared the magnitudes of MPFC-DLPFC anticorrelations between healthy younger and older participants (Experiment 1) and related the magnitudes of these anticorrelations to individual differences on two behavioral measures of WM capacity in two independent groups of young adults (Experiments 1 and 2). Relative to younger adults, older adults exhibited reductions in WM capacity and in MPFC-DLPFC anticorrelations. Within younger adults, greater MPFC-DLPFC anticorrelation at rest correlated with greater WM capacity. These findings show that variation in MPFC-DLPFC anticorrelations, whether related to aging or to individual differences, may reflect an intrinsic functional brain architecture supportive of WM capacity.National Institutes of Health (U.S.) (National Institute on Aging Grant R21 AG030770)National Institutes of Health (U.S.) (Grant T32 GM007484)Barbara J. Weedon Fund Fellowshi

Descriptive Complexity of Deterministic Polylogarithmic Time and Space

We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain from the bit positions needed to address these elements. We prove that the inflationary and partial fixed point vartiants of this logic capture PolylogTime and PolylogSpace, respectively. In the course of proving that our logic indeed captures PolylogTime on finite ordered structures, we introduce a variant of random-access Turing machines that can access the relations and functions of a structure directly. We investigate whether an explicit predicate for the ordering of the domain is needed in our PolylogTime logic. Finally, we present the open problem of finding an exact characterization of order-invariant queries in PolylogTime.Comment: Submitted to the Journal of Computer and System Science

Characterizing Polytobacco Use Trajectories and Their Associations With Substance Use and Mental Health Across Mid-Adolescence.

Background:Polytobacco product use is suspected to be common, dynamic across time, and increase risk for adverse behavioral outcomes. We statistically modeled characteristic types of polytobacco use trajectories during mid-adolescence and tested their prospective association with substance use and mental health problems. Methods:Adolescents (N = 3393) in Los Angeles, CA, were surveyed semiannually from 9th to 11th grade. Past 6-month combustible cigarette, e-cigarette, or hookah use (yes/no) over four assessments were analyzed using parallel growth mixture modeling to identify a parsimonious set of polytobacco use trajectories. A tobacco product use trajectory group was used to predict substance use and mental health at the fifth assessment. Results:Three profiles were identified: (1) tobacco nonusers (N = 2291, 67.5%) with the lowest use prevalence (<3%) of all products across all timepoints; (2) polyproduct users (N = 920, 27.1%) with moderate use prevalence of each product (8-35%) that escalated for combustible cigarettes but decreased for e-cigarettes and hookah across time; and (3) chronic polyproduct users (N = 182, 5.4%) with high prevalence of each product use (38-86%) that escalated for combustible cigarettes and e-cigarettes. Nonusers, polyproduct users, and chronic polyproduct users reported successively higher alcohol, marijuana, and illicit drug use and ADHD at the final follow-up, respectively. Both tobacco using groups (vs. nonusers) reported greater odds of depression and anxiety at the final follow-up but did not differ from each other. Conclusions:Adolescent polytobacco use may involve a common moderate risk trajectory and a less common high-risk chronic trajectory. Both trajectories predict substance use and mental health symptomology. Implications:Variation in use and co-use of combustible cigarette, e-cigarette, and hookah use in mid-adolescence can be parsimoniously characterized by a small set common trajectory profiles in which polyproduct use are predominant patterns of tobacco product use, which predict adverse behavioral outcomes. Prevention and policy addressing polytobacco use (relative to single product use) may be optimal tobacco control strategies for youth, which may in turn prevent other forms of substance use and mental health problems

Contents lists available at ScienceDirect Pedobiologia- International Journal of Soil Biology

jo u rn al homepage: www.elsevier.de/pedobi Impacts of emerald ash borer-induced tree mortality on leaf litter arthropods an

Randomisation and Derandomisation in Descriptive Complexity Theory

We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP, bounded error probabilistic polynomial time, is defined from PTIME. Our main focus lies on questions of derandomisation, and we prove that there is a query which is definable in BPFO, the probabilistic version of first-order logic, but not in Cinf, finite variable infinitary logic with counting. This implies that many of the standard logics of finite model theory, like transitive closure logic and fixed-point logic, both with and without counting, cannot be derandomised. Similarly, we present a query on ordered structures which is definable in BPFO but not in monadic second-order logic, and a query on additive structures which is definable in BPFO but not in FO. The latter of these queries shows that certain uniform variants of AC0 (bounded-depth polynomial sized circuits) cannot be derandomised. These results are in contrast to the general belief that most standard complexity classes can be derandomised. Finally, we note that BPIFP+C, the probabilistic version of fixed-point logic with counting, captures the complexity class BPP, even on unordered structures