Search research publications and outputs

  1. 2014
  2. Breaking conditional symmetry in automated constraint modelling with CONJURE

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 18 Aug 2014, ECAI 2014. IOS Press, Vol. 263. p. 3-8 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Investigating affect in algorithmic composition systems

    Williams, D., Kirke, A., Miranda, E. R., Roesch, E., Daly, I. & Nasuto, S., 15 Aug 2014

    Article in Psychology of Music

  4. Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

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

  5. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

  6. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

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

  7. Methods and Algorithms for Unsupervised Learning of Morphology

    Can, B. & Manandhar, S., Aug 2014, Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Gelbukh, A. (ed.). SPRINGER, p. 177-205 29 p. (Lecture Notes in Computer Science; vol. 8403).

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

  8. Concentric Symmetry

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 1 Jul 2014.

    Research output: Working paper

  9. Computational novelty: Phenomena, mechanisms, worlds

    Nellis, A. & Stepney, S., Jul 2014, p. 506–513.

    Research output: Contribution to conferencePaper

  10. Evaluation of Cache Partitioning for Hard Real-Time Systems

    Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

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

  11. On the application of Static Probabilistic Timing Analysis to Memory Hierarchies

    Lesage, B. M. J-R., Griffin, D. J., Davis, R. I. & Altmeyer, S., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 5-6 2 p.

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

  12. Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Altmeyer, S., Cucu-Grosjean, L., Davis, R. I. & Lesage, B. M. J-R., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 7-8 2 p.

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

  13. Designing resource-constrained embedded heterogeneous systems to cope with variability

    Gray, I., Acquaviva, A. & Audsley, N., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 75-101 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems

    Bagnato, A., Quadri, I., Brosse, E., Sadovykh, A., Indrusiak, L. S., Paige, R., Audsley, N., Gray, I., Kolovos, D. S., Matragkas, N., Rossi, M., Baresi, L., Crippa, M. C., Genolini, S., Hansen, S. & Meisel-Blohm, G., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

  16. A survey and comparison of transformation tools based on the transformation tool contest

    Edgar, J., Buchwald, S., Wagelaar, D., Li, D., Hegedüs, Á., Herrmannsdoerfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L. M., Wätzoldt, S. & Mazanek, S., 1 Jun 2014

    Article in Science of Computer Programming

  17. Generating custom propagators for arbitrary constraints

    Gent, I., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014

    Article in Artificial Intelligence

  18. PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

    Davis, R. I., Vardanega, T., Andersson, J., Vatrinet, F., Pearce, M., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu-Grosjean, L., Patte, M., Farrall, G. & Cazorla, F. J., Jun 2014

    Article in Ada User Journal

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