Select Publications
Journal articles
, 1993, 'The mechanism for Antarctic Intermediate Water renewal in a World Ocean model', Annales Geophysicae, 11
, 1992, 'On the formation of Antarctic Intermediate and Bottom Water in ocean general circulation models', Journal of Physical Oceanography, 22, pp. 918 - 926, http://dx.doi.org/10.1175/1520-0485(1992)022<0918:OTFOAI>2.0.CO;2
, 1992, 'Water-mass formation and Sverdrup dynamics; a comparison between climatology and a coupled ocean-atmosphere model', Journal of Marine Systems, 3, pp. 279 - 306, http://dx.doi.org/10.1016/0924-7963(92)90006-T
, 1991, 'An analysis of the dynamics and circulation in a global coupled ocean-atmosphere model', Ocean Sciences Institute Repository, 44, pp. pp 111 - pp 111
Conference Papers
, 2025, 'Predicting At-Risk Programming Students in Small Imbalanced Datasets Using Synthetic Data', in Communications in Computer and Information Science, pp. 427 - 432, http://dx.doi.org/10.1007/978-3-031-99261-2_48
, 2024, 'Robust Auto-Tuning Control of a Delivery Quadcopter with Motor Faults, Mass and Inertia Estimation', in IFAC Papersonline, pp. 744 - 749, http://dx.doi.org/10.1016/j.ifacol.2025.01.055
, 2024, 'Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 186 - 195, http://dx.doi.org/10.1007/978-3-031-64529-7_19
, 2024, 'On Projective Delineability', in Proceedings 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Synasc 2024, pp. 9 - 16, http://dx.doi.org/10.1109/SYNASC65383.2024.00015
, 2024, 'Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 1 - 10, http://dx.doi.org/10.1007/978-3-031-69070-9_1
, 2024, 'Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 167 - 175, http://dx.doi.org/10.1007/978-3-031-64529-7_18
, 2024, 'The Liouville Generator for Producing Integrable Expressions', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 47 - 62, http://dx.doi.org/10.1007/978-3-031-69070-9_4
, 2023, 'Data Augmentation for Mathematical Objects', in Ceur Workshop Proceedings, pp. 29 - 38
, 2023, 'Generating Elementary Integrable Expressions', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 21 - 38, http://dx.doi.org/10.1007/978-3-031-41724-5_2
, 2023, 'Iterated Resultants in CAD', in Ceur Workshop Proceedings, pp. 54 - 60
, 2023, 'SMT-Solving Induction Proofs of Inequalities', in Ceur Workshop Proceedings, pp. 10 - 24
, 2022, 'SC-Square: Future Progress with Machine Learning?', in Ceur Workshop Proceedings, pp. 7 - 16
, 2022, 'SC-Square: Overview to 2021', in Ceur Workshop Proceedings, pp. 1 - 6
, 2017, 'Arabic Language Sentiment Analysis on Health Services', in 2017 1ST INTERNATIONAL WORKSHOP ON ARABIC SCRIPT ANALYSIS AND RECOGNITION (ASAR), IEEE, FRANCE, Nancy, pp. 114 - 118, presented at 1st IEEE International Workshop on Arabic Script Analysis and Recognition (ASAR), FRANCE, Nancy, 03 April 2017 - 05 April 2017
, 2016, 'Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases', in Davenport J; Negru V; Ida T; Jebelean T; Petcu D; Watt S; Zaharie D (eds.), PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), IEEE, ROMANIA, Timisoara, pp. 45 - 52, presented at 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), ROMANIA, Timisoara, 24 September 2016 - 27 September 2016, http://dx.doi.org/10.1109/SYNASC.2016.14
, 2010, 'Teleconnections associated with the intensification of the Australian monsoon during El Nio Modoki events', in IOP Conference Series: Earth and Environmental Sciences, IOP Publishing Ltd, Bristol UK, presented at 17th National Conference of the Australian Meteorological and Oceanographic Society, AMOS, Canberra, ACT, Australia, 27 January 2010 - 29 January 2010, http://dx.doi.org/10.1088/1755-1315/11/1/012031
, 1996, 'Validating ocean climate models - new tools and data sets for ocean model assessment', in Climate Impacts Assessment Workshop, Melbourne, presented at Climate Impacts Assessment Workshop, Melbourne, 04 December 1996 - 05 December 1996
Conference Presentations
, 2020, 'Why is there a Zonal Wave 3 pattern in the Southern Hemisphere extratropical circulation?', presented at EGU General Assembly, http://dx.doi.org/10.5194/egusphere-egu2020-12114
Reports
, 2012, The science behind southeast Australia's wet, cool summer
, 2010, Challenges at Energy-Water Carbon intersections
, 2010, The Science of Climate Change: Questions and Answers, Australian Academy of Science, Canberra, https://www.climatechangeauthority.gov.au/sites/default/files/2020-06/submissions/2015/Australian%20Academy%20of%20Science%20-%20attachment.pdf
, 1999, Geochemical tracer modelling in ocean simulations: status, limitations, and future perspectives, WOCE Report 167/99
, 1999, Southern Ocean modelling for Climate Studies, WOCE Report No. 165/99
, 1999, Two-way model-data interaction, WOCE Report No. 167/99
, 1997, On the influence of Southern Hemisphere winds on North Atlantic Deep Water flow
, 1991, Changes in Pacific Ocean sea level related to variations in North Atlantic Deep Water formation, Sydney University, Annex IV, 4-5.
Theses / Dissertations
, 1992, The global-scale circulation and water-mass formation in a World Ocean Model, University of Sydney
, 1987, Evolution of the near-surface thermal structure in the tropical Pacific Ocean during 1980-1983
Working Papers
, 2021, Zonal Wave 3 Pattern in the Southern Hemisphere generated by tropical convection, http://dx.doi.org10.21203/rs.3.rs-320008/v1
Media
, 1999, WOCE chemical tracer measurements aid the assessment of ocean climate models
, 1993, A World Ocean model that resolves the global-scale water-masses.
, 1991, A model of water-mass formation in the World Ocean
Preprints
, 2025, Reduced West Antarctic melt rates and winds drive salinity rebound in the Ross Sea via baroclinic waves, http://dx.doi.org/10.22541/essoar.173870875.51711851/v2
, 2025, Large Regional Differences in Antarctic Ice Shelf Mass Loss from Southern Ocean Warming and Meltwater Feedbacks, http://dx.doi.org/10.5194/egusphere-2025-3747
, 2025, Reassessing the role of the Antarctic Slope Current in poleward ocean heat transport, http://dx.doi.org/10.22541/essoar.175700056.62702833/v1
, 2025, Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data, http://arxiv.org/abs/2505.17128v1
, 2025, Sensitivity of Antarctic Bottom Water formation and export to horizontal model resolution, http://dx.doi.org/10.22541/essoar.172469193.39598080/v2
, 2025, Datasets and protocols for including anomalous freshwater from melting ice sheets in climate simulations, http://dx.doi.org/10.5194/egusphere-2025-1940
, 2025, On the seasonal variability of ocean heat transport and ice shelf melt around Antarctica, http://dx.doi.org/10.5194/egusphere-2024-3905
, 2025, West Antarctic melt variability and wind anomalies contribute to Ross Sea salinity rebound, http://dx.doi.org/10.22541/essoar.173870875.51711851/v1
, 2024, Seasonal sea-ice and eddy variability around the Antarctic margin, http://dx.doi.org/10.22541/essoar.173532505.52665007/v1
, 2024, Transient Antarctic Slope Current Response to Climate Change including Meltwater, http://dx.doi.org/10.22541/essoar.173386140.05935937/v1
, 2024, On Projective Delineability, http://dx.doi.org/10.1109/SYNASC65383.2024.00015
, 2024, Transformers to Predict the Applicability of Symbolic Integration Routines, http://arxiv.org/abs/2410.23948v1
, 2024, Sensitivity of Antarctic Bottom Water formation and export to horizontal model resolution, http://dx.doi.org/10.22541/essoar.172469193.39598080/v1
, 2024, Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1007/978-3-031-69070-9_1