Time filter

Source Type

Maffeo C.,University of Illinois at Urbana - Champaign | Schopflin R.,Stralsund University of Applied Sciences | Brutzer H.,TU Dresden | Stehr R.,Stralsund University of Applied Sciences | And 3 more authors.
Physical Review Letters | Year: 2010

DNA-DNA interactions are important for genome compaction and transcription regulation. In studies of such complex processes, DNA is often modeled as a homogeneously charged cylinder and its electrostatic interactions are calculated within the framework of the Poisson-Boltzmann equation. Commonly, a charge adaptation factor is used to address limitations of this theoretical approach. Despite considerable theoretical and experimental efforts, a rigorous quantitative assessment of this parameter is lacking. Here, we comprehensively characterized DNA-DNA interactions in the presence of monovalent ions by analyzing the supercoiling behavior of single DNA molecules held under constant tension. Both a theoretical model and coarse-grained simulations of this process revealed a surprisingly small effective DNA charge of 40% of the nominal charge density, which was additionally supported by all-atom molecular dynamics simulations. © 2010 The American Physical Society.


Jager G.,Stralsund University of Applied Sciences
Iranian Journal of Fuzzy Systems | Year: 2016

We apply Preuß’ concept of E-connectedness to the categories of lattice-valued uniform convergence spaces and of lattice-valued uniform spaces. A space is uniformly E-connected if the only uniformly continuous mappings from the space to a space in the class E are the constant mappings. We develop the basic theory for E-connected sets, including the product theorem. Furthermore, we define and study uniform local E-connectedness, generalizing a classical definition from the theory of uniform convergence spaces to the lattice-valued case. In particular it is shown that if the underlying lattice is completely distributive, the quotient space of a uniformly locally E-connected space and products of locally uniformly E-connected spaces are locally uniformly E-connected. © 2016, University of Sistan and Baluchestan. All rights reserved.


Pieper J.,Stralsund University of Applied Sciences
IEEE Global Engineering Education Conference, EDUCON | Year: 2015

Software processes and Software Engineering (SE) methods belong to those knowledge areas which are challenging to be taught intuitively accessible. The specification 'Kernel and Language for Software Engineering Methods (Essence)' [1] claims to deliver an approach to consolidate all essential dimensions of SE-endeavors into an universal compact and actionable kernel. This paper describes the characteristics of the Essence specification with respect to its suitability for use in academic SE education where students get introduced to the world of SE methods and software processes. To enable a deep understanding of the Essence concepts in an academic setting a suitable approach is needed. The integrated approach presented in this paper introduces students stepwise into the concepts of Essence. It lets them explore the concepts in a virtual simulated game environment and finally deploy them in real world SE endeavors. Thereby an efficient and engaging learning arrangement supports the active construction of knowledge. It encourages active exploration, enables the viewing of the learning object from different perspectives and promotes articulation and reflection in social interchange early in the learning process. Key objectives of this approach are to sensitize students for the diversity of dimensions that have to be taken into account in a SE endeavor, to provide a valuable guidance for using SE methods inside and outside of their curriculum and to enable students to transfer their newly acquired knowledge to other contexts. © 2015 IEEE.


Jager G.,Stralsund University of Applied Sciences
Fuzzy Sets and Systems | Year: 2016

We develop a general theory of convergence for lattice-valued spaces based on the concept of s-stratified LM-filters. For different choices of the frames L and M, different kinds of filters arise, and suitable choices of the lattice N allow to view many existing fuzzy and probabilistic convergence spaces as special examples of our stratified LMN-convergence tower spaces. The stratification requires a certain relation between the frames L and M and we use a so-called stratification mapping to this end. The stratification condition is used to show that the resulting category is fiber-small and hence Cartesian closedness is equivalent to the existence of natural function spaces. We give several examples for our spaces for different choices of the lattices L, M and N with a special focus on enriched LM-fuzzy topological spaces. Finally, we study diagonal axioms and regularity. © 2015 Elsevier B.V.


Falkowski B.-J.,Stralsund University of Applied Sciences
World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf. | Year: 2012

A solution of the ranking problem using kernels is described. As a consequence an elegant probabilistic ranking algorithm is obtained from the pocket algorithm. This removes a restriction from a former paper and simplifies proofs considerably. In addition results concerning class probabilities are exhibited. Some preliminary experimental results are reported and briefly discussed.


Jager G.,Stralsund University of Applied Sciences
Fuzzy Sets and Systems | Year: 2016

We generalize Preuss' E-connectedness to lattice-valued convergence spaces and prove the basic theory for connected sets, including the product theorem. We further give a suitable definition of local E-connectedness and study its properties. © 2015 Elsevier B.V.


Pieper J.,Stralsund University of Applied Sciences
2012 2nd International Workshop on Games and Software Engineering: Realizing User Engagement with Game Engineering Techniques, GAS 2012 - Proceedings | Year: 2012

Software Processes belong to those knowledge areas of software engineering that are less suitable to be taught classically in lectures. Class projects which frequently complement lectures are limited by academic settings in various ways too. Simulation and digital game-based learning are considered to have great potential to extend the learning experiences beyond lectures and class projects, help to develop insight into the necessity of software processes and to widen the perspective of software engineering students in a virtual and efficient way. Several efforts made by different research groups show encouraging results. This research gathers preliminary findings, develops new ideas and gives suggestions to exhaust the potential further and to encourage the wider application of digital game-based learning in software engineering education. These suggestions are the foundation for building blocks of a new framework for simulation based digital learning games aiming to teach software engineering processes more effectively and efficiently. © 2012 IEEE.


Torsel A.-M.,Stralsund University of Applied Sciences
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013 | Year: 2013

Test case generation from formal models using model checking software is an established method. This paper presents a model-based testing approach for web applications based on a domain-specific language model. It is shown how the domain-specific language is transformed into the input language of the NuSMV model checker and how the resulting traces are converted into executable test scripts for various test automation tools. The presented approach has been implemented with comprehensive automation in a research tool which architecture is outlined. © 2013 IEEE.


Torsel A.-M.,Stralsund University of Applied Sciences
Proceedings - International Computer Software and Applications Conference | Year: 2011

Model-based testing is a promising technique for test case design that is used in an increasing number of application domains. However, to fully gain efficiency advantages, intuitive domain-specific notations with comfortable tool support as well as a high degree of automation in the whole testing process are required. In this paper, a model-based testing approach for web application black box testing is presented. A notation for web application control flow models augmented with data flow information is introduced. The described research prototype demonstrates the fully automated generation of ready to use test case scripts for common test automation tools including test oracles from the model. © 2011 IEEE.


Jager G.,Stralsund University of Applied Sciences
Fuzzy Sets and Systems | Year: 2015

We define and study diagonal axioms for lattice-valued Cauchy spaces. A completion of a weakly diagonal lattice-valued Cauchy space is constructed, which is weakly diagonal and the coarsest among such completions. It is at the same time at least as fine as any weakly regular completion. © 2014 Elsevier B.V. All rights reserved.

Loading Stralsund University of Applied Sciences collaborators
Loading Stralsund University of Applied Sciences collaborators