No. |
Title |
Author |
Year |
---|

1 |
Numerical Software with Result Verification (Dagstuhl Seminar 03041) |
Alt, RenĂ© et al. |
2021 |

2 |
Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371) |
Elishakoff, Isaac E. et al. |
2011 |

3 |
Verification and Validation for Femur Prosthesis Surgery |
Auer, Ekaterina et al. |
2010 |

4 |
08021 Abstracts Collection -- Numerical Validation in Current Hardware Architectures |
Luther, Wolfram et al. |
2008 |

5 |
08021 Summary -- Numerical Validation in Current Hardware Architectures |
Cuyt, Annie et al. |
2008 |

6 |
Numerical Verification Assessment in Computational Biomechanics |
Auer, Ekaterina et al. |
2008 |

7 |
Rule-based search in historical text databases - Visualization techniques |
Luther, Wolfram |
2007 |

8 |
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice |
Hertling, Peter et al. |
2006 |

9 |
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice |
Hertling, Peter et al. |
2006 |

10 |
Integration of reliable algorithms into modeling software |
Luther, Wolfram et al. |
2006 |