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

  • City, University of 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 91 of 91

A conservative bound for the probability of failure of a 1-out-of-2 protection system ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ress.2014.04.002
Open access status
Out of scope for open access requirements
Title of journal
Reliability Engineering and System Safety

A conservative confidence bound for the probability of failure on demand of a software-based ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.ress.2020.107060
Open access status
Compliant
Title of journal
Reliability Engineering and System Safety

A double error dynamic asymptote model of associative learning

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1037/rev0000147
Open access status
Compliant
Title of journal
Psychological Review

A Framework for Creative Visualization-Opportunities Workshops

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

A Generalised Twinning Property for Minimisation of Cost Register Automata

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2933575.2934549
Open access status
Deposit exception
Title of conference / published proceedings
LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

A Palette of Deepened Emotions: Exploring Emotional Challenge in Virtual Reality ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376221
Open access status
Compliant
Title of conference / published proceedings
CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems

A population-based phenome-wide association study of cardiac and aortic structure ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1038/s41591-020-1009-y
Open access status
Exception within 3 months of publication
Title of journal
Nature Medicine

A pseudo-quasi-polynomial algorithm for mean-payoff parity games

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209162
Open access status
Technical exception
Title of conference / published proceedings
LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

A randomised trial of social support group intervention for people with aphasia: ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1371/journal.pone.0239715
Open access status
Compliant
Title of journal
PLoS ONE

A Rescorla-Wagner drift-diffusion model of conditioning and timing

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1371/journal.pcbi.1005796
Open access status
Compliant
Title of journal
PLoS Computational Biology

A secure integrated framework for fog-assisted internet of things systems

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/JIOT.2020.3035474
Open access status
Compliant
Title of journal
IEEE Internet of Things Journal

An objective comparison of cell-tracking algorithms

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1038/nmeth.4473
Open access status
Compliant
Title of journal
Nature Methods

Analyzing Eye-Tracking Information in Visualization and Data Space: From Where on ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TVCG.2016.2535340
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Artificial neural networks for control of a grid-Connected rectifier/inverter under ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TNNLS.2013.2280906
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Assessing safety-critical systems from operational testing: A study on autonomous ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.infsof.2020.106393
Open access status
Compliant
Title of journal
Information and Software Technology

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

Submitting institution
City, University of London
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

Bring It to the Pitch: Combining Video and Movement Data to Enhance Team Sport A ...

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

Building Better Bit-Blasting for Floating-Point Problems

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17462-0_5
Open access status
Compliant
Title of conference / published proceedings
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019

BVPSMS: A Batch Verification Protocol for End-to-End Secure SMS for Mobile Users

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/TDSC.2018.2799223
Open access status
Compliant
Title of conference / published proceedings
IEEE Transactions on Dependable and Secure Computing

Clipping in neurocontrol by adaptive dynamic programming

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TNNLS.2014.2297991
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Cloud certification process validation using formal methods

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-69035-3_5
Open access status
Compliant
Title of conference / published proceedings
ICSOC 2017: Service-Oriented Computing

Cluster-based vulnerability assessment of operating systems and web browsers

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00607-018-0663-0
Open access status
Compliant
Title of journal
Computing

Clustering Trajectories by Relevant Parts for Air Traffic Analysis

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

Co-created personas: Engaging and empowering users with diverse needs within the ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300880
Open access status
Compliant
Title of conference / published proceedings
CHI '19: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems

Conformity of Eating Disorders through Content Moderation

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3392845
Open access status
Not compliant
Title of journal
Proceedings of the ACM on Human-Computer Interaction

Conservative claims for the probability of perfection of a software-based system ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ress.2018.03.032
Open access status
Compliant
Title of journal
Reliability Engineering and System Safety

Constructing Spaces and Times for Tactical Analysis in Football

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tvcg.2019.2952129
Open access status
Compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Continuous representation of tumor microvessel density and detection of angiogenic ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.18632/oncotarget.4383
Open access status
Out of scope for open access requirements
Title of journal
Oncotarget

COVID-CT-Mask-Net: Prediction of COVID-19 from CT Scans Using Regional Features

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
U - Working paper
Year of publication
2020

Criteria for Rigor in Visualization Design Study

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

DAGAN: Deep De-Aliasing Generative Adversarial Networks for Fast Compressed Sensing ...

Submitting institution
City, University of London
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

Data-in-place: Thinking through the relations between data and community

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

Deep Logic Networks: Inserting and Extracting Knowledge from Deep Belief Network ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TNNLS.2016.2603784
Open access status
Not compliant
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Deriving a frequentist conservative confidence bound for probability of failure per ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ress.2016.08.019
Open access status
Compliant
Title of journal
Reliability Engineering & System Safety

Design Exposition with Literate Visualization

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

Designing Progressive and Interactive Analytics Processes for High-Dimensional Data ...

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

Drug target optimization in chronic myeloid leukemia using innovative computational ...

Submitting institution
City, University of 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

Dynamic Composite Data Physicalization Using Wheeled Micro-Robots

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

Dynamic Visual Abstraction of Soccer Movement

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1111/cgf.13189
Open access status
Compliant
Title of journal
Computer Graphics Forum

Empowering expression for users with aphasia through constrained creativity

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300615
Open access status
Compliant
Title of conference / published proceedings
CHI '19: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems

EPTAS and Subexponential Algorithm for Maximum Clique on Disk and Unit Ball Grap ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3433160
Open access status
Compliant
Title of journal
Journal of the ACM

Explainable Anatomical Shape Analysis through Deep Hierarchical Generative Model ...

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

Exploration strategies for discovery of interactivity in visualizations

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

Geometric Multicut: Shortest Fences for Separating Groups of Objects in the Plan ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s00454-020-00232-w
Open access status
Compliant
Title of journal
Discrete & Computational Geometry

How to display group information on node-link diagrams: An evaluation

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TVCG.2014.2315995
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Incremental Closure for Systems of Two Variables Per Inequality

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.tcs.2018.12.001
Open access status
Compliant
Title of journal
Theoretical Computer Science

Intrusion alert prioritisation and attack detection using post-correlation analy ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.cose.2014.12.003
Open access status
Out of scope for open access requirements
Title of journal
Computers and Security

Invertibility conditions for floating-point formulas

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-25543-5_8
Open access status
Compliant
Title of conference / published proceedings
Computer Aided Verification. CAV 2019

Learning-based quality control for cardiac MR images

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

Let's talk about race: Identity, chatbots, and AI

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

Logic tensor networks for semantic image interpretation

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.24963/ijcai.2017/221
Open access status
Not compliant
Title of conference / published proceedings
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

Map LineUps: Effects of spatial structure on graphical inference

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

Measuring perceived challenge in digital games: Development & validation of the challenge ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ijhcs.2019.102383
Open access status
Compliant
Title of journal
International Journal of Human Computer Studies

MobileTrust: Secure Knowledge Integration in VANETs

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3364181
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Cyber-Physical Systems

MobilityGraphs: Visual Analysis of Mass Mobility Dynamics via Spatio-Temporal Graphs ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TVCG.2015.2468111
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ress.2016.09.002
Open access status
Compliant
Title of journal
Reliability Engineering and System Safety

Models of Reliability of Fault-Tolerant Software under Cyber-Attacks

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ISSRE.2017.23
Open access status
Compliant
Title of conference / published proceedings
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)

Neural-Network Vector Controller for Permanent-Magnet Synchronous Motor Drives: Simulated ...

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

On reliability assessment when a software-based system is replaced by a thought-to-be-better ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ress.2019.106752
Open access status
Compliant
Title of journal
Reliability Engineering and System Safety

Ontology Based Data Access in Statoil

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.websem.2017.05.005
Open access status
Deposit exception
Title of journal
Journal of Web Semantics

Open Data as Open Educational Resources: Towards Transversal Skills and Global C ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.5944/openpraxis.7.4.233
Open access status
Out of scope for open access requirements
Title of journal
Open Praxis

Orthogonal Terrain Guarding is NP-complete

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
Open access status
Compliant
Title of journal
Journal of Computational Geometry

Pattern-Based Design and Verification of Secure Service Compositions

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TSC.2017.2690430
Open access status
Compliant
Title of journal
IEEE Transactions on Services Computing

Patterns for the design of secure and dependable software defined networks

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.comnet.2016.06.028
Open access status
Compliant
Title of journal
Computer Networks

Predicting survival from colorectal cancer histology slides using deep learning: ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1371/journal.pmed.1002730
Open access status
Compliant
Title of journal
PLoS Medicine

Preliminary interdependency analysis: An approach to support critical-infrastructure ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ress.2017.05.030
Open access status
Compliant
Title of journal
Reliability Engineering and System Safety

Principles of Explanatory Debugging to personalize interactive machine learning

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2678025.2701399
Title of conference / published proceedings
IUI '15: Proceedings of the 20th International Conference on Intelligent User Interfaces

Quantized Census for Stereoscopic Image Matching

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/3DV.2014.83
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 2nd International Conference on 3D Vision

Regular and first-order list functions

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209163
Open access status
Technical exception
Title of conference / published proceedings
LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Reliability assessment of service-based software under operational profile uncer ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.ress.2020.107193
Open access status
Compliant
Title of journal
Reliability Engineering and System Safety

Revealing Patterns and Trends of Mass Mobility Through Spatial and Temporal Abstraction ...

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

RICE: remote method invocation in ICN

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3267955.3267956
Title of conference / published proceedings
ICN '18: Proceedings of the 5th ACM Conference on Information-Centric Networking

RODI: Benchmarking relational-to-ontology mapping generation quality

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.3233/SW-170268
Open access status
Technical exception
Title of journal
Semantic Web

Semantics-Space-Time Cube: A Conceptual Framework for Systematic Analysis of Texts ...

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

Sequence Classification Restricted Boltzmann Machines with Gated Units

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

Small Multiples with Gaps

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

SSCC TD: A Serial and Simultaneous Configural-cue compound stimuli representation ...

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

Supporting Story Synthesis: Bridging the Gap between Visual Analytics and Storyt ...

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

Symmetry-based disentangled representation learning requires interaction with en ...

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

The right to the sustainable smart city

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300517
Open access status
Compliant
Title of conference / published proceedings
CHI '19: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems

The Stabilisation of Equilibria in Evolutionary Game Dynamics through Mutation: Mutation ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1098/rspa.2019.0355
Open access status
Compliant
Title of journal
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences

The Strahler number of a parity game

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

Training Recurrent Neural Networks with the Levenberg-Marquardt Algorithm for Optimal ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TNNLS.2014.2361267
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Trepan reloaded: A knowledge-driven approach to explaining black-box models

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.3233/FAIA200378
Open access status
Compliant
Title of conference / published proceedings
ECAI 2020: 24th European Conference on Artificial Intelligence (ECAI 2020)

Understanding sustained community engagement: A case study in heritage preservation ...

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

Universal trees grow inside separating automata: Quasi-polynomial lower bounds for ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1137/1.9781611975482.142
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 2019 Annual ACM-SIAM Symposium on Discrete Algorithms

Unsupervised Emergence of Egocentric Spatial Structure from Sensorimotor Predict ...

Submitting institution
City, University of 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
Advances in Neural Information Processing Systems

Very static enforcement of dynamic policies

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-46666-7_3
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Principles of Security and Trust. POST 2015

Viewing Visual Analytics as Model Building

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1111/cgf.13324
Open access status
Compliant
Title of journal
Computer Graphics Forum

Visual analysis of pressure in football

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10618-017-0513-2
Open access status
Compliant
Title of journal
Data Mining and Knowledge Discovery

You are the only possible oracle: Effective test selection for end users of interactive ...

Submitting institution
City, University of London
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TSE.2013.59
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering
Showing outputs 1 to 91 of 91

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.