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

  • Imperial College of Science, Technology and Medicine
   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 100 of 146

3D reconstruction of "in-the-wild" faces in images and videos

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TPAMI.2018.2832138
Open access status
Compliant
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

A benchmark for RGB-D visual odometry, 3D reconstruction and SLAM

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/ICRA.2014.6907054
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 IEEE International Conference on Robotics and Automation (ICRA)

A deep cascade of convolutional neural networks for dynamic MR image reconstruct ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMI.2017.2760978
Open access status
Compliant
Title of journal
IEEE Transactions on Medical Imaging

A deep learning approach to on-node sensor data analytics for mobile or wearable ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/JBHI.2016.2633287
Open access status
Compliant
Title of journal
IEEE Journal of Biomedical and Health Informatics

A deep matrix factorization method for learning attribute representations

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TPAMI.2016.2554555
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

A disaster response system based on human-agent collectives

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1613/jair.5098
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

A dynamic appearance descriptor approach to facial actions temporal modeling

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TCYB.2013.2249063
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Cybernetics

A multigrid approach to SDP relaxations of sparse polynomial optimization proble ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1137/16M1109060
Open access status
Compliant
Title of journal
SIAM Journal on Optimization

A parametric framework for reversible pi-calculi

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.ic.2020.104644
Open access status
Compliant
Title of journal
Information and Computation

A stochastic multiscale model for electricity generation capacity expansion

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ejor.2013.07.022
Open access status
Out of scope for open access requirements
Title of journal
European Journal of Operational Research

A Trusted Mechanised JavaScript Specification

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2535838.2535876
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM SIGPLAN Notices - POPL '14

Accelerating performance inference over closed systems by asymptotic methods

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3084445
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Measurement and Analysis of Computing Systems

Adaptive resource management and control in software defined networks

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TNSM.2015.2402752
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Network and Service Management

ADDSEN: adaptive data processing and dissemination for drone swarms in urban sen ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TC.2016.2584061
Open access status
Not compliant
Title of journal
IEEE Transactions on Computers

AdGraph: a graph-based approach to ad and tracker blocking

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/SP40000.2020.00005
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
IEEE Symposium on Security and Privacy

Analysis of EEG signals and facial expressions for continuous emotion detection

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TAFFC.2015.2436926
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Affective Computing

Anatomically Constrained Neural Networks (ACNNs): Application to Cardiac Image Enhancement ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMI.2017.2743464
Open access status
Compliant
Title of journal
IEEE Transactions on Medical Imaging

Arcface: additive angular margin loss for deep face recognition

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/CVPR.2019.00482
Open access status
Compliant
Title of conference / published proceedings
2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)

Architecture and performance of Devito, a system for automated stencil computati ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3374916
Open access status
Compliant
Title of journal
ACM Transactions on Mathematical Software

Automated cardiovascular magnetic resonance image analysis with fully convolutional ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1186/s12968-018-0471-x
Open access status
Compliant
Title of journal
Journal of Cardiovascular Magnetic Resonance

Automated design of self-adaptive software with control-theoretical formal guara ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2568225.2568272
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 36th International Conference on Software Engineering

Automated testing of graphics shader compilers

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3133917
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

Automatic whole brain MRI segmentation of the developing neonatal brain

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TMI.2014.2322280
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Medical Imaging

Balance: dynamic adjustment of cryptocurrency deposits

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3319535.3354221
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2019 ACM SIGSAC Conference on Computer & Communications Security (CCS '19)

Bayesian Multiobjective Optimisation With Mixed Analytical and Black-Box Functions: ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TBME.2018.2855404
Open access status
Compliant
Title of journal
IEEE Transactions on Biomedical Engineering

Capacity of non-malleable codes

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TIT.2015.2511784
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Theory

Capacity upper bounds for deletion-type channels

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3281275
Open access status
Compliant
Title of journal
Journal of the Association for Computing Machinery (ACM)

Characterisation of normalisation properties for λμ using Strict negated intersection ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3149823
Open access status
Not compliant
Title of journal
ACM Transactions on Computational Logic

CodeSLAM - Learning a Compact, Optimisable Representation for Dense Visual SLAM

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00271
Open access status
Compliant
Title of conference / published proceedings
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition

CoDrive: improving automobile positioning via collaborative driving

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/INFOCOM.2018.8486281
Open access status
Compliant
Title of conference / published proceedings
IEEE Conference on Computer Communications

Combining experts’ causal judgments

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.artint.2020.103355
Open access status
Compliant
Title of journal
Artificial Intelligence

Compositional solution space quantification for probabilistic software analysis

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2594291.2594329
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM Sigplan Notices

Concurrency testing using controlled schedulers: an empirical study

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2858651
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Parallel Computing

Context-sensitive dynamic ordinal regression for intensity estimation of facial action ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TPAMI.2014.2356192
Open access status
Out of scope for open access requirements
Title of journal
IEEE transactions on Pattern Analysis and Machine Intelligence

Convergence of sparse variational inference in Gaussian processes regression

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
Open access status
Compliant
Title of journal
Journal of Machine Learning Research

Curriculum learning of multiple tasks

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/CVPR.2015.7299188
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

DAGAN: deep de-aliasing generative adversarial networks for fast compressed sensing ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMI.2017.2785879
Open access status
Compliant
Title of journal
IEEE Transactions on Medical Imaging

Decision support approaches for cyber security investment

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.dss.2016.02.012
Open access status
Out of scope for open access requirements
Title of journal
Decision Support Systems

Declarative framework for specification, simulation and analysis of distributed ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TKDE.2016.2515604
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Knowledge and Data Engineering

Deep canonical time warping for simultaneous alignment and representation learning ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPAMI.2017.2710047
Open access status
Compliant
Title of journal
IEEE transactions on Pattern Analysis and Machine Intelligence

Deep learning a grasp function for grasping under gripper pose uncertainty

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/IROS.2016.7759657
Open access status
Compliant
Title of conference / published proceedings
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems

Dense planar SLAM

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/ISMAR.2014.6948492
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 IEEE International Symposium on Mixed and Augmented Reality (ISMAR)

Detecting distributed signature-based intrusion: The case of multi-path routing ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/INFOCOM.2015.7218423
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings IEEE INFOCOM 2015

Dictionary learning and time sparsity for dynamic MR data reconstruction

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TMI.2014.2301271
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Medical Imaging

Discriminative shared Gaussian processes for multiview and view-invariant facial ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TIP.2014.2375634
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Image Processing

Dynamic deadlock verification for general barrier synchronisation

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3229060
Open access status
Compliant
Title of journal
ACM Transactions on Programming Languages and Systems

Dynamic update of discrete event controllers

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TSE.2018.2876843
Open access status
Compliant
Title of journal
IEEE Transactions on Software Engineering

Dynamically generated cutting planes for mixed-integer quadratically constrained ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1080/10556788.2014.916287
Open access status
Out of scope for open access requirements
Title of journal
Optimization Methods and Software

Effects as sessions, sessions as effects

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837634
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Efficient crowdsourcing of unknown experts using bounded multi-armed bandits

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

Efficient multi-scale 3D CNN with fully connected CRF for accurate brain lesion ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.media.2016.10.004
Open access status
Compliant
Title of journal
Medical Image Analysis

Efficient partial-pairs simrank search on large networks

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.14778/2735479.2735489
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the VLDB Endowment International Conference on Very Large Data Bases

Efficient state-space inference of periodic latent force models

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
Open access status
Out of scope for open access requirements
Title of journal
Journal of Machine Learning Research

ElasticFusion: real-time dense SLAM and light source estimation

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1177/0278364916669237
Open access status
Compliant
Title of journal
International Journal of Robotics Research

End-to-end multimodal emotion recognition using deep neural networks

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/JSTSP.2017.2764438
Open access status
Compliant
Title of journal
IEEE Journal of Selected Topics in Signal Processing

End-to-end, sequence-to-sequence probabilistic visual odometry through deep neural ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1177/0278364917734298
Open access status
Exception within 3 months of publication
Title of journal
International Journal of Robotics Research

Estimating computational requirements in multi-threaded applications

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TSE.2014.2363472
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering

Estimating the success of re-identifications in incomplete datasets using generative ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1038/s41467-019-10933-3
Open access status
Compliant
Title of journal
Nature Communications

Exploiting the chaotic behaviour of atmospheric models with reconfigurable archi ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.cpc.2017.08.011
Open access status
Compliant
Title of journal
Computer Physics Communications

Extracting Randomness from the Trend of IPI for Cryptographic Operations in Implantable ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tdsc.2019.2921773
Open access status
Compliant
Title of journal
IEEE Transactions on Dependable and Secure Computing

Extrinsics autocalibration for dense planar visual odometry

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/rob.21547
Open access status
Out of scope for open access requirements
Title of journal
Journal of Field Robotics

Fast volume reconstruction from motion corrupted stacks of 2D slices

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TMI.2015.2415453
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Medical Imaging

Fencing off go: liveness and safety for channel-based programming

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009847
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

Firedrake: automating the finite element method by composing abstractions

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2998441
Open access status
Compliant
Title of journal
ACM Transactions on Mathematical Software

From communicating machines to graphical choreographies

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2676726.2676964
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM Sigplan Notices

From fine-grained properties to broad principles for gradual argumentation: A principled ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ijar.2018.11.019
Open access status
Compliant
Title of journal
International Journal of Approximate Reasoning

Gauss-newton deformable part models for face alignment in-the-wild

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/CVPR.2014.239
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 IEEE conference on computer vision and pattern recognition (CVPR)

Geometric deep learning on graphs and manifolds using mixture model CNNs

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/cvpr.2017.576
Open access status
Deposit exception
Title of conference / published proceedings
2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Geometric matrix completion with recurrent multi-graph neural networks

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Deposit exception
Title of conference / published proceedings
NIPS'17: Proceedings of the 31st International Conference on Neural Information Processing Systems

Gillian, Part I: a multi-language platform for symbolic execution

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3385412.3386014
Title of conference / published proceedings
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

GPU concurrency: weak behaviours and programming assumptions

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2775054.2694391
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM Sigplan Notices

Heuristics with performance guarantees for the minimum number of matches problem ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.compchemeng.2018.03.002
Open access status
Compliant
Title of journal
Computers and Chemical Engineering

Higher-order type-level programming in Haskell

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3341706
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

Hope for the best, prepare for the worst: multi-tier control for adaptive system ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2568225.2568264
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 36th International Conference on Software Engineering

Incremental face alignment in the wild

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/CVPR.2014.240
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of IEEE Int'l Conf. on Computer Vision & Pattern Recognition (CVPR 2014)

Intrinsic and extrinsic motivators of attachment under active inference

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1371/journal.pone.0193955
Open access status
Compliant
Title of journal
PLoS ONE

JaVerT 2.0: compositional symbolic execution for JavaScript

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290379
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

Keyframe-based visual–inertial odometry using nonlinear optimization

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1177/0278364914554813
Open access status
Out of scope for open access requirements
Title of journal
The International Journal of Robotics Research

KungFu: making training in distributed machine learning adaptive

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
Title of conference / published proceedings
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation

Large scale 3D morphable models

Submitting institution
Imperial College of Science, Technology and Medicine
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

Less is more: multiparty session types revisited

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290343
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

Line: Evaluating Software Applications in Unreliable Environments

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TR.2017.2655505
Open access status
Compliant
Title of journal
IEEE Transactions on Reliability

MAGMA: Multilevel Accelerated Gradient Mirror Descent Algorithm for Large-Scale Convex ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1137/15M104013X
Open access status
Compliant
Title of journal
SIAM Journal on Imaging Sciences

Making State Explicit for Imperative Big Data Processing

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
Proceedings of USENIX ATC ’14: 2014 USENIX Annual Technical Conference

Managing response time tails by sharding

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3300143
Open access status
Compliant
Title of journal
ACM transactions on modeling and performance evaluation of computing systems

Many-core compiler fuzzing

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2737924.2737986
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM Sigplan Notices

Mapping poverty using mobile phone and satellite data

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1098/rsif.2016.0690
Open access status
Compliant
Title of journal
Journal of the Royal Society Interface

Multivariate trace inequalities

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00220-016-2778-5
Open access status
Compliant
Title of journal
Communications in Mathematical Physics

Nash and Wardrop equilibria in aggregative games with coupling constraints

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/tac.2018.2849946
Open access status
Deposit exception
Title of journal
IEEE Transactions on Automatic Control

Non-orthogonal multiple access in large-scale heterogeneous networks

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/JSAC.2017.2726718
Open access status
Other exception
Title of journal
IEEE Journal on Selected Areas in Communications

On library correctness under weak memory consistency: specifying and verifying concurrent ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290381
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

On the security and performance of proof of work blockchains

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2976749.2978341
Title of conference / published proceedings
ACM Computer and Communication Security (CCS), 2016

Optimal Accuracy-Privacy Trade-Off for Secure Computations

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TIT.2018.2886458
Open access status
Compliant
Title of journal
IEEE Transactions on Information Theory

Optimising heat exchanger network synthesis using convexity properties of the logarithmic ...

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.compchemeng.2016.07.001
Open access status
Compliant
Title of journal
Computers and Chemical Engineering

Orca: GC and type system co-design for actor languages

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3133896
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

Overhauling SC atomics in C11 and OpenCL

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837637
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Pairwise Decomposition of Image Sequences for Active Multi-View Recognition

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/CVPR.2016.414
Open access status
Compliant
Title of conference / published proceedings
2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Parameterised verification for multi-agent systems

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.artint.2016.01.008
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence

Partial functional correspondence

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1111/cgf.12797
Open access status
Out of scope for open access requirements
Title of journal
Computer Graphics Forum: the international journal of the Eurographics Association

Performance analysis methods for list-based caches with non-uniform access

Submitting institution
Imperial College of Science, Technology and Medicine
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TNET.2020.3042869
Open access status
Compliant
Title of journal
IEEE ACM Transactions on Networking
Showing outputs 1 to 100 of 146

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.