Zum Inhalt springen

  1. Rauh, Andreas [HerausgeberIn]; Auer, Ekaterina [Sonstige Person, Familie und Körperschaft]

    Modeling, design, and simulation of systems with uncertainties

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Mathematical engineering

  4. Auer, Ekaterina [VerfasserIn]; Ahrens, Andreas [VerfasserIn]

    Uses of Methods with Result Verification in the Context of MIMO Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2022 ; Hannover: Technische Informationsbibliothek (TIB), 2022

  6. Rauh, Andreas [Sonstige Person, Familie und Körperschaft]; Auer, Ekaterina [Sonstige Person, Familie und Körperschaft]; Hofer, Eberhard P. [Sonstige Person, Familie und Körperschaft]

    A novel interval method for validating state enclosures of the solution of initial value problems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008

  7. Auer, Ekaterina [VerfasserIn]; Kiel, Stefan [VerfasserIn]; Rauh, Andreas [VerfasserIn]

    Towards a verified ODE solver for GPU-based parameter identification

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2017

    Erschienen in: Safety, reliability, risk, resilience and sustainability of structures and infrastructure ; (2017), Seite 2040-2049

  8. Rauh, Andreas [VerfasserIn]; Auer, Ekaterina [VerfasserIn]; Hofer, Eberhard P. [VerfasserIn]

    A novel interval method for validating state enclosures of the solution of initial value problems

    Elektronische Ressourcen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Universität Ulm, 2016-03-14T15:19:29Z

  9. Auer, Ekaterina [VerfasserIn]; Ahrens, Andreas [VerfasserIn]; Schön, Steffen [VerfasserIn]; Rauh, Andreas [VerfasserIn]

    Uses of Methods with Result Verification in the Context of MIMO Systems - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hannover : Gottfried Wilhelm Leibniz Universität, 2022

  10. Auer, Ekaterina [VerfasserIn]; Cuypers, Roger [VerfasserIn]; Dyllong, Eva [VerfasserIn]; Kiel, Stefan [VerfasserIn]; Luther, Wolfram [VerfasserIn] ; Ekaterina Auer and Roger Cuypers and Eva Dyllong and Stefan Kiel and Wolfram Luther [MitwirkendeR]

    Verification and Validation for Femur Prosthesis Surgery

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  11. Luther, Wolfram [VerfasserIn]; Haßlinger, Gerhard [VerfasserIn]; Auer, Ekaterina [VerfasserIn]; Dyllong, Eva [VerfasserIn]; Traczinski, Daniela [VerfasserIn]; Traczinski, Holger [VerfasserIn] ; Wolfram Luther and Gerhard Haßlinger and Ekaterina Auer and Eva Dyllong and Daniela Traczinski and Holger Traczinski [MitwirkendeR]

    Integration of reliable algorithms into modeling software

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  20. Auer, Ekaterina; Rauh, Andreas

    Parallel Processing and Applied Mathematics: Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2010

    Erschienen in: Parallel Processing and Applied Mathematics