File(s) under embargo
until file(s) become available
On the Art of Modelling in Constraint-Based Scheduling: new methods, theory and applications
thesisposted on 03.12.2019, 07:36 by John
In order to distinguish essays and pre-prints from academic theses, we have a separate category. These are often much longer text based documents than a paper.
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.