Jon Timmis

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

Prof. Jon Timmis

(Former)

  1. 2019
  2. Best Practices to Maximize the Use and Reuse of Quantitative and Systems Pharmacology Models: Recommendations From the United Kingdom Quantitative and Systems Pharmacology Network

    Cucurull-Sanchez, L., Chappell, M. J., Chelliah, V., Amy Cheung, S. Y., Derks, G., Penney, M., Phipps, A., Malik-Sheriff, R. S., Timmis, J., Tindall, M. J., van der Graaf, P. H., Vicini, P. & Yates, J. W. T., 22 Jan 2019

    Article in CPT Pharmacometrics & Systems Pharmacology

  3. 2018
  4. Time-multiplexed System-on-Chip using Fault-tolerant Astrocyte-Neuron Networks

    Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. J. & Halliday, D. M., 1 Sep 2018, (Accepted/In press).

    Research output: Contribution to conferencePaper

  5. A hormone arbitration system for energy efficient foraging in robot swarms

    Wilson, J., Timmis, J. & Tyrrell, A., 21 Jul 2018, Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Proceedings. Giannaccini, M. E., Giuliani, M. & Assaf, T. (eds.). Springer-Verlag, p. 305-316 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10965 LNAI).

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

  6. FPGA-based Fault-injection and Data Acquisition of Self-repairing Spiking Neural Network Hardware

    Karim, S., Harkin, J., McDaid, L., Gardiner, B., Liu, J., Halliday, D. M., Tyrrell, A. M., Timmis, J. I., Millard, A. G. & Johnson, A. P., 4 May 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 5 p. (IEEE International Conference on Circuits and Systems.).

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

  7. Fault-tolerant Learning in Spiking Astrocyte-Neural Networks on FPGAs

    Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 29 Mar 2018, 31st International Conference on VLSI Design (VLSID 2018) & 17th International Conference on Embedded Systems (ES 2018). IEEE

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

  8. 2017
  9. Automatic Property Checking of Robotic Applications

    Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

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

  10. Object recall using an experience database to accelerate robot action planning

    Redpath, R., Timmis, J. & Trefzer, M., 13 Dec 2017, IROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-September. p. 1566-1571 6 p. 8205963

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

  11. Self-Repairing Learning Rule for Spiking Astrocyte-Neuron Networks

    Liu, J., McDaid, L., Harkin, J., Wade, J., Karim, S., Johnson, A. P., Millard, A. G., Halliday, D. M., Tyrrell, A. M. & Timmis, J. I., 27 Oct 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceeding, Part II. Liu, D., Xie, S., Li, Y., Zhao, D. & El-Alfy, E-SM. (eds.). Springer, (Lecture Notes in Computer Science; vol. 10634, 10635 10636, 10637, 10638, 10639).

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

  12. Homeostatic Fault Tolerance in Spiking Neural Networks utilizing Dynamic Partial Reconfiguration of FPGAs

    Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 15 Sep 2017, (Accepted/In press) The International Conference on Field-Programmable Technology (FPT-2017). IEEE

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

  13. Modelling and Verification of Timed Robotic Controllers

    De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).

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

  14. Methodologies for quantitative systems pharmacology (QSP) models: Design and estimation

    Ribba, B., Grimm, H. P., Agoram, B., Davies, M. R., Gadkar, K., Niederer, S., Van Riel, N., Timmis, J. & Van Der Graaf, P. H., 1 Aug 2017

    Review article in CPT Pharmacometrics & Systems Pharmacology

  15. Assessing Self-Repair on FPGAs with Biologically Realistic Astrocyte-Neuron Networks

    Karim, S., Harkin, J., McDaid, L., Gardiner, B., Liu, J., Halliday, D. M., Tyrrell, A. M., Timmis, J. I., Millard, A. G. & Johnson, A. P., 24 Jul 2017, IEEE Xplore: IS VLSI. 6 p. ( VLSI (ISVLSI), IEEE Computer Society Annual Symposium on).

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

  16. Towards fault diagnosis in robot swarms: An online behaviour characterisation approach

    O’Keeffe, J., Tarapore, D., Millard, A. G. & Timmis, J., 20 Jul 2017, Towards Autonomous Robotic Systems - 18th Annual Conference, TAROS 2017, Proceedings. Springer-Verlag, Vol. 10454 LNAI. p. 393-407 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10454 LNAI).

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

  17. Evolving Test Environments to Identify Faults in Swarm Robotics Algorithms

    Wei, H., Timmis, J. I. & Alexander, R. D., 6 Jun 2017.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 ...13 Next