Research

Items by Bradford, Russell

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 47.

Articles

Wilson, D., Bradford, R., Davenport, J. H. and England, M., 2014. Cylindrical algebraic sub-decompositions. Mathematics in Computer Science, 8 (2), pp. 263-288.

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

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. and Wilson, D., 2013. Branch Cuts in Maple 17. ACM Communications in Computer Algebra, 48 (1), pp. 24-27.

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.

Padget, J., Bradford, R. and ffitch, J., 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

Wilson, D., Bradford, R. J., Davenport, J. H. and England, M., 2013. The Piano Mover's Problem Reformulated. Other. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-03)

Conference or Workshop Items

England, M., Bradford, R. and Davenport, J., 2015. Improving the use of equational constraints in cylindrical algebraic decomposition. In: ISSAC '15 - 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015-07-06 - 2015-07-09, Bath.

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition by regular chains. Springer, pp. 44-58. (Lecture Notes in Computer Science)

Jones, J., Davenport, J. and Bradford, R., 2013. The changing relevance of the TLB. In: DCABES 2013, 2013-09-02 - 2013-09-04, Kingston-on-Thames. Piscataway, NJ: IEEE, pp. 110-114.

Wilson, D., Davenport, J. H., England, M. and Bradford, R. J., 2013. A "piano movers" problem reformulated. In: SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-23 - 2013-09-26, Timisoara. IEEE, pp. 53-60.

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

Bradford, R., Davenport, J. H., England, M. and Wilson, D., 2013. Optimising problem formulation for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath. Berlin: Springer, pp. 19-34. (Lecture Notes in Computer Science; 7961)

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Conferences on Intelligent Computer Mathematics: CICM 2013, 2013-07-07 - 2013-07-11, Bath. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28, Timisoara. Piscataway: IEEE, pp. 83-88.

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

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. 8th International Conference on Mathematical Knowledge Management (MKM 2009), 2009-07-10 - 2009-07-12, Grand Bend, Ontario. 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 Linux Audio Conference, 2009-01-01. Parma: Istituzione Casa della Musica, pp. 73-79.

Bradford, R., ffitch, J. and Dobson, R., 2008. Sliding with a constant Q. In: Proc. of the Int. Conf. on Digital Audio Effects (DAFx-08), 2008-09-01. 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 2008 ICMC, 2008-01-01. 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. 6th International Linux Audio Conference, 2008-03-01. 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, 2007-08-01. ICMA and Re:New, pp. 449-452.

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., Bradford, R. and Davenport, J. H., 2003. Better simplification of elementary functions through power series. In: ISSAC 2003 International Symposium on Symbolic and Algebraic Computation, 2003-08-03 - 2003-08-06, Philadelphia, U. S. A.. New York, U. S. A.: ACM, pp. 30-36.

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.

Power, D. and Bradford, R., 1999. A library for parallel modular arithmetic. In: Amestoy, P., Berger, P., Dayde, M., Ruiz, D., Duff, I., Fraysse, V. and Girard, L., eds. 5th International Conference on Parallel Processing, 1999-08-31 - 1999-09-03, Toulouse. Berlin: Springer, pp. 1476-1483. (Lecture Notes in Computer Science; 1685)

Bradford, R., 1993. Algebraic simplification of multiple-valued functions. Springer, pp. 13-21. (Lecture Notes in Computer Science; 721)

Bradford, R.J. and Davenport, J.H., 1989. Effective tests for cyclotomic polynomials. 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. 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, 1986-07-20 - 1986-07-22, Waterloo. New York, USA: Association for Computing Machinery (ACM), pp. 250-253.

This list was generated on Wed Feb 10 19:58:04 2016 GMT.