Browse by

 

Welcome to the research outputs of the University of Exeter College of Engineering, Mathematics and Physical Sciences, Department of Computer Science

Recent Submissions

  • The complexity of the nucleolus in compact games 

    Greco, G; Malizia, E; Palopoli, L; Scarcello, F (Association for Computing Machinery (ACM), 2014-12-01)
    The nucleolus is a well-known solution concept for coalitional games to fairly distribute the total available worth among the players. The nucleolus is known to be NP-hard to compute over compact coalitional games, that ...
  • An Architecture for Accountable Anonymous Access in the Internet-of-Things Network 

    Ma, Y; Wu, Y; Ge, J; Li, J (Institute of Electrical and Electronics Engineers (IEEE), 2018)
    With the rapid development of the Internet, more and more devices are being connected to the Internet, making up the Internet-of-Things (IoT). The accountability and privacy are two important but contradictory factors to ...
  • SeDAR - Semantic Detection and Ranging: Humans can localise without LiDAR, can robots? 

    Mendez, O; Hadfield, S; Pugeault, N; Bowden, R (Institute of Electrical and Electronics Engineers (IEEE), 2018-05)
    How does a person work out their location using a floorplan? It is probably safe to say that we do not explicitly measure depths to every visible surface and try to match them against different pose estimates in the ...
  • Two-path succussive relaying with hybrid demodulate and forward 

    Gong, Y; Luo, C; Chen, Z (Institute of Electrical and Electronics Engineers (IEEE), 2012-06)
    This paper proposes a novel demodulation-and-forward (DMF) scheme for the two-path succussive relay system. While the two-path relaying avoids the data rate loss that occurs in many one-relay cooperative systems, its ...
  • Social sensing of floods in the UK 

    Arthur, R; Boulton, C; Shotton, H; Williams, HTP (Public Library of Science (PLoS), 2018-01-31)
    “Social sensing” is a form of crowd-sourcing that involves systematic analysis of digital communications to detect real-world events. Here we consider the use of social sensing for observing natural hazards. In particular, ...
  • A case study for a new invasive extension of Intel’s threading building blocks 

    Schreiber, M; Weinzierl, T (Association for Computing Machinery (ACM), 2018-01-23)
    We study codes deploying multiple MPI ranks to one node where each rank is parallelised with TBB. A static assignment of cores to ranks here is disadvantageous if the load is not perfectly balanced, the runtime is subject ...
  • Model-based correction of segmentation errors in digitised histological images 

    Randell, DA; Galton, A; Fouad, S; Mehanna, H; Landini, G (Springer, 2017-06-22)
    This paper describes an application of topological, model-based methods for the algorithmic correction of segmentation errors in digitised histological images. The topological analysis is provided by the spatial logic ...
  • Unsupervised morphological segmentation of tissue compartments in histopathological images 

    Fouad, S; Randell, D; Galton, A; Mehanna, H; Landini, G (Public Library of Science, 2017-11-30)
    Algorithmic segmentation of histologically relevant regions of tissues in digitized histopathological images is a critical step towards computer-assisted diagnosis and analysis. For example, automatic identification of ...
  • Radiation hydrodynamics simulations of massive star formation using Monte Carlo radiation transfer 

    Harries, TJ; Haworth, TJ; Acreman, D (Springer, 2014-01-28)
    We present a radiation hydrodynamics simulation of the formation of a massive star using a Monte Carlo treatment for the radiation field. We find that strong, high speed bipolar cavities are driven by the radiation from ...
  • An Effective Approach to Controller Placement in Software Defined Wide Area Networks 

    Wang, G; Zhao, Y; Huang, J; Wu, Y (Institute of Electrical and Electronics Engineers, 2017-12-20)
    One grand challenge in Software Defined Networking (SDN) is to select appropriate locations for controllers to shorten the latency between controllers and switches in wide area networks. In the literature, the majority ...
  • Geometric Semantic Grammatical Evolution 

    Moraglio, A; McDermott, J; O'Neill, M (Springer, 2018)
    Geometric Semantic Genetic Programming (GSGP) is a novel form of Genetic Programming (GP), based on a geometric theory of evolutionary algorithms, which directly searches the semantic space of programs. In this chapter, we ...
  • Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic 

    Gottlob, G; Malizia, E (Society for Industrial and Applied Mathematics, 2017)
    The hypergraph duality problem DUAL is defined as follows: given two simple hypergraphs G and H, decide whether H consists precisely of all minimal transversals of G (in which case we say that G is the dual of H, or, ...
  • A holistic scalable implementation approach of the lattice Boltzmann method for CPU/GPU heterogeneous clusters 

    Riesinger, CR; Bakhtiari, AB; Schreiber, M; Neumann, PN; Bungartz, HJB (MDPI, 2017-11-30)
    Heterogeneous clusters are a widely utilized class of supercomputers assembled from different types of computing devices, for instance CPUs and GPUs, providing a huge computational potential. Programming them in a scalable ...
  • A numerical study of a semi-Lagrangian Parareal method applied to the viscous Burgers equation 

    Schmitt, AS; Schreiber, M; Peixoto, PSP; Schäfer, MS (Springer Verlag, 2017)
    This work focuses on the Parareal parallelin-time method and its application to the viscous Burgers equation. A crucial component of Parareal is the coarse time stepping scheme, which strongly impacts the convergence ...
  • Energy-aware Dual-path Geographic Routing to Bypass Routing Holes in Wireless Sensor Networks 

    Huang, H; Yin, H; Min, G; Zhang, J; Wu, Y; Zhang, X (Institute of Electrical and Electronics Engineers, 2017-11-09)
    Geographic routing has been considered as an attractive approach for resource-constrained wireless sensor networks (WSNs) since it exploits local location information instead of global topology information to route data. ...
  • A Framework of Fog Computing: Architecture, Challenges and Optimization 

    Liu, Y; Fieldsend, JE; Min, G (Institute of Electrical and Electronics Engineers (IEEE), 2017-10-26)
    Fog Computing (FC) is an emerging distributed computing platform aimed at bringing computation close to its data sources, which can reduce the latency and cost of delivering data to a remote cloud. This feature and related ...
  • Clustering-oriented Multiple Convolutional Neural Networks for Single Image Super-resolution 

    Ren, P; Sun, W; Luo, C; Hussain, A (Springer Verlag, 2017-10-04)
    In contrast to the human visual system (HVS) that applies different processing schemes to visual information of different textural categories, most existing deep learning models for image super-resolution tend to exploit ...
  • Characterisation of Received Signal Strength Perturbations using Allan Variance 

    Luo, C; Casaseca, P; McClean, S; Parr, G; Ren, P (Institute of Electrical and Electronics Engineers (IEEE), 2017-11-03)
    The received signal strength (RSS) of wireless signals conveys important information that has been widely used in wireless communications, localisation and tracking. Traditional RSS-based research and applications model ...
  • Cost-Aware Optimisation of Cache Allocation for Information-Centric Networking 

    Wang, H; Hu, J; Min, G; Miao, W; Georgalas, N (IEEE, 2017-12)
    Information-centric networking (ICN) is an emerging paradigm that decouples content from the host to achieve fast and cost-efficient communication and content distribution in the future Internet. A key feature of ICN is ...
  • H-ACO: A Heterogeneous Ant Colony Optimisation approach with Application to the Travelling Salesman Problem 

    Fayeez, A; Keedwell, E (Association Evolution Artificielle, 2017-10-25)
    Ant Colony Optimization (ACO) is a field of study that mimics the behaviour of ants to solve computationally hard problems. The majority of research in ACO focuses on homogeneous artificial ants although animal behaviour ...

View more