Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 28 out of 28Page size: 100
Sort by: Type
  1. Article › Research › Peer-reviewed

  2. A latent capture history model for digital aerial surveys

    Borchers, D., Nightingale, P., Stevenson, B. & Fewster, R., 10 Nov 2020, (Accepted/In press)

    Article in Biometrics (Journal of the International Biometric Society)

  3. ASDYS: Dynamic Scheduling Using Active Strategies for Multi-Functional Mixed-Criticality Cyber-Physical Systems

    Bai, Y., Huang, Y., Xie, G., Li, R. & Chang, W., 26 Sep 2020, (Accepted/In press)

    Article in Industrial Informatics, IEEE Transactions on

  4. An R-convolution Graph Kernel based on Fast Discrete-Time Quantum Walk

    Zhang, Y., Wang, L., Wilson, R. C. & Liu, K., 27 Sep 2020, (Accepted/In press)

    Article in IEEE Transactions on Neural Networks and Learning Systems

  5. An algebraic characterization of k--colorability

    Kahrobaei, D., Koberda, T. & Flores, R., 2020, (Accepted/In press)

    Article in Proceedings of the American Mathematical Society

  6. Argument-based Approach to Computer System Safety Engineering

    Yuan, T. & Kelly, T., 2012, (Accepted/In press)

    Article in International Journal of Critical Computer-Based Systems

  7. Bi-Directional Timing-Power Optimisation on Heterogeneous Multi-Core Architectures

    Huang, J., Li, R., Wei, Y., An, J. & Chang, W., 4 Aug 2020, (Accepted/In press)

    Article in IEEE Transactions on Sustainable Computing

  8. Block-Sparsity Log-sum-Induced Adaptive Filter for Cluster Sparse System Identification

    Zhang, A., Liu, P., Sun, J. & Ning, B., 17 Sep 2020, (Accepted/In press)

    Article in IEEE Access

  9. Channel Estimation for MmWave Massive MIMO with Hybrid Precoding Based on Log-Sum Sparse Constraints

    Zhang, A., Cao, W., Liu, P., Sun, J. & Li, J., 24 Nov 2020, (Accepted/In press)

    Article in IEEE Transactions on Circuits and Systems II: Express Briefs

  10. Co-evolution of networks and quantum dynamics: a generalization of preferential attachment

    Nicosia, V., Machida, T., Wilson, R. C., Hancock, E. R., Konno, N., Latora, V. & Severini, S., 2014, (Accepted/In press)

    Article in Journal of Statistical Mechanics: Theory and Experiment

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

    Zhang, B. & Liu, P., 13 Jan 2021, (Accepted/In press)

    Article in PeerJ Computer Science

  12. Design and Implementation of Novel Fractional-Order Controllers for Stabilized Platforms

    Zhang, J., Jin, Z., Zhao, Y., Tang, Y., Liu, F. & Liu, P., 6 May 2020, (Accepted/In press)

    Article in IEEE Access

  13. Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis

    Chang, W., Wei, R., Zhao, S., Wellings, A. J., Woodcock, J. & Burns, A., 31 Mar 2020, (Accepted/In press)

    Article in ACM Transactions in Embedded Computing Systems

  14. Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy and Makespan

    Huang, J., Li, R., Jiao, X., Jiang, Y. & Chang, W., 7 Jul 2020, (Accepted/In press)

    Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  15. EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking

    Gao, J., Xu, Y., Jiang, Y., Liu, Z., Chang, W., Jiao, X. & Sun, J., 7 Jul 2020, (Accepted/In press)

    Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  16. Enabled Players: the value of accessible digital games

    Cairns, P. A., Power, C., Barlet, M., Haynes, G., Kaufman, C. & Beeston, J. T., 12 Nov 2019, (Accepted/In press)

    Article in Games and Culture

  17. Graph Motif Entropy For Understanding Time-Evolving Networks

    Zhang, Z. H., Chen, D., Bai, L., Wang, J. & Hancock, E. R., 24 Sep 2020, (Accepted/In press)

    Article in IEEE Transactions on Neural Networks and Learning Systems

  18. Inside the Group: Investigating Social Structures in Player Groups and Their Influence on Activity

    schiller, M., Wallner, G., Schinnerl, C., Monte Calvo, A., Pirker, J., Sifa, R. & Drachen, A., 16 Jul 2018, (Accepted/In press)

    Article in IEEE Transactions on Games

  19. Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

    Foster, S. D., 19 Jan 2021, (Accepted/In press)

    Article in Formal Aspects of Computing

  20. Kernel Entropy based Unsupervised Spectral Feature Selection

    Hancock, E. R. & Zhang, Z., Aug 2012, (Accepted/In press)

    Article in INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE

  21. LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 24 Mar 2020, (Accepted/In press)

    Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  22. Learning Backtrackless Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Jiao, Y., Rossi, L. & Hancock, E. R., 22 Jul 2020, (Accepted/In press)

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  23. Meshed Bluetree: Time-Predictable Multi-Memory Interconnect for Multi-Core Architectures

    Wang, H., Audsley, N. C., Hu, S. & Chang, W., 7 Jul 2020, (Accepted/In press)

    Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  24. Outdoor inverse rendering from a single image using multiview self-supervision

    Yu, Y. & Smith, W. A. P., 29 Jan 2021, (Accepted/In press)

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  25. Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources

    Zhao, S., Chang, W., Wei, R., Liu, W., Guan, N., Burns, A. & Wellings, A. J., 1 Jun 2020, (Accepted/In press)

    Article in IEEE Transactions on Computers

  26. Problem gamblers spend less money when loot boxes are removed from a game: A before and after study of Heroes of the Storm

    Zendle, D., 2019, (Accepted/In press)

    Article in PeerJ

  27. Safety Cases for Medical Devices and Health IT: Involving Healthcare Organisations in the Assurance of Safety

    Sujan, M., Floor Koornneef, F., Chozos, N. & Kelly, T., Dec 2012, (Accepted/In press)

    Article in Health informatics journal

  28. Spectral Bounding: Strictly Satisfying the 1-Lipschitz Property for Generative Adversarial Networks

    Zhang, Z., Zeng, Y., Bai, L., Hu, Y., Wu, M., Wang, S. & Hancock, E. R., 16 Dec 2019, (Accepted/In press)

    Article in Pattern Recognition

  29. Thermodynamic Analysis of Time Evolving Networks

    Ye, C., Wilson, R. C., Rossi, L., Torsello, A. & Hancock, E. R., 28 Sep 2018, (Accepted/In press)

    Article in Entropy