@article{4697,
  author       = {{Sommerauer, Peter and Müller, Oliver}},
  isbn         = {{0360-1315}},
  issn         = {{03601315}},
  journal      = {{Computers and Education}},
  keywords     = {{Augmented reality, Cognitive theory of multimedia learning, Field experiment, Informal learning, Museum}},
  pages        = {{59----68}},
  title        = {{{Augmented reality in informal learning environments: A field experiment in a mathematics exhibition}}},
  doi          = {{10.1016/j.compedu.2014.07.013}},
  year         = {{2014}},
}

@article{34845,
  abstract     = {{Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial, is a very old problem. Currently, the best algorithmic solution is Stauduhar’s method. Computationally, one of the key challenges in the application of Stauduhar’s method is to find, for a given pair of groups H<G, a G-relative H-invariant, that is a multivariate polynomial F that is H-invariant, but not G-invariant. While generic, theoretical methods are known to find such F, in general they yield impractical answers. We give a general method for computing invariants of large degree which improves on previous known methods, as well as various special invariants that are derived from the structure of the groups. We then apply our new invariants to the task of computing the Galois groups of polynomials over the rational numbers, resulting in the first practical degree independent algorithm.}},
  author       = {{Fieker, Claus and Klüners, Jürgen}},
  issn         = {{1461-1570}},
  journal      = {{LMS Journal of Computation and Mathematics}},
  keywords     = {{Computational Theory and Mathematics, General Mathematics}},
  number       = {{1}},
  pages        = {{141--158}},
  publisher    = {{Wiley}},
  title        = {{{Computation of Galois groups of rational polynomials}}},
  doi          = {{10.1112/s1461157013000302}},
  volume       = {{17}},
  year         = {{2014}},
}

@article{42793,
  abstract     = {{Suppose Q is a definite quadratic form on a vector space V over some totally real field K ≠ Q. Then the maximal integral Zₖ-lattices in (V,Q) are locally isometric everywhere and hence form a single genus. We enumerate all orthogonal spaces (V,Q) of dimension at least 3, where the corresponding genus of maximal integral lattices consists of a single isometry class. It turns out, there are 471 such genera. Moreover, the dimension of V and the degree of K are bounded by 6 and 5 respectively. This classification also yields all maximal quaternion orders of type number one.}},
  author       = {{Kirschmer, Markus}},
  issn         = {{0022-314X}},
  journal      = {{Journal of Number Theory}},
  keywords     = {{Algebra and Number Theory}},
  pages        = {{375--393}},
  publisher    = {{Elsevier BV}},
  title        = {{{One-class genera of maximal integral quadratic forms}}},
  doi          = {{10.1016/j.jnt.2013.10.007}},
  volume       = {{136}},
  year         = {{2014}},
}

@article{42794,
  abstract     = {{We exhibit a practical algorithm for solving the constructive membership problem for discrete free subgroups of rank 2 in PSL₂(R) or SL₂(R). This algorithm, together with methods for checking whether a two-generator subgroup of PSL₂(R) or SL₂(R) is discrete and free, have been implemented in Magma for groups defined over real algebraic number fields.}},
  author       = {{Eick, B. and Kirschmer, Markus and Leedham-Green, C.}},
  issn         = {{1461-1570}},
  journal      = {{LMS Journal of Computation and Mathematics}},
  keywords     = {{Computational Theory and Mathematics, General Mathematics}},
  number       = {{1}},
  pages        = {{345--359}},
  publisher    = {{Wiley}},
  title        = {{{The constructive membership problem for discrete free subgroups of rank 2 of SL₂(R)}}},
  doi          = {{10.1112/s1461157014000047}},
  volume       = {{17}},
  year         = {{2014}},
}

@article{46266,
  author       = {{Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}},
  issn         = {{0018-9340}},
  journal      = {{IEEE Transactions on Computers}},
  keywords     = {{Computational Theory and Mathematics, Hardware and Architecture, Theoretical Computer Science, Software}},
  pages        = {{1--1}},
  publisher    = {{Institute of Electrical and Electronics Engineers (IEEE)}},
  title        = {{{A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}}},
  doi          = {{10.1109/tc.2014.2329687}},
  year         = {{2014}},
}

@inproceedings{4478,
  abstract     = {{The purpose of the research was to develop and validate an instrument for the assessment of attitudes towards the study environment in higher education contexts. The questionnaire is designed to measure students' attitudes towards two particular objects: the university (or Higher Education Institution) and the process of studying. Five studies at two different universities were conducted to develop and validate the Attitudes towards the Study Environment Questionnaire (ASEQ). In total, 1640 students filled in the questionnaire. Reliability tests and exploratory factor analysis as well as confirmatory factor analysis showed satisfactory psychometric characteristics of the ASEQ. Each part of the questionnaire is internally consistent and construct validity of the scales is supported by correlations with other constructs as assumed by current theories: Positive attitudinal constructs (normative behavior, autonomy, joy, self-efficacy, and task value) are positively related to intrinsic motivation and the expected study performance while anxiety is negatively related to these constructs. 
Since attitudes towards the study situation are connected to student engagement and motivation, the study contributes to the theory of student learning by providing a validated instrument to assess attitudes. Thus, the ASEQ can support further research on student performance and development by providing an instrument for the hitherto neglected but nonetheless extremely relevant domain of attitudes. Also, the questionnaire can be used as a diagnostic instrument for higher education faculty and administration to trace students' attitudinal development over time - a factor of prime importance for student socialization during the introductory phase of studying.}},
  author       = {{Brahm, Taiga and Jenert, Tobias and Euler, Dieter}},
  keywords     = {{attitudes, teaching and learning, studying, higher education institution, theory of planned behavior, instrument development}},
  location     = {{München }},
  publisher    = {{EARLI European Association for Research on Learning and Instruction}},
  title        = {{{On the assessment of attitudes towards the study process and the university: Attitudes towards the Study Environment Questionnaire (ASEQ)}}},
  year         = {{2013}},
}

@inproceedings{4481,
  abstract     = {{Die vorliegende Untersuchung an der Universität St. Gallen soll Erkenntnisse über die Verläufe der Einstellungsveränderungen der Studierenden geben (vgl. Brahm & Jenert, 2012). Basierend auf der Theorie des geplanten Verhaltens (Ajzen & Fishbein, 1980) werden drei Forschungsfragen adressiert: (1) Gibt es typische Pfade der Einstellungsentwicklung? (2) Wie wird das normative Verhalten von Mitstudierenden und anderen Personen wahrgenommen? (3) Welche Erfahrungen beeinflussen die Entwicklung? Zur Beantwortung dieser Fragen wurde über das erste Studienjahr hinweg eine Interviewserie mit 13 Studierenden durchgeführt. Die Datenanalyse mithilfe grafischer Case Histories zeigt, dass die Einstellungen der Probanden über die Zeit differenzierter werden. Zudem gibt es Widersprüche zwischen den Einstellungen und dem wahrgenommenen normativen Verhalten. Dabei ist die Einstellungsentwicklung von konkreten Ereignissen geprägt und kann damit durch strukturelle Interventionen beeinflusst werden.}},
  author       = {{Jenert, Tobias and Brahm, Taiga}},
  keywords     = {{student attitudes, theory of planned behaviour, Einstellungsentwicklung, student motivation}},
  location     = {{Hildesheim}},
  publisher    = {{Institut für Psychologie}},
  title        = {{{Die Entwicklung studien-und hochschulbezogener Einstellungen an einer Wirtschaftsuniversität: eine qualitative Längsschnittstudie}}},
  year         = {{2013}},
}

@inproceedings{4698,
  author       = {{Gregor, Shirley and Müller, Oliver and Seidel, Stefan}},
  booktitle    = {{European Conference on Information Systems}},
  keywords     = {{Abstraction, Affordances, Design Science Research, Design Theory, Information Systems Development, Reflection, Theorizing}},
  title        = {{{Reflection, abstraction and theorizing in design and development research}}},
  year         = {{2013}},
}

@inproceedings{11716,
  abstract     = {{The accuracy of automatic speech recognition systems in noisy and reverberant environments can be improved notably by exploiting the uncertainty of the estimated speech features using so-called uncertainty-of-observation techniques. In this paper, we introduce a new Bayesian decision rule that can serve as a mathematical framework from which both known and new uncertainty-of-observation techniques can be either derived or approximated. The new decision rule in its direct form leads to the new significance decoding approach for Gaussian mixture models, which results in better performance compared to standard uncertainty-of-observation techniques in different additive and convolutive noise scenarios.}},
  author       = {{Abdelaziz, Ahmed H. and Zeiler, Steffen and Kolossa, Dorothea and Leutnant, Volker and Haeb-Umbach, Reinhold}},
  booktitle    = {{Acoustics, Speech and Signal Processing (ICASSP), 2013 IEEE International Conference on}},
  issn         = {{1520-6149}},
  keywords     = {{Bayes methods, Gaussian processes, convolution, decision theory, decoding, noise, reverberation, speech coding, speech recognition, Bayesian decision rule, GMM, Gaussian mixture models, additive noise scenarios, automatic speech recognition systems, convolutive noise scenarios, decoding approach, mathematical framework, reverberant environments, significance decoding, speech feature estimation, uncertainty-of-observation techniques, Hidden Markov models, Maximum likelihood decoding, Noise, Speech, Speech recognition, Uncertainty, Uncertainty-of-observation, modified imputation, noise robust speech recognition, significance decoding, uncertainty decoding}},
  pages        = {{6827--6831}},
  title        = {{{GMM-based significance decoding}}},
  doi          = {{10.1109/ICASSP.2013.6638984}},
  year         = {{2013}},
}

@inproceedings{11917,
  abstract     = {{In this paper we present a speech presence probability (SPP) estimation algorithmwhich exploits both temporal and spectral correlations of speech. To this end, the SPP estimation is formulated as the posterior probability estimation of the states of a two-dimensional (2D) Hidden Markov Model (HMM). We derive an iterative algorithm to decode the 2D-HMM which is based on the turbo principle. The experimental results show that indeed the SPP estimates improve from iteration to iteration, and further clearly outperform another state-of-the-art SPP estimation algorithm.}},
  author       = {{Vu, Dang Hai Tran and Haeb-Umbach, Reinhold}},
  booktitle    = {{38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013)}},
  issn         = {{1520-6149}},
  keywords     = {{correlation methods, estimation theory, hidden Markov models, iterative methods, probability, spectral analysis, speech processing, 2D HMM, SPP estimates, iterative algorithm, posterior probability estimation, spectral correlation, speech presence probability estimation, state-of-the-art SPP estimation algorithm, temporal correlation, turbo principle, two-dimensional hidden Markov model, Correlation, Decoding, Estimation, Iterative decoding, Noise, Speech, Vectors}},
  pages        = {{863--867}},
  title        = {{{Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation}}},
  doi          = {{10.1109/ICASSP.2013.6637771}},
  year         = {{2013}},
}

@article{37672,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>Let <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline1" /><jats:tex-math>${F}_{BC} (\lambda , k; t)$</jats:tex-math></jats:alternatives></jats:inline-formula> be the Heckman–Opdam hypergeometric function of type BC with multiplicities <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline2" /><jats:tex-math>$k= ({k}_{1} , {k}_{2} , {k}_{3} )$</jats:tex-math></jats:alternatives></jats:inline-formula> and weighted half-sum <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline3" /><jats:tex-math>$\rho (k)$</jats:tex-math></jats:alternatives></jats:inline-formula> of positive roots. We prove that <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline4" /><jats:tex-math>${F}_{BC} (\lambda + \rho (k), k; t)$</jats:tex-math></jats:alternatives></jats:inline-formula> converges as <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline5" /><jats:tex-math>${k}_{1} + {k}_{2} \rightarrow \infty $</jats:tex-math></jats:alternatives></jats:inline-formula> and <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline6" /><jats:tex-math>${k}_{1} / {k}_{2} \rightarrow \infty $</jats:tex-math></jats:alternatives></jats:inline-formula> to a function of type A for <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline7" /><jats:tex-math>$t\in { \mathbb{R} }^{n} $</jats:tex-math></jats:alternatives></jats:inline-formula> and <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline8" /><jats:tex-math>$\lambda \in { \mathbb{C} }^{n} $</jats:tex-math></jats:alternatives></jats:inline-formula>. This limit is obtained from a corresponding result for Jacobi polynomials of type BC, which is proven for a slightly more general limit behavior of the multiplicities, using an explicit representation of Jacobi polynomials in terms of Jack polynomials. Our limits include limit transitions for the spherical functions of non-compact Grassmann manifolds over one of the fields <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="gif" xlink:type="simple" xlink:href="S0010437X13007045_inline9" /><jats:tex-math>$ \mathbb{F} = \mathbb{R} , \mathbb{C} , \mathbb{H} $</jats:tex-math></jats:alternatives></jats:inline-formula> when the rank is fixed and the dimension tends to infinity. The limit functions turn out to be exactly the spherical functions of the corresponding infinite-dimensional Grassmann manifold in the sense of Olshanski.</jats:p>}},
  author       = {{Rösler, Margit and Koornwinder, Tom and Voit, Michael}},
  issn         = {{0010-437X}},
  journal      = {{Compositio Mathematica}},
  keywords     = {{Algebra and Number Theory}},
  number       = {{8}},
  pages        = {{1381--1400}},
  publisher    = {{Wiley}},
  title        = {{{Limit transition between hypergeometric functions of type BC and type A}}},
  doi          = {{10.1112/s0010437x13007045}},
  volume       = {{149}},
  year         = {{2013}},
}

@article{42796,
  abstract     = {{We give an enumeration of all positive definite primitive Z-lattices in dimension n ≥ 3 whose genus consists of a single isometry class. This is achieved by using bounds obtained from the Smith–Minkowski–Siegel mass formula to computationally construct the square-free determinant lattices with this property, and then repeatedly calculating pre-images under a mapping first introduced by G. L. Watson.

We hereby complete the classification of single-class genera in dimensions 4 and 5 and correct some mistakes in Watson’s classifications in other dimensions. A list of all single-class primitive Z-lattices has been compiled and incorporated into the Catalogue of Lattices.}},
  author       = {{Lorch, David and Kirschmer, Markus}},
  issn         = {{1461-1570}},
  journal      = {{LMS Journal of Computation and Mathematics}},
  keywords     = {{Computational Theory and Mathematics, General Mathematics}},
  pages        = {{172--186}},
  publisher    = {{Wiley}},
  title        = {{{Single-class genera of positive integral lattices}}},
  doi          = {{10.1112/s1461157013000107}},
  volume       = {{16}},
  year         = {{2013}},
}

@article{45933,
  author       = {{Karátson, J. and Kovács, Balázs}},
  issn         = {{0898-1221}},
  journal      = {{Computers &amp; Mathematics with Applications}},
  keywords     = {{Computational Mathematics, Computational Theory and Mathematics, Modeling and Simulation}},
  number       = {{3}},
  pages        = {{449--459}},
  publisher    = {{Elsevier BV}},
  title        = {{{Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation}}},
  doi          = {{10.1016/j.camwa.2012.04.021}},
  volume       = {{65}},
  year         = {{2012}},
}

@article{42797,
  abstract     = {{An efficient algorithm to compute automorphism groups and isometries of definite Fq[t]-lattices for odd q is presented. The algorithm requires several square root computations in Fq₂ but no enumeration of orbits having more than eight elements. }},
  author       = {{Kirschmer, Markus}},
  issn         = {{0025-5718}},
  journal      = {{Mathematics of Computation}},
  keywords     = {{Applied Mathematics, Computational Mathematics, Algebra and Number Theory}},
  number       = {{279}},
  pages        = {{1619--1634}},
  publisher    = {{American Mathematical Society (AMS)}},
  title        = {{{A normal form for definite quadratic forms over $\mathbb{F}_{q}[t]$}}},
  doi          = {{10.1090/s0025-5718-2011-02570-6}},
  volume       = {{81}},
  year         = {{2012}},
}

@article{4708,
  author       = {{Müller-Wienbergen, Felix and Müller, Oliver and Seidel, Stefan and Becker, Jörg}},
  isbn         = {{1536-9323}},
  issn         = {{15369323}},
  journal      = {{Journal of the Association for Information Systems}},
  keywords     = {{Creativity, Creativity Support Systems, convergent thinking, design theory, divergent thinking}},
  number       = {{11}},
  pages        = {{714----740}},
  title        = {{{Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking}}},
  doi          = {{10.1016/S0006-3495(00)76637-9}},
  year         = {{2011}},
}

@article{17233,
  abstract     = {{It has been proposed that the design of robots might benefit from interactions that are similar to caregiver–child interactions, which is tailored to children’s respective capacities to a high degree. However, so far little is known about how people adapt their tutoring behaviour to robots and whether robots can evoke input that is similar to child-directed interaction. The paper presents detailed analyses of speakers’ linguistic and non-linguistic behaviour, such as action demonstration, in two comparable situations: In one experiment, parents described and explained to their nonverbal infants the use of certain everyday objects; in the other experiment, participants tutored a simulated robot on the same objects. The results, which show considerable differences between the two situations on almost all measures, are discussed in the light of the computer-as-social-actor paradigm and the register hypothesis.}},
  author       = {{Fischer, Kerstin and Foth, Kilian and Rohlfing, Katharina and Wrede, Britta}},
  issn         = {{1572-0381}},
  journal      = {{Interaction Studies}},
  keywords     = {{human–robot interaction (HRI), social communication, register theory, motionese, robotese, child-directed speech (CDS), motherese, mindless transfer, computers-as-social-actors}},
  number       = {{1}},
  pages        = {{134--161}},
  publisher    = {{John Benjamins Publishing Company}},
  title        = {{{Mindful tutors: Linguistic choice and action demonstration in speech to infants and a simulated robot}}},
  doi          = {{10.1075/is.12.1.06fis}},
  volume       = {{12}},
  year         = {{2011}},
}

@article{34846,
  abstract     = {{Given a field extension K/k of degree n we are interested in finding the subfields of K containing k. There can be more than polynomially many subfields. We introduce the notion of generating subfields, a set of up to n subfields whose intersections give the rest. We provide an efficient algorithm which uses linear algebra in k or lattice reduction along with factorization in any extension of K. Implementations show that previously difficult cases can now be handled.}},
  author       = {{van Hoeij, Mark and Klüners, Jürgen and Novocin, Andrew}},
  issn         = {{0747-7171}},
  journal      = {{Journal of Symbolic Computation}},
  keywords     = {{Computational Mathematics, Algebra and Number Theory}},
  pages        = {{17--34}},
  publisher    = {{Elsevier BV}},
  title        = {{{Generating subfields}}},
  doi          = {{10.1016/j.jsc.2012.05.010}},
  volume       = {{52}},
  year         = {{2011}},
}

@article{5195,
  abstract     = {{This article analyses 336 German venture capital transactions from 1990 to 2005 and seeks to determine why selected financial securities differ across deals. We find that a broad array of financial instruments is used, covering straight equity, mezzanine and debt‐like securities. Based on the chosen financial securities’ upside potential and downside protection characteristics, we provide an explanation for the differing use of these securities. Our results show that investors’ deal experience, adverse selection risks and economic prospects in the public equity market influence the selection of financial securities. }},
  author       = {{Hartmann-Wendels, Thomas and Keienburg, Georg and Sievers, Sönke}},
  journal      = {{European Financial Management (VHB-JOURQUAL 4 Ranking B)}},
  keywords     = {{venture capital, capital structure, contract theory, deal experience}},
  number       = {{3}},
  pages        = {{464--499}},
  publisher    = {{Wiley Online Library}},
  title        = {{{Adverse selection, investor experience and security choice in venture capital finance: evidence from Germany}}},
  doi          = {{10.1111/j.1468-036X.2010.00568.x}},
  volume       = {{17}},
  year         = {{2011}},
}

@techreport{4448,
  abstract     = {{"Lernkultur" wird als Begriff häufig gebraucht und fast ebenso häufig definiert  das gilt für den betrieblichen Kontext ebenso wie für die Bereiche der Schul-, Hochschul-, Berufs- und Erwachsenenbildung (z. B. Wulf, Althans, Blaschke, Ferrin, Göhlich, Jörissen, Mattig et al., 2007; Jenert, Zellweger Moser, Dommen & Gebhardt, 2009; Kirchhöfer, 2004; Erpenbeck & Sauer, 2000). Trotz der grossen Aufmerksamkeit, die der Begriff in den letzten zwei Jahrzehnten erfahren hat, kann man nicht von einem in sich geschlossenen Forschungsprogramm sprechen. Die Zugänge zum Phänomenbereich Lernkultur sind ebenso vielfältig wie die hinter einzelnen Ansätzen stehenden Lernkulturkonstrukte. Den Autoren ist keine Publikation bekannt, welche unterschiedliche Ansätze der Lernkulturforschung systematisch aufarbeitet. Eine wichtige Referenzquelle ist der Bericht von Kuh und Whitt (1988) "The Invisible Tapestry: Culture in American Colleges and Universities". Ausgehend von einer fundierten Übersicht zu unterschiedlichen Zugängen zum Kulturbegriff (oft in starker Anlehnung an die Organisationskulturforschung (vgl. Allaire & Firsirotu, 1984)) stellen die Autoren ein Rahmenmodell zur Analyse von Hochschulkulturen vor (Kuh und Whitt, 1988, S. 56). Diese Arbeit erweist sich für ein besseres Verständnis unter-schiedlicher Zugänge zum Lernkulturbegriff als aufschlussreich, weil im Kontext Hoch-schule zwangsweise viele Aspekte des Lernens und Lehrens angesprochen werden. Allerdings fokussiert auch dieser Bericht nicht das Konstrukt der Lernkultur und bietet damit nur einen Ausgangspunkt für die Identifizierung unterschiedlicher Zugänge.}},
  author       = {{Jenert, Tobias and Gebhardt, Anja}},
  keywords     = {{Lernkultur, learning culture, culture theory, approaches to learning culture, culture of learning}},
  title        = {{{Zugänge zum Begriff der Lernkultur: Eine Systematisierung auf Basis kultur-und lerntheoretischer Überlegungen}}},
  year         = {{2010}},
}

@inproceedings{9763,
  abstract     = {{Recent advances in information processing enable new kinds of technical systems, called self-optimizing systems. These systems are able to adapt their objectives and their behavior according to the current situation and influences autonomously. This behavior adaptation is non-deterministic and hence self-optimization is a risk to the system, e.g. if the result of the self-optimization process does not match the suddenly changed situation. In contrary, self-optimization could be used to increase the dependability by pursuing objectives like reliability and availability. In our preceding publications we introduced the so called multi-level dependability concept to cope with this new kind of systems (cf. [6]). This concept comprises the monitoring of the system behavior, the classification of the current situation, and the selection of the appropriate measure, if reliability limits are exceeded. In this paper we present for the first time experimental results. The dependability concept is implemented in the self-optimizing active guidance system of a railway vehicle. The test drives illustrate clearly that the proposed concept is able to cope with, e.g., sensor failures, and is able to increase the reliability and availability of the active guidance module.}},
  author       = {{Sondermann-Wölke, Christoph and Geisler, Jens and Sextro, Walter}},
  booktitle    = {{Reliability and Maintainability Symposium (RAMS), 2010 Proceedings - Annual}},
  issn         = {{0149-144X}},
  keywords     = {{availability, dependability concept, multilevel dependability concept, railway vehicle, reliability, self optimizing active guidance system, self optimizing railway guidance system, situation classification, system behavior monitoring, optimal control, railways, reliability theory, self-adjusting systems}},
  pages        = {{1 --6}},
  title        = {{{Increasing the reliability of a self-optimizing railway guidance system}}},
  doi          = {{10.1109/RAMS.2010.5448080}},
  year         = {{2010}},
}