On infinitesimal deformations of cmc surfaces of finite type in the 3-sphere

We describe infinitesimal deformations of constant mean curvature surfaces of finite type in the 3-sphere. We use Baker-Akhiezer functions to describe such deformations, as well as polynomial Killing fields and the corresponding spectral curve to distinguish between isospectral and non-isospectral deformations.Comment: 19 page

Multi-type TASEP in discrete time

The TASEP (totally asymmetric simple exclusion process) is a basic model for an one-dimensional interacting particle system with non-reversible dynamics. Despite the simplicity of the model it shows a very rich and interesting behaviour. In this paper we study some aspects of the TASEP in discrete time and compare the results to the recently obtained results for the TASEP in continuous time. In particular we focus on stationary distributions for multi-type models, speeds of second-class particles, collision probabilities and the "speed process". In discrete time, jump attempts may occur at different sites simultaneously, and the order in which these attempts are processed is important; we consider various natural update rules.Comment: 36 page

Closure and commutability results for Gamma-limits and the geometric linearization and homogenization of multi-well energy functionals

Under a suitable notion of equivalence of integral densities we prove a $\Gamma$-closure theorem for integral functionals: The limit of a sequence of $\Gamma$-convergent families of such functionals is again a $\Gamma$-convergent family. Its $\Gamma$-limit is the limit of the $\Gamma$-limits of the original problems. This result not only provides a common basic principle for a number of linearization and homogenization results in elasticity theory. It also allows for new applications as we exemplify by proving that geometric linearization and homogenization of multi-well energy functionals commute

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

On mean-convex Alexandrov embedded surfaces in the 3-sphere

We consider mean-convex Alexandrov embedded surfaces in the round unit 3-sphere, and show under which conditions it is possible to continuously deform these preserving mean-convex Alexandrov embeddedness.Comment: arXiv admin note: substantial text overlap with arXiv:1309.427

Flows of constant mean curvature tori in the 3-sphere: The equivariant case

We present a deformation for constant mean curvature tori in the 3-sphere. We show that the moduli space of equivariant constant mean curvature tori in the 3-sphere is connected, and we classify the minimal, the embedded, and the Alexandrov embedded tori therein. We conclude with an instability result.Comment: v2: 33 pages, 9 figures. Instability result adde

Genetic engineering of baker’s and wine yeasts using formaldehyde hyperresistance-mediating plasmids

Yeast multi-copy vectors carrying the for maldehyde-resistance marker gene SFA have proved to be a valuable tool for research on industrially used strains of Saccharomyces cerevisiae. The genetics of these strains is often poorly understood, and for various reasons it is not possible to simply subject these strains to protocols of genetic engineering that have been established for laboratory strains of S. cerevisiae. We tested our vectors and protocols using 10 randomly picked baker’s and wine yeasts all of which could be transformed by a simple protocol with vectors conferring hyperresistance to formaldehyde. The application of formaldehyde as a selecting agent also offers the advantage of its biodegradation to CO2 during fermentation, i.e., the selecting agent will be consumed and therefore its removal during down-stream processing is not necessary. Thus, this vector provides an expression system which is simple to apply and inexpensive to use. Key words: · Yeast · Transformation · Hyperresistance to formaldehyd

The Closure of Spectral Data for Constant Mean Curvature Tori in S3 S ^ 3

The spectral curve correspondence for finite-type solutions of the sinh-Gordon equation describes how they arise from and give rise to hyperelliptic curves with a real structure. Constant mean curvature (CMC) 2-tori in $S ^ 3$ result when these spectral curves satisfy periodicity conditions. We prove that the spectral curves of CMC tori are dense in the space of smooth spectral curves of finite-type solutions of the sinh-Gordon equation. One consequence of this is the existence of countably many real $n$-dimensional families of CMC tori in $S ^ 3$ for each positive integer $n$.Comment: 20 page