6 September 2018 | Alternative EM algorithms for nonlinear state-space models
| Wahlstrom, J; Jalden, J; Skog, I; et al. |
13 July 2019 | Analysing heuristic subsequences for offline hyper-heuristic learning
| Yates, W; Keedwell, EC |
20 July 2016 | Enabling dominance resistance in visualisable distance-based many-objective problems
| Fieldsend, Jonathan E. |
2 December 2018 | Entropy in network community as an indicator of language structure in emoji usage: A twitter study across various thematic datasets
| Hartman, R; Seyednezhad, SMM; Pinheiro, D; et al. |
11 October 2018 | Formalising extended finite state machine transition merging
| Foster, M; Taylor, RG; Brucker, AD; et al. |
2 June 2018 | Formalizing (web) standards: An application of test and proof
| Brucker, AD; Herzberg, M |
27 February 2015 | Impact of different cloud deployments on real-time video applications for mobile cloud users
| Khan, A; Wang, Q; Luo, C; et al. |
11 June 2018 | An improved method for mobility prediction using a Markov model and density estimation
| Menz, L; Herberth, R; Luo, C; et al. |
6 September 2018 | Inertial sensor array processing with motion models
| Wahlstrom, J; Skog, I; Handel, P |
19 August 2019 | Map-aided navigation for emergency searches
| Wahlstrom, J; Porto Buarque de Gusmao, P; Markham, A; et al. |
20 February 2020 | A New Initialisation Method for Examination Timetabling Heuristics
| Alsuwaylimi, A; Fieldsend, J |
18 May 2016 | Performance evaluation of information-centric networking for multimedia services
| Wang, H; Min, G; Hu, J; et al. |
28 March 2019 | Program trace optimization with constructive heuristics for combinatorial problems
| McDermott, J; Moraglio, A |
19 July 2018 | Reachability analysis of deep neural networks with provable guarantees
| Ruan, W; Huang, X; Kwiatkowska, M |
1 December 2012 | A scalable genome representation for neural-symbolic networks
| Townsend, J; Galton, A; Keedwell, E |
1 June 2014 | Sign Spotting using Hierarchical Sequential Patterns with Temporal Intervals
| Ong, EJ; Koller, O; Pugeault, N; et al. |
8 August 2018 | Stateful protocol composition
| Hess, AV; Mödersheim, SA; Brucker, AD |
2012 | States, Processes and Events, and the Ontology of Causal Relations
| Galton, AP |
18 July 2018 | Using the isabelle ontology framework: Linking the formal with the informal
| Brucker, AD; Ait-Sadoune, I; Crisafulli, P; et al. |
13 July 2019 | Visualising the Landscape of Multi-Objective Problems using Local Optima Networks
| Fieldsend, JE; Alyahya, K |