Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2017
  2. "Rightist Resistance to the Market

    Cambefort, M. & Pecot, F. D. C., 2017, NA - Advances in Consumer Research. Duluth, Vol. 45. p. 549 550 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 59-69 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. A comparison of one-pass and bi-directional approaches applied to large-scale road inspection

    Chen, Y., Polack, F., Cowling, P. & Remde, S., 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 180-200 21 p. (Communications in Computer and Information Science; vol. 695).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. 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 proceedingConference contribution

  7. Adaptive Feature Selection Based on the Most Informative Graph-Based Features

    Lu, B., Cui, L., Rossi, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 276-287 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN)

    Pölzlbauer, F., Bate, I. J. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 247-256

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Articulatory Text-to-Speech Synthesis Using the Digital Waveguide Mesh Driven by a Deep Neural Network

    Gully, A. J., Yoshimura, T., Murphy, D. T., Hashimoto, K., Nankaku, Y. & Tokuda, K., 2017, Interspeech 2017. ISCA-INST SPEECH COMMUNICATION ASSOC, p. 234-238 (INTERSPEECH).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Assured Reinforcement Learning for Safety-Critical Applications

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. SciTePress, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Assured Reinforcement Learning with Formally Verified Abstract Policies

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, 9th International Conference on Agents and Artificial Intelligence (ICAART).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. COMMitMDE 2017 - 2nd international workshop on collaborative modelling in MDE

    Bosch, J., Malavolta, I., Gérard, S., Muccini, H. & Kolovos, D., 2017, CEUR Workshop Proceedings: Proceedings of MODELS 2017 Satellite Event: Workshops. Vol. 2019. p. 123-124 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Design and Evaluation of a Digital Theatre Wind Machine

    Keenan, F. & Pauletto, S., 2017, Proceedings of the International Conference on New Interfaces for Musical Expression. Vol. 2017. p. 431-435 4 p. (Proceedings of the International Conference on New Interfaces for Musical Expression).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Detecting Alzheimer's Disease using Directed Graphs

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 94-104 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Dialogic Teaching and Student Learning Engagement and Attainment

    Hardman, J., 2017, The American Educational Research Association (AERA). AERA

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Diffuse-Field Equalisation of First-Order Ambisonics

    McKenzie, T. T., Kearney, G. C. & Murphy, D. T., 2017, Proceedings of the 20th International Conference on Digital Audio Effects. p. 389-396 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Dyslexia and working memory

    Indrarathne, B., 2017, IATEFL Voices 257. United Kingdom, Vol. 257. p. 10 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Entwicklung eines Systems zur automatischen Musikempfehlung im Kontext des Music Brandings

    Steffens, J., Egermann, H. W., Schoenrock, A., Herzog, M. & Lepa, S., 2017, (Accepted/In press) Fortschritte der Akustik: Tagungsband d. 43. DAGA. Deutsche Gesellschaft für Akustik

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Exploration and Skill Acquisition in a Major Online Game

    Stafford, T., Devlin, S., Sifa, R. & Drachen, A., 2017, The 39th Annual Meeting of the Cognitive Science Society (CogSci).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Forecast-Based Interference: Modelling Multicore Interference from Observable Factors

    Griffin, D. J., Lesage, B. M. J-R., Bate, I. J., Soboczenski, F. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 198-207

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Guided mode resonance imaging-a novel sensing technique to study bacterial biofilm antibiotic resistance

    Wang, Y., Reardon, C. P., Read, N., Triggs, G. J. & Krauss, T. F., 2017, The European Conference on Lasers and Electro-Optics, CLEO_Europe 2017. OSA - The Optical Society, Vol. Part F82-CLEO_Europe 2017.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. High-Level Chord Features Extracted From Audio Can Predict Perceived Musical Expression

    Steffens, J., Lepa, S., Schoenrock, A., Herzog, M., Peeters, G. & Egermann, H. W., 2017, Extended abstracts for the Late-Breaking Demo Session of the 18th In- ternational Society for Music Information Retrieval Conference, Suzhou, China, 2017. 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Integrating cell on chip - novel waveguide platform employing ultra-long optical paths

    Fohrmann, L. S., Sommer, G., Pitruzzello, G., Krauss, T. F., Petrov, A. Y. & Eich, M., 2017, Advanced Photonics, IPRSN 2017. OSA - The Optical Society, Vol. Part F52-IPRSN 2017.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Issues of using wireless sensor network to monitor urban air quality

    Fang, X. & Bate, I. J., 2017, International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). ACM, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Leibniz on War and Peace and the Common Good

    Wilson, C., 2017, Fuer unser Gleck und das Glueck anderer. Hildesheim: George Olms, p. 33-62 30 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Memory-Bounded Monte Carlo Tree Search

    Powley, E. J., Cowling, P. I. & Whitehouse, D., 2017, 13th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE'17), 5-9 October 2017, Snowbird, Utah, USA. .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Minimising Entropy Changes in Dynamic Network Evolution

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 255-265 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Modelling the effect of the radiation reaction force on the acceleration of ultra-thin foils

    Duff, M. J., Capdessus, R., King, M., Del Sorbo, D., Ridgers, C. P. & McKenna, P., 2017, Research Using Extreme Light: Entering New Frontiers with Petawatt-Class Lasers III. SPIE, Vol. 10241. 102410V

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. New Schedulability Analysis for MrsP

    Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. P425 The effectiveness of pharmacological and non-pharmacological interventions for improving glycaemic control in adults with severe mental illness: a systematic review and meta-analysis

    Taylor, J., Stubbs, B., Hewitt, C. E., Ajjan, R., Holt, R., Hosali, P., Kellar, I., Wright, J. & Siddiqi, N., 2017, Diabetic Medicine. Suppl S1 ed. Vol. 34. p. 162

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Predicting Victory in a Hybrid Online Competitive Game: The Case of Destiny

    Norouzzadeh, Y. R., Spronck, P., Sifa, R. & Drachen, A., 2017, Proceedings of the Thirteenth Artificial Intelligence and Interactive Digital Entertainment International Conference (AIIDE). p. 207-214 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Proving Linearizability Using Partial Orders

    Khyzha, A., Dodds, M. D., Gotsman, A. & Parkinson, M. J., 2017, Proceedings of the European Symposium on Programming.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Quantum-Scissor Amplified Continuous-Variable Quantum Key Distribution

    Ghalaii, M., Kumar, R. & Razavi, M., 2017, Proceedings 2017 European Conference on Lasers and Electro-Optics and European Quantum Electronics Conference: Munich Germany, 25–29 June 2017. Optical Society of America (OSA)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

    Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 2017, RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. p. 304-308 5 p. (14th International Conference on Quantitative Evaluation of Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Random lasing in solution-processed perovskite thin films

    Safdar, A., Wang, Y. & Krauss, T. F., 2017, European Quantum Electronics Conference, EQEC 2017. OSA - The Optical Society, Vol. Part F81-EQEC 2017.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Remembering the Reformation in Hamlet

    Cummings, B. A., 2017, Quest and Encounter: Interdisciplinary Studies in Shakespeare. Proceedings. The Shakespeare Association of Korea, p. 32-57 26 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Self-Adaptive Role-Based Access Control for Business Processes

    da Silva, C. E., da Silva, J. D. S., Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Shape Simplification Through Graph Sparsification

    Escolano, F., Curado, M., Biasotti, S. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Starling: Lightweight Concurrency Verification With Views

    Windsor, M. B., Dodds, M. D., Parkinson, M. J. & Simner, B., 2017, Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings. Majumdar, R. & Kuncak, V. (eds.). Vol. 1. p. 544-569 (Lecture Notes in Computer Science; vol. 10426).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Time-optimal quantum control via differential geometry

    Wang, X., Allegra, M., Jacobs, K., Lloyd, S., Lupo, C. & Mohseni, M., 2017, Advances in Photonics of Quantum Computing, Memory, and Communication X. SPIE, Vol. 10118. 101180F

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Turkish plural nouns are number-neutral: experimental data

    Renans, A., Tsoulas, G., Folli, R., Ketrez, N., Tieu, L., De Vries, H. & Romoli, J., 2017, Proceedings of the 21st Amsterdam Colloquium. Cremers, A., van Gessel, T. & Roelofsen, F. (eds.). p. 365-375 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Towards a UTP semantics for modelica

    Foster, S., Thiele, B., Cavalcanti, A. & Woodcock, J., 1 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer Verlag, p. 44-64 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

    Foster, S. D. & Woodcock, JAMES. C. P., 9 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, Vol. 10160. p. 39-64 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Supporting custom quality models to analyse and compare open-source software

    Di Ruscio, D., Kolovos, D. S., Korkontzelos, Y., Matragkas, N. & Vinju, J., 11 Jan 2017, Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016. Institute of Electrical and Electronics Engineers Inc., p. 94-99 6 p. 7814523

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Brexit: Does the referendum scupper EU ambitions for common security and defence policy?

    Sweeney, S., 19 Jan 2017, BISA Security Research Network.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Predictive Evaluation of Partitioning Algorithms through Runtime Modelling

    Bunt, R. A., Wright, S. A., Jarvis, S. A., Ho, Y. K. & Street, M. J., 1 Feb 2017, Proceedings - 23rd IEEE International Conference on High Performance Computing, HiPC 2016. Institute of Electrical and Electronics Engineers Inc., p. 351-361 11 p. 7839701. (IEEE International Conference on High Performance Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Replicating HPC I/O workloads with proxy applications

    Dickson, J., Wright, S., Maheswaran, S., Herdman, A., Miller, M. C. & Jarvis, S. A., 2 Feb 2017, Proceedings of PDSW-DISCS 2016: 1st Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems - Held in conjunction with SC16: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 13-18 6 p. 7836562

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Study of the Few Nucleon Systems at CLAS

    Zachariou, N. & Collaboration, CLAS., 2 Feb 2017, The 23rd European Conference on Few-Body Problems in Physics. 9 p. 72. (Few-Body Systems; vol. 58, no. 72).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. An FPGA-based hardware-efficient fault-tolerant astrocyte-neuron network

    Johnson, A. P., Halliday, D. M., Millard, A. G., Tyrrell, A. M., Timmis, J., Liu, J., Harkin, J., McDaid, L. & Karim, S., 9 Feb 2017, 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016. Institute of Electrical and Electronics Engineers Inc., 7850175

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Mapping spatio-temporally encoded patterns by reward-modulated STDP in Spiking neurons

    Ozturk, I. & Halliday, D. M., 9 Feb 2017, 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016. Institute of Electrical and Electronics Engineers Inc., 7850248

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Competition and cooperation in pickup and multiple delivery problems

    Mourdjis, P., Polack, F., Cowling, P., Chen, Y. & Robinson, M., 15 Feb 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 142-160 19 p. (Communications in Computer and Information Science; vol. 695).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 Next