43,876 research outputs found
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
-closure theorem for integral functionals: The limit of a sequence of
-convergent families of such functionals is again a -convergent
family. Its -limit is the limit of the -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
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 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 -dimensional families of CMC tori in for each positive integer .Comment: 20 page
- …