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
Showing outputs 151 - 179 of 179
Output title
Tailored presentation of dynamic web content for audio brows ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2012
DOI
10.1016/j.ijhcs.2011.11.001
Output title
TDMR Platform Simulations and Experiments
Output type
D - Journal article
Volume title
Magnetics, IEEE Transactions on
Year
2009
DOI
10.1109/TMAG.2009.2024001
Output title
Temperature Dependent Remanence Loops of Ion-Milled Bit Patterned ...
Output type
D - Journal article
Volume title
IEEE Transactions on Magnetics
Year
2008
DOI
10.1109/TMAG.2008.2001791
Output title
Temporal Data Clustering via Weighted Clustering Ensemble with ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2011
DOI
10.1109/TKDE.2010.112
Output title
The Ackermann Approach for Modal Logic, Correspondence Theory ...
Output type
D - Journal article
Volume title
Journal of Applied Logic
Year
2012
DOI
10.1016/j.jal.2012.01.001
Output title
The Automation of Science
Output type
D - Journal article
Volume title
Science
Year
2009
DOI
10.1126/science.1165620
Output title
The BioLexicon: a large-scale terminological resource for biomedical ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2011
DOI
10.1186/1471-2105-12-397
Output title
The design and implementation of OGSA-DQP: A service-based distributed ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2009
DOI
10.1016/j.future.2008.08.003
Output title
The design and realisation of the myExperiment Virtual Research ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2009
DOI
10.1016/j.future.2008.06.010
Output title
The dual role of fragments in fragment-assembly methods for de ...
Output type
D - Journal article
Volume title
Proteins
Year
2011
DOI
10.1002/prot.23215
Output title
The EXACT description of biomedical protocols
Output type
D - Journal article
Volume title
Bioinformatics
Year
2008
DOI
10.1093/bioinformatics/btn156
Output title
The Expertise Effect on Web Accessibility Evaluation Methods
Output type
D - Journal article
Volume title
Human-Computer Interaction
Year
2011
DOI
10.1080/07370024.2011.601670
Output title
The feasibility of magnetic recording at 10 terabits per square ...
Output type
D - Journal article
Volume title
IEEE Transactions on magnetics
Year
2009
DOI
10.1109/TMAG.2008.2010676
Output title
The International Exascale Software Project roadmap
Output type
D - Journal article
Volume title
International Journal of High Performance Computing Applications
Year
2011
DOI
10.1177/1094342010391989
Output title
The mechanical generation of fault trees for reactive systems ...
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2013
DOI
10.1007/s00165-011-0202-7
Output title
The modular structure of an ontology: atomic decomposition
Output type
E - Conference contribution
Volume title
Proceedings of the 22nd International Joint Conference on Artificial Intelligence
Year
2011
DOI
10.5591/978-1-57735-516-8/IJCAI11-372
Output title
The semantic processing of continuous quantities for discrete ...
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2008
DOI
10.1093/logcom/exm074
Output title
Time Series Clustering Via RPCL Network Ensemble With Different ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Year
2011
DOI
10.1109/TSMCC.2010.2052608
Output title
Time-completeness trade-offs in record linkage using adaptive ...
Output type
E - Conference contribution
Volume title
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Year
2009
DOI
10.1145/1516360.1516458
Output title
Timing Uncertainty in 3-D Clock Trees Due to Process Variations ...
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2013
DOI
10.1109/TVLSI.2012.2230035
Output title
Timing-Driven Via Placement Heuristics for Three-Dimensional ...
Output type
D - Journal article
Volume title
Integration, the VLSI Journal
Year
2008
DOI
10.1016/j.vlsi.2007.11.002
Output title
Topological Logics with Connectedness over Euclidean Spaces
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2013
DOI
10.1145/2480759.2480765
Output title
Towards a genome-scale kinetic model of cellular metabolism
Output type
D - Journal article
Volume title
BMC Systems Biology
Year
2010
DOI
10.1186/1752-0509-4-6
Output title
Twisted torus topologies for enhanced interconnection networ ...
Output type
D - Journal article
Volume title
IEEE Transactions on Parallel and Distributed Systems,
Year
2010
DOI
10.1109/TPDS.2010.30
Output title
Understanding Sources of Errors in Bit-Patterned Media to Improve ...
Output type
D - Journal article
Volume title
IEEE Transactions on Magnetics Mag
Year
2008
DOI
10.1109/TMAG.2008.2002516
Output title
Understanding the interconnection network of SpiNNaker
Output type
E - Conference contribution
Volume title
ICS '09 Proceedings of the 23rd international conference on Supercomputing
Year
2009
DOI
10.1145/1542275.1542317
Output title
Verified Real Number Calculations: A Library for Interval Ar ...
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2009
DOI
10.1109/TC.2008.213
Output title
Web accessibility guidelines
Output type
D - Journal article
Volume title
World Wide Web
Year
2012
DOI
10.1007/s11280-011-0130-8
Output title
Workflows to Open Provenance Graphs: round-trip
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2011
DOI
10.1016/j.future.2010.10.012
First <
1 2 3 4
Showing outputs 151 - 179 of 179