Monash University
Browse
sje-thesis_complete.pdf (4.76 MB)

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

Download (4.76 MB)
Version 2 2022-03-17, 05:09
Version 1 2019-12-03, 07:36
thesis
posted on 2022-03-17, 05:09 authored by Steven John Edwards
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

Faculty

Faculty of Science

Usage metrics

    Faculty of Science Theses

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC