Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
Nathan Robinson, Charles Gretton, Duc Nghia Pham, ...
Abstract. Carefully studied in-situ hybridization Gene expression patterns (GEP) can provide a first glance at possible relationships among genes. Automatic comparative analysis to...
Andreas Heffel, Sonja J. Prohaska, Peter F. Stadle...
Abstract. We introduce a new hybrid approach for spline-based elastic registration of multimodal medical images. The approach uses point landmarks as well as intensity information ...
Osteoarthritis changes the load distribution within joints and also changes bone density and structure. Within typical timelines of clinical studies these changes can be very small...
Rigid registration of bone structures in stacks of CT images can be improved by using a binary segmentation mask for the registration compared to using the segmented grey values di...
Oleg Museyko, Fabian Eisa, Andreas Hess, Peter Zer...