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

  • The University of Leeds
   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 86 of 86

A Bi-Intuitionistic Modal Logic: Foundations and Automation

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jlamp.2015.11.003
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logical and Algebraic Methods in Programming

A branch-and-price approach for solving the train unit scheduling problem

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.trb.2016.09.007
Open access status
Access exception
Title of journal
Transportation Research Part B: Methodological

A Competitive Divide-and-Conquer Algorithm for Unconstrained Large-Scale Black-Box ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2791291
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Mathematical Software

A computational model for prediction of clot platelet content in flow-diverted intracranial ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.jbiomech.2019.04.045
Open access status
Compliant
Title of journal
Journal of Biomechanics

A decision support system for urban infrastructure inter-asset management employing ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.eswa.2020.113461
Open access status
Compliant
Title of journal
Expert Systems with Applications

A nonlinear mapping approach to stain normalization in digital histopathology images ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TBME.2014.2303294
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Biomedical Engineering

A One-Field Monolithic Fictitious Domain Method for Fluid-Structure Interactions

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.cma.2017.01.023
Open access status
Compliant
Title of journal
Computer Methods in Applied Mechanics and Engineering

A quasi‐cache‐aware model for optimal domain partitioning in parallel geometric ...

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

A Risk Assessment Framework for Cloud Computing

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TCC.2014.2344653
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Cloud Computing

A synthesis of automated planning and reinforcement learning for efficient, robust ...

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

A Verified Arabic-IPA Mapping for Arabic Transcription Technology, Informed by Quranic ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1093/jss/fgv035
Open access status
Out of scope for open access requirements
Title of journal
Journal of Semitic Studies

A Video-based Attack for Android Pattern Lock

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3230740
Open access status
Technical exception
Title of journal
ACM Transactions on Privacy and Security

Adaptive Speculation for Efficient Internetware Application Execution in Clouds

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3093896
Open access status
Compliant
Title of journal
ACM Transactions on Internet Technology

An Analysis of Failure-Related Energy Waste in a Large-Scale Cloud Environment

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TETC.2014.2304500
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Emerging Topics in Computing

An ontological approach for pathology assessment and diagnosis of tunnels

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

Automated News Suggestions for Populating Wikipedia Entity Pages

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2806416.2806531
Title of conference / published proceedings
Proceedings of the 24th ACM International Conference on Information and Knowledge Management - CIKM '15

Automatic Generation of Typicality Measures for Spatial Language in Grounded Set ...

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

Automatic initialization and quality control of large-scale cardiac MRI segmenta ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.media.2017.10.001
Open access status
Technical exception
Title of journal
Medical Image Analysis

AutoSweep: Recovering 3D Editable Objects from a Single Photograph

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

BigSUR: Large-scale Structured Urban Reconstruction

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3130800.3130823
Open access status
Technical exception
Title of journal
ACM Transactions on Graphics

Cognitive Learning, Monitoring and Assistance of Industrial Workflows Using Egocentric ...

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

Coloring perfect graphs with no balanced skew-partitions

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jctb.2015.04.007
Open access status
Out of scope for open access requirements
Title of journal
Journal of Combinatorial Theory, Series B

Coloring square-free Berge graphs

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.jctb.2018.07.010
Open access status
Compliant
Title of journal
Journal of Combinatorial Theory, Series B

Computational geometry for modeling neural populations: From visualization to si ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1371/journal.pcbi.1006729
Open access status
Compliant
Title of journal
PLoS Computational Biology

Cooperative Co-Evolution With Differential Grouping for Large Scale Optimization

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

Counting Perfect Matchings and the Switch Chain

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/18M1172910
Open access status
Compliant
Title of journal
SIAM Journal on Discrete Mathematics

CrossSense: Towards Cross-Site and Large-Scale WiFi Sensing

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3241539.3241570
Open access status
Technical exception
Title of conference / published proceedings
MobiCom '18: Proceedings of the 24th Annual International Conference on Mobile Computing and Networking

Decentralized Collective Learning for Self-managed Sharing Economies

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3277668
Open access status
Deposit exception
Title of journal
ACM Transactions on Autonomous and Adaptive Systems

Decomposition algorithms for submodular optimization with applications to parallel ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10107-014-0814-9
Open access status
Out of scope for open access requirements
Title of journal
Mathematical Programming

DG2: A Faster and More Accurate Differential Grouping for Large-Scale Black-Box ...

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

Direct Multifield Volume Ray Casting of Fiber Surfaces

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

Discordant Voting Processes on Finite Graphs

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1137/16M1105979
Open access status
Exception within 3 months of publication
Title of journal
SIAM Journal on Discrete Mathematics

End-to-End Deep Learning of Optimization Heuristics

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/PACT.2017.24
Open access status
Technical exception
Title of conference / published proceedings
2017 26th International Conference on Parallel Architectures and Compilation Techniques (PACT)

Evolving surface finite element method for the Cahn-Hilliard equation

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s00211-014-0644-y
Open access status
Out of scope for open access requirements
Title of journal
Numerische Mathematik

Fiber surfaces: generalizing isosurfaces to bivariate data

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1111/cgf.12636
Open access status
Out of scope for open access requirements
Title of journal
Computer Graphics Forum

Fuxi: A fault-tolerant resource management and job scheduling system at internet ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.14778/2733004.2733012
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the VLDB Endowment

Group-wise similarity registration of point sets using Student’s t-mixture model ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.media.2017.11.012
Open access status
Compliant
Title of journal
Medical Image Analysis

Holistic Virtual Machine Scheduling in Cloud Datacenters towards Minimizing Total ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPDS.2017.2688445
Open access status
Compliant
Title of journal
IEEE Transactions on Parallel and Distributed Systems

In silico modelling to differentiate the contribution of sugar frequency versus total ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1038/s41598-017-17660-z
Open access status
Compliant
Title of journal
Scientific Reports

Indexing 3D scenes using the interaction bisector surface

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2574860
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Graphics (TOG)

Interventional radiology virtual simulator for liver biopsy

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s11548-013-0929-0
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Computer Assisted Radiology and Surgery

Irrelevant vertices for the planar Disjoint Paths Problem

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jctb.2016.10.001
Open access status
Compliant
Title of journal
Journal of Combinatorial Theory, Series B

Jacobi Fiber Surfaces for Bivariate Reeb Space Computation

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

Kernelized movement primitives

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1177/0278364919846363
Open access status
Deposit exception
Title of journal
The International Journal of Robotics Research

Latent Topic Text Representation Learning on Statistical Manifolds

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

Local volume fraction distributions of axons, astrocytes, and myelin in deep subcortical ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.neuroimage.2018.06.040
Open access status
Compliant
Title of journal
NeuroImage

Lower Bounds: From Circuits to QBF Proof Systems

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2840728.2840740
Title of conference / published proceedings
Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science

Mixture of Probabilistic Principal Component Analyzers for Shapes from Point Set ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPAMI.2017.2700276
Open access status
Technical exception
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Multiresolution eXtended Free-Form Deformations (XFFD) for non-rigid registration ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.media.2016.10.008
Open access status
Technical exception
Title of journal
Medical Image Analysis

Multi-robot grasp planning for sequential assembly operations

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10514-018-9748-z
Open access status
Compliant
Title of journal
Autonomous Robots

Multi-scale assembly with robot teams

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1177/0278364915586606
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Robotics Research

Natural Language Acquisition and Grounding for Embodied Robotic Systems

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Access exception
Title of conference / published proceedings
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence

Neural Architecture of Hunger-Dependent Multisensory Decision Making in C. elega ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.neuron.2016.10.030
Open access status
Compliant
Title of journal
Neuron

NNWarp: Neural Network-based Nonlinear Deformation

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

Object search by manipulation

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10514-013-9372-x
Open access status
Out of scope for open access requirements
Title of journal
Autonomous Robots

On the chromatic number of a random hypergraph

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jctb.2015.01.002
Open access status
Out of scope for open access requirements
Title of journal
Journal of Combinatorial Theory, Series B

On the switch Markov chain for perfect matchings

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/2822322
Open access status
Compliant
Title of journal
Journal of the ACM

Ontology for Cultural Variations in Interpersonal Communication: Building on Theoretical ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1002/asi.23824
Open access status
Compliant
Title of journal
Journal of the Association for Information Science and Technology

Optimization of privacy-utility trade-offs under informational self-determinatio ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.future.2018.07.018
Open access status
Compliant
Title of journal
Future Generation Computer Systems

PaaS-IaaS Inter-Layer Adaptation in an Energy-Aware Cloud Environment

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TSUSC.2017.2719159
Open access status
Compliant
Title of journal
IEEE Transactions on Sustainable Computing

Personalizing Human Video Pose Estimation

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/CVPR.2016.334
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Phylogenomics with paralogs

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1073/pnas.1412770112
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the National Academy of Sciences

Population Density Equations for Stochastic Processes with Memory Kernels

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1103/PhysRevE.95.062125
Open access status
Compliant
Title of journal
Physical Review E

Quantitative CMR population imaging on 20,000 subjects of the UK Biobank imaging ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.media.2019.05.006
Open access status
Compliant
Title of journal
Medical Image Analysis

Quasimonotone graphs

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.dam.2019.08.006
Open access status
Compliant
Title of journal
Discrete Applied Mathematics

Real-Time Hyperbola Recognition and Fitting in GPR Data

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

Resolving degeneracy in diffusion MRI biophysical model parameter estimation using ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1002/mrm.27714
Open access status
Compliant
Title of journal
Magnetic Resonance in Medicine

Robust proprioceptive grasping with a soft robot hand

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10514-018-9754-1
Open access status
Compliant
Title of journal
Autonomous Robots

Scalable Contour Tree Computation by Data Parallel Peak Pruning

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

Source Task Creation for Curriculum Learning

Submitting institution
The University of Leeds
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
Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016)

Spatio-temporal Manifold Learning for Human Motions via Long-horizon Modeling

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

Synthesizing benchmarks for predictive modeling

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/CGO.2017.7863731
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)

Task-Specific Sensor Planning for Robotic Assembly Tasks

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/ICRA.2018.8460194
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2018 IEEE International Conference on Robotics and Automation (ICRA)

Temporal Self-Regulation of Energy Demand

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

The (theta, wheel)-free graphs Part II: Structure theorem

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.jctb.2019.07.004
Open access status
Compliant
Title of journal
Journal of Combinatorial Theory, Series B

The (theta, wheel)-free graphs Part IV: Induced paths and cycles

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.jctb.2020.06.002
Open access status
Compliant
Title of journal
Journal of Combinatorial Theory, Series B

The complexity of approximating conservative counting CSPs

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.jcss.2014.06.006
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computer and System Sciences

The design and evaluation of interfaces for navigating gigapixel images in digital ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2834117
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Computer-Human Interaction

Three dimensional thermal-solute phase field simulation of binary alloy solidifi ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jcp.2015.01.040
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computational Physics

Toward Orientation Learning and Adaptation in Cartesian Space

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TRO.2020.3010633
Open access status
Compliant
Title of journal
IEEE Transactions on Robotics

Unfitted finite element methods using bulk meshes for surface partial differential ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1137/130948641
Open access status
Out of scope for open access requirements
Title of journal
SIAM Journal on Numerical Analysis

Unsupervised human activity analysis for intelligent mobile robots

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

Using Generative Adversarial Networks to Break and Protect Text Captchas

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3378446
Open access status
Compliant
Title of journal
ACM Transactions on Privacy and Security

Using knowledge anchors to facilitate user exploration of data graphs

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.3233/SW-190347
Open access status
Compliant
Title of journal
Semantic Web

Using Learning Analytics to Devise Interactive Personalised Nudges for Active Video ...

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3079628.3079683
Title of conference / published proceedings
UMAP '17: Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization

Weakly supervised activity analysis with spatio-temporal localisation

Submitting institution
The University of Leeds
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.neucom.2016.08.032
Open access status
Compliant
Title of journal
Neurocomputing
Showing outputs 1 to 86 of 86

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.