University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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.

[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.