Matthew England
Titel
Zitiert von
Zitiert von
Jahr
A combined CNN and LSTM model for arabic sentiment analysis
AM Alayba, V Palade, M England, R Iqbal
International cross-domain conference for machine learning and knowledge …, 2018
592018
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
582017
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
International Conference on Intelligent Computer Mathematics, 92-107, 2014
462014
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
442016
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
432018
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
402013
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
402013
SC2: Satisfiability checking meets symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016
372016
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
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
29*2014
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
272015
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
M England, D Wilson, R Bradford, JH Davenport
International Congress on Mathematical Software, 458-465, 2014
242014
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
232017
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
232009
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, C Chen, JH Davenport, MM Maza, D Wilson
International Conference on Intelligent Computer Mathematics, 45-60, 2014
212014
Cylindrical algebraic sub-decompositions
DJ Wilson, RJ Bradford, JH Davenport, M England
Mathematics in Computer Science 8 (2), 263-288, 2014
212014
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
192016
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
192013
Abelian functions associated with genus three algebraic curves
JC Eilbeck, M England, Y Ônishi
LMS Journal of Computation and Mathematics 14 (1), 291-326, 2011
192011
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
M England, R Bradford, JH Davenport, D Wilson
International Congress on Mathematical Software, 450-457, 2014
182014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20