Makespan Investigations of Sequential, Parallel, PO, and POCL Plans
AAAI 2026 Oral — proves makespan non-convertibility between POCL and Parallel Plans.
Concurrency, Convertibility, and Complexity in POCL Planning
This report presents investigations into the properties of Partial-Order Causal Link (POCL) plans.
A long short-term memory model for sub-hourly temporal disaggregation of precipitation
This paper applies long short-term memory models to precipitation disaggregation, with a comprehensive analysis of performance across 5 Australian climate zones.
Digital colonialism: An analysis of Facebook’s role in the Rohingya genocide
This article analyses how Facebook played a critical role in progression of the Rohingya Genocide through systematic failures in content moderation and platform design. It applies Gregory Stanton’s Ten Stages of Genocide to demonstrate how platform dynamics catalysed the progression of offline violence against the Rohingya.
Disaggregating Daily Precipitation Data 1990 to 2022 into Half-Hourly Intervals Using LSTM Models
This paper applies long short-term memory models to precipitation disaggregation. In particular, it shows promising results in the Australian context, reducing error compared to previous attempts by around 30%.
Theorem Provers: One Size Fits All?
This paper compares the Coq and Idris2 interactive theorem provers to provide a qualitative evaluation of their performance via a proof of the correctness of insertion sort. The paper’s key contribution is comparing these systems through a user experience lens, rather than purely the underlying logic upon which the system relies.