متابعة
Matthew England
Matthew England
Coventry University
بريد إلكتروني تم التحقق منه على coventry.ac.uk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
2392018
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
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
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‏
302020
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
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20