Russell Bradford

Dr

  • 1 WEST 3.59

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

Personal profile

Research interests

Research interests include computer algebra; cryptography; design and implementation of object-oriented languages; simulation and emulation of networks; the mechanisation of various abstract nonsenses. Outside interests include karate, going to festivals and being generally distracted.

Fingerprint Dive into the research topics where Russell Bradford is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Decompose Mathematics
Decomposition Engineering & Materials Science
Truth table Mathematics
Computer aided design Engineering & Materials Science
Maple Mathematics
Elementary Functions Mathematics
Processing Engineering & Materials Science
Branch Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2011 2015

ladders
geometry
corridors
decomposition
planning

Research Output 1985 2020

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

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 15 Jul 2019, In : Journal of Symbolic Computation. 98, p. 84-119 36 p.

Research output: Contribution to journalArticle

19 Citations (Scopus)
58 Downloads (Pure)

Truth table invariant cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 1 Sep 2016, In : Journal of Symbolic Computation. 76, p. 1-35 35 p.

Research output: Contribution to journalArticle

Open Access
Truth table
Projection Operator
Decomposition
Decompose
Invariant
17 Citations (Scopus)
84 Downloads (Pure)

Improving the use of equational constraints in cylindrical algebraic decomposition

England, M., Bradford, R. & Davenport, J. H., Jul 2015, p. 165-172. 8 p.

Research output: Contribution to conferencePaper

Open Access
Projection
Decompose
Complexity Analysis
Polynomial
Cell
6 Citations (Scopus)

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

Data storage equipment
Masks
Chemical analysis
Parallel programming
Image processing
10 Citations (Scopus)
98 Downloads (Pure)

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
Decomposition
Computer aided design
Mechanics
Polynomials
Geometry

Datasets

Data for 'Efficient characterisation of large deviations using population dynamics'

Brewer, T. (Creator), Jack, R. (Creator), University of Bath, 8 May 2018

Dataset

Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator), Wilson, D. (Creator), University of Bath, 2015

Dataset

Thesis

Advances in Cylindrical Algebraic Decomposition

Author: Wilson, D., 24 Dec 2014

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Attribute based authentication schemes

Author: Khader, D., 23 Apr 2009

Supervisor: Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Efficient Simulation of Rare Events in one-dimensional systems using a parallelised cloning algorithm

Author: Brewer, T., 1 May 2019

Supervisor: Clark, S. (Supervisor), Jack, R. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Integrated-Key Cryptographic Hash Functions

Author: Al-Kuwari, S., 1 Sep 2011

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Practical simplification of elementary functions using CAD

Author: Phisanbut, N., 1 Aug 2011

Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisPhD

File