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

1 2 3 4
> Last
Showing outputs 1 - 50 of 179
Output title
"Serial" effects in parallel models of reading
Output type
D - Journal article
Volume title
Cognitive Psychology
Year
2012
DOI
10.1016/j.cogpsych.2012.01.002
Output title
(Behavioural) Design Patterns as Composition Operators
Output type
E - Conference contribution
Volume title
13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
Year
2010
DOI
10.1007/978-3-642-13238-4_14
Output title
A 2-Dimensional Approach to QoS Provisioning in Adversarial Mobile ...
Output type
E - Conference contribution
Volume title
MSWiM '12: 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM12)
Year
2012
DOI
10.1145/2387238.2387264
Output title
A catalogue of component connectors to support development with ...
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2010
DOI
10.1016/j.jss.2010.01.008
Output title
A consensus yeast metabolic network reconstruction obtained from ...
Output type
D - Journal article
Volume title
Nature biotechnology
Year
2008
DOI
10.1038/nbt1492
Output title
A fast, model-independent method for cerebral cortical thickness ...
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2009
DOI
10.1016/j.media.2008.10.006
Output title
A Formal semantics for the Taverna 2 Workflow Model
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2010
DOI
10.1016/j.jcss.2009.11.009
Output title
A General Tableau Method for Deciding Description Logics, Modal ...
Output type
E - Conference contribution
Volume title
4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15
Year
2008
DOI
10.1007/978-3-540-71070-7_17
Output title
A heuristic method to rectify intransitive judgments in pairwise ...
Output type
D - Journal article
Volume title
European Journal of Operational Research
Year
2012
DOI
10.1016/j.ejor.2011.07.034
Output title
A Hybrid Method for Probabilistic Satisfiability
Output type
E - Conference contribution
Volume title
23rd International Conference on Automated Deduction, Wroc¿aw, Poland, July 31 - August 5, 2011. Proceedings
Year
2011
DOI
10.1007/978-3-642-22438-6_27
Output title
A low-cost pedestrian-detection system with a single optical ...
Output type
D - Journal article
Volume title
Ieee Transactions on Intelligent Transportation Systems
Year
2008
DOI
10.1109/tits.2007.909239
Output title
A minimum description length objective function for groupwise ...
Output type
D - Journal article
Volume title
Image and Vision Computing
Year
2008
DOI
10.1016/j.imavis.2006.12.009
Output title
A monadic approach to automated reasoning for Bluespec Syste ...
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2011
DOI
10.1007/s11334-011-0149-0
Output title
A Novel Programmable Parallel CRC Circuit
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Year
2011
DOI
10.1109/TVLSI.2010.2058872
Output title
A Statistical Interpretation of Non-Local Means
Output type
D - Journal article
Volume title
IET Computer Vision
Year
2010
DOI
10.1049/iet-cvi.2008.0076
Output title
A statistical model of write-errors in bit patterned media
Output type
D - Journal article
Volume title
Journal of Applied Physics
Year
2012
DOI
10.1063/1.3691947
Output title
A Tableau Method for Checking Rule Admissibility in S4
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2010
DOI
10.1016/j.entcs.2010.04.003
Output title
A Text Mining Approach to the Prediction of Disease Status from ...
Output type
D - Journal article
Volume title
Journal of the American Medical Informatics Association
Year
2009
DOI
10.1197/jamia.M3096
Output title
Achieving autonomous fair exchange in ubiquitous network set ...
Output type
D - Journal article
Volume title
Journal of Network and Computer Applications
Year
2011
DOI
10.1016/j.jnca.2010.11.002
Output title
Adaptive join processing in pipelined plans
Output type
E - Conference contribution
Volume title
EDBT: 13th International Conference on Extending Database Technology
Year
2010
DOI
10.1145/1739041.1739066
Output title
Adaptive resource configuration for Cloud infrastructure man ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2013
DOI
10.1016/j.future.2012.07.004
Output title
Adaptive Workflow Processing and Execution in Pegasus
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2009
DOI
10.1002/cpe.1446
Output title
Adaptive workload allocation in query processing in autonomous ...
Output type
D - Journal article
Volume title
Distributed and Parallel Databases
Year
2009
DOI
10.1007/s10619-008-7032-5
Output title
An alternative characterization of bit-sticking phenomena in ...
Output type
D - Journal article
Volume title
Nonlinear Analysis -Amsterdam-
Year
2009
DOI
10.1016/j.nonrwa.2008.10.025
Output title
An evaluation of four automatic methods of segmenting the subcortical ...
Output type
D - Journal article
Volume title
NeuroImage
Year
2009
DOI
10.1016/j.neuroimage.2009.05.029
Output title
An Evolving Construction Scheme for Fuzzy Systems
Output type
D - Journal article
Volume title
IEEE Transaction on Fuzzy Systems
Year
2010
DOI
10.1109/TFUZZ.2010.2047949
Output title
An Instance-Based Algorithm With Auxiliary Similarity Information ...
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2008
DOI
10.1109/TNN.2008.2000808
Output title
An Output-Constrained Clustering Approach for the Identification ...
Output type
D - Journal article
Volume title
IEEE Transactions on Fuzzy Systems
Year
2011
DOI
10.1109/TFUZZ.2011.2161612
Output title
Analysis of a complete DNA-protein affinity landscape
Output type
D - Journal article
Volume title
Journal of the Royal Society Interface
Year
2010
DOI
10.1098/rsif.2009.0193
Output title
Anatomically Corresponded Regional Analysis of Cartilage in Asymptomatic ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2010
DOI
10.1109/TMI.2010.2047653
Output title
Array-based evolution of DNA aptamers allows modeling of an explicit ...
Output type
D - Journal article
Volume title
Nucleic Acids Research
Year
2009
DOI
10.1093/nar/gkn899
Output title
Atomic Actions and their Refinements to Isolated Protocols.
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2010
DOI
10.1007/s00165-009-0103-1
Output title
Atomicity Failure and the Retrenchment Atomicity Pattern.
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2013
DOI
10.1007/s00165-011-0216-1
Output title
Automated Synthesis of Tableau Calculi
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
10.2168/LMCS-7(2:6)2011
Output title
Automatic analysis of diabetic peripheral neuropathy using multi-scale ...
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2011
DOI
10.1016/j.media.2011.05.016
Output title
Automatic annotation of Web services based on workflow defin ...
Output type
D - Journal article
Volume title
ACM Transactions on the Web
Year
2008
DOI
10.1145/1346237.1346239
Output title
Automatic Extraction of Coarse-Grained Data-Flow Threads from ...
Output type
D - Journal article
Volume title
IEEE Micro
Year
2012
DOI
10.1109/MM.2012.49
Output title
Automatic feature localisation with constrained local models
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2008
DOI
10.1016/j.patcog.2008.01.024
Output title
Automatic inference and measurement of 3D carpal bone kinematics ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2013
DOI
10.1109/TMI.2012.2226740
Output title
Automating generation of textual class definitions from OWL to ...
Output type
D - Journal article
Volume title
Journal of Biomedical Semantics
Year
2011
DOI
10.1186/2041-1480-2-S2-S5
Output title
Autonomic query parallelization using non-dedicated computers: ...
Output type
D - Journal article
Volume title
VLDB Journal
Year
2009
DOI
10.1007/s00778-007-0090-x
Output title
Beyond Fano's Inequality: Bounds on the Optimal F-Score, BER, ...
Output type
D - Journal article
Volume title
Journal of Machine Learning Research
Year
2013
DOI
Output title
BioContext: an integrated text mining system for large-scale ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2012
DOI
10.1093/bioinformatics/bts332
Output title
Biologically Inspired Means for Rank-Order Encoding Images: A ...
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2010
DOI
10.1109/TNN.2010.2048339
Output title
Boosting automatic event extraction from the literature using ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2012
DOI
10.1093/bioinformatics/bts237
Output title
Bridging the gap between OWL and relational databases
Output type
D - Journal article
Volume title
Journal of Web Semantics
Year
2009
DOI
10.1016/j.websem.2009.02.001
Output title
Building 3-D Statistical Shape Models by Direct Optimization
Output type
D - Journal article
Volume title
IEEE transactions on medical imaging
Year
2010
DOI
10.1109/TMI.2009.2035048
Output title
Building a high-quality sense inventory for improved abbreviation ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2010
DOI
10.1093/bioinformatics/btq129
Output title
Changes in mandibular cortical cortical width measurements with ...
Output type
D - Journal article
Volume title
Osteoporosis International
Year
2011
DOI
10.1007/s00198-010-1410-3
Output title
Channel Models and Detectors for Two-Dimensional Magnetic Re ...
Output type
D - Journal article
Volume title
IEEE Transactions on Magnetics
Year
2010
DOI
10.1109/TMAG.2009.2035635
1 2 3 4
> Last
Showing outputs 1 - 50 of 179