Refine your results

Easily toggle selected advanced search features:

Article (5)

Does not have full text (2)
Has full text (3)

Search research publications and outputs

Advanced search options

Department/unit

Type

Title

Author

Publication year

to

Status

Publication category

Full text

Peer-reviewed

1 - 5 out of 5Page size: 100

10
25
50
100
500

Sort by: Type

Article › Research › Peer-reviewed
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems
Calinescu, R., Ghezzi, C., Johnson, K. H. A., Pezze, M., Rafiq, Y. & Tamburrelli, G., 4 Aug 2015
Article in IEEE Transactions on Reliability
Hadoop neural network for parallel and distributed feature selection
Hodge, V. J., O'Keefe, S. & Austin, J., 5 Sep 2015
Article in Neural Networks
Integer Linear Programming for the Bayesian network structure learning problem
Bartlett, M. & Cussens, J., 10 Mar 2015
Article in Artificial Intelligence
Static probabilistic timing analysis for real-time systems using random replacement caches
Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015
Article in Real-Time Systems
Using argument notation to engineer biological simulations with increased confidence
Alden, K. J., Andrews, P. S., Polack, F. A. C., Veiga-Fernandes, H., Coles, M. C. & Timmis, J., 6 Mar 2015
Article in Interface