Computer Science
Recent Submissions
-
Network-coding-based Cooperative V2V Communication in Vehicular Cloud Networks
(Springer, 2018)We investigate the potential of applying cooperative relaying and network coding techniques to support vehicle-to-vehicle (V2V) communication in vehicular cloud networks (VCN). A reuse-mode MIMO content distribution system ... -
Compressed UAV sensing for flood monitoring by solving the continuous travelling salesman problem over hyperspectral maps
(Society of Photo-optical Instrumentation Engineers (SPIE), 2018-10-10)Unmanned Aerial Vehicles (UAVs) have shown great capability for disaster management due to their fast speed, automated deployment and low maintenance requirements. In recent years, disasters such as flooding are ... -
Learning-based Network Path Planning for Traffic Engineering
(Elsevier, 2018-09-25)Recent advances in traffic engineering offer a series of techniques to address the network problems due to the explosive growth of Internet traffic. In traffic engineering, dynamic path planning is essential for prevalent ... -
Landscape Analysis of a Class of NP-Hard Binary Packing Problems
(Massachusetts Institute of Technology Press (MIT Press), 2019)This paper presents an exploratory landscape analysis of three NP-hard combinatorial optimisation problems: the number partitioning problem, the binary knapsack problem, and the quadratic binary knapsack problem. In the ... -
On the Learnability of Programming Language Semantics
(Interaction and Concurrency Experience, 2017-06)Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models ("fully abstract") for a wide variety of programming languages. Game semantic models are combinatorial ... -
Network Function Virtualization in Dynamic Networks: A Stochastic Perspective
(Institute of Electrical and Electronics Engineers (IEEE), 2018-09-24)As a key enabling technology for 5G network softwarization, Network Function Virtualization (NFV) provides an efficient paradigm to optimize network resource utility for the benefits of both network providers and users. ... -
Data-driven multi-objective optimisation of coal-fired boiler combustion systems
(Elsevier, 2018-08-09)Coal remains an important energy source. Nonetheless, pollutant emissions – in particular Oxides of Nitrogen (NOx) – as a result of the combustion process in a boiler, are subject to strict legislation due to their damaging ... -
Selection for Gaia across multiple scales
(Elsevier, 2018-07-02)Recently postulated mechanisms and models can help explain the enduring ‘Gaia’ puzzle of environmental regulation mediated by life. Natural selection can produce nutrient recycling at local scales and regulation of ... -
Concept drift and anomaly detection in graph streams
(Institute of Electrical and Electronics Engineers (IEEE), 2018-03-09)Graph representations offer powerful and intuitive ways to describe data in a multitude of application domains. Here, we consider stochastic processes generating graphs and propose a methodology for detecting changes in ... -
Bridging Elementary Landscapes and a Geometric Theory of Evolutionary Algorithms: First Steps
(Springer, 2018)Based on a geometric theory of evolutionary algorithms, it was shown that all evolutionary algorithms equipped with a geometric crossover and no mutation operator do the same kind of convex search across representations, ... -
Program trace optimization
(Springer, 2018)We introduce Program Trace Optimization (PTO), a system for `universal heuristic optimization made easy'. This is achieved by strictly separating the problem from the search algorithm. New problem definitions and new generic ... -
New Achievable Sum Degrees of Freedom in Half-duplex Single-antenna Multi-user Multi-hop Networks
(Institute of Electrical and Electronics Engineers (IEEE), 2018-02-21)IEEE We investigate the achievable sum degrees of freedom (DoF) in a class of single-antenna multi-user multi-hop relay networks. The networks consist of multiple information sources and destinations, without direct signal ... -
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-
(IJCAI, 2018-07)Several semantics have been proposed to query inconsistent ontological knowledge bases, including the intersection of repairs and the intersection of closed repairs as two approximate inconsistencytolerant semantics. ... -
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-
(SEBD - Sistemi Evoluti per Basi di Dati, 2018-06)Several semantics have been proposed to query inconsistent ontological knowledge bases, including the intersection of repairs and the intersection of closed repairs as two approximate inconsistency-tolerant semantics. ... -
A Suite of Computationally Expensive Shape Optimisation Problems Using Computational Fluid Dynamics
(Springer Verlag, 2018)In many product design and development applications, Computational Fluid Dynamics (CFD) has become a useful tool for analysis. This is particularly because of the accuracy of CFD simulations in predicting the important ... -
Deploying edge computing nodes for large-scale IoT: A diversity aware approach
(Institute of Electrical and Electronics Engineers (IEEE), 2018-04-06)The recent advances in microelectronics and communications have led to the development of large-scale IoT networks, where tremendous sensory data is generated and needs to be processed. To support real-time processing for ... -
3D reconstruction of "in-the-wild" faces in images and videos
(Institute of Electrical and Electronics Engineers, 2018-05-15)3D Morphable Models (3DMMs) are powerful statistical models of 3D facial shape and texture, and are among the state-of-the-art methods for reconstructing facial shape from single images. With the advent of new 3D sensors, ... -
Computationally Efficient Local Optima Network Construction
(Association for Computing Machinery (ACM), 2018-07-15)There has been an increasing amount of research on the visualisation of search landscapes through the use of exact and approximate local optima networks (LONs). Although there are many papers available describing the ... -
Voronoi-Based Archive Sampling for Robust Optimisation
(Association for Computing Machinery (ACM), 2018-07-15)We propose a framework for estimating the quality of solutions in a robust optimisation setting by utilising samples from the search history and using MC sampling to approximate a Voronoi tessellation. This is used to ... -
Robust Multi-Modal Optimisation
(Association for Computing Machinery (ACM), 2018-07-15)Robust and multi-modal optimisation are two important topics that have received significant attention from the evolutionary computation community over the past few years. However, the two topics have usually been ...