Russell J. Bradford

According to our database, Russell J. Bradford authored at least 62 papers between 1985 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.

Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu

ACM Commun. Comput. Algebra, 2021

2020

Cylindrical algebraic decomposition with equational constraints.

Matthew England, Russell J. Bradford, James H. Davenport

J. Symb. Comput., 2020

Identifying the parametric occurrence of multiple steady states for some biological networks.

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

J. Symb. Comput., 2020

2019

Does the "Artificial Intelligence Clinician" learn optimal treatment strategies for sepsis in intensive care?

Russell J. Bradford, Christopher J. Sangwin, Supreeth P. Shashikumar, Shamim Nemati

CoRR, 2019

2018

Datset of automated economic reasoning problems for QE / SMT.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Dataset, April, 2018

Datset of automated economic reasoning problems for QE / SMT.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Dataset, April, 2018

Quantifier Elimination for Reasoning in Economics.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

CoRR, 2018

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2017

A Case Study on the Parametric Occurrence of Multiple Steady States.

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

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

Truth table invariant cylindrical algebraic decomposition.

Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson

J. Symb. Comput., 2016

A C++ Programming Model for Heterogeneous System Architecture.

Ralph Potter, Russell J. Bradford, Alastair Murray, Uwe Dolinsky

Proceedings of the High Performance Computing, 2016

2015

Kernel composition in SYCL.

Ralph Potter, Paul Keir, Russell J. Bradford, Alastair Murray

Proceedings of the 3rd International Workshop on OpenCL, 2015

Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition.

Matthew England, Russell J. Bradford, James H. Davenport

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

Cylindrical Algebraic Sub-Decompositions.

David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England

Math. Comput. Sci., 2014

Branch cuts in maple 17.

Matthew England, Edgardo S. Cheb-Terrab, Russell J. Bradford, James H. Davenport, David J. Wilson

ACM Commun. Comput. Algebra, 2014

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition.

David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.

Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.

Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport

Proceedings of the Mathematical Software - ICMS 2014, 2014

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.

Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson

Proceedings of the Mathematical Software - ICMS 2014, 2014

Streaming Spectral Processing with Consumer-Level Graphics Processing Units.

Victor Lazzarini, John ffitch, Joseph Timoney, Russell J. Bradford

Proceedings of the 17th International Conference on Digital Audio Effects, 2014

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.

Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

A "Piano Movers" Problem Reformulated.

David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Understanding Branch Cuts of Expressions.

Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson

Proceedings of the Intelligent Computer Mathematics, 2013

Optimising Problem Formulation for Cylindrical Algebraic Decomposition.

Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson

Proceedings of the Intelligent Computer Mathematics, 2013

Cylindrical algebraic decompositions for boolean combinations.

Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

A repository for CAD examples.

David J. Wilson, Russell J. Bradford, James H. Davenport

ACM Commun. Comput. Algebra, 2012

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc.

James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases.

David J. Wilson, Russell J. Bradford, James H. Davenport

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Cryptographic Hash Functions: Recent Design Trends and Security Notions.

Saif Al-Kuwari, James H. Davenport, Russell J. Bradford

IACR Cryptol. ePrint Arch., 2011

Real-time Sliding Phase Vocoder using a Commodity GPU.

Russell J. Bradford, John ffitch, Richard W. Dobson

Proceedings of the 2011 International Computer Music Conference, 2011

2010

Geometry of branch cuts.

Nalina Phisanbut, Russell J. Bradford, James H. Davenport

ACM Commun. Comput. Algebra, 2010

2009

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy.

Russell J. Bradford, James H. Davenport, Christopher J. Sangwin

Proceedings of the Intelligent Computer Mathematics, 2009

2008

High-Performance audio Computing - a position Paper.

Richard W. Dobson, John ffitch, Russell J. Bradford

Proceedings of the 2008 International Computer Music Conference, 2008

2007

Testing elementary function identities using CAD.

James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut

Appl. Algebra Eng. Commun. Comput., 2007

The sliding phase vocoder.

Russell J. Bradford, Richard W. Dobson, John ffitch

Proceedings of the 2007 International Computer Music Conference, 2007

2005

Adherence is better than adjacency: computing the Riemann index using CAD.

James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut

Proceedings of the Symbolic and Algebraic Computation, 2005

Sliding is smoother than jumping.

Russell J. Bradford, Richard W. Dobson, John ffitch

Proceedings of the 2005 International Computer Music Conference, 2005

Practical Simplification of Elementary Functions Using CAD.

James C. Beaumont, Nalina Phisanbut, Russell J. Bradford

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

A poly-algorithmic approach to simplifying elementary functions.

James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut

Proceedings of the Symbolic and Algebraic Computation, 2004

2003

Better simplification of elementary functions through power series.

James C. Beaumont, Russell J. Bradford, James H. Davenport

Proceedings of the Symbolic and Algebraic Computation, 2003

2002

Reasoning about the Elementary Functions of Complex Analysis.

Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt

Ann. Math. Artif. Intell., 2002

Web server benchmarking using parallel WAN emulation.

Rob Simmonds, Carey L. Williamson, Russell J. Bradford, Martin F. Arlitt, Brian W. Unger

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Towards better simplification of elementary functions.

Russell J. Bradford, James H. Davenport

Proceedings of the Symbolic and Algebraic Computation, 2002

2001

Packet Reading for Network Emulation.

Russell J. Bradford, Rob Simmonds, Brian W. Unger

Proceedings of the 9th International Workshop on Modeling, 2001

2000

Applying parallel discrete event simulation to network emulation.

Rob Simmonds, Russell J. Bradford, Brian W. Unger

Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

A Parallel Discrete Event IP Network Emulator.

Russell J. Bradford, Rob Simmonds, Brian W. Unger

Proceedings of the MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August, 2000

1999

A Library for Parallel Modular Arithmetic.

David Power, Russell J. Bradford

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

A pi-calculus Model of a Spanish Fish Market - Preliminary Report.

Julian A. Padget, Russell J. Bradford

Proceedings of the Agent Mediated Electronic Commerce, 1998

1996

Markov chain Monte Carlo methods for family trees using a parallel processor.

Russell J. Bradford, Alun Thomas

Stat. Comput., 1996

An implementation of Telos in Common Lisp.

Russell J. Bradford

Object Oriented Syst., 1996

1994

Automatic Image Processing in Developmental Testing of Visual-Motor Integration.

Michael C. Fairhurst, N. Higson, C. Clar, Russell J. Bradford, W. Clark, E. Pringle

Proceedings of the Computers for Handicapped Persons, 4th International Conference, 1994

1993

EuLisp in Education.

Russell J. Bradford, David De Roure

LISP Symb. Comput., 1993

1992

Algebraic Simplification of Multiple-Valued Functions.

Russell J. Bradford

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992

1991

Concurrent Object-Oriented Programming in Lisp.

Julian A. Padget, Russell J. Bradford, John P. Fitch

Comput. J., 1991

1990

A Parallelization of the Buchberger Algorithm.

Russell J. Bradford

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1989

Some Results on the Defect.

Russell J. Bradford

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

Effective Tests for Cyclotonic Polynomials.

Russell J. Bradford, James H. Davenport

Proceedings of the Symbolic and Algebraic Computation, 1988

1987

Factorisation of Polynominals: Old Ideas and Recent Results.

John A. Abbott, Russell J. Bradford, James H. Davenport

Proceedings of the Trends in Computer Algebra, 1987

Hermite normal forms for integer matrices.

Russell J. Bradford

Proceedings of the EUROCAL '87, 1987

1986

Enlarging the REDUCE domain of computation.

Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrüfer

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

The Bath algebraic number package.

John A. Abbott, Russell J. Bradford, James H. Davenport

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

1985

A remark on factorisation.

John A. Abbott, Russell J. Bradford, James H. Davenport

SIGSAM Bull., 1985