Search research publications and outputs

  1. 2018
  2. Net4lap: Neural Laplacian Regularization for Ranking and Re-Ranking

    Curado, M., Escolano, F., Lozano, M. & Hancock, E. R., 11 Apr 2018, (Accepted/In press).

    Research output: Contribution to conferencePaper

  3. Semi-Supervised Graph Rewiring with the Dirichlet Principle

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 11 Apr 2018, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  4. Accessible Player Experiences (APX): The Players

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

    Research output: Contribution to conferencePaper

  5. A New Look at the Refund Mechanism in the Bitcoin Payment Protocol

    Avizheh, S., Safavi-Naini, R. & Shahandashti, S. F., Mar 2018.

    Research output: Contribution to conferencePaper

  6. Ethics and the safety of autonomous systems

    Menon, C. & Alexander, R. D., 6 Feb 2018.

    Research output: Contribution to conferencePaper

  7. The State of Solutions for Autonomous Systems Safety

    Alexander, R. D., Ashmore, R. & Banks, A., 6 Feb 2018.

    Research output: Contribution to conferencePaper

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

  9. Hazard and Risk Analysis of Health Informatics: Fundamental Challenges and New Directions

    Habli, I. & White, S. P., 2018.

    Research output: Contribution to conferencePaper

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

  11. 2017
  12. Towards bio-responsive control for music

    Williams, D. A. H., Murphy, D. T. & Fazenda, B., 19 Dec 2017.

    Research output: Contribution to conferencePaper

  13. Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks

    Alexei, S., Dmitry, B., Marina, P., Kudenko, D., Burakov, A. & Nadezhdina, E., 18 Dec 2017.

    Research output: Contribution to conferencePaper

  14. Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads

    Rashid, S. A., Nelissen, G., Altmeyer, S., Davis, R. I. & Tovar, E., 6 Dec 2017. 11 p.

    Research output: Contribution to conferencePaper

  15. Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines

    Burns, A. & Davis, R. I., 5 Dec 2017. 6 p.

    Research output: Contribution to conferencePaper

  16. Improving efficiency of persistent storage access in embedded Linux

    Joyce, R. A. & Audsley, N. C., 17 Nov 2017.

    Research output: Contribution to conferencePaper

  17. Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems

    Zhao, S. & Wellings, A. J., 17 Nov 2017.

    Research output: Contribution to conferencePaper

  18. A Safety-Case Approach for Ethical Considerations for Autonomous Vehicles

    Menon, C. & Alexander, R. D., 1 Nov 2017.

    Research output: Contribution to conferencePaper

  19. Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., 4 Oct 2017. 10 p.

    Research output: Contribution to conferencePaper

  20. Performance of second order particle-in-cell methods on modern many-core architectures

    Brown, D., Bettencourt, M. T., Wright, S. A., Jones, J. P. & Jarvis, S. A., 1 Oct 2017, (Accepted/In press).

    Research output: Contribution to conferencePaper

  21. Multi-core Cyclic Executives for Safety-Critical Systems

    Burns, A., Deutschbein, C., Fleming, T. D. & Baruah, S., Oct 2017, p. 94-109. 16 p.

    Research output: Contribution to conferencePaper

  22. Functional grouping analysis of varying reactor types in the Spiky-RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S., Sep 2017, p. 247-254.

    Research output: Contribution to conferencePaper

  23. The Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform

    Millard, A. G., Joyce, R. A., Hilder, J. A., Fleseriu, C., Newbrook, L., Li, W., McDaid, L. & Halliday, D. M., Sep 2017.

    Research output: Contribution to conferencePaper

  24. Tuning Jordan Algebra Artificial Chemistries with Probability Spawning Functions

    Faulkner, P. S. M., Sebald, A. A-M. & Stepney, S., Sep 2017, p. 497-504.

    Research output: Contribution to conferencePaper

  25. Learning Binary Preference Relations: Analysis of Logic-based versus Statistical Approaches

    Qomariyah, N. N. & Kazakov, D. L., 27 Aug 2017, p. 30-34. 5 p.

    Research output: Contribution to conferencePaper

  26. An Investigation into the Use of Mutation Analysis for Automated Program Repair

    Timperley, C. S., Stepney, S. & Le Goues, C., 17 Aug 2017, p. 99-114. 16 p.

    Research output: Contribution to conferencePaper

  27. Feature-Rich Networks for Knowledge Base Completion

    Manandhar, S. K. & Komninos, A., 30 Jul 2017, p. 324-329. 6 p.

    Research output: Contribution to conferencePaper

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