When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-25133
Go to the corresponding Portal

Auer, Ekaterina ; Cuypers, Roger ; Dyllong, Eva ; Kiel, Stefan ; Luther, Wolfram

Verification and Validation for Femur Prosthesis Surgery

09471.LutherWolfram.Paper.2513.pdf (0.9 MB)


In this paper, we describe how verified methods we are developing in the course of the project TellHim&S (Interval Based Methods For Adaptive Hierarchical Models In Modeling And Simulation Systems) can be applied in the context of the biomechanical project PROREOP (Development of a new prognosis system to optimize patient-specific pre- operative surgical planning for the human skeletal system). On the one hand, it includes the use of verified hierarchical structures for reliable geometric modeling, object decomposition, distance computation and path planning. On the other hand, we cover such tasks as verification and validation assessment and propagation of differently described uncertainties through system models in engineering or mechanics.

BibTeX - Entry

  author =	{Ekaterina Auer and Roger Cuypers and Eva Dyllong and Stefan Kiel and Wolfram Luther},
  title =	{Verification and Validation for Femur Prosthesis Surgery},
  booktitle =	{Computer-assisted proofs - tools, methods and applications},
  year =	{2010},
  editor =	{B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump},
  number =	{09471},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Graphical interface construction, superquadrics, 3D modeling, biomedical engineering}

Keywords: Graphical interface construction, superquadrics, 3D modeling, biomedical engineering
Seminar: 09471 - Computer-assisted proofs - tools, methods and applications
Issue Date: 2010
Date of publication: 27.04.2010

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI