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 Manchester
   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 133

"The Best of Both Worlds!": Integration of Web Page and Eye Tracking Data Driven ...

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

{AVATAR:} The Architecture for First-Order Theorem Provers

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-08867-9_46
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

A binary-compatible unikernel

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3313808.3313817
Title of conference / published proceedings
VEE 2019: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

A CDCL-Style Calculus for Solving Non-linear Constraints

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-29007-8_8
Open access status
Compliant
Title of conference / published proceedings
Frontiers of Combining Systems, 12th International Symposium : FroCoS 2019, Proceedings

A Cognitive Neural Architecture Able to Learn and Communicate through Natural La ...

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

A community effort to assess and improve drug sensitivity prediction algorithms

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1038/nbt.2877
Open access status
Out of scope for open access requirements
Title of journal
Nature biotechnology

A corroborative approach to verification and validation of human–robot teams

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

A framework for plasticity implementation on the SpiNNaker neural architecture

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.3389/fnins.2014.00429
Open access status
Out of scope for open access requirements
Title of journal
Frontiers in Neuroscience

A new method for the high-precision assessment of tumor changes in response to t ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1093/bioinformatics/bty115
Open access status
Compliant
Title of journal
Bioinformatics

A Secure and Privacy-preserving Protocol for Smart Metering Operational Data Col ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tsg.2019.2906016
Open access status
Compliant
Title of journal
IEEE Transactions on Smart Grid

A semi-supervised approach using label propagation to support citation screening

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jbi.2017.06.018
Open access status
Compliant
Title of journal
Journal of Biomedical Informatics

Algebraic Service Composition for User-Centric IoT Applications

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-94370-1_5
Open access status
Compliant
Title of conference / published proceedings
Internet of Things – ICIOT 2018 - 3rd International Conference, Held as Part of the Services Conference Federation, SCF 2018, Proceedings

Anatomical Entity Mention Recognition at Literature Scale

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

Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous P ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00236-019-00359-1
Open access status
Compliant
Title of journal
Acta Informatica

Bias in the reporting of sex and age in biomedical research on mouse models

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.7554/eLife.13615
Open access status
Out of scope for open access requirements
Title of journal
eLife

Blocking and Other Enhancements for Bottom-Up ModelGeneration Methods

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s10817-019-09515-1
Open access status
Compliant
Title of journal
Journal of Automated Reasoning

Breaking the Activation Function Bottleneck through Adaptive Parameterization

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
Advances in Neural Information Processing Systems 31 (NeurIPS 2018)

Can lay people identify a drug-induced QT-interval prolongation? A psychophysical ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/jamia/ocy183
Open access status
Compliant
Title of journal
Journal of the American Medical Informatics Association

Classification and regression of spatio-temporal signals using NeuCube and its realization ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1088/1741-2552/aafabc
Open access status
Exception within 3 months of publication
Title of journal
Journal of Neural Engineering

Coming to terms with quantified reasoning

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009887
Title of conference / published proceedings
POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

Comparing Ontology Authoring Workflows with Protégé: in the Laboratory, in the Tutorial ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.websem.2018.09.004
Open access status
Compliant
Title of journal
Journal of Web Semantics

Computing exponentially faster : Implementing a non-deterministic universal Turing ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1098/rsif.2016.0990
Open access status
Compliant
Title of journal
Journal of the Royal Society Interface

Constructing a biodiversity terminological inventory

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1371/journal.pone.0175277
Open access status
Compliant
Title of journal
PLoS ONE

Constructing Fully Complete Models of Multiplicative Linear Logic

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.2168/LMCS-11(3:6)2015
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science

Continuation Methods for Approximate Large Scale Object Sequencing

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10994-018-5764-7
Open access status
Compliant
Title of journal
Machine Learning

Continuous Outlier Mining of Streaming Data in Flink

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.is.2020.101569
Open access status
Exception within 3 months of publication
Title of journal
Information Systems

Contribution of individual judgments toward inconsistency in pairwise comparison ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ejor.2014.10.024
Open access status
Out of scope for open access requirements
Title of journal
European Journal of Operational Research

Cooperating Proof Attempts

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-21401-6_23
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Core Hybrid Event-B I: Single Hybrid Event-B Machines

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.scico.2015.02.003
Open access status
Out of scope for open access requirements
Title of journal
Science of Computer Programming

Cost-sensitive boosting algorithms:Do we really need them?

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s10994-016-5572-x
Open access status
Compliant
Title of journal
Machine Learning

Cross-Domain Sentiment Classification Using Sentiment Sensitive Embeddings

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TKDE.2015.2475761
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Knowledge and Data Engineering (TKDE)

Cross-Language Interoperability in a Multi-Language Runtime

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

Data Journeys: Identifying Social and Technical Barriers to Data Movement in Large, ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jbi.2017.12.001
Open access status
Compliant
Title of journal
Journal of Biomedical Informatics

Data Visualization with Structural Control of Global Cohort and Local Data Neigh ...

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

Deadness and how to disprove liveness in hybrid dynamical systems

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.tcs.2016.06.009
Open access status
Compliant
Title of journal
Theoretical Computer Science

Deep learning with differential Gaussian process flows

Submitting institution
The University of Manchester
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
Proceedings of Machine Learning Research: Artificial Intelligence and Statistics 2019

DEP2SA: A Decentralised Efficient Privacy-Preserving and Selective Aggregation Scheme ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/ACCESS.2015.2506198
Open access status
Out of scope for open access requirements
Title of journal
I E E E Access

Descriptive Document Clustering via Discriminant Learning in a Co-Embedded Space ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/asi.23374
Open access status
Out of scope for open access requirements
Title of journal
Journal of the Association for Information Science and Technology

Design Tools for Implementing Self-Aware and Fault-Tolerant Systems on FPGAs

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2617597
Open access status
Out of scope for open access requirements
Title of journal
A C M Transactions on Reconfigurable Technology and Systems

Distance and similarity measures for hesitant fuzzy linguistic term sets and their ...

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

Distinguishing prognostic and predictive biomarkers: An information theoretic ap ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1093/bioinformatics/bty357
Open access status
Compliant
Title of journal
Bioinformatics

Eliciting user requirements for e-collaboration systems: A proposal for a multi-perspective ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00766-017-0285-7
Open access status
Compliant
Title of journal
Requirements Engineering

Enabling Community-Driven Information Integration Through Clustering

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10619-014-7160-z
Open access status
Out of scope for open access requirements
Title of journal
Distributed and Parallel Databases

End-to-End Deep Learning of Optimization Heuristics

Submitting institution
The University of Manchester
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
Other exception
Title of conference / published proceedings
Proceedings - 26th International Conference on Parallel Architectures and Compilation Techniques, PACT 2017

Energy-Efficient Time-Based Adaptive Encoding for Off-Chip Communication

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TVLSI.2020.3018062
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Exploiting High-Performance Heterogeneous Hardware for Java Programs using Graal

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3237009.3237016
Title of conference / published proceedings
Proceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018 (formerly PPPJ)

FastPath_MP: Low Overhead & Energy Efficient FPGA-based Storage Multi-Paths

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

Feedback Driven Improvement of Data Preparation Pipelines

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.is.2019.101480
Open access status
Exception within 3 months of publication
Title of journal
Information Systems

Finding Finite Models in Multi-Sorted First-Order Logic

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-40970-2_20
Open access status
Compliant
Title of conference / published proceedings
Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Finite Satisfiability for Two-Variable, First-Order Logic with one Transitive Relation ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1002/malq.201700055
Open access status
Compliant
Title of journal
Mathematical Logic Quarterly

Forgetting Concept and Role Symbols in ALCOIHμ+(∇,Π)-Ontologies

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence

Formal Verification of an Executable LTL Model Checker with Partial Order Reduct ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9418-4
Open access status
Deposit exception
Title of journal
Journal of Automated Reasoning

Formal verification of autonomous vehicle platooning

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.scico.2017.05.006
Open access status
Compliant
Title of journal
Science of Computer Programming

Formal verification of ethical choices in autonomous systems

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.robot.2015.11.012
Open access status
Out of scope for open access requirements
Title of journal
Robotics and Autonomous Systems

FOS: A Modular FPGA Operating System for Dynamic Workloads

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3405794
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Reconfigurable Technology and Systems

FPGADefender: Malicious Self-Oscillator Scanning for Xilinx UltraScale+ FPGAs

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3402937
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Reconfigurable Technology and Systems

Framework of Group Decision Making With Intuitionistic Fuzzy Preference Informat ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TFUZZ.2014.2348013
Open access status
Out of scope for open access requirements
Title of journal
I E E E Transactions on Fuzzy Systems

Function Merging by Sequence Alignment

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/CGO.2019.8661174
Title of conference / published proceedings
CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization

General Terminology Induction in OWL

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-25007-6_31
Title of conference / published proceedings
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I

Graphene: Semantically-Linked Propositions in Open Information Extraction

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
Proceedings of the 27th International Conference on Computational Linguistics

Group Factor Analysis

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

Handling loops in bounded model checking of C programs via k-induction

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10009-015-0407-9
Open access status
Out of scope for open access requirements
Title of journal
International Journal on Software Tools for Technology Transfer

Hesitant Fuzzy Linguistic VIKOR Method and Its Application in Qualitative Multiple ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TFUZZ.2014.2360556
Open access status
Out of scope for open access requirements
Title of journal
I E E E Transactions on Fuzzy Systems

How different visualizations affect human reasoning about uncertainty: An analysis ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.chb.2018.10.033
Open access status
Compliant
Title of journal
Computers in human behavior

How do people use information presentation to make decisions in Bayesian reasoning ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ijhcs.2017.11.004
Open access status
Compliant
Title of journal
International Journal of Human-Computer Studies

HyperMAMBO-X64: Using Virtualization to Support High-performance Transparent Binary ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3050748.3050756
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Identification of research hypotheses and new knowledge from scientific literatu ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1186/s12911-018-0639-1
Open access status
Compliant
Title of journal
BMC Medical Informatics and Decision Making

Improved Diagnosis of Systemic Sclerosis Using Nailfold Capillary Flow

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-46726-9_40
Open access status
Compliant
Title of conference / published proceedings
Medical image computing and computer-assisted intervention -- MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings.

Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wranglin ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TBDATA.2019.2907588
Open access status
Compliant
Title of journal
IEEE Transactions on Big Data

Introducing SLAMBench, a performance and accuracy benchmarking methodology for S ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICRA.2015.7140009
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
IEEE International Conference on Robotics and Automation (ICRA)

Investigation of association between hip osteoarthritis susceptibility loci and radiographic ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1002/art.39186
Open access status
Out of scope for open access requirements
Title of journal
Arthritis & Rheumatology (Hoboken)

Is Feature Selection Secure against Training Data Poisoning?

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Proceedings of the 32nd International Conference on Machine Learning

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
G - Software
Year
2018

kMVX : Detecting Kernel Information Leaks with Multi-variant Execution

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3297858.3304054
Title of conference / published proceedings
ASPLOS '19: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems

LabelFlow Framework for Annotating Workflow Provenance

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.3390/informatics5010011
Open access status
Compliant
Title of journal
Informatics

Large-scale simulations of plastic neural networks on neuromorphic hardware

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.3389/fnana.2016.00037
Open access status
Out of scope for open access requirements
Title of journal
Frontiers in Neuroanatomy

Low Overhead Dynamic Binary Translation on ARM

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3062341.3062371
Title of conference / published proceedings
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017

Making fingers and words count in a cognitive robot

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.3389/fnbeh.2014.00013
Open access status
Out of scope for open access requirements
Title of journal
Frontiers in behavioral neuroscience

Memory-Efficient Deep Learning on a SpiNNaker 2 Prototype

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.3389/fnins.2018.00840
Open access status
Compliant
Title of journal
Frontiers in Neuroscience

Micropublications: a semantic model for claims, evidence, arguments and annotations ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1186/2041-1480-5-28
Open access status
Out of scope for open access requirements
Title of journal
Journal of Biomedical Semantics

Modal Resolution: Proofs, Layers and Refinements

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3331448
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic

Multi-Scale Verification of Distributed Synchronisation

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10703-020-00347-z
Open access status
Compliant
Title of journal
Formal Methods in System Design

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/JPROC.2019.2898267
Open access status
Compliant
Title of journal
IEEE. Proceedings

On the Stability of Feature Selection Algorithms

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
Open access status
Compliant
Title of journal
Journal of Machine Learning Research

Opponent Modelling by Expectation-Maximisation and Sequence Prediction in Simplified ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TCIAIG.2015.2491611
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Computational Intelligence and AI in Games

Optimising chemical named entity recognition with pre-processing analytics, knowledge-rich ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1186/1758-2946-7-S1-S6
Open access status
Out of scope for open access requirements
Title of journal
Journal of Cheminformatics

OWL Reasoning: Subsumption Test Hardness and Modularity

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9414-8
Open access status
Compliant
Title of journal
Journal of Automated Reasoning

Parallel distribution of an inner hair cell and auditory nerve model for real-time ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TBCAS.2018.2847562
Open access status
Compliant
Title of journal
IEEE Transactions on Biomedical Circuits and Systems

Parallel Hardware Merge Sorter

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/FCCM.2016.34
Title of conference / published proceedings
24th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2016

Performance Comparison of the Digital Neuromorphic Hardware SpiNNaker and the Neural ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.3389/fnins.2018.00291
Open access status
Compliant
Title of journal
Frontiers in Neuroscience

Posture affects how robots and infants map words to objects

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

Practical verification of decision-making in agent-based autonomous systems

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10515-014-0168-9
Open access status
Out of scope for open access requirements
Title of journal
Automated Software Engineering

Prioritising references for systematic reviews with RobotAnalyst: a user study

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1002/jrsm.1311
Open access status
Compliant
Title of journal
Research Synthesis Methods

Pseudo-colouring an ECG enables lay people to detect QT-interval prolongation regardless ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1371/journal.pone.0237854
Open access status
Compliant
Title of journal
P L o S One

Qualitative decision making with correlation coefficients of hesitant fuzzy linguistic ...

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.knosys.2014.12.009
Open access status
Out of scope for open access requirements
Title of journal
Knowledge-Based Systems

Quantifying Risk Factors in Medical Reports with a Context-Aware Linear Model

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/jamia/ocz004
Open access status
Compliant
Title of journal
Journal of the American Medical Informatics Association

Quantifying the Informativeness of Similarity Measurements

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
Open access status
Compliant
Title of journal
Journal of Machine Learning Research

Real-Time Cortical Simulation on Neuromorphic Hardware

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

Refinement to Imperative HOL

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9437-1
Open access status
Deposit exception
Title of journal
Journal of Automated Reasoning

Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10817-018-9482-4
Open access status
Compliant
Title of journal
Journal of Automated Reasoning
Showing outputs 1 to 100 of 133

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.