Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2016
  2. Harnessing Phenotypic Diversity Towards Multiple Independent Objectives

    Smith, D., Tokarchuk, L. & Wiggins, G., 2016, Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. Denver, Colorado, USA: ACM, p. 961-968 8 p. (GECCO '16 Companion).

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

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

  4. IMPROVING DIABETES OUTCOMES IN SEVERE MENTAL ILLNESS: A SYSTEMATIC REVIEW AND META-ANALYSIS OF PHARMACOLOGICAL AND NON-PHARMACOLOGICAL INTERVENTIONS: A systematic review and meta-analysis of pharmacological and non-pharmacological interventions

    Taylor, J., Mahmoodi, N., Stubbs, B., Lewis, H. J., Hosali, P., Hewitt, C. E., Smith, R., Wright, J., McDermid, K., Kayalackakom, T., Keller, I., Ajjan, R., Alderson, A., Hughes, T., Holt, R. & Siddiqi, N., 2016, J Epidemiol Community Health. Suppl 1 ed. BMJ Publishing;, Vol. 70. p. A60 70 (Suppl 1)

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

  5. Identifying usage anomalies for ECG-based sensor nodes

    Chen, L. & Bate, I. J., 2016, IEEE 13th International Conference on Wearable and Implantable Body Sensor Networks (BSN). IEEE, p. 77-82 6 p. (Wearable and Implantable Body Sensor Networks (BSN), IEEE International Conference on).

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

  6. Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

    Cazorla, F. J., Abella, J., Andersson, J., Vardanega, T., Vatrinet, F., Bate, I., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu, L., Cros, F., Farrall, G., Gogonel, A., Gianarro, A., Triquet, B., Hernández, C., Lo, C., Maxim, C., Morales, D., Quiñones, E. & 7 others, Mezzetti, E., Kosmidis, L., Agirre, I., Fernández, M., Slijepcevic, M., Conmy, P. & Talaboulma, W., 2016, Digital System Design (DSD), 2016 Euromicro Conference on. IEEE, p. 276-285 10 p.

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

  7. Introducing a 3D physics simulation plugin for the ARGoS robot simulator

    Redpath, R., Timmis, J. & Trefzer, M. A., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 9716. p. 269-274 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9716).

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

  8. Learning Predictive Categories Using Lifted Relational Neural Networks

    Sourek, G., Manandhar, S., Zelezny, F., Schockaert, S. & Kuzelka, O., 2016, Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers. Springer International Publishing, Vol. 10326. (Lecture Notes in Artificial Intelligence).

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

  9. Local Livelock Analysis of Component-Based Models

    Conserva Filho, M., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  10. Many hands make light work: A case study in swarm robotics

    Timmis, J., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 9726. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9726).

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

  11. Mobile CSP

    Woodcock, J. C. P., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. & Roscoe, B. (eds.). Springer Verlag, p. 39-55 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9526).

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

  12. Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

    Freitas, L., Baxter, J., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 63-78 (Lecture Notes in Computer Science; vol. 9681).

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

  13. Moneta's Confutation of Heresies and the Valdenses

    Biller, P. P. A., 2016, Identità Valdesi tra Passato e Presente. Peyronel Rambaldi, S. (ed.). Turin: Claudiana, p. 27-41 15 p. (Collana della Società di Studi Valdesi; vol. 40).

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

  14. Non-linear MHD simulations of ELMs in a high recycling divertor

    Verbeek, M., Huijsmans, G. T. A., Van Vugt, D. C., Loarte, A., Fil, A. & Nardon, E., 2016, 43rd European Physical Society Conference on Plasma Physics, EPS 2016. European Physical Society (EPS)

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

  15. Opacity bleaching by extreme ultraviolet radiation incident on solid density targets

    Aslanyan, V. & Tallents, G. J., 2016, Springer Proceedings in Physics. Springer Science and Business Media, LLC, Vol. 169. p. 391-395 5 p.

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

  16. Persistence as a diagnostic of grammatical status: The case of Middle English negation

    Ecay, A. W. & Tamminga, M., 2016, Proceedings of DIGS 15.

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

  17. Photonic crystal based 2D integrating cell for sensing applications

    Fohrmann, L. S., Petrov, A. Y., Sommer, G., Krauss, T. & Eich, M., 2016, Photonic Crystal Materials and Devices XII. SPIE, Vol. 9885. 98850X

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

  18. Pitch-interval analysis of ‘periodic’ and ‘aperiodic’ Question+Answer pairs

    Robledo, J. P., Hawkins, S., Cross, I. & Ogden, R. A., 2016, (Accepted/In press) Speech Prosody 2016. p. 1071-1075

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

  19. Plastic scintillator-based microfluidic devices for radiodetection towards the quality control testing of pet radiotracers

    Tarn, M. D., Yavuzkanat, N., Esfahani, M. M. N., Brown, N. J., Pamme, N., Jenkins, D. & Archibald, S. J., 2016, 20th International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2016. Chemical and Biological Microsystems Society, p. 1063-1064 2 p.

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

  20. Power-balance in the time-domain for IEMI coupling prediction

    Dawson, J. F., Flintoft, I. D., Marvin, A. C., Robinson, M. P. & Dawson, L., 2016, European Electromagnetics (EUROEM) 2016 Book of Abstracts. 1 p.

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

  21. Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks

    Burns, A., Baruah, S. & Guo, Z., 2016, Proc of ECRTS. p. 1-8 8 p.

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

  22. Pulsed X-ray imaging of high-density objects using a ten picosecond high-intensity laser driver

    Rusby, D. R., Brenner, C. M., Wilson, L. A., Deas, R., Lockley, D., Dorkings, S., Butler, K., Cook, G., Carpenter, M., Giordmaina, R. G., Alejo, A., Ahmed, H., Butler, N. M. H., Haddock, D., Higginson, A., McClymont, A., Mirfayzi, S. R., Murphy, C., Notley, M. M., Oliver, PA. & 5 others, Allott, R., Hernandez-Gomez, C., Kar, S., McKenna, P. & Neely, D., 2016, Emerging Imaging and Sensing Technologies. SPIE, Vol. 9992. 9 p. 99920E

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

  23. Reasoning about Graph Programs

    Plump, D., 2016, Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Corradini, A. & Zantema, H. (eds.). p. 35-44 9 p. (Electronic Proceedings in Theoretical Computer Science; vol. 225).

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

  24. Refinement strategies for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2016, Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. L. & Roscoe, B. (eds.). SPRINGER, (Lecture Notes in Computer Science; vol. 9526).

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

  25. Regulatory governance of risk - corporate risk management in the UK

    Linsley, P. M., McMurray, R., Verma, S. & Abdelrehim, N. T. H., 2016, Invited workshop on Cultural Theory of Risk and Regulatory Governance sponsored by the School of Public Governance at Tilburg University.

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

  26. Risk driven analysis of maintenance for a large-scale drainage system

    Chen, Y., Polack, F. A. C., Cowling, P. I., Mourdjis, P. J. & Remde, S., 2016, Proceedings, ICORES. SciTePress, p. 296-303

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

Previous 1 2 3 4 5 6 7 8 ...11 Next