For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Manchester » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Manchester

First <
1 2 3 4
> Last
Showing outputs 101 - 150 of 179
Output title
LEARN++.MF: A Random Subspace Approach for the Missing Feature ...
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2010
DOI
10.1016/j.patcog.2010.05.028
Output title
Learning speaker-specific characteristics with a deep neural ...
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2011
DOI
10.1109/TNN.2011.2167240
Output title
LINNAEUS: A species name identification system for biomedical ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2010
DOI
10.1186/1471-2105-11-85
Output title
Logics for the Relational Syllogistic
Output type
D - Journal article
Volume title
Review of Symbolic Logic
Year
2009
DOI
10.1017/S1755020309990086
Output title
Measuring the level of activity in community built bio-ontol ...
Output type
D - Journal article
Volume title
Journal of Biomedical Informatics
Year
2013
DOI
10.1016/j.jbi.2012.04.002
Output title
Methodology capture: discriminating between the "best" and the ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2008
DOI
10.1186/1471-2105-9-359
Output title
Mining methodologies from NLP publications: A case study in automatic ...
Output type
D - Journal article
Volume title
Computer Speech & Language
Year
2012
DOI
10.1016/j.csl.2011.09.001
Output title
Mining Taverna's semantic web of provenance
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2008
DOI
10.1002/cpe.1231
Output title
Modeling Spiking Neural Networks on SpiNNaker
Output type
D - Journal article
Volume title
Computing in Science & Engineering
Year
2010
DOI
10.1109/MCSE.2010.112
Output title
Modelling evolvable component systems, Part I: A logical fra ...
Output type
D - Journal article
Volume title
Logic Journal of IGPL
Year
2009
DOI
10.1093/jigpal/jzp026
Output title
Modular Reuse of Ontologies: Theory and Practice
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
DOI
10.1613/jair.2375
Output title
Multi-dimensional Medical Image Segmentation with Partial Volume ...
Output type
D - Journal article
Volume title
Annals of the British Machine Vision Association
Year
2008
DOI
Output title
NOAH: A CSP-based Language for Describing the Behaviour of Coupled ...
Output type
D - Journal article
Volume title
Software: Practice and Experience
Year
2008
DOI
10.1002/spe.822
Output title
Normalizing biomedical terms by minimizing ambiguity and var ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2008
DOI
10.1186/1471-2105-9-S3-S2
Output title
On Handling Ephemeral Resource Constraints in Evolutionary S ...
Output type
D - Journal article
Volume title
Evolutionary Computation
Year
2013
DOI
10.1162/EVCO_a_00097
Output title
On the computational complexity of the numerically definite syllogistic ...
Output type
D - Journal article
Volume title
Bulletin of Symbolic Logic
Year
2008
DOI
10.2178/bsl/1208358842
Output title
On the formalization and reuse of scientific research
Output type
D - Journal article
Volume title
Journal of the Royal Society Interface
Year
2011
DOI
10.1098/rsif.2011.0029
Output title
OpenStream: Expressiveness and Data-Flow Compilation of OpenMP ...
Output type
D - Journal article
Volume title
ACM Transactions on Architecture and Code Optimization
Year
2013
DOI
10.1145/2400682.2400712
Output title
Optimizing software runtime systems for speculative parallel ...
Output type
D - Journal article
Volume title
ACM Transactions on Architecture and Code Optimization
Year
2013
DOI
10.1145/2400682.2400698
Output title
Overview of the SpiNNaker System Architecture
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2012
DOI
10.1109/TC.2012.142
Output title
OWL 2: The next step for OWL
Output type
D - Journal article
Volume title
Journal of Web Semantics
Year
2008
DOI
10.1016/j.websem.2008.05.001
Output title
Path Feasibility Analysis for String-Manipulating Programs
Output type
E - Conference contribution
Volume title
Tools and Algorithms for the Construction and Analysis of Systems
Year
2009
DOI
10.1007/978-3-642-00768-2_27
Output title
Performance Evaluation of Bit Patterned Media Channels with Island ...
Output type
D - Journal article
Volume title
IEEE Transactions on Communications
Year
2013
DOI
10.1109/TCOMM.2012.101812.120193
Output title
Playing in the grey area of proofs
Output type
E - Conference contribution
Volume title
POPL '12 : Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2012
DOI
10.1145/2103656.2103689
Output title
Predicting whether users view dynamic content on the World Wide ...
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2013
DOI
10.1145/2463579.2463580
Output title
Proximity-Based Frameworks for Generating Embeddings from Multi-Output ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
DOI
10.1109/TPAMI.2012.20
Output title
QoS-aware optimization of sensor network queries
Output type
D - Journal article
Volume title
VLDB Journal
Year
2013
DOI
10.1007/s00778-012-0300-z
Output title
Qualitative System Identification from Imperfect Data
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
DOI
10.1613/jair.2374
Output title
Quantified Event Automata: Towards Expressive and Efficient Runtime ...
Output type
E - Conference contribution
Volume title
Formal Methods, 18th International Symposium
Year
2012
DOI
10.1007/978-3-642-32759-9_9
Output title
Quantitative Shape Analysis with Weighted Covariance Estimates ...
Output type
D - Journal article
Volume title
Frontiers in Zoology
Year
2013
DOI
10.1186/1742-9994-10-16
Output title
Reducing complexity in tree-like computer interconnection ne ...
Output type
D - Journal article
Volume title
Parallel Computing
Year
2010
DOI
10.1016/j.parco.2009.12.004
Output title
Representing ontologies using description logics, description ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2009.06.003
Output title
Robust Adaptation to Available Parallelism in Transactional Memory ...
Output type
D - Journal article
Volume title
Transactions on High-Performance Embedded Architectures and Compilers III
Year
2011
DOI
10.1007/978-3-642-19448-1_13
Output title
Robust Runtime Optimization of Data Transfer in Queries over ...
Output type
E - Conference contribution
Volume title
Data Engineering, 2008. ICDE 2008. IEEE 24th International Conference on
Year
2008
DOI
10.1109/ICDE.2008.4497468
Output title
Rule Systems for Run-time Monitoring: from Eagle to RuleR
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2010
DOI
10.1093/logcom/exn076
Output title
Scalable communications for a million-core neural processing ...
Output type
D - Journal article
Volume title
Journal of Parallel and Distributed Computing
Year
2012
DOI
10.1016/j.jpdc.2012.01.016
Output title
Semi-supervised learning via regularized boosting working on ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
DOI
10.1109/TPAMI.2010.92
Output title
Short and Mid-term Load Forecasting Using A Bilevel Optimization ...
Output type
D - Journal article
Volume title
IEEE Transactions on Power Systems Pwrs
Year
2009
DOI
10.1109/TPWRS.2009.2016609
Output title
Simple Feature Engineering via Neat Default Retrenchments.
Output type
D - Journal article
Volume title
Journal of Logic and Algebraic Programming
Year
2011
DOI
10.1016/j.jlap.2010.12.001
Output title
Simulating and evaluating interconnection networks with INSE ...
Output type
D - Journal article
Volume title
Simulation Modelling Practice and Theory
Year
2011
DOI
10.1016/j.simpat.2010.08.008
Output title
Sine Qua Non for Large Theory Reasoning
Output type
E - Conference contribution
Volume title
Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction
Year
2011
DOI
10.1007/978-3-642-22438-6_23
Output title
Slow-motion control of an unloaded hydraulic robot arm
Output type
D - Journal article
Volume title
Precision Engineering
Year
2012
DOI
10.1016/j.precisioneng.2012.01.001
Output title
Small Device Users Situationally Impaired by Input
Output type
D - Journal article
Volume title
Computers in Human Behavior
Year
2010
DOI
10.1016/j.chb.2009.12.001
Output title
SNEE: a query processor for wireless sensor networks
Output type
D - Journal article
Volume title
Distributed and Parallel Databases
Year
2010
DOI
10.1007/s10619-010-7074-3
Output title
Solving Systems of Linear Inequalities by Bound Propagation
Output type
E - Conference contribution
Volume title
CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland July 31 -- August 5, 2011
Year
2011
DOI
10.1007/978-3-642-22438-6_28
Output title
Spatial sensitivity mapping of Hall crosses using patterned magnetic ...
Output type
D - Journal article
Volume title
Journal of Applied Physics
Year
2010
DOI
10.1063/1.3475485
Output title
Specificity: A Graph-Based Estimator of Divergence
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
DOI
10.1109/TPAMI.2011.90
Output title
SpiNNaker: Design and Implementation of a GALS Multi-Core Sy ...
Output type
D - Journal article
Volume title
ACM Journal on Emerging Technologies in Computing Systems
Year
2011
DOI
10.1145/2043643.2043647
Output title
Steal-on-Abort: Improving Transactional Memory Performance through ...
Output type
E - Conference contribution
Volume title
High Performance Embedded Architectures and Compilers
Year
2009
DOI
10.1007/978-3-540-92990-1_3
Output title
Systematic integration of experimental data and models in systems ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2010
DOI
10.1186/1471-2105-11-582
First <
1 2 3 4
> Last
Showing outputs 101 - 150 of 179