1998 …2024

Allbwn ymchwil fesul blwyddyn

Proffil personol

Arbenigedd sy’n gysylltiedig â NDC y CU

Yn 2015, cytunodd gwladwriaethau sy’n aelodau'r Cenhedloedd Unedig ar 17 o Nodau Datblygu Cynaliadwy (NDC) byd-eang i ddod â thlodi i ben, diogelu’r blaned a sicrhau ffyniant i bawb. Mae gwaith y person hwn yn cyfrannu at y NDC canlynol:

  • NDC 3 - Iechyd a Llesiant Da
  • NDC 7 - Ynni Fforddiadwy a Glân
  • NDC 13 - Gweithredu ar y Newid yn yr Hinsawdd

Ôl bys

Ewch i ganol y pynciau ymchwil lle mae Jonathan Timmis ar waith. Mae’r labelau pwnc hyn yn dod o waith y person hwn. Gyda’i gilydd maen nhw’n ffurfio ôl bys unigryw.
  • 1 Proffiliau Tebyg

Cydweithrediadau a’r prif feysydd ymchwil yn ystod y pum mlynedd ddiwethaf

Cydweithrediad allanol yn ddiweddar ar lefel gwlad/tiriogaeth. Plymiwch i mewn i'r manylion drwy glicio ar y dotiau neu
  • Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool

    Li, W., Ribeiro, P. A., Miyazawa, A., Redpath, R., Cavalcanti, A., Alden, K., Woodcock, J. & Timmis, J., 01 Awst 2024, Yn: Autonomous Robots. 48, 6, 14.

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid

    Mynediad agored
    Ffeil
    2 Wedi eu Llwytho i Lawr (Pure)
  • Bringing RoboStar and RT-Tester Together

    Cavalcanti, A., Miyazawa, A., Schulze, U. & Timmis, J., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, t. 16-33 18 t. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Cyfrol 14165 LNCS).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddPennod

  • Preface

    Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J. & Woodcock, J., 05 Gorff 2021, Software Engineering for Robotics. Springer Nature, t. vii-viii

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddRhagymadrodd/ôl-ysgrif

    4 Dyfyniadau (Scopus)
  • Software engineering for robotics

    Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J. & Woodcock, J., 05 Gorff 2021, Springer Nature. 483 t.

    Allbwn ymchwil: Llyfr/AdroddiadLlyfr

    10 Dyfyniadau (Scopus)
  • Towards autonomous robot evolution

    Eiben, A. E., Hart, E., Timmis, J., Tyrrell, A. M. & Winfield, A. F., 05 Gorff 2021, Software Engineering for Robotics. Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J. & Woodcock, J. (gol.). Springer Nature, t. 29-51 23 t.

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddPennod

    Mynediad agored
    13 Dyfyniadau (Scopus)
  • B cell zone reticular cell microenvironments shape CXCL13 gradient formation

    Cosgrove, J., Novkovic, M., Albrecht, S., Pikor, N. B., Zhou, Z., Onder, L., Mörbe, U., Cupovic, J., Miller, H., Alden, K., Thuery, A., O’Toole, P., Pinter, R., Jarrett, S., Taylor, E., Venetz, D., Heller, M., Uguccioni, M., Legler, D. F. & Lacey, C. J. & 11 eraill, Coatesworth, A., Polak, W. G., Cupedo, T., Manoury, B., Thelen, M., Stein, J. V., Wolf, M., Leake, M. C., Timmis, J., Ludewig, B. & Coles, M. C., 01 Rhag 2020, Yn: Nature Communications. 11, 1, 3677.

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid

    Mynediad agored
    53 Dyfyniadau (Scopus)
  • Bootstrapping artificial evolution to design robots for autonomous fabrication

    Buchanan, E., Le Goff, L. K., Li, W., Hart, E., Eiben, A. E., De Carlo, M., Winfield, A. F., Hale, M. F., Woolley, R., Angus, M., Timmis, J. & Tyrrell, A. M., Rhag 2020, Yn: Robotics. 9, 4, t. 1-24 24 t., 106.

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid

    Mynediad agored
    12 Dyfyniadau (Scopus)
  • Evolution of Diverse, Manufacturable Robot Body Plans

    Buchanan, E., Goff, L. K. L., Hart, E., Eiben, A. E., Carlo, M. D., Li, W., Hale, M. F., Angus, M., Woolley, R., Winfield, A. F., Timmis, J. & Tyrrell, A. M., 01 Rhag 2020, 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020. IEEE Press, t. 2132-2139 8 t. 9308434. (2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    4 Dyfyniadau (Scopus)
  • Hardware Design for Autonomous Robot Evolution

    Hale, M. F., Angus, M., Buchanan, E., Li, W., Woolley, R., Goff, L. K. L., Carlo, M. D., Timmis, J., Winfield, A. F., Hart, E., Eiben, A. E. & Tyrrell, A. M., 01 Rhag 2020, 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020. IEEE Press, t. 2140-2147 8 t. 9308204. (2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020).

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

    15 Dyfyniadau (Scopus)
  • Strategies for calibrating models of biology

    Read, M. N., Alden, K., Timmis, J. & Andrews, P. S., 17 Ion 2020, Yn: Briefings in Bioinformatics. 21, 1, t. 24-35 12 t.

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid

    15 Dyfyniadau (Scopus)
  • The ARe robot fabricator: How to (Re)produce robots that can evolve in the real world

    Hale, M. F., Buchanan, E., Winfield, A. F., Timmis, J., Hart, E., Eiben, A. E., Angus, M., Veenstra, F., Li, W., Woolley, R., de Carlo, M. & Tyrrell, A. M., 2020, t. 95-102. 8 t.

    Allbwn ymchwil: Cyfraniad at gynhadleddPapuradolygiad gan gymheiriaid

    28 Dyfyniadau (Scopus)