Now showing items 1-20 of 22

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