Skip to main

Submitted outputs' details

The submitted outputs' details allows you to browse and search for outputs submitted to the REF 2021. Use the search and filters below to find the outputs you are looking for.
Learn about submitted outputs
Download all details for all outputs (spreadsheet)
Download all details for all outputs (spreadsheet) (generating)

Search and filter

Clear search and filter

Filter by

  • University of Exeter
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Download output details for outputs in the current view (spreadsheet)
Download output details for outputs in the current view (spreadsheet) (generating)
Showing outputs 1 to 70 of 70

A calculus for dynamic architectures

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.scico.2019.06.001
Open access status
Deposit exception
Title of journal
Science of Computer Programming

A game-based approximate verification of deep neural networks with provable guar ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.tcs.2019.05.046
Open access status
Technical exception
Title of journal
Theoretical Computer Science

A Hidden Markov model approach to the problem of heuristic selection in hyper-heuristics ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1162/EVCO_a_00186
Open access status
Compliant
Title of journal
Evolutionary Computation

A Multiperiod Multiobjective Portfolio Selection Model With Fuzzy Random Returns ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TFUZZ.2020.2992866
Open access status
Compliant
Title of journal
IEEE Transactions on Fuzzy Systems

A Screening Test for Disclosed Vulnerabilities in FOSS Components

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TSE.2018.2816033
Open access status
Compliant
Title of journal
IEEE Transactions on Software Engineering

A Surrogate-assisted Reference Vector Guided Evolutionary Algorithm for Computationally ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TEVC.2016.2622301
Open access status
Deposit exception
Title of journal
IEEE Transactions on Evolutionary Computation

A weighted cellular automata 2D inundation model for rapid flood analysis

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.envsoft.2016.07.008
Open access status
Compliant
Title of journal
Environmental Modelling and Software

Accurate and Generic Sender Selection for Bulk Data Dissemination in Low-Power Wireless ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TNET.2016.2614129
Open access status
Not compliant
Title of journal
IEEE/ACM Transactions on Networking

An Analysis of Heuristic Subsequences for Offline Hyper-heuristic Learning

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s10732-018-09404-7
Open access status
Compliant
Title of journal
Journal of Heuristics

An Evolutionary Many-Objective Optimization Algorithm Based on Dominance and Dec ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TEVC.2014.2373386
Open access status
Out of scope for open access requirements
Title of journal
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION

An Examination of the Feasibility of Linear Deterministic Sea Wave Prediction in ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1175/JTECH-D-13-00170.1
Open access status
Out of scope for open access requirements
Title of journal
Journal of Atmospheric and Oceanic Technology

An updated evolutionary classification of CRISPR-Cas systems

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1038/nrmicro3569
Open access status
Out of scope for open access requirements
Title of journal
Nature Reviews Microbiology

Automatic Virtual Network Embedding: A Deep Reinforcement Learning Approach with ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/JSAC.2020.2986662
Open access status
Compliant
Title of journal
IEEE Journal on Selected Areas in Communications

Bounds on the cost of stabilizing a cooperative game

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1613/jair.1.11270
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

Characterization of Received Signal Strength Perturbations Using Allan Variance

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TAES.2017.2768278
Open access status
Compliant
Title of journal
IEEE Transactions on Aerospace and Electronic Systems

Complexity Results for Preference Aggregation over (m)CP-nets: Pareto and Majority ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.artint.2018.12.010
Open access status
Compliant
Title of journal
Artificial Intelligence

Compressive Representation for Device-Free Activity Recognition with Passive RFID ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMC.2017.2706282
Open access status
Technical exception
Title of journal
IEEE Trans. Mob. Comput.

Concept Drift and Anomaly Detection in Graph Streams

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TNNLS.2018.2804443
Open access status
Deposit exception
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Data Augmentation based Cellular Traffic Prediction in Edge Computing Enabled Smart ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/tii.2020.3009159
Open access status
Compliant
Title of journal
IEEE Transactions on Industrial Informatics

Data-driven multi-objective optimisation of coal-fired boiler combustion systems

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.apenergy.2018.07.101
Open access status
Compliant
Title of journal
Applied Energy

Determination of the Edge of Criticality in Echo State Networks Through Fisher Information ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TNNLS.2016.2644268
Open access status
Compliant
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Dominant frames in legacy and social media coverage of the IPCC Fifth Assessment ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1038/nclimate2535
Open access status
Out of scope for open access requirements
Title of journal
Nature Climate Change

Doodle to search: Practical zero-shot sketch-based image retrieval

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/CVPR.2019.00228
Open access status
Deposit exception
Title of conference / published proceedings
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition

Efficient Nondomination Level Update Method for Steady-State Evolutionary Multiobjective ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TCYB.2016.2621008
Open access status
Compliant
Title of journal
IEEE Transactions on Cybernetics

Energy-aware Dual-path Geographic Routing to Bypass Routing Holes in Wireless Sensor ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMC.2017.2771424
Open access status
Compliant
Title of journal
IEEE Transactions on Mobile Computing

Families of Roles: A new theory of occurrent-dependent roles

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.3233/AO-150148
Open access status
Out of scope for open access requirements
Title of journal
Applied Ontology

Formal firewall conformance testing: an application of test and proof techniques

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/stvr.1544
Open access status
Out of scope for open access requirements
Title of journal
Software Testing, Verification & Reliability (STVR)

From the betweenness centrality in street networks to structural invariants in random ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41467-018-04978-z
Open access status
Compliant
Title of journal
Nature Communications

GraphDDP: a graph-embedding approach to detect differentiation pathways in single-cell-data ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41467-018-05988-7
Open access status
Compliant
Title of journal
Nature Communications

GraphProt: Modeling binding preferences of RNA-binding proteins

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1186/gb-2014-15-1-r17
Open access status
Out of scope for open access requirements
Title of journal
Genome Biology

Hierarchical organization of urban mobility and its connection with city livabil ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1038/s41467-019-12809-y
Open access status
Compliant
Title of journal
Nature Communications

Hybrid Demodulate-Forward Relay Protocol for Two-Way Relay Channels

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/twc.2015.2419627
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Wireless Communications

Interactive Decomposition Multi-Objective Optimisation via Progressively Learned ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TFUZZ.2018.2880700
Open access status
Compliant
Title of journal
IEEE Transactions on Fuzzy Systems

Interactive verification of architectural design patterns in FACTum

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00165-019-00488-x
Open access status
Deposit exception
Title of journal
Formal Aspects of Computing

Interpreting recurrent neural networks behaviour via excitable network attractor ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s12559-019-09634-2
Open access status
Compliant
Title of journal
Cognitive Computation

Joint relay scheduling, channel access, and power allocation for green cognitive ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/JSAC.2014.2361085
Open access status
Out of scope for open access requirements
Title of journal
IEEE Journal on Selected Areas in Communications

KLog: A language for logical and relational learning with kernels

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.artint.2014.08.003
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence

Landscape Analysis of a Class of NP-Hard Binary Packing Problems

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1162/evco_a_00237
Open access status
Exception within 3 months of publication
Title of journal
Evolutionary Computation

Large Scale 3D Morphable Models

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s11263-017-1009-7
Open access status
Compliant
Title of journal
International Journal of Computer Vision

Life on the Edge: Characterising the Edges of Mutually Non-dominating Sets

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1162/EVCO_a_00124
Open access status
Out of scope for open access requirements
Title of journal
Evolutionary Computation

Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMC.2017.2762677
Open access status
Technical exception
Title of journal
IEEE Trans. Mob. Comput.

Measuring the size of a crowd using Instagram

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1177/2399808319841615
Open access status
Compliant
Title of journal
Environment and Planning B: Urban Analytics and City Science

Minimizing Movement for Target Coverage and Network Connectivity in Mobile Sensor ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TPDS.2014.2333011
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Parallel and Distributed Systems

Morphology of travel routes and the organization of cities

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1038/s41467-017-02374-7
Open access status
Compliant
Title of journal
Nature Communications

Network analysis reveals open forums and echo chambers in social media discussions ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.gloenvcha.2015.03.006
Open access status
Out of scope for open access requirements
Title of journal
Global Environmental Change

Network Function Virtualization in Dynamic Networks: A Stochastic Perspective

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/JSAC.2018.2869958
Open access status
Compliant
Title of journal
IEEE Journal on Selected Areas in Communications

Oil Spill Segmentation via Adversarial f-Divergence Learning

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TGRS.2018.2803038
Open access status
Compliant
Title of journal
IEEE Transactions on Geoscience and Remote Sensing

On generically dependent entities

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.3233/AO-140133
Open access status
Out of scope for open access requirements
Title of journal
Applied Ontology

Place recognition with convnet landmarks: Viewpoint-robust, condition-robust, tr ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.15607/RSS.2015.XI.022
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Robotics: Science and Systems

Principled design and runtime analysis of abstract convex evolutionary search

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1162/EVCO_a_00169
Open access status
Out of scope for open access requirements
Title of journal
Evolutionary Computation

Reachability Analysis of Deep Neural Networks with Provable Guarantees

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.24963/ijcai.2018/368
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden

R-Metric: Evaluating the Performance of Preference-Based Evolutionary Multi-Objective ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TEVC.2017.2737781
Open access status
Compliant
Title of journal
IEEE Transactions on Evolutionary Computation

RNAscClust: Clustering RNA sequences using structure conservation and graph based ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1093/bioinformatics/btx114
Open access status
Compliant
Title of journal
Bioinformatics

Safeguard Network Slicing in 5G: A Learning Augmented Optimization Approach

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/JSAC.2020.2999696
Open access status
Compliant
Title of journal
IEEE Journal on Selected Areas in Communications

Scoring and assessment in medical VR training simulators with dynamic time series ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.engappai.2020.103760
Open access status
Compliant
Title of journal
Engineering Applications of Artificial Intelligence

SeDAR: Reading Floorplans Like a Human—Using Deep Learning to Enable Human-Inspired ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s11263-019-01239-4
Open access status
Compliant
Title of journal
International Journal of Computer Vision

Semantically tied paired cycle consistency for zero-shot sketch-based image retr ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/CVPR.2019.00523
Open access status
Deposit exception
Title of conference / published proceedings
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition

Sequences of purchases in credit card data reveal lifestyles in urban population ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41467-018-05690-8
Open access status
Compliant
Title of journal
Nature Communications

Skillful long-range prediction of European and North American winters

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/2014GL059637
Open access status
Out of scope for open access requirements
Title of journal
Geophysical Research Letters

Small world picture of worldwide seismic events

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.physa.2014.04.024
Open access status
Out of scope for open access requirements
Title of journal
Physica A: Statistical Mechanics and its Applications

Social sensing of floods in the UK

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1371/journal.pone.0189327
Open access status
Compliant
Title of journal
PLoS ONE

Spatio-temporal variations in the urban rhythm: the travelling waves of crime

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1140/epjds/s13688-018-0158-4
Open access status
Compliant
Title of journal
EPJ Data Science

Stochastic Graphlet Embedding

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TNNLS.2018.2884700
Open access status
Deposit exception
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Stochastic Performance Analysis of Network Function Virtualization in Future Int ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/JSAC.2019.2894304
Open access status
Compliant
Title of journal
IEEE Journal on Selected Areas in Communications

Strategies for Controlling Non-Transmissible Infection Outbreaks Using a Large Human ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pcbi.1003809
Open access status
Out of scope for open access requirements
Title of journal
PLoS Computational Biology

The Rolling Tide Evolutionary Algorithm: A Multi-Objective Optimiser for Noisy Optimisation ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TEVC.2014.2304415
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Evolutionary Computation

Tuning the Aggressive TCP Behavior for Highly Concurrent HTTP Connections in Int ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TNET.2017.2759300
Open access status
Not compliant
Title of journal
IEEE/ACM Transactions on Networking

Two-Archive Evolutionary Algorithm for Constrained Multiobjective Optimization

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TEVC.2018.2855411
Open access status
Compliant
Title of journal
IEEE Transactions on Evolutionary Computation

Uncovering the differences and similarities between physical and virtual mobilit ...

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1098/rsif.2020.0250
Open access status
Compliant
Title of journal
Journal of the Royal Society Interface

Zero-Velocity Detection-A Bayesian Approach to Adaptive Thresholding

Submitting institution
University of Exeter
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/LSENS.2019.2917055
Open access status
Technical exception
Title of journal
IEEE Sensors Letters
Showing outputs 1 to 70 of 70

Filter by higher education institution

Select one or more of the following higher education institutions and then click Apply selected filters when you have finished.
No higher education institutions found.

Filter by unit of assessment

Select one or more of the following units of assessment and then click Apply selected filters when you have finished.
No unit of assessments found.

Filter by output type

Select one or more of the following output types and then click Apply selected filters when you have finished.

Filter by year

Select one or more of the following years and then click Apply selected filters when you have finished.

Filter by open access status

Select one or more of the following open access statuses and then click Apply selected filters when you have finished.