X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Library
Years
Person/Organisation
  • 1
    Online Resource
    Online Resource
    Implicit Incremental Model Analyses and Transformations (2021)
    Karlsruhe : KIT Scientific Publishing
    Details
    UID:
    almahu_9949281184602882
    Format: 1 electronic resource (498 p.)
    ISBN: 1000080522
    Series Statement: The Karlsruhe Series on Software Design and Quality
    Content: When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
    Note: English
    Additional Edition: ISBN 3-7315-0763-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
  • 2
    Online Resource
    Online Resource
    Reactive Control of Turbulent Wall-Bounded Flows for Skin Friction Drag Reduction (2018)
    KIT Scientific Publishing
    Details
    UID:
    almahu_9949711122902882
    Format: 1 electronic resource (IX, 193 p. p.)
    ISBN: 1000080529
    Series Statement: Schriftenreihe des Instituts für Strömungsmechanik, Karlsruher Institut für Technologie
    Content: The work presents an attempt to improve the understanding of reactive drag reducing control of near-wall turbulence with respect to limitations present in a realistic application scenario. The reference reactive control scheme of opposition control is studied using direct numerical simulation through the consideration of various application oriented restrictions, i.e. local control application, limited spatial and temporal resolution of the scheme, sensor noise and control elements arrangement.
    Note: English
    Additional Edition: ISBN 3-7315-0766-8
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Self-Calibration of Multi-Camera Systems for Vehicle Surround Sensing (2018)
    KIT Scientific Publishing
    Details
    UID:
    almahu_9949711124402882
    Format: 1 electronic resource (XIV, 134 p. p.)
    ISBN: 1000080527
    Series Statement: Schriftenreihe / Institut für Mess- und Regelungstechnik, Karlsruher Institut für Technologie
    Content: Multi-camera systems are being deployed in a variety of vehicles and mobile robots today. To eliminate the need for cost and labor intensive maintenance and calibration, continuous self-calibration is highly desirable. In this book we present such an approach for self-calibration of multi-Camera systems for vehicle surround sensing. In an extensive evaluation we assess our algorithm quantitatively using real-world data.
    Note: English
    Additional Edition: ISBN 3-7315-0765-X
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
  • 4
    Online Resource
    Online Resource
    Implicit Incremental Model Analyses and Transformations (2021)
    Karlsruhe : KIT Scientific Publishing
    Details
    UID:
    edoccha_9959950533402883
    Format: 1 electronic resource (498 p.)
    ISBN: 1000080522
    Series Statement: The Karlsruhe Series on Software Design and Quality
    Content: When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
    Note: English
    Additional Edition: ISBN 3-7315-0763-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Charité
  • 5
    Online Resource
    Online Resource
    Implicit Incremental Model Analyses and Transformations (2021)
    Karlsruhe : KIT Scientific Publishing
    Details
    UID:
    edocfu_9959950533402883
    Format: 1 electronic resource (498 p.)
    ISBN: 1000080522
    Series Statement: The Karlsruhe Series on Software Design and Quality
    Content: When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
    Note: English
    Additional Edition: ISBN 3-7315-0763-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    FU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 1000080522?
Did you mean 1000080527?
Did you mean 1000080579?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages