Search research publications and outputs

  1. 2017
  2. Constraining the 19Ne(p,γ)20Na Reaction Rate Using a Direct Measurement at DRAGON

    Wilkinson, R., Lotay, G., Lennarz, A., Ruiz, C., Christian, G., Akers, C., Catford, W. N., Chen, A. A., Connolly, D., Davids, B., Hutcheon, A. D., Jedrejcic, D., Laird, A. M., Martin, C. L., McNeice, E., Riley, J. & Williams, M., 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 01054

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

  3. Cross section measurements in the 12C+12C system

    Courtin, S., Jiang, C. L., Fruet, G., Heine, M., Jenkins, D. G., Adsley, P., Morris, L. G., Regan, P. H., Rudigier, M., Montanari, D., Della Negra, S., De Séréville, N., Haas, F., Hammache, F., Kirsebom, O. S., Lesrel, J., Meyer, A., Montanari, D., Auranen, K., Avila, M. L. & 32 others, Ayangeakaa, A. D., Back, B. B., Bottoni, S., Carpenter, M., Dickerson, C., DiGiovine, B. J., Greene, J. P., Henderson, D. J., Hoffman, C. R., Janssens, R. V. F., Kay, B. P., Kuvin, S. A., Lauritsen, T., Pardo, R. C., Rehm, K. E., Santiago-Gonzalez, D., Sethi, J. K., Seweryniak, D., Talwar, R., Ugalde, C., Zhu, S., Deibel, C. M., Marley, S. T., Bourgin, D., Stodel, C., Lefebvre-Schuhl, A., Almaraz-Calderon, S., Tang, X. D., Alcorta, M., Bucher, B., Albers, M. & Bertone, P. F., 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 6 p. 01015

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

  4. Determination of alpha spectroscopic factors for unbound 17O states

    De Séréville, N., Meyer, A., Hammache, F., Laird, A. M. & Pignatari, M., 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 01022

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

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

  6. The Nuclear Astrophysics program at n-TOF (CERN)

    Colonna, N., Aberle, O., Andrzejewski, J., Audouin, L., Bacak, M., Balibrea-Correa, J., Barbagallo, M., Bečvář, F., Berthoumieux, E., Billowes, J., Bosnar, D., Brown, A., Caamaño, M., Calviño, F., Calviani, M., Cano-Ott, D., Cardella, R., Casanovas, A., Cerutti, F., Chen, Y. H. & 31 others, Chiaveri, E., Clai, G., Cortés, G., Cortés-Giraldo, M. A., Cosentino, L., Cristallo, S., Damone, L. A., Diakaki, M., Domingo-Pardo, C., Dressler, L. R., Dupont, E., Durán, I., Fernández-Domínguez, B., Ferrari, A. C., Ferreira, P. R., Finocchiaro, P., Furman, V., Göbel, K., García, A. R., Gawlik, A., Gilardoni, S., Glodariu, T., Gonçalves, I. F., González-Romero, E., Griesmayer, E., Guerrero, C., Gunsing, F., Harada, H., Jenkins, D. G., Wright, T. & The n-TOF Collaboration, 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 8 p. 01014

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

  7. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

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

  8. People first? Reassessing heritage priorities in post-conflict recovery

    Schofield, A. J., 11 Dec 2017, Catastrophe and Challenge: Cultural Heritage in Post-conflict Recovery. Schneider, P. (ed.). Cottbus: BTU-Cottbus, p. 219-223 5 p.

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

  9. Local Analysis of Determinism for CSP

    Otoni, R., Cavalcanti, A. L. C. & Sampaio, A. C. A., 1 Dec 2017, Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Springer International Publishing Switzerland, p. 107-124 18 p. (Lecture Notes in Computer Science; vol. 10623).

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

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

  11. Towards Critical Pair Analysis for the Graph Programming Language GP 2

    Plump, D. & Hristakiev, I., Dec 2017, Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. James, P. & Roggenbach, M. (eds.). Springer, p. 153-169 17 p. (Lecture Notes in Computer Science; vol. 10644).

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

  12. Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases

    Jaradat, O. T. S. & Bate, I., 28 Nov 2017, Proceedings - 2017 13th European Dependable Computing Conference, EDCC 2017. Institute of Electrical and Electronics Engineers Inc., p. 95-102 8 p. 8123558

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

  13. Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms

    Bruch, J. V., Alves da Silva, E., Zeferino, C. A. & Soares Indrusiak, L., 23 Nov 2017, VII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, p. 86-93 (Brazilian Symposium on Computing Systems Engineering (SBESC) ).

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

  14. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

    Zolotas, A., Rodriguez, H. H., Kolovos, D. S., Paige, R. F. & Hutchesson, S., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 237-247 11 p. 8101270

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

  15. User Experience for Model-Driven Engineering: Challenges and Future Directions

    Abrahao, S., Bourdeleau, F., Cheng, B., Kokaly, S., Paige, R., Stoerrle, H. & Whittle, J., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 229-236 8 p. 8101269

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

  16. Dynamic attention-controlled cascaded shape regression exploiting training data augmentation and fuzzy-set sample weighting

    Feng, Z., Kittler, J., Christmas, W., Huber, P. & Wu, X-J., 6 Nov 2017, Proceedings - 30th IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017. Institute of Electrical and Electronics Engineers Inc., p. 3681-3686 6 p.

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

  17. Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server

    Di Crescenzo, G., Khodjaeva, M., Kahrobaei, D. & Shpilrain, V., 3 Nov 2017, Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server. Association for Computing Machinery (ACM), p. 17-28 10 p.

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

  18. P-229 Exploring Palliative Care Needs: A Consultation with Young People with Life-Limiting Conditions

    Taylor, J. & Aldridge, J., 1 Nov 2017, BMJ Supportive and Palliative Care. Supplement 2 ed. BMJ Supportive and Palliative Care, Vol. 7. p. A92

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

  19. Coalescence dynamics of size-selected gold clusters studied by time-resolved transmission electron microscopy

    Liu, J., Foster, D., Li, Z. Y., Wilkinson, N. & Yuan, J., 30 Oct 2017, Journal of Physics: Conference Series. IOP PUBLISHING LTD, Vol. 902. 012008

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

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

  21. How Multidisciplinary is Gamification Research? Results from a Scoping Review

    O'Donnell, N., Kappen, D. L., Fitz-Walter, Z., Deterding, C. S., Nacke, L. E. & Johnson, D., 15 Oct 2017, CHI PLAY'17 Extended Abstracts. Association for Computing Machinery (ACM), p. 445-452 8 p.

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

  22. How to Do Gameful Design

    Deterding, C. S., 15 Oct 2017, CHI PLAY'17 Extended Abstracts. Association for Computing Machinery (ACM), p. 581-583 4 p.

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

  23. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Vol. 10485. p. 127-136

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

  24. Phase-resolved optical emission spectroscopy of a neutralizer-free gridded ion thruster

    Dedrick, J. P., Gibson, A. R., Rafalskyi, D. & Aanesland, A., 9 Oct 2017, American Institute of Aeronautics and Astronautics: 35th International Electric Propulsion Conference.

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

  25. A Mixed Method Approach for Evaluating and Improving the Design of Learning in Puzzle Games

    Scozzi, M. V., Iacovides, I. & Linehan, C., 1 Oct 2017, The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). ACM, p. 217-228

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

  26. Different Methods for Modelling Severe Hypoglycaemic Events: Implications for Effectiveness and Cost-Effectiveness Analyses

    Keeney, E., Dias, S. & Dawoud, D., 1 Oct 2017, Value in Health. 9 ed. Vol. 20. p. A408

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

  27. Understanding Engagement within the Context of a Safety Critical Game

    Hart, J., Iacovides, I., Adams, A., Oliveira, M. & Magroudi, M., 1 Oct 2017, The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). p. 253-264

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

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

  29. Achieving performance portability for a heat conduction solver mini-application on modern multi-core systems

    Kirk, R. O., Mudalige, G. R., Reguly, I. Z., Wright, S. A., Martineau, M. J. & Jarvis, S. A., 26 Sep 2017, Proceedings - 2017 IEEE International Conference on Cluster Computing, CLUSTER 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-September. p. 834-841 8 p. 8049026

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

  30. The Role of Social Media in Artisanal Production: A Case of Craft Beer

    Foster, D., Kirman, B. J., Linehan, C. & Lawson, S., 20 Sep 2017, Proceedings of the 21st International Academic Mindtrek Conference . ACM, p. 184-193

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

  31. Homeostatic Fault Tolerance in Spiking Neural Networks utilizing Dynamic Partial Reconfiguration of FPGAs

    Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 15 Sep 2017, (Accepted/In press) The International Conference on Field-Programmable Technology (FPT-2017). IEEE

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

  32. 3D Electromagnetic Diffusion Models for Reverberant Environments

    Flintoft, I. D. & Dawson, J. F., 11 Sep 2017, 2017 International Conference on Electromagnetics in Advanced Applications (ICEAA). Verona, p. 511-514

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

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

  34. Effect of power state on absorption cross section of personal computer components

    Yan, J., Dawson, J. & Marvin, A., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

  35. Errors in the shielding effectiveness of cavities due to stair-cased meshing in FDTD: Application of empirical correction factors

    Bourke, S. A., Dawson, J. F., Flintoft, I. D. & Robinson, M. P., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

  36. Measurement of Transmission through Printed Circuit Boards: Application to Enclosure Shielding

    Parker, S. L., Marvin, A. C., Dawson, J. F. & Ye, M., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

  37. Algebraic Compilation of Safety-Critical Java Bytecode

    Baxter, J. & Cavalcanti, A. L. C., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 161-176 16 p.

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

  38. Modelling and Verification of Timed Robotic Controllers

    De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).

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

  39. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  40. Learning from Ordinal Data with Inductive Logic Programming in Description Logic

    Qomariyah, N. N. & Kazakov, D. L., Sep 2017, Online proceedings of the 27th conference on Inductive Logic Programming.

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

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

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

  43. Effect of Loading on Field Uniformity: Energy Diffusion in Reverberant Environments

    Robinson, M. P., Flintoft, I. D., Dawson, J. F., Marvin, A. C., Funn, F. I., Dawson, L. & Zhang, X., 19 Aug 2017, 32nd URSI General Assembly and Scientific Symposium (URSI GASS). Montreal, 4 p.

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

  44. Time Domain Technique for Rapid, Broadband Measurement of Human Absorption Cross Section in a Reverberation Chamber

    Robinson, M. P., Zhang, X. & Flintoft, I. D., 19 Aug 2017, 32nd URSI General Assembly and Scientific Symposium (URSI GASS). Montreal

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

  45. Engagement Effects of Player Rating System-Based Matchmaking for Level Ordering in Human Computation Games

    Sarkar, A., Williams, M., Deterding, C. S. & Cooper, S., 14 Aug 2017, Proceedings of the 12th International Conference on the Foundations of Digital Games, FDG 2017. Canossa, A., Sicart, M., Harteveld, C., Zhu, J. & Deterding, S. (eds.). ACM, Vol. Part F130151. 10 p. 22

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

  46. Adapting Cognitive Task Analysis to Elicit the Skill Chain of a Game

    Horn, B., Cooper, S. & Deterding, C. S., 1 Aug 2017, CHI PLAY'17. Association for Computing Machinery (ACM), 13 p.

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

  47. Predicting Musical Meaning in Audio Branding Scenarios

    Herzog, M., Lepa, S., Steffens, J., Schoenrock, A. & Egermann, H. W., 31 Jul 2017, Proceedings of the 25th Anniversary Conference of the European Society for Cognitive Science of Music, Ghent, Belgium, 31 July – 4 August 2017. Van Dyck, E. (ed.). ESCOM, p. 75-79 5 p.

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

  48. Towards fault diagnosis in robot swarms: An online behaviour characterisation approach

    O’Keeffe, J., Tarapore, D., Millard, A. G. & Timmis, J., 20 Jul 2017, Towards Autonomous Robotic Systems - 18th Annual Conference, TAROS 2017, Proceedings. Springer-Verlag, Vol. 10454 LNAI. p. 393-407 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10454 LNAI).

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

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

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

  51. Is Reflective Writing an Effective Peer Assessment tool for Students in Higher Education?

    Baruah, B. J., Ward, A. E. & Jackson, N., 10 Jul 2017, (Accepted/In press) 16th International Conference on Information Technology Based Higher Education and Training ITHET 2017. Macedonia, Vol. 16.

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

Previous 1 2 3 Next