Russell Bradford

Dr

  • 1 WEST 3.59

1985 …2024

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2017

A case study on the parametric occurrence of multiple steady states

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 23 Jul 2017, ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)
2016

A C++ Programming Model for Heterogeneous System Architecture

Potter, R., Bradford, R., Murray, A. & Dolinsky, U., 6 Oct 2016, High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers. Taufer, M., Mohr, B. & Kunkel, J. M. (eds.). Springer International Publishing, p. 433-450 17 p. (Lecture Notes in Computer Science; vol. 9945).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Kernel composition in SYCL

Potter, R., Keir, P., Bradford, R. J. & Murray, A., 12 May 2015, Proceedings of the 3rd International Workshop on OpenCL (IWOCL), 2015. New York, U. S. A.: Association for Computing Machinery, a11

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)
2014

Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

England, M., Bradford, R. J., Davenport, J. H. & Wilson, D., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Springer, Vol. 8592. p. 450-457 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
12 Citations (Scopus)
125 Downloads (Pure)

Streaming Spectral Processing with Consumer-level Graphic Processing Units

Lazzarini, V., Timoney, J., ffitch, J. P. & Bradford, R., 1 Sep 2014, Proceedingb of DAFx14. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Using the distribution of cells by dimension in a cylindrical algebraic decomposition

Wilson, D., England, M., Bradford, R. J. & Davenport, J. H., 2014, Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, p. 53-60 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
8 Citations (Scopus)
120 Downloads (Pure)

Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Hong, H. & Yap, C. (eds.). Springer, p. 458-465 8 p. (Lecture Notes in Computer Science; vol. 8592).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
19 Citations (Scopus)
113 Downloads (Pure)
2013

A "piano movers" problem reformulated

Wilson, D., Davenport, J. H., England, M. & Bradford, R. J., 2013, Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, p. 53-60 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
15 Citations (Scopus)
71 Downloads (Pure)

Cylindrical algebraic decompositions for Boolean combinations

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 2013, ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 125-132

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
10 Citations (Scopus)
112 Downloads (Pure)

Optimising problem formulation for cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 19-34 15 p. (Lecture Notes in Computer Science; vol. 7961).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
27 Citations (Scopus)
119 Downloads (Pure)

The changing relevance of the TLB

Jones, J., Davenport, J. & Bradford, R., Sep 2013, 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, p. 110-114 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
89 Downloads (Pure)

Understanding branch cuts of expressions

England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 136-151 16 p. (Lecture Notes in Computer Science; vol. 7961).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
10 Citations (Scopus)
349 Downloads (Pure)
2012

Program Verification in the presence of complex numbers, functions with branch cuts etc

Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, p. 83-88 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
25 Citations (Scopus)
106 Downloads (Pure)

Speeding up cylindrical algebraic decomposition by Gröebner Bases

Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
10 Citations (Scopus)
86 Downloads (Pure)
2009

A comparison of equality in computer algebra and correctness in mathematical pedagogy

Bradford, R., Davenport, J. H. & Sangwin, C. J., 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, p. 75-89 15 p. (Lecture Notes in Computer Science; vol. 5625, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations (Scopus)
108 Downloads (Pure)
2008

Sliding DFT for fun and musical profit

ffitch, J., Dobson, R. & Bradford, R., 2008, Proceedings: Linux Audio Conference 2008. Barknecht, F. & Rumori, M. (eds.). Brno, CZ: Tribun EU, p. 118-124 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
59 Downloads (Pure)

Sliding with a constant Q

Bradford, R., ffitch, J. & Dobson, R., Sep 2008, 11th International Conference on Digital Audio Effects (DAFx-08) Proceedings September 1-4th, 2008 Espoo, Finland . Espoo, Finland: DAFx, p. 363-369 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
4 Citations (Scopus)
54 Downloads (Pure)
1999

A library for parallel modular arithmetic

Power, D. & Bradford, R., 1999, Euro-Par’99 Parallel Processing: 5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings. Amestoy, P., Berger, P., Dayde, M., Ruiz, D., Duff, I., Fraysse, V. & Girard, L. (eds.). Berlin: Springer, p. 1476-1483 8 p. (Lecture Notes in Computer Science; vol. 1685).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A π-calculus model of the spanish fish market

Padget, J. & Bradford, R., 1999, Agent Mediated Electronic Commerce: First International Workshop on Agent Mediated Electronic Trading, AMET'98, Minneapolis, MN, USA, May 10th, 1998 Selected Papers. Noriega, P. & Sierra, C. (eds.). Berlin, Germany: Springer Verlag, p. 166-188 23 p. (Lecture Notes in Artificial Intelligence; vol. 1571).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1993

Algebraic simplification of multiple-valued functions

Bradford, R., 1993, Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings. Springer, p. 13-21 9 p. (Lecture Notes in Computer Science; vol. 721).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1990

Concurrent object-oriented processing in Lisp

Padget, J., Bradford, R. & ffitch, J. P., Jan 1990, Proceedings of BCS Workshop on High Performance and Parallel Computing in Lisp, 1990. Europal Ltd.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1989

Effective tests for cyclotomic polynomials

Bradford, R. J. & Davenport, J. H., 1989, Symbolic and Algebraic Computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: Proceedings. Gianni, P. (ed.). Berlin, Germany: Springer, p. 244-251 8 p. (Lecture Notes in Computer Science; vol. 358).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1986

Enlarging the REDUCE domain of computation

Bradford, R. J., Hearn, A. C., Padget, J. A. & Schrüfer, E., 1986, SYMSAC '86: Proceedings of the Fifth ACM Symposium on Symbolic and Algebraic Computation. New York, U. S. A.: Association for Computing Machinery, p. 100-106 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution