2026-07-22T01:57:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2513 2024-03-06T11:09:04Z ddc:004 open_access

Verification and Validation for Femur Prosthesis Surgery Auer, Ekaterina Cuypers, Roger Dyllong, Eva Kiel, Stefan Luther, Wolfram Graphical interface construction superquadrics 3D modeling biomedical engineering 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ekaterina Auer and Roger Cuypers and Eva Dyllong and Stefan Kiel and Wolfram Luther 2010 Is Part Of Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.09471.4 urn:nbn:de:0030-drops-25133 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.4 eng https://creativecommons.org/licenses/by/4.0/legalcode