Russell J. Bradford

81 papers A* 1B 15C 3Misc 3Journal 38Unranked 21

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. CoRR Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2021	J	`jnl`	The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Commun. Comput. Algebra Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
2020	J	`jnl`	Cylindrical algebraic decomposition with equational constraints. J. Symb. Comput. Matthew England, Russell J. Bradford, James H. Davenport
2020	J	`jnl`	Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2019	J	`jnl`	Cylindrical Algebraic Decomposition with Equational Constraints. CoRR Matthew England, Russell J. Bradford, James H. Davenport
2019	J	`jnl`	Does the "Artificial Intelligence Clinician" learn optimal treatment strategies for sepsis in intensive care? CoRR Russell J. Bradford, Christopher J. Sangwin, Supreeth P. Shashikumar, Shamim Nemati
2019	J	`jnl`	Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. CoRR Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2019	B	`ed.`	Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. ISSAC James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford
2018	—	`conf`	Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
2018	J	`jnl`	Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. CoRR Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
2018	J	`jnl`	Quantifier Elimination for Reasoning in Economics. CoRR Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
2017	B	`conf`	A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2017	J	`jnl`	A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
2016	—	`conf`	A C++ Programming Model for Heterogeneous System Architecture. ISC Workshops Ralph Potter, Russell J. Bradford, Alastair Murray, Uwe Dolinsky
2016	J	`jnl`	Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2015	B	`conf`	Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. ISSAC Matthew England, Russell J. Bradford, James H. Davenport
2015	J	`jnl`	Improving the use of equational constraints in cylindrical algebraic decomposition. CoRR Matthew England, Russell J. Bradford, James H. Davenport
2015	—	`conf`	Kernel composition in SYCL. IWOCL Ralph Potter, Paul Keir, Russell J. Bradford, Alastair Murray
2014	J	`jnl`	Branch cuts in maple 17. ACM Commun. Comput. Algebra Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson
2014	—	`conf`	Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. ICMS Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2014	J	`jnl`	Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2014	J	`jnl`	Cylindrical Algebraic Sub-Decompositions. CoRR David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
2014	J	`jnl`	Cylindrical Algebraic Sub-Decompositions. Math. Comput. Sci. David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England
2014	C	`conf`	Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014	J	`jnl`	Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014	C	`conf`	Streaming Spectral Processing with Consumer-Level Graphics Processing Units. DAFx Victor Lazzarini, John ffitch, Joseph Timoney, Russell J. Bradford
2014	B	`conf`	Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2014	J	`jnl`	Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2014	J	`jnl`	Truth Table Invariant Cylindrical Algebraic Decomposition. CoRR Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2014	Misc	`conf`	Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. SYNASC David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
2014	—	`conf`	Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. ICMS Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
2014	J	`jnl`	Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. CoRR Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport
2014	J	`jnl`	Using the distribution of cells by dimension in a cylindrical algebraic decomposition. CoRR David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport
2013	Misc	`conf`	A "Piano Movers" Problem Reformulated. SYNASC David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
2013	J	`jnl`	A "Piano Movers" Problem Reformulated. CoRR David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
2013	J	`jnl`	Branch Cuts in Maple 17. CoRR Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James Harold Davenport, David J. Wilson
2013	J	`jnl`	Cylindrical Algebraic Decompositions for Boolean Combinations CoRR Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2013	B	`conf`	Cylindrical algebraic decompositions for boolean combinations. ISSAC Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2013	J	`jnl`	Optimising Problem Formulation for Cylindrical Algebraic Decomposition CoRR Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
2013	—	`conf`	Optimising Problem Formulation for Cylindrical Algebraic Decomposition. MKM/Calculemus/DML Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson
2013	J	`jnl`	Understanding Branch Cuts of Expressions CoRR Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2013	—	`conf`	Understanding Branch Cuts of Expressions. MKM/Calculemus/DML Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
2012	J	`jnl`	A repository for CAD examples. ACM Commun. Comput. Algebra David J. Wilson, Russell J. Bradford, James H. Davenport
2012	Misc	`conf`	Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. SYNASC James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
2012	J	`jnl`	Program Verification in the presence of complex numbers, functions with branch cuts etc CoRR James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson
2012	—	`conf`	Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. AISC/MKM/Calculemus David J. Wilson, Russell J. Bradford, James H. Davenport
2012	J	`jnl`	Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases CoRR David J. Wilson, Russell J. Bradford, James H. Davenport
2011	J	`jnl`	Cryptographic Hash Functions: Recent Design Trends and Security Notions. IACR Cryptol. ePrint Arch. Saif Al-Kuwari, James H. Davenport, Russell J. Bradford
2011	—	`conf`	Real-time Sliding Phase Vocoder using a Commodity GPU. ICMC Russell J. Bradford, John ffitch, Richard W. Dobson
2010	J	`jnl`	Geometry of branch cuts. ACM Commun. Comput. Algebra Nalina Phisanbut, Russell J. Bradford, James H. Davenport
2009	—	`conf`	A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. Calculemus/MKM Russell J. Bradford, James H. Davenport, Christopher J. Sangwin
2008	—	`conf`	High-Performance audio Computing - a position Paper. ICMC Richard W. Dobson, John ffitch, Russell J. Bradford
2007	J	`jnl`	Testing elementary function identities using CAD. Appl. Algebra Eng. Commun. Comput. James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
2007	—	`conf`	The sliding phase vocoder. ICMC Russell J. Bradford, Richard W. Dobson, John ffitch
2005	B	`conf`	Adherence is better than adjacency: computing the Riemann index using CAD. ISSAC James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
2005	—	`conf`	Practical Simplification of Elementary Functions Using CAD. Algorithmic Algebra and Logic James C. Beaumont, Nalina Phisanbut, Russell J. Bradford
2005	—	`conf`	Sliding is smoother than jumping. ICMC Russell J. Bradford, Richard W. Dobson, John ffitch
2004	B	`conf`	A poly-algorithmic approach to simplifying elementary functions. ISSAC James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
2003	B	`conf`	Better simplification of elementary functions through power series. ISSAC James C. Beaumont, Russell J. Bradford, James H. Davenport
2002	J	`jnl`	Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
2002	B	`conf`	Towards better simplification of elementary functions. ISSAC Russell J. Bradford, James H. Davenport
2002	A*	`conf`	Web server benchmarking using parallel WAN emulation. SIGMETRICS Rob Simmonds, Carey L. Williamson, Russell J. Bradford, Martin F. Arlitt, Brian W. Unger
2001	B	`conf`	Packet Reading for Network Emulation. MASCOTS Russell J. Bradford, Rob Simmonds, Brian W. Unger
2000	B	`conf`	A Parallel Discrete Event IP Network Emulator. MASCOTS Russell J. Bradford, Rob Simmonds, Brian W. Unger
2000	B	`conf`	Applying parallel discrete event simulation to network emulation. PADS Rob Simmonds, Russell J. Bradford, Brian W. Unger
1999	—	`conf`	A Library for Parallel Modular Arithmetic. Euro-Par David Power, Russell J. Bradford
1998	—	`conf`	A pi-calculus Model of a Spanish Fish Market - Preliminary Report. AMET Julian A. Padget, Russell J. Bradford
1996	J	`jnl`	An implementation of Telos in Common Lisp. Object Oriented Syst. Russell J. Bradford
1996	J	`jnl`	Markov chain Monte Carlo methods for family trees using a parallel processor. Stat. Comput. Russell J. Bradford, Alun Thomas
1994	C	`conf`	Automatic Image Processing in Developmental Testing of Visual-Motor Integration. ICCHP Michael C. Fairhurst, N. Higson, C. Clar, Russell J. Bradford, W. Clark, E. Pringle
1993	J	`jnl`	EuLisp in Education. LISP Symb. Comput. Russell J. Bradford, David De Roure
1992	—	`conf`	Algebraic Simplification of Multiple-Valued Functions. DISCO Russell J. Bradford
1991	J	`jnl`	Concurrent Object-Oriented Programming in Lisp. Comput. J. Julian A. Padget, Russell J. Bradford, John P. Fitch
1990	B	`conf`	A Parallelization of the Buchberger Algorithm. ISSAC Russell J. Bradford
1989	B	`conf`	Some Results on the Defect. ISSAC Russell J. Bradford
1988	B	`conf`	Effective Tests for Cyclotonic Polynomials. ISSAC Russell J. Bradford, James H. Davenport
1987	—	`conf`	Factorisation of Polynominals: Old Ideas and Recent Results. Trends in Computer Algebra John A. Abbott, Russell J. Bradford, James H. Davenport
1987	—	`conf`	Hermite normal forms for integer matrices. EUROCAL Russell J. Bradford
1986	—	`conf`	Enlarging the REDUCE domain of computation. SYMSAC Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrüfer
1986	—	`conf`	The Bath algebraic number package. SYMSAC John A. Abbott, Russell J. Bradford, James H. Davenport
1985	J	`jnl`	A remark on factorisation. SIGSAM Bull. John A. Abbott, Russell J. Bradford, James H. Davenport