Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 100 out of 165Page size: 100
Sort by: Title

  1. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  2. A Closer Look at the Tropical Cryptography

    Kahrobaei, D. & Isaac, S., 2020, (Accepted/In press)

    Article in International Journal of Computer Mathematics: Computer Systems Theory

  3. A Deep Hybrid Graph Kernel through Deep Learning Networks

    Cui, L., Bai, L., Rossi, L. & Hancock, E. R., 11 Apr 2018, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  4. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Cui, L., Bai, L. & Hancock, E. R., 15 May 2022, (Accepted/In press) Proceedings ICML 2022, Baltimore, USA.. 9 p. (Proceedings of Machine Learning Research).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  5. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  6. A Morphable Face Albedo Model

    Smith, W. A. P., Seck, A., Dee, H., Tiddeman, B., Tenenbaum, J. & Egger, B., 27 Feb 2020, (Accepted/In press) Proceeding of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020) . IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  7. A Novel Two-Hand-Inspired Hybrid Robotic End-Effector Fabricated Using 3D Printing

    Marsh, B. & Liu, P., 14 Jul 2022, (Accepted/In press) Proceedings.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  8. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  9. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  10. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  11. A Signature-based Intrusion Detection System for the Internet of Things

    Ioulianou, P., Vasilakis, V., Moscholios, I. & Logothetis, M., 8 Jun 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conference › Paper › peer-review

  12. A Strategic Roadmap for Business Model Change for the Video-games Industry

    Goumagias, N., Purvis, K., Fernandes, K., Cabras, I., Li, F., Shao, J., Devlin, S., Hodge, V. J., Cowling, P. & Kudenko, D., 3 May 2016, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  13. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  14. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  15. A Unified Neighbor Reconstruction Method for Embeddings

    Hancock, E. R., Zhang, Z. H. & Bai, L., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conference › Paper › peer-review

  16. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E., 19 Sep 2017, (Accepted/In press) Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  17. 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

  18. AUTOMATIC GENERATION OF TEXT FOR MATCH RECAPS USING ESPORT CASTER COMMENTARIES

    Olarewaju, O., Hook, J. D., Kokkinakis, A., Demediuk, S. P., Robertson, J., Patra, S., Noelle, I., Slawson, D., Pedrassoli Chitayat, A., Coates, A., Kirman, B., Drachen, A., Ursu, M. & Block, F. O., 2020, (Accepted/In press) p. 1. 15 p.

    Research output: Contribution to conference › Paper

  19. Accept All: The Landscape of Cookie Banners in Greece and the UK

    Kampanos, G. & Shahandashti, S. F., 22 Mar 2021, (Accepted/In press) International Conference on ICT Systems Security and Privacy Protection, Proceedings. Springer, Vol. 625. p. 213 227 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  20. Accessible Player Experiences (APX): The Players

    Power, C. D., Beeston, J. T. & Cairns, P., 25 Mar 2018, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  21. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

    Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  22. Active Triggering of Pneumatic Rehabilitation Gloves Based on Surface Electromyography Sensors

    Feng, Y., Zhong, M., Wang, X., Lu, H., Wang, H., Liu, P. & Vladareanu, L., 27 Feb 2021, (Accepted/In press)

    Article in PeerJ Computer Science

  23. Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata

    Camara, J., Calinescu, R., Cheng, B., Garlan, D., Schmerl, B., Troya, J. & Vallecillo, A., 2022, (Accepted/In press) 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems .

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  24. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  25. An Axiomatic Value Model for Isabelle/UTP

    Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  26. 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

  27. An algebraic characterization of k--colorability

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

    Article in Proceedings of the American Mathematical Society

  28. Analysing the Safety of Decision-Making in Autonomous Systems

    Osborne, M., Hawkins, R. D. & McDermid, J. A., 13 Apr 2022, (Accepted/In press) SAFECOMP 2022 (41st International Conference on Computer Safety, Reliability and Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  29. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  30. Applications of 3D Photography in Craniofacial Surgery

    Duncan, C., Pears, N. E., Dai, H., Smith, W. A. P. & O'Higgins, P., 4 Apr 2022, (Accepted/In press)

    Article in Journal of Paediatric Neurosciences

  31. Are You Open? A Content Analysis of Transparency and Openness Guidelines in HCI Journals

    Ballou, N., Warriar, V. R. & Deterding, C. S., 21 Jan 2021, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’21),. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  32. 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

  33. Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

    Paterson, C., Calinescu, R. & Ashmore, R., 5 Mar 2021, (Accepted/In press)

    Article in ACM Computing Surveys

  34. Attributed Graph Kernels Using the Jensen-Tsallis q-Differences

    Bai, L., Rossi, L., Bunke, H. & Hancock, E. R., 2014, (Accepted/In press) Proceedings ECML 2014. Springer Berlin / Heidelberg, 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  35. Autohighlight: Highlight Detection in League of Legends Esports Broadcasts via Crowd-Sourced Data

    Ringer, C., Nicolaou, M. & Walker, J. A., 1 Apr 2022, (Accepted/In press)

    Article in Machine Learning with Applications

  36. Automatic Similarity Detection in LEGO Ducks

    Ferguson, M., Deterding, C. S., Lieberoth, A., Malmdorf Andersen, M., Devlin, S., Kudenko, D. & Walker, J. A., 30 Jun 2020, (Accepted/In press) ICCC'20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC), 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  37. 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

  38. 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

  39. Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges

    Dai, X., Zhao, S., Bate, I. J., Burns, A., Guo, X. & Chang, W., 16 Mar 2021, (Accepted/In press) IEEE Real-Time and Embedded Technology and Applications Symposium.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  40. 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

  41. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  42. Cloud-based Dynamic Distributed Optimisation of Integrated Process Planning and Scheduling in Smart Factories

    Zhao, S., Dziurzanski, P., Przewozniczek, M., Komarnicki, M. & Soares Indrusiak, L., 21 Mar 2019, (Accepted/In press) The Genetic and Evolutionary Computation Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  43. Cloud-based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands

    Zhao, S., Mei, H., Dziurzanski, P., Przewozniczek, M. W. & Soares Indrusiak, L., 1 Jul 2019, (Accepted/In press) 16th International Conference on the Economics of Grids, Clouds, Systems, and Services.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  44. 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

  45. Combining 3D Morphable Models: A Large scale Face-and-Head Model

    Ploumpis, S., Wang, H., Pears, N. E., Smith, W. A. P. & Zafeiriou, S., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  46. Computing Optimal Assignments in Linear Time for Approximate Graph Matching

    Kriege, N., Giscard, P-L., Bause, F. & Wilson, R. C., 6 Sep 2019, (Accepted/In press) International Conference on Data Mining. IEEE Computer Society, 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  47. Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

    Burton, S., Gauerhof, L., Hawkins, R. D., Habli, I. & Sethy, B., 6 Jun 2019, (Accepted/In press) Safecomp 2019 - Workshop on Artificial Intelligence Safety Engineering (Waise) of the 38th International Conference on Computer Safety, Reliability and Security.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  48. Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

    Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  49. Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings

    Battarbee, C., Kahrobaei, D. & Shahandashti, S. F., 26 Jul 2021, (Accepted/In press) MathCrypt 2021.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  50. DAX: Data-Driven Audience Experiences in Esports

    Kokkinakis, A., Demediuk, S. P., Nölle, I., Olarewaju, O., Patra, S., Robertson, J., York, P., Pedrassoli Chitayat, A., Coates, A., Slawson, D., Hughes, P., Hardie, N., Kirman, B., Hook, J. D., Drachen, A., Ursu, M. & Block, F. O., 15 Apr 2020, (Accepted/In press) Proceedings of ACM International Conference on Interactive Media Experience (IMX) 2020. Association for Computing Machinery (ACM), p. 94-105 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  51. Depth from a polarisation + RGB stereo pair

    Zhu, D. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  52. Depth-Based Subgraph Convolutional Neural Networks

    Zhang, Z., Hancock, E. R., Bai, L. & Cui, L., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conference › Paper › peer-review

  53. 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

  54. Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

    Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  55. 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

  56. Digital Technology for Older People: A Review of Recent Research

    Petrie, H. & Darzentas, J. S., 2018, (Accepted/In press) The Oxford Handbook of Digital Technology and Society. New York: Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  57. Directed Graph Evolution from Euler-Lagrange Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conference › Paper › peer-review

  58. Discriminative Features Matter: Multi-layer Bilinear Pooling for Camera Localization

    Wang, X., Wang, X., Wang, C., Bai, X., Wu, J. & Hancock, E. R., 23 Jul 2019, (Accepted/In press). 12 p.

    Research output: Contribution to conference › Paper › peer-review

  59. Distribution Data Across Multiple Cloud Storage Using ReinforcementLearning Method

    Algarni, A. F. H. & Kudenko, D., 2016, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  60. 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

  61. 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

  62. Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation

    Kolovos, D., De La Vega, A. & Cooper, J., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  63. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  64. 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

  65. Ethereum Crypto-Games: Mechanics, Prevalence and Gambling Similarities

    Scholten, O. J., Hughes, N. G. J., Deterding, C. S., Drachen, A., Walker, J. A. & Zendle, D. I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  66. Example-Based Modeling of Facial Texture from Deficient Data

    Dessein, A. F., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2015, (Accepted/In press) Proceedings ICCV 2015. IEEE Computer Society, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  67. Extrapolate: generalizing counterexamples of functional test properties

    Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  68. Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks

    Dai, X., Zhao, S., Jiang, Y., Jiao, X., Hu, S. & Chang, W., 17 Jul 2020, (Accepted/In press) IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  69. Formally Verified Animation for RoboChart using Interaction Trees

    Ye, K., Foster, S. & Woodcock, J., 27 Jun 2022, (Accepted/In press) The 23rd International Conference on Formal Engineering Methods. Springer Science and Business Media Deutschland GmbH

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  70. Generation and Verification of Executable Assurance Case by Model-based Engineering

    Yan, F., 27 Aug 2021, (Accepted/In press) 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  71. 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

  72. Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

    de Lara, J. (ed.) & Plump, D. (ed.), 2017, (Accepted/In press) Springer. 231 p. (Lecture Notes in Computer Science; vol. 10373)

    Research output: Book/Report › Book

  73. Heterogeneous Model Query Optimisation

    Ali, Q. U. A., 12 Oct 2021, (Accepted/In press) MODELS 2021: Model-Driven Engineering Languages and Systems, proceedings. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  74. Heterogeneous Semantics and Unifying Theories

    Woodcock, J., Foster, S. D. & Butterfield, A., 2016, (Accepted/In press) 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 374-394 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  75. Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

    Foster, S. D., Munive, J. H. Y., Struth, G. & Gleirscher, M., 16 Jul 2021, (Accepted/In press) 24th International Symposium on Formal Methods. 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  76. ICS protocol fuzzing: Coverage guided packet crack and generation

    Luo, Z., Zuo, F., Shen, Y., Jiao, X., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  77. Imitating Playstyle with Dynamic Time Warping Imitation

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 21 May 2022, (Accepted/In press) The 17th International Conference on the Foundations of Digital Games (FDG) 2022. ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  78. Implementing Digital Twins of Smart Factories with Interval Algebra

    Dziurzanski, P., Swan, J., Soares Indrusiak, L. & Ramos, J., 15 Nov 2018, (Accepted/In press) IEEE International Conference on Industrial Technology. 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  79. Implicit mapping of pointers inside C++ Lambda closure objects in OpenMP target offload regions

    Truby, D. R., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S. A., 1 Feb 2018, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  80. Information Bottleneck and Selective Noise Supervision for Zero-Shot Learning

    Zhou, L., Liu, Y., Pencheng, Z., Xiao, B., Yazhou, Y., Zhou, J., Lin, G., Harada, T. & Hancock, E. R., 9 May 2022, (Accepted/In press)

    Article in Machine Learning

  81. Information Bottlenecked Variational Autoencoder for Disentangled 3D Facial Expression Modelling

    Sun, H., Pears, N. E. & Gu, Y., 4 Oct 2021, (Accepted/In press) Winter Conference on Applications in Computer Vision, Proceedings. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  82. 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

  83. KNOWLEDGE-BASED SELF-RECONFIGURATION AND SELF-AWARE DEMONSTRATION FOR MODULAR SATELLITE ASSEMBLY

    Post, M. A. & Austin, J., 11 Apr 2019, (Accepted/In press) 10th International Workshop on Satellite Constellations & Formation Flying 2019. Glasgow UK

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  84. 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

  85. 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

  86. Learning Aligned Vertex Convolutional Networks for Graph Classification

    Cui, L., Bai, L., Xiao, B., Wang, Y. & Hancock, E. R., 16 Nov 2021, (Accepted/In press)

    Article in IEEE Transactions on Neural Networks and Learning Systems

  87. 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

  88. Least squares surface reconstruction on arbitrary domains

    Zhu, D. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  89. Leibniz on Probability and Statistics

    Cussens, J., 2014, (Accepted/In press) Oxford Handbook on Leibniz. Antognazza, M. R. (ed.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  90. Lightweight and efficient neural network with SPSA attention for wheat ear detection

    Dong, Y., Liu, Y., Kang, H., Li, C., Liu, P. & Liu, Z., Mar 2022, (Accepted/In press)

    Article in PeerJ Computer Science

  91. Like a DNA string: Sequence-based Player Profiling in Tom Clancy’s The Division

    Makarovych, S., Canossa, A., Togelius, J. & Drachen, A., 2018, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  92. Linear Differential Constraints for Photo-polarimetric Height Estimation

    Tozza, S., Smith, W. A. P., Zhu, D., Ramamoorthi, R. & Hancock, E. R., 17 Jul 2017, (Accepted/In press) 2017 IEEE International Conference on Computer Vision (ICCV) . IEEE Computer Society Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  93. Local Binary Patterns for Graph Characterization

    Jawad, M., Aziz, F. & Hancock, E. R., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conference › Paper › peer-review

  94. MESSI: Mutant Evaluation by Static Semantic Interpretation

    Patrick, M. T., Oriol, M. Y. A. & Clark, J. A., 17 Apr 2012, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  95. ML-Based Detection of Blackhole and Rank Attacks in RPL Networks

    Ioulianou, P., Vasilakis, V. & Shahandashti, S. F., 5 May 2022, (Accepted/In press) International Symposium on Communications Systems, Networks and Digital Signal Processing: Proceedings. IEEE Press, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  96. Maintaining driver attentiveness in shared-control autonomous driving

    Calinescu, R., Alasmari, N. & Gleirscher, M., 12 Mar 2021, (Accepted/In press) Software Engineering for Adaptive and Self-Managing Systems. IEEE, (IEEE Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  97. 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

  98. Mitigating Risk in Neural Network Classifiers

    Alpizar Santana, M., Calinescu, R. & Paterson, C., 30 Aug 2022, 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) . IEEE, 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  99. Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt

    Cooper, J., De La Vega, A., Paige, R. F., Kolovos, D., Michael, B., Brown, C., Sanchez Pina, B. A. & Hoyos Rodriguez, H., 11 Jul 2021, (Accepted/In press) ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  100. Model-based and Model-Free Robot Control: A Review

    Zhang, B. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Previous 1 2 Next