Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-standing open problem. In this paper, we focus on the subclass of quadratic word equations, i.e., in which each variable occurs at most twice. We first show that the length abstractions of solutions to quadratic word equations are in general not Presburger-definable. We then describe a class of counter systems with Presburger transition relations which capture the length abstraction of a quadratic word equation with regular constraints. We provide an encoding of the effect of a simple loop of the counter systems in the theory of existential Presburger Arithmetic with divisibility (PAD). Since PAD is decidable, we get a decision procedure for quadratic words equations with length constraints for which the associated counter system is \emph{flat} (i.e., all nodes belong to at most one cycle). We show a decidability result (in fact, also an NP algorithm with a PAD oracle) for a recently proposed NP-complete fragment of word equations called regular-oriented word equations, together with length constraints. Decidability holds when the constraints are additionally extended with regular constraints with a 1-weak control structure.Comment: 18 page

Sexual Selection on male cuticular hydrocarbons via male-male competition and female choice

This is the final version of the article. Available from the publisher via the DOI in this record.Traditional views of sexual selection assumed that male-male competition and female mate choice work in harmony, selecting upon the same traits in the same direction. However, we now know that this is not always the case and that these two mechanisms often impose conflicting selection on male sexual traits. Cuticular hydrocarbons (CHCs) have been shown to be linked to both social dominance and male attractiveness in several insect species. However, although several studies have estimated the strength and form of sexual selection imposed on male CHCs by female mate choice, none have established whether these chemical traits are also subject to sexual selection via male-male competition. Using a multivariate selection analysis, we estimate and compare sexual selection exerted by male-male competition and female mate choice on male CHC composition in the broad-horned flour beetle Gnatocerus cornutus. We show that male-male competition exerts strong linear selection on both overall CHC abundance and body size in males, while female mate choice exerts a mixture of linear and nonlinear selection, targeting not just the overall amount of CHCs expressed but the relative abundance of specific hydrocarbons as well. We discuss the potential implications of this antagonistic selection with regard to male reproductive success

Ocean acidification and the loss of phenolic substances in marine plants.

Rising atmospheric CO(2) often triggers the production of plant phenolics, including many that serve as herbivore deterrents, digestion reducers, antimicrobials, or ultraviolet sunscreens. Such responses are predicted by popular models of plant defense, especially resource availability models which link carbon availability to phenolic biosynthesis. CO(2) availability is also increasing in the oceans, where anthropogenic emissions cause ocean acidification, decreasing seawater pH and shifting the carbonate system towards further CO(2) enrichment. Such conditions tend to increase seagrass productivity but may also increase rates of grazing on these marine plants. Here we show that high CO(2) / low pH conditions of OA decrease, rather than increase, concentrations of phenolic protective substances in seagrasses and eurysaline marine plants. We observed a loss of simple and polymeric phenolics in the seagrass Cymodocea nodosa near a volcanic CO(2) vent on the Island of Vulcano, Italy, where pH values decreased from 8.1 to 7.3 and pCO(2) concentrations increased ten-fold. We observed similar responses in two estuarine species, Ruppia maritima and Potamogeton perfoliatus, in in situ Free-Ocean-Carbon-Enrichment experiments conducted in tributaries of the Chesapeake Bay, USA. These responses are strikingly different than those exhibited by terrestrial plants. The loss of phenolic substances may explain the higher-than-usual rates of grazing observed near undersea CO(2) vents and suggests that ocean acidification may alter coastal carbon fluxes by affecting rates of decomposition, grazing, and disease. Our observations temper recent predictions that seagrasses would necessarily be "winners" in a high CO(2) world

Diffuse Gamma Rays: Galactic and Extragalactic Diffuse Emission

"Diffuse" gamma rays consist of several components: truly diffuse emission from the interstellar medium, the extragalactic background, whose origin is not firmly established yet, and the contribution from unresolved and faint Galactic point sources. One approach to unravel these components is to study the diffuse emission from the interstellar medium, which traces the interactions of high energy particles with interstellar gas and radiation fields. Because of its origin such emission is potentially able to reveal much about the sources and propagation of cosmic rays. The extragalactic background, if reliably determined, can be used in cosmological and blazar studies. Studying the derived "average" spectrum of faint Galactic sources may be able to give a clue to the nature of the emitting objects.Comment: 32 pages, 28 figures, kapproc.cls. Chapter to the book "Cosmic Gamma-Ray Sources," to be published by Kluwer ASSL Series, Edited by K. S. Cheng and G. E. Romero. More details can be found at http://www.gamma.mpe-garching.mpg.de/~aws/aws.htm

HIV infection and domestic smoke exposure, but not human papillomavirus, are risk factors for esophageal squamous cell carcinoma in Zambia: a case-control study

(c) 2015 The Authors. Cancer Medicine published by John Wiley & Sons Ltd. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited

Analysis of cybersecurity threats in Industry 4.0: the case of intrusion detection

Nowadays, industrial control systems are experiencing a new revolution with the interconnection of the operational equipment with the Internet, and the introduction of cutting-edge technologies such as Cloud Computing or Big data within the organization. These and other technologies are paving the way to the Industry 4.0. However, the advent of these technologies, and the innovative services that are enabled by them, will also bring novel threats whose impact needs to be understood. As a result, this paper provides an analysis of the evolution of these cyber-security issues and the requirements that must be satis ed by intrusion detection defense mechanisms in this context.Springer ; Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Respondent Characteristics and Domestic Environmental Factors That Influence the Tb Cases in Widasari Subdistrict, Indramayu

Penelitian ini difokuskan kepada karakteristik responden dan factor lingkungan domestik yang mempengaruhi kasus TB. Tujuan penelitian ini adalah untuk meningkatkan pengetahuan kita mengenai kedua hal tersebut yang mempengaruhi TB terutama di Kecamatan Widasari, Kabupaten Indramayu, Jawa Barat.Desain penelitian adalah case-control dengan memeriksa 30 kasus TB yang terdaftar di Puskesmas Widasari dan 30 kontrol. Hasil penelitian menunjukkan bahwa ada hubungan yang signifikan antara kasus TB dengan merokok di dalam rumah, tipe dan luas lantai rumah, tinggi atap dan volume ruang tidur serta ventilasi. Hasil analisis regresi logistik menunjukkan bahwa faktor yang paling menentukan adalah tipe lantai rumah dan status merokok dari responden. Beberapa rekomendasi untuk mengurangi jumlah kasus TB tennasuk strategi promosi "rumah sehat", program promosi kesehatan yang intensif berfokus pada faktor lingkungan domestik yang berpengaruh pada angka prevalensi TB. Pemerintah sebaiknya memberikan keluarga dari golongan ekonomi lemah suatu dukungan berupa skema renovasi rumah untuk membangun rumah sehat

Towards an Achievable Performance for the Loop Nests

Numerous code optimization techniques, including loop nest optimizations, have been developed over the last four decades. Loop optimization techniques transform loop nests to improve the performance of the code on a target architecture, including exposing parallelism. Finding and evaluating an optimal, semantic-preserving sequence of transformations is a complex problem. The sequence is guided using heuristics and/or analytical models and there is no way of knowing how close it gets to optimal performance or if there is any headroom for improvement. This paper makes two contributions. First, it uses a comparative analysis of loop optimizations/transformations across multiple compilers to determine how much headroom may exist for each compiler. And second, it presents an approach to characterize the loop nests based on their hardware performance counter values and a Machine Learning approach that predicts which compiler will generate the fastest code for a loop nest. The prediction is made for both auto-vectorized, serial compilation and for auto-parallelization. The results show that the headroom for state-of-the-art compilers ranges from 1.10x to 1.42x for the serial code and from 1.30x to 1.71x for the auto-parallelized code. These results are based on the Machine Learning predictions.Comment: Accepted at the 31st International Workshop on Languages and Compilers for Parallel Computing (LCPC 2018

Topological Entanglement Entropy of a Bose-Hubbard Spin Liquid

The Landau paradigm of classifying phases by broken symmetries was demonstrated to be incomplete when it was realized that different quantum Hall states could only be distinguished by more subtle, topological properties. Today, the role of topology as an underlying description of order has branched out to include topological band insulators, and certain featureless gapped Mott insulators with a topological degeneracy in the groundstate wavefunction. Despite intense focus, very few candidates for these topologically ordered "spin liquids" exist. The main difficulty in finding systems that harbour spin liquid states is the very fact that they violate the Landau paradigm, making conventional order parameters non-existent. Here, we uncover a spin liquid phase in a Bose-Hubbard model on the kagome lattice, and measure its topological order directly via the topological entanglement entropy. This is the first smoking-gun demonstration of a non-trivial spin liquid, identified through its entanglement entropy as a gapped groundstate with emergent Z2 gauge symmetry.Comment: 4+ pages, 3 figure