Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 50 out of 105Page size: 50
Sort by: Type
  1. Article › Research › Not peer-reviewed

  2. Is real-money video gaming just a form of gambling?

    Zendle, D., 29 Oct 2019

    Article in Gaming Law Review

  3. Article › Research › Peer-reviewed

  4. 3D Modeling of craniofacial ontogeny and sexual dimorphism in children

    Smith, O. A. M., Nashed, Y. S. G., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 26 Dec 2020

    Article in Anatomical Record

  5. A Centrality Measure for Urban Networks Based on the Eigenvector Centrality Concept.

    Agryzkov, T., Tortosa, L., Vicent, J. & Wilson, R. C., 16 Aug 2017

    Article in Environment and Planning B: Urban Analytics and City Science

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

    Hernandez, D., Denamganai, K., Devlin, S., Samothrakis, S. & Walker, J. A., 11 Feb 2021

    Article in IEEE Transactions on Games

  7. A General Purpose Algorithm for Counting Simple Cycles and Simple Paths of Any Length

    Giscard, P-L., Kriege, N. & Wilson, R. C., 15 Feb 2019

    Article in Algorithmica

  8. A Novel CSI Feedback Approach for Massive MIMO using LSTM-Attention CNN

    Li, Q., Zhang, A., Liu, P., Li, J. & Li, C., 3 Jan 2020

    Article in IEEE Access

  9. A Novel Multi-objective Optimisation Algorithm for Routability and Timing Driven Circuit Clustering on FPGAs

    Wang, Y., Trefzer, M. A., Bale, S. J., Walker, J. A. & Tyrrell, A. M., 17 Dec 2018

    Article in IET Computers and Digital Techniques

  10. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

  11. A Wave Packet Signature for Complex Networks

    Aziz, F., Wilson, R. C. & Hancock, E. R., 5 Sep 2018

    Article in Journal of Complex Networks

  12. A quantum Jensen-Shannon graph kernel for unattributed graphs

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014

    Article in Pattern Recognition

  13. A safety-case approach to the ethics of autonomous vehicles

    Menon, C. & Alexander, R. D., 17 Dec 2019

    Article in Safety and Reliability

  14. ALGORITHMIC PROBLEMS IN ENGEL GROUPS AND CRYPTOGRAPHIC APPLICATIONS

    Kahrobaei, D. & Noce, M., 8 Feb 2020

    Article in International Journal of Group Theory

  15. An Algorithm for Computing Short-Range Forces in Molecular Dynamics Simulations with Non-Uniform Particle Densities

    Law, T. R., Hancox, J., Wright, S. A. & Jarvis, S., 28 Mar 2019

    Article in Journal of Parallel and Distributed Computing

  16. An Enhanced Vehicle Control Model for Highly Automated Driving Safety

    Monkhouse, H., Habli, I. & McDermid, J. A., 10 Jun 2020

    Article in Reliability Engineering and System Safety

  17. An Improved Sensor Calibration with Anomaly Detection and Removal

    Fang, X. & Bate, I. J., 28 Nov 2019

    Article in SENSORS AND ACTUATORS B-CHEMICAL

  18. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018

    Article in Scientific Reports

  19. Angelic Processes for CSP via the UTP

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 15 Oct 2018

    Article in Theoretical Computer Science

  20. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016

    Article in IEEE Transactions on Big Data

  21. Battery draining attacks against edge computing nodes in IoT networks

    Smith, R. T., Palin, D., Ioulianou, P. P., Vasilakis, V. & Shahandashti, S. F., 20 Jan 2020

    Article in Cyber-Physical Systems

  22. Calculating effect sizes in animal social network analysis

    Franks, D. W., Weiss, M. N., Silk, M. J., Perryman, R. J. Y. & Croft, D. P., 21 Jun 2020

    Article in Methods in ecology and evolution

  23. Channel Simulation in Quantum Metrology

    Laurenza, R., Lupo, C., Spedalieri, G., Braunstein, S. L. & Pirandola, S., 4 Apr 2018

    Article in Quantum Measurements and Quantum Metrology

  24. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018

    Article in Review of Scientific Instruments

  25. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018

    Article in Information Processing Letters

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

    Zhang, B. & Liu, P., 23 Mar 2021

    Article in PeerJ Computer Science

  27. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019

    Article in Neurocomputing

  28. Curvature-based spectral signatures for non-rigid shape retrieval

    Limberger, F. A. & Wilson, R. C., 17 Apr 2018

    Article in Computer Vision and Image Understanding

  29. DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 11 Jun 2019

    Article in International Journal of Information Security

  30. Diffusion Wavelet Embedding: a Multi-resolution Approach for Graph Embedding in Vector Space

    Bahonar, H., Mirzaei, A. & Wilson, R. C., 20 Sep 2017

    Article in Pattern Recognition

  31. Directed and Undirected Network Evolution from Euler-Lagrange Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 30 Mar 2018

    Article in Pattern Recognition Letters

  32. Directed motor-auditory EEG connectivity is modulated by music tempo

    Nicolaou, N., Malik, A., Daly, I., Weaver, J., Hwang, F., Kirke, A., Roesch, E. B., Williams, D., Miranda, E. R. & Nasuto, S. J., 18 Oct 2017

    Article in Frontiers in human neuroscience

  33. Dirichlet Densifiers for Improved Commute Times Estimation

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 19 Feb 2019

    Article in Pattern Recognition

  34. Distributional logic programming for Bayesian knowledge representation

    Angelopoulos, N. & Cussens, J., 17 Aug 2016

    Article in International Journal of Approximate Reasoning

  35. Dynamic selection of environmental variables to improve the prediction of aphid phenology: a machine learning approach

    Holloway, P., Kudenko, D. & James, B., 19 Feb 2018

    Article in Ecological Indicators

  36. Efficient Parametric Model Checking Using Domain Knowledge

    Calinescu, R. C., Paterson, C. & Johnson, K. H. A., 25 Apr 2019

    Article in IEEE Transactions on Software Engineering

  37. End-to-End Verifiable E-Voting Trial for Polling Station Voting

    Hao, F., Wang, S., Bag, S., Procter, R., Shahandashti, S. F., Mehrnezhad, M., Toreini, E., Metere, R. & Liu, L., 30 Jul 2020

    Article in IEEE Security & Privacy

  38. Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis

    Bai, L., Cui, L., xu, L., Zhang, Z., Wang, Y. & Hancock, E. R., 21 Jul 2020

    Article in IEEE Transactions on Neural Networks and Learning Systems

  39. Errors and discrepancies in the administration of intravenous infusions: a mixed methods multihospital observational study

    Lyons, I., Furniss, D., Blandford, A., Chumbley, G., Iacovides, I., Wei, L., Cox, A. L., Mayer, A., Vos, J., Galal-Edeen, G. H., Schnock, K. O., Dykes, P. C., Bates, D. W. & Franklin, B. D., 7 Apr 2018

    Article in BMJ Quality & Safety

  40. Evaluation of structure-from-motion for analysis of small-scale glacier dynamics

    Lewinska, P. B. W., Głowacki, O., Moskalik, M. & Smith, W. A. P., 8 Aug 2020

    Article in Measurement

  41. Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling

    von der Bruggen, G., Chen, J-J., Davis, R. I. & Huang, W-H. K., 5 Aug 2016

    Article in Information Processing Letters

  42. Fault-based refinement-testing for CSP

    Cavalcanti, A. L. C. & Simao, A., 21 Mar 2019

    Article in Software Quality Journal

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

    Gleirscher, M. & Marmsoler, D., 9 Sep 2020

    Article in Empirical Software Engineering

  44. Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems

    Calinescu, R., Ghezzi, C., Johnson, K. H. A., Pezze, M., Rafiq, Y. & Tamburrelli, G., 4 Aug 2015

    Article in IEEE Transactions on Reliability

  45. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016

    Article in Information and Software Technology

  46. From value chains to technological platforms: the effects of crowdfunding in the digital game industry

    Nucciarelli, A., Li, F., Fernandes, K. J., Goumagias, N., Cabras, I., Devlin, S., Kudenko, D. & Cowling, P. I., 3 Mar 2017

    Article in JOURNAL OF BUSINESS RESEARCH

  47. Future Design of Accessibility in Games: A Design Vocabulary

    Cairns, P. A., Power, C. D., Barlet, M. & Haynes, G., 18 Jun 2019

    Article in International Journal of Human-Computer Studies

  48. Genetic Programming + Proof Search = Automatic Improvement

    Kocsis, Z. A. & Swan, J., 7 Mar 2017

    Article in Journal of Automated Reasoning

  49. Growing old: Do women and men age differently?

    Smith, O. A. M., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 17 Jan 2021

    Article in Anatomical Record

  50. Hadoop neural network for parallel and distributed feature selection

    Hodge, V. J., O'Keefe, S. & Austin, J., 5 Sep 2015

    Article in Neural Networks

  51. Higher-Order Particle Representation for Particle-in-Cell Simulations

    Brown, D., Bettencourt, M. T., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., 8 Mar 2021

    Article in Journal of Computational Physics

  52. Identifying the most informative features using a structurally interacting elastic net

    Cui, L., Bai, L., Zhang, Z., Wang, Y. & Hancock, E. R., 3 Nov 2018

    Article in Neurocomputing

Previous 1 2 3 Next