Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
76 - 100 out of 107Page size: 25
  1. 2018

  2. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018

    Article in Information Processing Letters

  3. Vertex-Level Three-Dimensional Shape Deformability Measurement Based on Line Segment Advection

    Li, C. & Hancock, E. R., 11 Jan 2018

    Article in IET Computer Vision

  4. 2017

  5. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

  6. Directed motor-auditory EEG connectivity is modulated by music tempo

    Nicolaou, N., Malik, A., Daly, I., Weaver, J., Hwang, F., Kirke, A., Roesch, E. B., Williams, D., Miranda, E. R. & Nasuto, S. J., 18 Oct 2017

    Article in Frontiers in human neuroscience

  7. The co-evolution of anti-predator polymorphisms in sympatric populations

    Franks, D. W. & Oxford, G. S., 14 Oct 2017

    Article in Biological Journal of the Linnean Society

  8. Network Analysis using Entropy Component Analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., 28 Sep 2017

    Article in Journal of Complex Networks

  9. Recovering Variations in Facial Albedo from Low Resolution Images

    Xu, C., Zhang, Z., Wang, B., Hu, G. & Hancock, E. R., 22 Sep 2017

    Article in Pattern Recognition

  10. Diffusion Wavelet Embedding: a Multi-resolution Approach for Graph Embedding in Vector Space

    Bahonar, H., Mirzaei, A. & Wilson, R. C., 20 Sep 2017

    Article in Pattern Recognition

  11. Multi-Agent Credit Assignment in Stochastic Resource Management Games

    Mannion, P., Devlin, S., Duggan, J. & Howley, E., 24 Aug 2017

    Article in The Knowledge Engineering Review

  12. A Centrality Measure for Urban Networks Based on the Eigenvector Centrality Concept.

    Agryzkov, T., Tortosa, L., Vicent, J. & Wilson, R. C., 16 Aug 2017

    Article in Environment and Planning B: Urban Analytics and City Science

  13. Spin Statistics, Partition Functions and Network Entropy

    Wang, J., Wilson, R. C. & Hancock, E. R., 4 Jul 2017

    Article in Journal of Complex Networks

  14. Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores

    Paige, R. F., Kolovos, D., Barmpis, K., Wei, R. & Garcia-Dominguez, A., 30 Jun 2017

    Article in Software and Systems Modeling

  15. Ternary graph as a questionnaire: A new approach to assessment of quality of life?

    Brown, R., Tomasello, L., Mitchell, D. A., Sebald, A. & Stepney, S., 18 May 2017

    Article in British journal of oral & maxillofacial surgery

  16. Genetic Programming + Proof Search = Automatic Improvement

    Kocsis, Z. A. & Swan, J., 7 Mar 2017

    Article in Journal of Automated Reasoning

  17. From value chains to technological platforms: the effects of crowdfunding in the digital game industry

    Nucciarelli, A., Li, F., Fernandes, K. J., Goumagias, N., Cabras, I., Devlin, S., Kudenko, D. & Cowling, P. I., 3 Mar 2017

    Article in JOURNAL OF BUSINESS RESEARCH

  18. 2016

  19. Stochastic domain wall depinning in permalloy nanowires with various types of notches

    Gao, Y., You, B., Yang, H. L., Zhan, Q. F., Li, Z., Lei, N., Zhao, W. S., Wu, J., Tu, H. Q., Wang, J., Wei, L. J., Zhang, W., Xu, Y. B. & Du, J., 29 Dec 2016

    Article in AIP Advances

  20. Safety-critical Java for embedded systems

    Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S., Ravn, A., Rivas, J., Strom, T., Søndergaard, H., Zhao, S. & Wellings, A. J., 14 Dec 2016

    Article in Concurrency and Computation: Practice and Experience

  21. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016

    Article in IEEE Transactions on Big Data

  22. Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks

    Bai, L., Rossi, L., Cui, L., Zhang, Z., Ren, P., Xiao, B. & Hancock, E. R., 9 Sep 2016

    Article in Pattern Recognition Letters

  23. Distributional logic programming for Bayesian knowledge representation

    Angelopoulos, N. & Cussens, J., 17 Aug 2016

    Article in International Journal of Approximate Reasoning

  24. Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling

    von der Bruggen, G., Chen, J-J., Davis, R. I. & Huang, W-H. K., 5 Aug 2016

    Article in Information Processing Letters

  25. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016

    Article in Formal Aspects of Computing

  26. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016

    Article in Information and Software Technology

  27. On the effectiveness of cache partitioning in hard real-time systems

    Altmeyer, S., Douma, R., Lunniss, W. R. E. & Davis, R. I., 6 Jan 2016

    Article in Real-Time Systems

  28. 2015

  29. Hadoop neural network for parallel and distributed feature selection

    Hodge, V. J., O'Keefe, S. & Austin, J., 5 Sep 2015

    Article in Neural Networks

Previous 1 2 3 4 5 Next