Urmăriți
Matthew England
Titlu
Citat de
Citat de
Anul
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
2422018
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
1842017
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
1172018
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
682021
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
672016
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
652014
: Satisfiability Checking Meets Symbolic Computation: (Project Paper)
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
International Conference on Intelligent Computer Mathematics, 28-43, 2016
542016
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
532013
Cylindrical algebraic decomposition with equational constraints
M England, R Bradford, JH Davenport
Journal of Symbolic Computation 100, 38-71, 2020
482020
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
442013
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
352012
Improving the use of equational constraints in cylindrical algebraic decomposition
M England, R Bradford, JH Davenport
Proceedings of the 2015 ACM International Symposium on Symbolic and …, 2015
342015
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
332019
The complexity of cylindrical algebraic decomposition with respect to polynomial degree
M England, JH Davenport
Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016
332016
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
332013
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
32*2014
Identifying the parametric occurrence of multiple steady states for some biological networks
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Journal of Symbolic Computation 98, 84-119, 2020
312020
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code
D Croft, M England
Proceedings of the 4th Conference on Computing Education Practice, 1-4, 2020
312020
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
312016
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
M England, D Florescu
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
302019
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20