Strong Approximations of Shifts and the Characteristic Measures Problem

Every symbolic system supports a Borel measure that is invariant under the shift, but it is not known if every such systems supports a measure that is invariant under all of its automorphisms; known as a characteristic measure. We give sufficient conditions to find a characteristic measure, additionally showing when it can be taken to be a measure of maximal entropy. The class of systems to which these sufficient conditions apply is large, containing a dense $G_{\delta}$ set in the space of all shifts on a given alphabet, and is also large in the sense that it is closed under taking factors. We also investigate natural systems to which these sufficient conditions apply

Interferometric observations of the multiple stellar system delta Velorum

delta Velorum is a nearby (24pc) triple stellar system, containing a close, eclipsing binary (Aa, Ab) discovered in 2000. Multiple systems provide an opportunity to determine the set of fundamental parameters (mass, luminosity, size and chemical composition) of coeval stars. These parameters can be obtained with particular precision in the case of eclipsing binaries; for delta Velorum's components (Aa, Ab) this potential has however not yet been exploited. We have analyzed interferometric observations of the close binary (Aa, Ab), obtained with the VINCI instrument and two VLTI siderostats. The measurements, which resolve the two components for the first time, are fitted onto the simple model of two uniformly bright, spherical stars. The observations suggest that Aa and Ab have larger diameters than expected if they were on the main sequence, and that they are, thus, in a later evolutionary state.Comment: 6 pages, Research Note accepted for publication in A&

Potential Errors and Test Assessment in Software Product Line Engineering

Software product lines (SPL) are a method for the development of variant-rich software systems. Compared to non-variable systems, testing SPLs is extensive due to an increasingly amount of possible products. Different approaches exist for testing SPLs, but there is less research for assessing the quality of these tests by means of error detection capability. Such test assessment is based on error injection into correct version of the system under test. However to our knowledge, potential errors in SPL engineering have never been systematically identified before. This article presents an overview over existing paradigms for specifying software product lines and the errors that can occur during the respective specification processes. For assessment of test quality, we leverage mutation testing techniques to SPL engineering and implement the identified errors as mutation operators. This allows us to run existing tests against defective products for the purpose of test assessment. From the results, we draw conclusions about the error-proneness of the surveyed SPL design paradigms and how quality of SPL tests can be improved.Comment: In Proceedings MBT 2015, arXiv:1504.0192

A Heuristic Approach for Discovering Reference Models by Mining Process Model Variants

Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime while preserving PAIS robustness and consistency. Such flexibility, in turn, leads to a large number of process variants derived from the same model, but differing in structure. Generally, such variants are expensive to configure and maintain. This paper provides a heuristic search algorithm which fosters learning from past process changes by mining process variants. The algorithm discovers a reference model based on which the need for future process configuration and adaptation can be reduced. It additionally provides the flexibility to control the process evolution procedure, i.e., we can control to what degree the discovered reference model differs from the original one. As benefit, we can not only control the effort for updating the reference model, but also gain the flexibility to perform only the most important adaptations of the current reference model. Our mining algorithm is implemented and evaluated by a simulation using more than 7000 process models. Simulation results indicate strong performance and scalability of our algorithm even when facing large-sized process models

Integrity Constraint Checking in Federated Databases

A federated database is comprised of multiple interconnected databases that cooperate in an autonomous fashion. Global integrity constraints are very useful in federated databases, but the lack of global queries, global transaction mechanisms, and global concurrency control renders traditional constraint management techniques inapplicable. The paper presents a threefold contribution to integrity constraint checking in federated databases: (1) the problem of constraint checking in a federated database environment is clearly formulated; (2) a family of cooperative protocols for constraint checking is presented; (3) the differences across protocols in the family are analyzed with respect to system requirements, properties guaranteed, and costs involved. Thus, we provide a suite of options with protocols for various environments with specific system capabilities and integrity requirement

Occurrence and dissipation of the antibiotics sulfamethoxazole, sulfadiazine, trimethoprim, and enrofloxacin in the Mekong Delta, Vietnam

The Mekong Delta in Vietnam has seen a rapid development and intensification of aquaculture in the last decades, with a corresponding widespread use of antibiotics. This study provides information on current antibiotic use in freshwater aquaculture, as well as on resulting antibiotic concentrations in the aquatic environment of the Mekong Delta. Two major production steps, fish hatcheries and mature fish cultivation, were surveyed (50 fish farm interviews) for antibiotic use. Different water sources, including surface water, groundwater and piped water (164 water samples) were systematically screened for antibiotic residues. To better understand antibiotic fate under tropical conditions, the dissipation behavior of selected antibiotics in the aquatic environment was investigated for the first time in mesocosm experiments. None of the investigated antibiotics were detected in groundwater and piped water samples. Surface water, which is still often used for drinking and domestic purposes by local populations, contained median concentrations of 21 ng L-1 sulfamethoxazole (SMX), 4 ng L-1 sulfadiazine (SDZ), 17 ng L-1 trimethoprim (TRIM), and 12 ng L-1 enrofloxacin (ENRO). These concentrations were lower than the predicted no effect concentrations (PNECs) and minimum inhibitory concentrations (MICs), suggesting limited antibiotic-related risk to aquatic ecosystems in the monitored systems. The dissipation half-lives of the studied antibiotics ranged from <1 to 44 days, depending on the availability of sunlight and sediment. Among the studied antibiotics TRIM was the most persistent in water systems. TRIM was not susceptible to photodegradation, while the dissipation of ENRO and SDZ was influenced by photolysis. The recorded dissipation models gave good predictions of the occurrence and concentrations of TRIM, ENRO and SDZ in surface water. In summary, the currently measured concentrations of the investigated antibiotics are unlikely to cause immediate risks to the aquatic environment, yet the persistence of these antibiotics is of concern and might lead to chronic exposure of aquatic organisms as well as humans

The Interlace Polynomial

In this paper, we survey results regarding the interlace polynomial of a graph, connections to such graph polynomials as the Martin and Tutte polynomials, and generalizations to the realms of isotropic systems and delta-matroids.Comment: 18 pages, 5 figures, to appear as a chapter in: Graph Polynomials, edited by M. Dehmer et al., CRC Press/Taylor & Francis Group, LL