Russell Bradford

Dr

  • 1 WEST 3.59

1985 …2018
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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 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

Real Geometry and Connectedness via Triangular Description

Davenport, J., Bradford, R., England, M. & Wilson, D.

1/10/1131/12/15

Project: Research council

ladders
geometry
corridors
decomposition
planning

Research Output 1985 2018

Open Access
File
Computer graphics
Computer programming
Computer systems
Ray tracing
Image processing

Quantifier Elimination for Reasoning in Economics

Mulligan, C. B., Bradford, R., Davenport, J., England, M. & Tonks, Z., 26 Apr 2018

Research output: Other contribution

Open Access
6 Citations

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

Protein Kinase
Biological Networks
Symbolic Computation
Numerics
Positivity

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

Virtual addresses
High level languages
Particle accelerators
Codes (standards)
Application programming interfaces (API)
14 Citations

Truth table invariant cylindrical algebraic decomposition

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

Research output: Contribution to journalArticle

Open Access
File
Truth table
Projection Operator
Decomposition
Decompose
Invariant

Datasets

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

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

Programming Models for Heterogeneous Systems with Application to Computer Graphics

Author: Potter, R., 1 Jun 2017

Supervisor: Bradford, R. (Supervisor)

Student thesis: Doctoral ThesisDoctor of Engineering (EngD)

File