Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 10 out of 116Page size: 10
  1. 2021

  2. A long postreproductive life span is a shared trait among genetically distinct killer whale populations

    Nielsen, M., Ellis, S., Towers, J., Doniol-Valcroze, T., Franks, D. W., Cant, M., Weiss, M., Johnstone, R. A., Balcomb, K. C., Ellifrit, D. K. & Croft, D., 16 Jun 2021, (E-pub ahead of print)

    Article in Ecology and Evolution

  3. Confluence up to garbage in graph transformation

    Campbell, G. & Plump, D., 16 Jun 2021, (E-pub ahead of print)

    Article in Theoretical Computer Science

  4. RiskStructures: A Design Algebra for Risk-Aware Machines

    Gleirscher, M., Calinescu, R. & Woodcock, J., 26 May 2021, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  5. Sound reasoning in tock-CSP

    Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, (E-pub ahead of print)

    Article in Acta Informatica

  6. Control and benchmarking of a 7-DOF robotic arm using Gazebo and ROS

    Zhang, B. & Liu, P., 23 Mar 2021, (E-pub ahead of print)

    Article in PeerJ Computer Science

  7. A Comparison of Self-Play Algorithms Under a Generalized Framework

    Hernandez, D., Denamganai, K., Devlin, S., Samothrakis, S. & Walker, J. A., 11 Feb 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Games

  8. 2020

  9. SurfaceView: Seamless and tile-based orthomosaics using millions of street-level images from vehicle-mounted cameras

    Tanathong, S., Smith, W. A. P. & Remde, S., 1 Dec 2020, (E-pub ahead of print)

    Article in IEEE Transactions on Intelligent Transportation Systems

  10. Inside the Decentralised Casino: A Longitudinal Study of Actual Cryptocurrency Gambling Transactions

    Scholten, O., Zendle, D. & Walker, J. A., 28 Oct 2020, (E-pub ahead of print)

    Article in PLoS ONE

  11. Semi-Supervised Face Frontalization in the Wild

    Zhang, Z., Liang, R., Chen, X., Xu, X., Hu, G., Zuo, W. & Hancock, E. R., 22 Sep 2020, (E-pub ahead of print)

    Article in Information Forensics and Security, IEEE Transactions on

  12. Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America

    Gleirscher, M. & Marmsoler, D., 9 Sep 2020, (E-pub ahead of print)

    Article in Empirical Software Engineering

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