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 College London
   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 251

"Everyone Is Talking about It!”: A Distributed Approach to Urban Voting Technology ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702263
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems

"I always wanted to see the night sky": Blind user preferences for sensory substitution ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858241
Open access status
Technical exception
Title of conference / published proceedings
Conference on Human Factors in Computing Systems - Proceedings

"Just Whack It on Until It Gets Hot": Working with IoT Data in the Home

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858518
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems

‘Unexpected item in the bagging area’: Anomaly Detection in X-ray Security Image ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TIFS.2018.2881700
Open access status
Compliant
Title of journal
IEEE Transactions on Information Forensics and Security

A calculus and logic of bunched resources and processes

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.tcs.2015.11.035
Open access status
Out of scope for open access requirements
Title of journal
THEORETICAL COMPUTER SCIENCE

A categorical semantics of signal flow graphs

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-662-44584-6_30
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of CONCUR 2014 (25th International Conference on Concurrency Theory), Lecture Notes in Computer Science

A City in Common: A Framework to Orchestrate Large-scale Citizen Engagement around ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025915
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of CHI 2017

A coalgebraic decision procedure for NetKAT

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2676726.2677011
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Conference Record of the Annual ACM Symposium on Principles of Programming Languages

A Comparison of Virtual and Physical Training Transfer of Bimanual Assembly Task ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TVCG.2018.2793638
Open access status
Compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics

A data-driven model of biomarker changes in sporadic Alzheimer's disease

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/brain/awu176
Open access status
Out of scope for open access requirements
Title of journal
BRAIN

A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2785956.2787495
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
SIGCOMM'15: PROCEEDINGS OF THE 2015 ACM CONFERENCE ON SPECIAL INTEREST GROUP ON DATA COMMUNICATION

A general reinforcement learning algorithm that masters chess, shogi, and Go through ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1126/science.aar6404
Open access status
Exception within 3 months of publication
Title of journal
Science

A generalised quantifier theory of natural language in categorical compositional ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1017/S0960129518000324
Open access status
Technical exception
Title of journal
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

A linear-time kernel goodness-of-fit test

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems

A Model to Search for Synthesizable Molecules

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Open access status
Technical exception
Title of conference / published proceedings
Advances in Neural Information Processing Systems

A Pólya urn approach to information filtering in complex networks

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

A polynomial-time algorithm for reachability in branching VASS in dimension one

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.4230/LIPIcs.ICALP.2016.105
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics, LIPIcs

A volumetric display for visual, tactile and audio presentation using acoustic t ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1038/s41586-019-1739-5
Open access status
Technical exception
Title of journal
Nature

Accelerated high-resolution photoacoustic tomography via compressed sensing.

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1088/1361-6560/61/24/8908
Open access status
Compliant
Title of journal
Phys Med Biol

Accelerated Microstructure Imaging via Convex Optimization (AMICO) from diffusion ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.neuroimage.2014.10.026
Open access status
Out of scope for open access requirements
Title of journal
Neuroimage

Accelerating the BSM interpretation of LHC data with machine learning

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.dark.2019.100293
Open access status
Technical exception
Title of journal
PHYSICS OF THE DARK UNIVERSE

An analysis of the L1 scheme for the subdiffusion scheme with nonsmooth data

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/imanum/dru063
Open access status
Out of scope for open access requirements
Title of journal
IMA Journal of Numerical Analysis

An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation ...

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

An Attentive Neural Architecture for Fine-grained Entity Type Classification

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/W16-1313
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 5th Workshop on Automated Knowledge Base Construction (AKBC) at the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies Proceedings of the Workshop

An Automated Mobile Game-based Screening Tool for Patients with Alcohol Dependen ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3411837
Open access status
Compliant
Title of journal
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies

An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation That ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ICSE.2017.61
Open access status
Not compliant
Title of conference / published proceedings
Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2884781.2884807
Open access status
Deposit exception
Title of conference / published proceedings
2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)

As Light as your Footsteps: Altering Walking Sounds to Change Perceived Body Weight, ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702374
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems.

Attenuation Correction Synthesis for Hybrid PET-MR Scanners: Application to Brain ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TMI.2014.2340135
Open access status
Out of scope for open access requirements
Title of journal
IEEE TRANSACTIONS ON MEDICAL IMAGING

Auditing Search Engines for Differential Satisfaction Across Demographics

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3041021.3054197
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 26th International Conference on World Wide Web Companion, Perth, Australia, April 3-7, 2017

Automated multiple trajectory planning algorithm for the placement of stereo-electroencephalography ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s11548-016-1452-x
Open access status
Compliant
Title of journal
International Journal of Computer Assisted Radiology and Surgery

Automated software transplantation

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2771783.2771796
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings

Automatic Camera Calibration Using Multiple Sets of Pairwise Correspondences

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPAMI.2017.2699648
Open access status
Not compliant
Title of journal
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE

Automatic Identification of Web-Based Risk Markers for Health Events

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.2196/jmir.4082
Open access status
Out of scope for open access requirements
Title of journal
JOURNAL OF MEDICAL INTERNET RESEARCH

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

Submitting institution
University College London
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

Beyond Self-Tracking and Reminders: Designing Smartphone Apps That Support Habit ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702230
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
CHI'15: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Bingham-NODDI: Mapping anisotropic orientation dispersion of neurites using diffusion ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.neuroimage.2016.01.046
Open access status
Out of scope for open access requirements
Title of journal
Neuroimage

Blink: Fast Connectivity Recovery Entirely in the Data Plane

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’19)

Brain age predicts mortality

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1038/mp.2017.62
Open access status
Compliant
Title of journal
Molecular Psychiatry

Central Control Over Distributed Routing

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2785956.2787497
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
SIGCOMM'15: PROCEEDINGS OF THE 2015 ACM CONFERENCE ON SPECIAL INTEREST GROUP ON DATA COMMUNICATION

Centrally Banked Cryptocurrencies

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.14722/ndss.2016.23187
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
23nd Annual Network and Distributed System Security Symposium, NDSS 2016, San Diego, California, USA, February 21-24, 2016

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartment ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/SP.2015.9
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015

COBRA: A combined regression strategy

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jmva.2015.04.007
Open access status
Out of scope for open access requirements
Title of journal
JOURNAL OF MULTIVARIATE ANALYSIS

Combining heterogeneous data sources for neuroimaging based diagnosis: re-weighting ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.neuroimage.2019.01.053
Open access status
Compliant
Title of journal
NeuroImage

Companion apps for information-rich television programmes: representation and in ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00779-015-0867-7
Open access status
Out of scope for open access requirements
Title of journal
Personal and Ubiquitous Computing

Complex embeddings for simple link prediction

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Compliant
Title of conference / published proceedings
33rd International Conference on Machine Learning, ICML 2016

Complexity classification of local Hamiltonian problems

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/FOCS.2014.21
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 55TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2014)

Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1162/COLI_a_00209
Open access status
Out of scope for open access requirements
Title of journal
COMPUTATIONAL LINGUISTICS

ConFiG: Contextual Fibre Growth to generate realistic axonal packing for diffusion ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.neuroimage.2020.117107
Open access status
Compliant
Title of journal
NeuroImage

Consistent Multitask Learning with Nonlinear Output Relations.

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems 30 (NIPS 2017)

Constructing Datasets for Multi-hop Reading Comprehension Across Documents

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1162/tacl_a_00021
Open access status
Compliant
Title of journal
Transactions of the Association for Computational Linguistics

Construction and Evaluation of an Ultra Low Latency Frameless Renderer for VR

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TVCG.2016.2518079
Open access status
Out of scope for open access requirements
Title of journal
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS

Contagion in cybersecurity attacks

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1057/jors.2016.37
Open access status
Compliant
Title of journal
Journal of the Operational Research Society

Content-Aware Surface Parameterization for Interactive Restoration of Historical ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1111/cgf.12299
Open access status
Out of scope for open access requirements
Title of journal
Computer Graphics Forum (Proc. Eurographics)

Conversations between self and self as Sigmund Freud-A virtual body ownership paradigm ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1038/srep13899
Open access status
Out of scope for open access requirements
Title of journal
SCIENTIFIC REPORTS

Convolutional 2D knowledge graph embeddings

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
32nd AAAI Conference on Artificial Intelligence (AAAI-2018)

Data-driven malaria prevalence prediction in large densely populated urban holoendemic ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1038/s41598-020-72575-6
Open access status
Compliant
Title of journal
Scientific Reports

De Novo Structure Prediction of Globular Proteins Aided by Sequence Variation-Derived ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pone.0092197
Open access status
Out of scope for open access requirements
Title of journal
PLOS ONE

Deep Filter Banks for Texture Recognition, Description, and Segmentation

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s11263-015-0872-3
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Computer Vision

Deep learning extends de novo protein modelling coverage of genomes using iteratively ...

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

Deep Thermal Imaging: Proximate Material Type Recognition in the Wild through Deep ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173576
Open access status
Technical exception
Title of conference / published proceedings
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

DeepPhase: Surgical Phase Recognition in CATARACTS Videos

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-030-00937-3_31
Open access status
Compliant
Title of conference / published proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Delay is Not an Option: Low Latency Routing in Space

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3286062.3286075
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceesdings of ACM Hot Topics in Networks

DensePose: Dense Human Pose Estimation in the Wild.

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00762
Open access status
Not compliant
Title of conference / published proceedings
CVPR

Design of metalloproteins and novel protein folds using variational autoencoders

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41598-018-34533-1
Open access status
Compliant
Title of journal
Scientific Reports

Detecting Anomalous Data Using Auto-Encoders

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18178/ijmlc.2016.6.1.565
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
International Journal of Machine Learning and Computing

Detecting disease outbreaks in mass gatherings using internet data

Submitting institution
University College London
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 Medical Internet Research

DiCE: The Infinitely Differentiable Monte-Carlo Estimator

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 35th International Conference on Machine Learning

Direct, Dense, and Deformable: Template-Based Non-Rigid 3D Reconstruction from RGB ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICCV.2015.111
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE International Conference on Computer Vision (ICCV)

DirectFix: Looking for Simple Program Repairs

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICSE.2015.63
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1

Disk|Crypt|Net: rethinking the stack for high-performance video streaming

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3098822.3098844
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication

Do You See What I See? Differential Treatment of Anonymous Users

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Network and Distributed System Security Symposium (NDSS)

Doubly Stochastic Variational Inference for Deep Gaussian Processes

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Technical exception
Title of conference / published proceedings
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 30 (NIPS 2017)

Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1038/srep08190
Open access status
Out of scope for open access requirements
Title of journal
SCIENTIFIC REPORTS

Early coauthorship with top scientists predicts success in academic careers

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

Effect of auditory efferent time-constant duration on speech recognition in nois ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1121/1.5023502
Open access status
Compliant
Title of journal
Journal of the Acoustical Society of America

Efficient Private Statistics with Succinct Sketches

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
CoRR

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log S ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-662-49896-5_12
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Advances in Cryptology – EUROCRYPT 2016

Embedding Anatomical or Functional Knowledge in Whole-Brain Multiple Kernel Learning ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s12021-017-9347-8
Open access status
Compliant
Title of journal
Neuroinformatics

Emotions Mediated Through Mid-Air Haptics

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702361
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
CHI 2015: PROCEEDINGS OF THE 33RD ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS

Empirical evaluation of abstract argumentation: Supporting the need for bipolar and ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ijar.2017.11.009
Open access status
Compliant
Title of journal
International Journal of Approximate Reasoning

Empirical Risk Minimization under Fairness Constraints

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Compliant
Title of conference / published proceedings
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018)

End-to-end Differentiable Proving

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 4-9 December 2017, Long Beach, CA, USA

Enhancing Bitcoin Security and Performance with Strong Consistency via Collective ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
SEC'16: Proc. 25th USENIX Conference on Security Symposium

Enhancing Feature Selection Using Word Embeddings: The Case of Flu Surveillance

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3038912.3052622
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 26th International Conference on World Wide Web

Errors and discrepancies in the administration of intravenous infusions: a mixed ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1136/bmjqs-2017-007476
Open access status
Compliant
Title of journal
BMJ Quality and Safety

e-SNLI: Natural Language Inference with Natural Language Explanations

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018

European trading volumes on cross-market holidays

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1002/ijfe.1643
Open access status
Compliant
Title of journal
International Journal of Finance and Economics

Evaluating Composition Models for Verb Phrase Elliptical Sentence Embeddings.

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/N19-1023
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1

Exploiting Unintended Feature Leakage in Collaborative Learning

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/SP.2019.00029
Open access status
Technical exception
Title of conference / published proceedings
2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019)

Exploring medical device design and use through layers of Distributed Cognition: ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jbi.2014.12.006
Open access status
Out of scope for open access requirements
Title of journal
JOURNAL OF BIOMEDICAL INFORMATICS

Exploring the Touch and Motion Features in Game-Based Cognitive Assessments

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3351245
Open access status
Compliant
Title of journal
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies

Finding Instability in Biological Models

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-08867-9_24
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
COMPUTER AIDED VERIFICATION, CAV 2014

From word embeddings to document distances

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
32nd International Conference on Machine Learning, ICML 2015

Fusion of finite set distributions: Pointwise consistency and global cardinality

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TAES.2019.2893083
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Aerospace and Electronic Systems

Gaussian Processes for Data-Efficient Learning in Robotics and Control

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TPAMI.2013.218
Open access status
Out of scope for open access requirements
Title of journal
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE

Go-with-the-flow: Tracking, Analysis and Sonification of Movement and Breathing to ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1080/07370024.2015.1085310
Open access status
Out of scope for open access requirements
Title of journal
Human-Computer Interaction

GPU Concurrency: Weak Behaviours and Programming Assumptions

Submitting institution
University College London
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

GS-PAT: High-Speed Multi-Point Sound-Fields for Phased Arrays of Transducers

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3386569.3392492
Open access status
Compliant
Title of journal
ACM Transactions on Graphics

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly ...

Submitting institution
University College London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3371129
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Showing outputs 1 to 100 of 251

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.