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 Bristol
   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 129

“Bursting the Assistance Bubble” : Designing Inclusive Technology with Children with ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173920
Title of conference / published proceedings
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems : April 21-26, 2018, Montreal, QC, Canada

A belief revision framework for revising epistemic states with partial epistemic ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ijar.2015.01.003
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Approximate Reasoning

A Camera That CNNs : Towards Embedded Neural Networks on Pixel Processor Arrays

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/ICCV.2019.00142
Open access status
Compliant
Title of conference / published proceedings
2019 IEEE/CVF International Conference on Computer Vision (ICCV)

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

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025915
Title of conference / published proceedings
CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems : Explore, Innovate, Inspire

A Critical Analysis of ISO 17825 (‘Testing Methods for the Mitigation of Non-invasive ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-34618-8_9
Open access status
Compliant
Title of conference / published proceedings
Advances in Cryptology – ASIACRYPT 2019

A Cross-Virtual Machine Network Channel Attack via Mirroring and TAP Impersonati ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CLOUD.2018.00084
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
2018 IEEE 11th International Conference on Cloud Computing (CLOUD 2018) : Proceedings of a meeting held 2-7 July 2018, San Francisco, California, USA

A Disaster Response System based on Human-Agent Collectives

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1613/jair.5098
Open access status
Deposit exception
Title of journal
Journal of Artificial Intelligence Research

A Logic Programming Approach to Predict Effective Compiler Settings for Embedded ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1017/S1471068415000174
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 31st International Conference on Logic Programming, 4-5 July 2015

A Perception-based Hybrid Model for Video Quality Assessment

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TCSVT.2015.2428551
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Circuits and Systems for Video Technology

A performance analysis of the first generation of HPC-optimized Arm processors

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1002/cpe.5110
Open access status
Compliant
Title of journal
Concurrency and Computation: Practice and Experience

A soft matter computer for soft robots

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1126/scirobotics.aaw6060
Open access status
Exception within 3 months of publication
Title of journal
Science Robotics

A Study of Bug Resolution Characteristics in Popular Programming Languages

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TSE.2019.2961897
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Software Engineering

A tough call : Mitigating advanced code-reuse attacks at the binary level

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/SP.2016.60
Open access status
Deposit exception
Title of conference / published proceedings
2016 IEEE Symposium on Security and Privacy (SP)

A type-directed abstraction refinement approach to higher-order model checking

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2535838.2535873
Title of conference / published proceedings
POPL '2014 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Amplifiers for the Moran process

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3019609
Open access status
Technical exception
Title of journal
Journal of the ACM

An Integrative Approach to Predicting the Functional Effects of Non-Coding and Coding ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/bioinformatics/btv009
Open access status
Out of scope for open access requirements
Title of journal
Bioinformatics

Applicative Bidirectional Programming with Lenses

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2784731.2784750
Title of conference / published proceedings
ICFP '15 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

Automated Visual Fin Identification of Individual Great White Sharks

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s11263-016-0961-y
Open access status
Compliant
Title of journal
International Journal of Computer Vision

Automatically dismantling online dating fraud

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

Behind the Curtain of the “Ultimate Empathy Machine" : On the Composition of Virtual ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300736
Title of conference / published proceedings
CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems

Beyond excitation/inhibition imbalance in multidimensional models of neural circuit ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.7554/eLife.26724
Open access status
Compliant
Title of journal
eLife

Beyond Sigmoids : : How to obtain well-calibrated probabilities from binary classifiers ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1214/17-EJS1338SI
Open access status
Compliant
Title of journal
Electronic Journal of Statistics

Biomimetic Active Touch with Fingertips and Whiskers

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TOH.2016.2558180
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Haptics

Bit-Precise Procedure-Modular Termination Analysis

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3121136
Open access status
Not compliant
Title of journal
ACM Transactions on Programming Languages and Systems

Borderline vs. unknown : comparing three-valued representations of imperfect inf ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ijar.2014.07.004
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Approximate Reasoning

BVI-SynTex : A Synthetic Video Texture Dataset for Video Compression and Quality ...

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

Classical boson sampling algorithms with superior performance to near-term exper ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1038/nphys4270
Open access status
Compliant
Title of journal
Nature Physics

Computational approaches to finding and measuring inconsistency in arbitrary knowledge ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ijar.2014.06.003
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Approximate Reasoning

Concealing or revealing mobile medical devices? : Designing for onstage and offstage ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702453
Title of conference / published proceedings
CHI 2015 - Proceedings of the 33rd Annual CHI Conference on Human Factors in Computing Systems: Crossings

Constructing Linear-Sized Spectral Sparsification in Almost-Linear Time

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/FOCS.2015.24
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE 56th Annual Symposium on Foundations of Computer Science

Content Analysis of 150 Years of British Periodicals

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1073/pnas.1606380114
Open access status
Compliant
Title of journal
Proceedings of the National Academy of Sciences of the United States of America

Contextual influences on the use and non-use of digital technology while exercising ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702384
Title of conference / published proceedings
CHI 2015 - Proceedings of the 33rd Annual CHI Conference on Human Factors in Computing Systems: Crossings

Cortical microcircuits as gated-recurrent neural networks

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Title of conference / published proceedings
Neural Information Processing Systems 30 (NIPS 2017) : Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 4-9 December 2017, Long Beach, CA, USA.

Counting Keys in Parallel After a Side Channel Attack

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-48800-3_13
Title of conference / published proceedings
Advances in Cryptology - ASIACRYPT 2015 : 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II

Coupled Societies are More Robust Against Collapse : A Hypothetical Look at Easter ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ecolecon.2016.11.003
Open access status
Compliant
Title of journal
Ecological Economics

CSIDH : An Efficient Post-Quantum Commutative Group Action

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-030-03332-3_15
Open access status
Deposit exception
Title of conference / published proceedings
Advances in Cryptology - ASIACRYPT 2018

Deep Convolutional Networks as shallow Gaussian Processes

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Title of conference / published proceedings
International Conference on Learning Representations

Dendritic cortical microcircuits approximate the backpropagation algorithm

Submitting institution
University of Bristol
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 : NeurIPS 2018

Diffusion Modelling Reveals the Decision Making Processes Underlying Negative Judgement ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1371/journal.pone.0152592
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE

Dishonest Majority Multi-Party Computation for Binary Circuits

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-662-44381-1_28
Title of conference / published proceedings
Advances in Cryptology - CRYPTO 2014

Doubly Bayesian analysis of confidence in perceptual decision-making

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

DS-KCF : a real-time tracker for RGB-D data

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s11554-016-0654-3
Open access status
Compliant
Title of journal
Journal of Real-Time Image Processing

Dual-Context Calculi for Modal Logic

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/LICS.2017.8005089
Open access status
Technical exception
Title of conference / published proceedings
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Efficient Constant Round Multi-Party Computation Combining BMR and SPDZ

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-48000-7_16
Title of conference / published proceedings
Advances in Cryptology - CRYPTO 2015

Embodied Choice : How Action Influences Perceptual Decision Making

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

Energy and Latency Optimization in NEM Relay-Based Digital Circuits

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TCSI.2014.2309752
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Circuits and Systems - I: Regular Papers

Energy Optimization in Commercial FPGAs with Voltage, Frequency and Logic Scalin ...

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

Energy Transparency for Deeply Embedded Programs

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3046679
Open access status
Compliant
Title of journal
ACM Transactions on Architecture and Code Optimization

EPIC-Fusion : Audio-Visual Temporal Binding for Egocentric Action Recognition

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/ICCV.2019.00559
Open access status
Compliant
Title of conference / published proceedings
2019 IEEE/CVF International Conference on Computer Vision (ICCV)

Evaluating Sustainable Interaction Design of Digital Services : The Case of YouT ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300627
Title of conference / published proceedings
CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems

Exhaustive Testing of Trader-agents in Realistically Dynamic Continuous Double Auction ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.5220/0007382802240236
Title of conference / published proceedings
Proceedings of the 11th International Conference on Autonomous Agents and Artificial Intelligence (ICAART 2019)

Finding Convincing Arguments Using Scalable Bayesian Preference Learning

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

Fine-Grained Action Retrieval Through Multiple Parts-of-Speech Embeddings

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/ICCV.2019.00054
Open access status
Compliant
Title of conference / published proceedings
2019 IEEE/CVF International Conference on Computer Vision (ICCV)

Fine-grained reductions from approximate counting to decision

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3188745.3188920
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing

Flexible and Mindful Self-Tracking : Design Implications from Paper Bullet Journ ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173602
Title of conference / published proceedings
CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Foundations of Hardware-Based Attested Computation and Application to SGX

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/EuroSP.2016.28
Title of conference / published proceedings
2016 IEEE European Symposium on Security and Privacy (EuroS&P 2016) : Proceedings of a meeting held 21-24 March 2016, Saarbrucken, Germany

Fully homomorphic SIMD operations

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10623-012-9720-4
Open access status
Out of scope for open access requirements
Title of journal
Designs, Codes and Cryptography

Handling scalable approximate queries over NoSQL graph databases: : Cypherf and the ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.fss.2017.08.002
Open access status
Deposit exception
Title of journal
Fuzzy Sets and Systems

Hierarchical conceptual spaces for concept combination

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

High dynamic range video compression exploiting luminance masking

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TCSVT.2015.2426552
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Circuits and Systems for Video Technology

High performance in silico virtual drug screening on many-core processors

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1177/1094342014528252
Open access status
Out of scope for open access requirements
Title of journal
International Journal of High Performance Computing Applications

Higher-order constrained horn clauses for verification

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3158099
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

Homomorphic Signatures with Efficient Verification for Polynomial Functions

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-662-44371-2_21
Title of conference / published proceedings
Advances in Cryptology - CRYPTO 2014

Ifuzzer: : An evolutionary interpreter fuzzer using genetic programming

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-45744-4_29
Open access status
Technical exception
Title of conference / published proceedings
European Symposium on Research in Computer Security : ESORICS 2016. Lecture Notes in Computer Science

Improved massively parallel computation algorithms for MIS, matching, and vertex ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3212734.3212743
Title of conference / published proceedings
PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing

Independent Sets in Vertex-Arrival Streams

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.4230/LIPIcs.ICALP.2019.45
Open access status
Compliant
Title of conference / published proceedings
46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)

Integrating the digital and the traditional to deliver therapy for depression : lessons ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376510
Title of conference / published proceedings
CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems

KameleonFuzz : evolutionary fuzzing for black-box XSS detection

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2557547.2557550
Title of conference / published proceedings
Proceedings of the 4th ACM Conference on Data and application security and privacy

Learning to classify gender from four million images

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.patrec.2015.02.006
Open access status
Out of scope for open access requirements
Title of journal
Pattern Recognition Letters

Line detection as an inverse problem : application to lung ultrasound imaging

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMI.2017.2715880
Open access status
Compliant
Title of journal
IEEE Transactions on Medical Imaging

Lost in translation : Exposing hidden compiler optimization opportunities

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1093/comjnl/bxaa103
Open access status
Compliant
Title of journal
The Computer Journal

Managing Different Sources of Uncertainty in a BDI Framework in a Principled way ...

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

Maximum Matching in Turnstile Streams

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-48350-3_70
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Modalities, cohesion, and information flow

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290333
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

Morphees+ : Studying Everyday Reconfigurable Objects for the Design and Taxonomy ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3174193
Title of conference / published proceedings
CHI '18: Proceedings of the Conference on Human Factors in Computing Systems (CHI 2018)

MPC Joins The Dark Side

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3321705.3329809
Title of conference / published proceedings
Asia CCS 2019: Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security

MPC-Friendly Symmetric Key Primitives

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2976749.2978332
Title of conference / published proceedings
ACM Conference on Computer and Communications Security - CCS 2016

Multimodal Dependent Type Theory

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3373718.3394736
Title of conference / published proceedings
LICS '20 : Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science

Multi-Modal Domain Adaptation for Fine-Grained Action Recognition

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/CVPR42600.2020.00020
Open access status
Compliant
Title of conference / published proceedings
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) : CVPR 2020

Nano-crystalline graphite for reliability improvement in MEM relay contacts

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.carbon.2018.03.011
Open access status
Compliant
Title of journal
Carbon

Nanoelectromechanical relay without pull-in instability for high-temperature non-volatile ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1038/s41467-020-14872-2
Open access status
Compliant
Title of journal
Nature Communications

New Unconditional Hardness Results for Dynamic and Online Problems

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/FOCS.2015.71
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS) : Proceedings of a meeting held 17-20 October 2015, Berkeley, California, USA.

Onboard evolution of understandable swarm behaviors

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1002/aisy.201900031
Open access status
Compliant
Title of journal
Advanced Intelligent Systems

'Ooh Aah... Just a Little Bit' : A Small Amount of Side Channel Can Go a Long Wa ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-662-44709-3_5
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Cryptographic Hardware and Embedded Systems - CHES 2014

Optimal Lower Bounds for Matching and Vertex Cover in Dynamic Graph Streams

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.4230/LIPIcs.CCC.2020.30
Open access status
Compliant
Title of conference / published proceedings
35th Computational Complexity Conference (CCC 2020)

Partitioning Well-Clustered Graphs : Spectral Clustering Works!

Submitting institution
University of Bristol
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
Proceedings of The 28th Conference on Learning Theory

Peer-to-Peer Energy Markets : Understanding the Values of Collective and Community ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376135
Title of conference / published proceedings
CHI'20 : Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems

Perceptual Image Fusion Using Wavelets

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIP.2016.2633863
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing

Precision-Recall-Gain Curves : PR Analysis Done Right

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Advances in Neural Information Processing Systems 28

Probability Pooling for Dependent Agents in Collective Learning

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

Program Synthesis for Program Analysis

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3174802
Open access status
Technical exception
Title of journal
ACM Transactions of Programming Languages and Systems

Quantified Baby : Parenting and the Use of a Baby Wearable in the Wild

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3134743
Open access status
Compliant
Title of journal
Proceedings of the ACM on Human-Computer Interaction

Quantifying the body and caring for the mind : Self-tracking in multiple scleros ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025869
Title of conference / published proceedings
CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems : Explore, Innovate, Inspire

Quantum circuits for the CSIDH : optimizing quantum evaluation of isogenies

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17656-3_15
Open access status
Deposit exception
Title of conference / published proceedings
Advances in Cryptology - EUROCRYPT 2019

Recognising Planes in a Single Image

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TPAMI.2014.2382097
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Robust Profiling for DPA-Style Attacks

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-48324-4_1
Title of conference / published proceedings
Cryptographic Hardware and Embedded Systems - CHES 2015

Runtime Analysis of Whole-System Provenance

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3243734.3243776
Title of conference / published proceedings
CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security : Toronto, Canada (2018)

Sampling molecular conformations and dynamics in a multiuser virtual reality fra ...

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1126/sciadv.aat2731
Open access status
Compliant
Title of journal
Science Advances

Schrödinger's Security : Opening the Box on App Developers' Security Rationale

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3377811.3380394
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering

Selective memory generalization by spatial patterning of protein synthesis

Submitting institution
University of Bristol
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.neuron.2014.02.028
Open access status
Out of scope for open access requirements
Title of journal
Neuron
Showing outputs 1 to 100 of 129

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.