Logics for Unranked Trees: An Overview

Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence of tree automata for those properties. Furthermore, logics differ significantly in their model-checking properties, their automata models, and their behavior on ordered and unordered trees. In this paper we present a survey of logics for unranked trees

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

Cardiac Implantable Electronic Device-Related Infection Due to Granulicatella adiacens.

Cardiac implantable electronic device-related infection is clinically challenging. Curative treatment commonly includes system removal. A case caused by Granulicatella adiacens occurred in a 32-year-old woman. Clinical course, literature review, and biofilm investigations enabled successful antibiotic management without system removal

An individual-based model of the evolution of pesticide resistance in heterogeneous environments : Control of meligethes aeneus population in oilseed rape crops

Copyright: © 2014 Stratonovitch et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Preventing a pest population from damaging an agricultural crop and, at the same time, preventing the development of pesticide resistance is a major challenge in crop protection. Understanding how farming practices and environmental factors interact with pest characteristics to influence the spread of resistance is a difficult and complex task. It is extremely challenging to investigate such interactions experimentally at realistic spatial and temporal scales. Mathematical modelling and computer simulation have, therefore, been used to analyse resistance evolution and to evaluate potential resistance management tactics. Of the many modelling approaches available, individual-based modelling of a pest population offers most flexibility to include and analyse numerous factors and their interactions. Here, a pollen beetle (Meligethes aeneus) population was modelled as an aggregate of individual insects inhabiting a spatially heterogeneous landscape. The development of the pest and host crop (oilseed rape) was driven by climatic variables. The agricultural land of the landscape was managed by farmers applying a specific rotation and crop protection strategy. The evolution of a single resistance allele to the pyrethroid lambda cyhalothrin was analysed for different combinations of crop management practices and for a recessive, intermediate and dominant resistance allele. While the spread of a recessive resistance allele was severely constrained, intermediate or dominant resistance alleles showed a similar response to the management regime imposed. Calendar treatments applied irrespective of pest density accelerated the development of resistance compared to ones applied in response to prescribed pest density thresholds. A greater proportion of springs own oilseed rape was also found to increase the speed of resistance as it increased the period of insecticide exposure. Our study demonstrates the flexibility and power of an individual-based model to simulate how farming practices affect pest population dynamics, and the consequent impact of different control strategies on the risk and speed of resistance development.Peer reviewe

Recent visible light and metal free strategies in [2+2] and [4+2] photocycloadditions

When aiming to synthesize molecules with elevated molecular complexity starting from relatively simple starting materials, photochemical transformations represent an open avenue to circumvent analogous multistep procedures. Specifically, light-mediated cycloadditions remain as powerful tools to generate new bonds begotten from non-very intuitive disconnections, that alternative thermal protocols would not offer. In response to the current trend in both industrial and academic research pointing towards green and sustainable processes, several strategies that meet these requirements are currently available in the literature. This Minireview summarizes [2+2] and [4+2] photocycloadditions that do not require the use of metal photocatalysts by means of alternative strategies. It is segmented according to the cycloaddition type in order to give the reader a friendly approach and we primarily focus on the most recent developments in the field carried out using visible light, a general overview of the mechanism in each case is offered as wellFinancial support was provided by the European Research Council (ERC-CoG, Contract Number: 647550), the Spanish Government (RTI2018-095038-B-I00), the ‘Comunidad de Madrid’ and European Structural Funds (S2018/NMT-4367). R. I. R thanks Fundación Carolina for a graduate fellowshi