Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

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

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

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

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

  5. Rare Earth Elements analysis to identify anthropogenic signatures at Valle del Serpis (Spain) Neolithic settlements

    Gallello, G., Bernabeu, J., Diez, A., Escriba, P., Pastor, A., Lezzerini, M., Hodson, M. E. & Stump, D., 11 Jun 2017, Abstract Book CSI XL PISA 2017, EMSLIBS 2017. Corozzi, A. (ed.). Pisa, OL28

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

  6. Recognition of Acoustic Events Using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 18 Dec 2017, 2017 16th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE, p. 199-206 8 p.

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

  7. Recognizing Interactions Between People from Video Sequences

    Stephens, K. & Bors, A. G., Sep 2017, International Conference on Analysis and Image Analysis (CAIP). Springer, Vol. LNCS 10424. p. 80-91 12 p. (Lecture Notes in Computer Science).

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

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

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

  10. Rethinking the High Capacity 3D Steganography: Increasing its Resistance to Steganalysis

    Li, Z., Beugnon, S., Puech, W. & Bors, A. G., Oct 2017, IEEE International Conference on Image Processing (ICIP). IEEE, p. 510-514 5 p.

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

  11. Rossiiskaya i sovetskaya ekologicheskaya istoriya v sovremennoi zapadnoi nauke’

    Moon, D. G., 1 Dec 2017, Rossiiskaya provintsiya kak sotsiokul’turnoe pole formirovaniya grazdanskoi i natsional’noi identichnosti: sbornik nauchnykh statei: : Materialy VIII Mezhdunarodnykh Stakheevskikh chtenii . Elabuga: Izdatel'svo Elabuzhskogo instituta KFU, p. 14-21 8 p. 2

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

  12. Secondary pollutant formation following cleaning activities indoors

    Kruza, M., Harrison, J., Wells, J. R., Lewis, A. C. & Carslaw, N., 1 Jan 2017, Healthy Buildings Europe 2017. International Society of Indoor Air Quality and Climate, (Healthy Buildings Europe 2017).

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

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

  14. Self-Repairing Learning Rule for Spiking Astrocyte-Neuron Networks

    Liu, J., McDaid, L., Harkin, J., Wade, J., Karim, S., Johnson, A. P., Millard, A. G., Halliday, D. M., Tyrrell, A. M. & Timmis, J. I., 27 Oct 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceeding, Part II. Liu, D., Xie, S., Li, Y., Zhao, D. & El-Alfy, E-SM. (eds.). Springer, (Lecture Notes in Computer Science; vol. 10634, 10635 10636, 10637, 10638, 10639).

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

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

  16. Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip

    Soares Indrusiak, L., Harbin, J. R. & Sepulveda, M. J., 24 Aug 2017, Proceedings of the 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2017).

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

  17. Siderophores as anchors in artificial metalloenzymes

    Duhme-Klair, A-K., Raines, D. J., Clarke, J. E., Blagova, E. & Wilson, K. S., 14 Jul 2017, Journal of Biological Inorganic Chemistry. Vol. 22, Supplement 1. p. S174 1 p.

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

  18. Simultaneous HRTF Measurement of Multiple Source Configurations Utilizing Semi-Permanent Structural Mounts

    Armstrong, C., Chadwick, A. J., Thresh, L., Murphy, D. T. & Kearney, G. C., Oct 2017, Proc. of AES 143rd Convention.

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

  19. Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants

    Drake, J. H., Swan, J., Neumann, G. & Özcan, E., 9 Mar 2017, Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. Hu, B. & López-Ibáñez, M. (eds.). Cham: Springer International Publishing Switzerland, p. 189-200 12 p.

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

  20. Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results

    Braquehais, R. & Runciman, C., 7 Sep 2017, Proceedings of the ACM SIGPLAN Haskell Symposium 2017. ASSOC COMPUTING MACHINERY, p. 40-51 12 p.

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

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

  22. Student Engagement: Developing Key Skills and Encouraging Learner Contributions to Module Resources

    Sweeney, S., 5 Sep 2017, UACES Annual Conference, Krakow, Poland.

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

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

  24. Sub-barrier fusion cross section measurements with STELLA

    Heine, M., Courtin, S., Fruet, G., Jenkins, D. G., Montanari, D., Adsley, P., Beck, C., Della Negra, S., Dené, P., Haas, F., Hammache, F., Heitz, G., Kirsebom, O. S., Krauth, M., Lesrel, J., Meyer, A., Morris, L., Regan, P. H., Richer, M., Rudigier, M. & 2 others, De Séréville, N. & Stodel, C., 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 4 p. 01029

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

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

Previous 1...3 4 5 6 7 8 9 Next