File(s) under embargo

738

days

9

hours

until file(s) become available

On the Art of Modelling in Constraint-Based Scheduling: new methods, theory and applications

thesis
posted on 03.12.2019, 07:36 by John
Advanced cell staining is the process of using chemicals and dyes to enhance the visualisation of cellular subcomponents of tissue samples. The technique is frequently used to help pathologists identify the presence or prevalence of particular cell types, structures or microorganisms for the diagnosis of cancers and infectious diseases. Due to an increasing demand for this technology, a need for automation arose. This thesis considers how such automated systems can be efficiently programmed to process large quantities of tests efficiently. To do so, we study modelling choices in Constraint-Based Scheduling - the application of Constraint Programming to scheduling problems. The models are improved by using novel ideas of symmetry elimination, driving variables and interval clusters. The thesis demonstrates how these methodological improvements are crucial to solving this scheduling problems.

History

Campus location

Australia

Principal supervisor

Andreas Ernst

Additional supervisor 1

Kate Smith-Miles

Additional supervisor 2

Davaatseren Baatar

Year of Award

2019

Department, School or Centre

Mathematics

Course

Doctor of Philosophy

Degree Type

DOCTORATE

Exports

Exports