Computer Science Technical Reports
2018201720162015201420132012201120102009200820072006200520042003
1974
|
[RR-15-08] |
An Overview of Current Evaluation Methods Used in Medical Image Segmentation Varduhi Yeghiazaryan and Irina Voiculescu No. RR−15−08. Department of Computer Science. Oxford‚ UK. 2015. |
|
[CS-RR-15-06] |
Simpler Editing of Spatially−Connected Graph Hierarchies using Zipping Algorithms Stuart Golodetz‚ Irina Voiculescu and Stephen Cameron No. CS−RR−15−06. Department of Computer Science. Oxford‚ UK. 2015. Details | BibTeX | Download (pdf) | Link |
|
[CS-RR-15-05] |
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti No. CS−RR−15−05. Department of Computer Science. Oxford‚ UK. May, 2015. |
|
[CS-RR-15-09] |
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. Marta Kwiatkowska‚ Alexandru Mereacre‚ Nicola Paoletti and Andrea Patanè No. CS−RR−15−09. Department of Computer Science. Oxford‚ UK. September, 2015. |
|
[CS-RR-15-07] |
The Use of Fast Marching Methods in Medical Image Segmentation Varduhi Yeghiazaryan and Irina Voiculescu No. CS−RR−15−07. Department of Computer Science. Oxford‚ UK. 2015. |
|
[RR-15-04] |
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovic‚ Marta Kwiatkowska and Gethin Norman No. RR−15−04. DCS. 2015. |
|
[RR-15-01] |
Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/ Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Livia Predoiu and Gerardo I. Simari No. RR−15−01. DCS. 2015. |