Refine your results

Easily toggle selected advanced search features:

Chapter in Book/Report/Conference proceeding
·· Conference contribution (19)
Contribution to journal
·· Article (80)
·· Editorial (1)
·· Special issue (1)
Remove limitation on type

Does not have full text (20)
Has full text (62)

Search research publications and outputs

Advanced search options

Department/unit

Type

Title

Author

Publication year

to

Status

Publication category

Full text

Peer-reviewed

76 - 82 out of 82Page size: 25

Sort by: Publication date

2016
Architecting Time-Critical Big-Data Systems
Audsley, N. C., Basanta-Val, P., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016
Article in IEEE Transactions on Big Data
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
Distributional logic programming for Bayesian knowledge representation
Angelopoulos, N. & Cussens, J., 17 Aug 2016
Article in International Journal of Approximate Reasoning
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
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
Joint Hypergraph Learning and Sparse Regression for Feature Selection
Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 9 Jul 2016
Article in Pattern Recognition
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

Previous 1 2 3 4 Next