Search results: Found 4

Listing 1 - 4 of 4
Sort by
Personalizing Simulations of the Human Atria : Intracardiac Measurements, Tissue Conductivities, and Cellular Electrophysiology

Author:
Book Series: Karlsruhe transactions on biomedical engineering / Ed.: Karlsruhe Institute of Technology / Institute of Biomedical Engineering ISSN: 18645933 ISBN: 9783866446465 Year: Volume: 12 Pages: VI, 152 p. DOI: 10.5445/KSP/1000022290 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

This work addresses major challenges of heart model personalization. Analysis techniques for clinical intracardiac electrograms determine wave direction and conduction velocity from single beats. Electrophysiological measurements are simulated to validate the models. Uncertainties in tissue conductivities impact on simulated ECGs. A minimal model of cardiac myocytes is adapted to the atria. This makes personalized cardiac models a promising technique to improve treatment of atrial arrhythmias.

Modelling the bird flight : Scientific Report 2007-2010

Author:
ISBN: 9783866447615 Year: Pages: 44 p. DOI: 10.5445/KSP/1000020294 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

The aerodynamics of flying birds and insects plays a crucial role in the domain of aeronautical engineering. The energy-efficient construction of winglets for airplanes, the formation flight of tactical aircraft or the drone engineering or military applications are inspired by birds. This holds also for flow and structure simulation of flapping wing motion, taking the unsteady aerodynamics and corresponding wing deformations into account at high flow velocities and flapping frequencies.

Verification-based software-fault detection

Author:
ISBN: 9783866446762 Year: Pages: XVII, 264 p. DOI: 10.5445/KSP/1000023002 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

View-based textual modelling

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866446427 Year: Volume: 6 Pages: xxi, 376 p. DOI: 10.5445/KSP/1000022234 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.

Listing 1 - 4 of 4
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (4)


License

CC by-nc-nd (4)


Language

english (4)


Year
From To Submit

2011 (4)

-->