Items by Bradford, Russell

Book Sections

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Forthcoming. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE.

Wilson, D. J., Bradford, R. J. and Davenport, J. H., 2012. Speeding up cylindrical algebraic decomposition by Gröebner Bases. In: Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. and Sorge, V., eds. Intelligent computer mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J. , pp. 280-294. (Lecture Notes in Computer Science; 7362)

Bradford, R., ffitch, J. and Dobson, R., 2011. Real-time Sliding Phase Vocoder using a Commodity GPU. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 587-590. (ICMC)

Al-Kuwari, S., Davenport, J. H. and Bradford, R. J., 2010. Cryptographic hash functions: recent design trends and security notions. In: Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, pp. 133-150.

Bradford, R., Davenport, J. H. and Sangwin, C. J., 2009. A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. 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. Berlin: Springer, pp. 75-89. (Lecture Notes in Computer Science; 5625/2)

ffitch, J. P., Dobson, R. and Bradford, R., 2009. The Imperative for High-Performance Audio Computing. In: Proceedings of LAC2009, Parma, Italy, 16-19 April 2009. Parma: Istituzione Casa della Musica, pp. 73-79.

Bradford, R., ffitch, J. and Dobson, R., 2008. Sliding with a constant Q. In: 11th International Conference on Digital Audio Effects (DAFx-08) Proceedings September 1-4th, 2008 Espoo, Finland. Espoo, Finland: DAFx, pp. 363-369.

Dobson, R., ffitch, J. and Bradford, R., 2008. High performance audio computing: a position paper. In: Proceedings of the International Computer Music Conference 2008: 24-29 August 2008, Belfast, Northern Ireland. Belfast, Northern Ireland: ICMA and Sonic Arts Research Centre, Queen's University, Belfast, pp. 213-216.

ffitch, J., Dobson, R. and Bradford, R., 2008. Sliding DFT for fun and musical profit. In: Barknecht, F. and Rumori, M., eds. Proceedings: Linux Audio Conference 2008. Brno, CZ: Tribun EU, pp. 118-124.

Bradford, R., Dobson, R. and ffitch, J. P., 2007. The Sliding Phase Vocoder. In: Proceedings of the 2007 International Computer Music Conference. Vol. II. ICMA and Re:New, pp. 449-452.

Bradford, R., 1993. Algebraic simplification of multiple-valued functions. In: Design and Implementation of Symbolic Computation Systems. Springer Berlin Heidelberg, pp. 13-21. (Lecture Notes in Computer Science; 721)

Bradford, R.J. and Davenport, J.H., 1989. Effective tests for cyclotomic polynomials. In: Gianni, P., ed. Symbolic and Algebraic Computation. Berlin, Germany: Springer, pp. 244-251. (Lecture Notes in Computer Science; 358)

Abbott, J. A., Bradford, R. J. and Davenport, J., 1988. Factorisation of polynomials : old ideas and recent results. In: Rainer, J., ed. Proceedings of the International Symposium on Trends in Computer Algebra. London, UK: Springer, pp. 81-91.

Abbott, J. A., Bradford, R. J. and Davenport, J., 1986. The Bath algebraic number package. In: Char, B. W., ed. SYMSAC 86. New York, USA: Association for Computing Machinery (ACM), pp. 250-253.

Articles

Bradford, R., Davenport, J. and Wilson, D., 2013. A repository for CAD Examples. ACM Communications in Computer Algebra, 46 (3), pp. 67-69.

Bradford, R., Davenport, J. H. and Sangwin, C., 2010. A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (II). International Journal for Technology in Mathematics Education, 17 (2), pp. 93-98.

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2007. Testing elementary function identities using CAD. Applicable Algebra in Engineering Communication and Computing, 18 (6), pp. 513-543.

Bradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. and Watt, S. M., 2002. Reasoning about the elementary functions of complex analysis. Annals of Mathematics and Artificial Intelligence, 36 (3), pp. 303-318.

Fitch, J. P., Bradford, R. and Padget, J. A., 1991. Concurrent object-oriented programming in LISP. The Computer Journal, 34 (4), pp. 311-319.

Abbott, J. A., Bradford, R. J. and Davenport, J., 1985. A remark on factorisation. SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation), 19 (2), pp. 31-33.

Reports/Papers

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.

Conference or Workshop Items

Bradford, R., Davenport, J., England, M., McCallum, S. and Wilson, D., 2013. Forthcoming. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC 2013: International Symposium on Symbolic and Algebraic Computation, 2013-06-25 - 2013-06-28, Boston.

Bradford, R., Davenport, J., England, M. and Wilson, D., 2013. Forthcoming. Optimising problem formulation for cylindrical algebraic decomposition. In: Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath.

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Forthcoming. Understanding branch cuts of expressions. In: Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath.

Bradford, R., Dobson, R. and ffitch, J., 2005. Sliding is Smoother than Jumping. In: International Computer Music Conference 2005 (ICMC 2005), 2005-09-05 - 2005-09-09, Barcelona.

Beaumont, J., Bradford, R., Davenport, J. H. and Phisanbut, N., 2005. Adherence is Better than Adjacency: Computing the Riemann Index using CAD. In: Proceedings of the 2005 international symposium on Symbolic and algebraic computation, 2005-07-01.

Beaumont, J., Phisanbut, N. and Bradford, R., 2005. Practical Simplification of Elementary Functions using CAD. In: Proceedings Algorithmic Algebra and Logic (A3L), 2005-04-01.

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2004. A poly-algorithmic approach to simplifying elementary functions. In: Proceedings of the 2004 international symposium on Symbolic and algebraic computation, 2004-01-01, Santander.

Beaumont, J. C., Bradford, R. J. and Davenport, J. H., 2003. Better Simplification of Elementary Functions Through Power Series. In: Sendra, J. R., ed. ISSAC 2003, 2003-01-01.

Beaumont, J., Bradford, R. and Davenport, J. H., 2003. Better simplification of elementary functions through power series. In: Proceedings of the 2003 international symposium on Symbolic and algebraic computation, 2003-01-01, Philadelphia, PA.

Bradford, R. and Davenport, J. H., 2002. Towards better simplification of elementary functions. In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, 2002-01-01, Lille.

Bradford, R., Simmonds, R., Williamson, C. L., Arlitt, M. F. and Unger, B., 2002. Web server benchmarking using parallel WAN emulation. In: SIGMETRICS, 2002-01-01.

Bradford, R., Simmonds, R. and Unger, B., 2001. Packet Reading for Network Emulation. In: Proceedings MASCOTS 2001: TheIEEE/ACM International Symposium on Modeling, Analysis and Simulation ofComputer and Telecommunication Systems, 2001-08-01.

Padget, J. A., Bradford, R. and Fitch, J. P., 1990. Concurrent object-oriented programming in Lisp. In: EUROPAL Workshop on High Performance and Parallel Computing in Lisp and Parallel Computing in Lisp, Twickenham, 1990-11-01, Twickenham.