| A combined CNN and LSTM model for Arabic sentiment analysis AM Alayba, V Palade, M England, R Iqbal Machine Learning and Knowledge Extraction: Second IFIP TC 5, TC 8/WG 8.4, 8 …, 2018 | 162 | 2018 |
| Arabic language sentiment analysis on health services AM Alayba, V Palade, M England, R Iqbal 2017 1st international workshop on arabic script analysis and recognition …, 2017 | 128 | 2017 |
| Improving sentiment analysis in Arabic using word representation AM Alayba, V Palade, M England, R Iqbal 2018 IEEE 2nd International Workshop on Arabic and Derived Script Analysis …, 2018 | 79 | 2018 |
| Truth table invariant cylindrical algebraic decomposition DW Russell Bradford, James H. Davenport, Matthew England, Scott McCallum Journal of Symbolic Computation 76 (September–October 2016), 1-35, 2016 | 56 | 2016 |
| Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition Z Huang, M England, D Wilson, JH Davenport, LC Paulson, J Bridge Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014 | 52 | 2014 |
| : Satisfiability Checking Meets Symbolic Computation: (Project Paper) E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016 | 51 | 2016 |
| Optimising problem formulation for cylindrical algebraic decomposition R Bradford, JH Davenport, M England, D Wilson Lecture Notes in Computer Science 7961 (Intelligent Computer Mathematics), 19-34, 2013 | 46 | 2013 |
| Cylindrical algebraic decompositions for boolean combinations R Bradford, JH Davenport, M England, S McCallum, D Wilson Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013 | 42 | 2013 |
| Cylindrical algebraic decomposition with equational constraints M England, R Bradford, JH Davenport Journal of Symbolic Computation 100, 38-71, 2020 | 37 | 2020 |
| Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings E Ábrahám, JH Davenport, M England, G Kremer Journal of Logical and Algebraic Methods in Programming 119, 100633, 2021 | 36 | 2021 |
| Program Verication in the presence of complex numbers, functions with branch cuts etc J Davenport, R Bradford, M England, D Wilson SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms …, 2012 | 35 | 2012 |
| Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson Computer Algebra in Scientific Computing (LNCS) 8660, 44-58, 2014 | 30* | 2014 |
| A" piano movers" problem reformulated D Wilson, JH Davenport, M England, R Bradford 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 30 | 2013 |
| Improving the use of equational constraints in cylindrical algebraic decomposition M England, R Bradford, JH Davenport Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015 | 29 | 2015 |
| A case study on the parametric occurrence of multiple steady states R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ... Proceedings of the 42nd International Symposium on Symbolic and Algebraic …, 2017 | 27 | 2017 |
| Abelian functions associated with a cyclic tetragonal curve of genus six M England, JC Eilbeck Journal of Physics A: Mathematical and Theoretical 42 (9), 095210, 2009 | 27 | 2009 |
| Cylindrical algebraic sub-decompositions DJ Wilson, RJ Bradford, JH Davenport, M England Mathematics in Computer Science 8, 263-288, 2014 | 25 | 2014 |
| Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting M England, D Wilson, R Bradford, JH Davenport Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014 | 25 | 2014 |
| PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets S Deshpande, J Shuttleworth, J Yang, S Taramonli, M England Computers in biology and medicine 105, 169-181, 2019 | 24 | 2019 |
| Using machine learning to decide when to precondition cylindrical algebraic decomposition with Groebner bases Z Huang, M England, JH Davenport, LC Paulson 2016 18th International Symposium on Symbolic and Numeric Algorithms for …, 2016 | 24 | 2016 |
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
