From post

Combination of automatic non-rigid and landmark based registration: the best of both worlds.

, и . Medical Imaging: Image Processing, том 5032 из SPIE Proceedings, SPIE, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Weighted medical image registration with automatic mask generation., , и . Medical Imaging: Image Processing, том 6144 из SPIE Proceedings, стр. 61442B. SPIE, (2006)Image registration for CT and intra-operative ultrasound data of the liver., , , , и . Medical Imaging: Image-Guided Procedures, том 6918 из SPIE Proceedings, стр. 691808. SPIE, (2008)SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , и . CoRR, (2018)Insights into RNA biology from an atlas of mammalian mRNA-binding proteins, , , , , , , , , и 2 other автор(ы). Cell, 149 (6): 1393--1406 (2012)Bildregistrierung zur Verbrennungsanalyse., , , и . Bildverarbeitung für die Medizin, стр. 159-163. Springer, (2011)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , и . ATVA, том 9938 из Lecture Notes in Computer Science, стр. 174-191. (2016)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , и . TACAS (2), том 10206 из Lecture Notes in Computer Science, стр. 360-364. (2017)AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description., , и . CADE, том 2392 из Lecture Notes in Computer Science, стр. 290-294. Springer, (2002)An Approach for Software-Driven and Standard-Based Support of Cross-Enterprise Tumor Boards., , и . eHealth, том 212 из Studies in Health Technology and Informatics, стр. 219-224. IOS Press, (2015)Grammar-based testing for little languages: an experience report with student compilers., , , и . SLE, стр. 253-269. ACM, (2020)