Select Publications
Preprints
2024, Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD, , http://arxiv.org/abs/2401.13343v1
,2023, Iterated Resultants and Rational Functions in Real Quantifier Elimination, , http://arxiv.org/abs/2312.16210v1
,2023, Tipping points in ocean and atmosphere circulations, , http://dx.doi.org/10.5194/egusphere-2023-2589
,2023, The role of bottom friction in mediating the response of the Weddell Gyre circulation to changes in surface stress and buoyancy fluxes, , http://dx.doi.org/10.22541/essoar.169228895.55803191/v1
,2023, Iterated Resultants in CAD, , http://arxiv.org/abs/2307.16750v1
,2023, SMT-Solving Induction Proofs of Inequalities, , http://arxiv.org/abs/2307.16761v1
,2023, Data Augmentation for Mathematical Objects, , http://arxiv.org/abs/2307.06984v1
,2023, Generating Elementary Integrable Expressions, , http://dx.doi.org/10.1007/978-3-031-41724-5_2
,2023, Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition, , http://dx.doi.org/10.1016/j.jsc.2023.102276
,2023, Intrinsically episodic Antarctic shelf intrusions of circumpolar deep water via canyons, , http://dx.doi.org/10.48550/arxiv.2304.13225
,2023, The Southern Ocean Freshwater release model experiments Initiative (SOFIA): Scientific objectives and experimental design, , http://dx.doi.org/10.5194/egusphere-2023-198
,2023, Enhanced Southern Ocean CO2 outgassing as a result of stronger and poleward shifted southern hemispheric westerlies, , http://dx.doi.org/10.5194/egusphere-2023-390
,2023, Wind- and sea-ice-driven interannual variability of Antarctic Bottom Water formation, , http://dx.doi.org/10.22541/essoar.167768108.88472952/v1
,2023, Weddell Sea control of ocean temperature variability on the western Antarctic Peninsula, , http://dx.doi.org/10.22541/essoar.167591098.80596021/v1
,2022, Levelwise construction of a single cylindrical algebraic cell, , http://dx.doi.org/10.1016/j.jsc.2023.102288
,2022, SC-Square: Future Progress with Machine Learning?, , http://arxiv.org/abs/2209.04361v1
,2022, SC-Square: Overview to 2021, , http://arxiv.org/abs/2209.04359v1
,2022, Quantifying the contribution of forcing and three prominent modes of variability on historical climate, , http://dx.doi.org/10.5194/cp-2022-55
,2022, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis, , http://dx.doi.org/10.1007/978-3-031-14788-3_17
,2022, Projected changes of surface winds over the Antarctic continental margin, , http://dx.doi.org/10.1002/essoar.10510952.1
,2022, Resultant Tools for Parametric Polynomial Systems with Application to Population Models, , http://arxiv.org/abs/2201.13189v2
,2022, Feedback and Engagement on an Introductory Programming Module, , http://arxiv.org/abs/2201.01240v1
,2021, Seasonal and interannual variability of the Weddell Gyre from a high-resolution global ocean-sea ice simulation during 1958 - 2018, , http://dx.doi.org/10.1002/essoar.10507322.2
,2021, Natural carbon release compensates for anthropogenic carbon uptake when Southern Hemispheric westerlies strengthen, , http://dx.doi.org/10.1002/essoar.10508109.1
,2021, Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic, , http://arxiv.org/abs/2108.05320v1
,2021, The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, , http://dx.doi.org/10.1145/3511528.3511538
,2020, A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs, , http://dx.doi.org/10.1007/978-3-030-52200-1_30
,2020, New Opportunities for the Formal Proof of Computational Real Geometry?, , http://arxiv.org/abs/2004.04034v1
,2020, Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks, , http://dx.doi.org/10.1186/s12859-022-04921-6
,2020, Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings, , http://dx.doi.org/10.1016/j.jlamp.2020.100633
,2019, Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness, , http://dx.doi.org/10.1007/978-3-030-43120-4_27
,2019, Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code, , http://dx.doi.org/10.1145/3372356.3372357
,2019, First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment, , http://dx.doi.org/10.1145/3372356.3372358
,2019, Algorithmically generating new algebraic features of polynomial systems for machine learning, , http://arxiv.org/abs/1906.01455v1
,2019, ACCESS-OM2: A Global Ocean-Sea Ice Model at Three Resolutions, , http://dx.doi.org/10.5194/gmd-2019-106
,2019, Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition, , http://dx.doi.org/10.1007/978-3-030-23250-4_7
,2019, Cylindrical Algebraic Decomposition with Equational Constraints, , http://dx.doi.org/10.1016/j.jsc.2019.07.019
,2019, Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks, , http://dx.doi.org/10.1016/j.jsc.2019.07.008
,2019, PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets, , http://dx.doi.org/10.1016/j.compbiomed.2018.12.014
,2018, Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback, , http://dx.doi.org/10.1145/3294016.3294018
,2018, A Combined CNN and LSTM Model for Arabic Sentiment Analysis, , http://dx.doi.org/10.1007/978-3-319-99740-7_12
,2018, Machine Learning for Mathematical Software, , http://dx.doi.org/10.1007/978-3-319-96418-8_20
,2018, Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics, , http://arxiv.org/abs/1806.11447v1
,2018, TheoryGuru: A Mathematica Package to apply Quantifier Elimination, , http://dx.doi.org/10.1007/978-3-319-96418-8_44
,2018, Towards Incremental Cylindrical Algebraic Decomposition in Maple, , http://arxiv.org/abs/1805.10136v1
,2018, Quantifier Elimination for Reasoning in Economics, , http://arxiv.org/abs/1804.10037v2
,2018, Using Machine Learning to Improve Cylindrical Algebraic Decomposition, , http://dx.doi.org/10.1007/s11786-019-00394-8
,2018, Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition, , http://arxiv.org/abs/1804.08564v1
,2018, OpenMath and SMT-LIB, , http://arxiv.org/abs/1803.01592v1
,2018, Improving Sentiment Analysis in Arabic Using Word Representation, , http://dx.doi.org/10.1109/ASAR.2018.8480191
,