Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 15 out of 15Page size: 25
Sort by: Title

  1. 3D Modeling of craniofacial ontogeny and sexual dimorphism in children

    Smith, O. A. M., Nashed, Y. S. G., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 26 Dec 2020

    Article in Anatomical Record

  2. An Enhanced Vehicle Control Model for Highly Automated Driving Safety

    Monkhouse, H., Habli, I. & McDermid, J. A., 10 Jun 2020

    Article in Reliability Engineering and System Safety

  3. Evaluation of structure-from-motion for analysis of small-scale glacier dynamics

    Lewinska, P. B. W., Głowacki, O., Moskalik, M. & Smith, W. A. P., 8 Aug 2020

    Article in Measurement

  4. Growing old: Do women and men age differently?

    Smith, O. A. M., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 17 Jan 2021

    Article in Anatomical Record

  5. Higher-Order Particle Representation for Particle-in-Cell Simulations

    Brown, D., Bettencourt, M. T., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., 8 Mar 2021

    Article in Journal of Computational Physics

  6. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014

    Article in Digital Signal Processing

  7. Integer Linear Programming for the Bayesian network structure learning problem

    Bartlett, M. & Cussens, J., 10 Mar 2015

    Article in Artificial Intelligence

  8. Internet Financing Credit Risk Evaluation Using Multiple Structural Interacting Elastic Net Feature Selection

    Cui, L., Bai, L., Wang, Y., Jin, X. & Hancock, E. R., 26 Jan 2021

    Article in Pattern recognition

  9. Investigating game attention using the Distraction Recognition Paradigm

    Cutting, J. & Cairns, P. A., 28 Nov 2020

    Article in Behaviour & Information Technology

  10. Multimodal Fusion for Indoor Sound Source Localization

    Chen, J., Takashima, R., Guo, X., Zhang, Z., Xu, X., Takiguchi, T. & Hancock, E. R., 23 Feb 2021

    Article in Pattern recognition

  11. Network Entropy using Edge-based Information Functionals

    Aziz, F., Hancock, E. R. & Wilson, R. C., 25 Aug 2020

    Article in Journal of Complex Networks

  12. 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

  13. Thermodynamic Motif Analysis for Directed Stock Market Networks

    Chen, D., Guo, X., Wang, J., Liu, J., Zhang, Z. & Hancock, E. R., 2 Feb 2021

    Article in Pattern recognition

  14. Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP

    Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F., 26 Jun 2020

    Article in Science of Computer Programming

  15. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014

    Article in Formal Aspects of Computing