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 Leeds » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Leeds

First <
1 2
Showing outputs 51 - 95 of 95
Output title
Improved energy-efficiency in cloud datacenters with interference-aware ...
Output type
E - Conference contribution
Volume title
11th IEEE International Symposium on Autonomous Decentralized Systems / Proceedings of the 11th IEEE International Symposium on Autonomous Decentralized Systems
Year
2013
DOI
10.1109/ISADS.2013.6513411
Output title
Integrating Isosurface Statistics and Histograms
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.118
Output title
Joint Contour Nets: Computation and Properties
Output type
E - Conference contribution
Volume title
IEEE Pacific Visualization 2013
Year
2013
DOI
Output title
Linear Balanceable and Subcubic Balanceable Graphs
Output type
D - Journal article
Volume title
Journal of Graph Theory
Year
2013
DOI
10.1002/jgt.21728
Output title
Making sense of digital traces: An activity theory driven ontological ...
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2013
DOI
10.1002/asi.22935
Output title
Measurement of cone beam CT coincidence with megavoltage isocentre ...
Output type
D - Journal article
Volume title
Physics in Medicine and Biology
Year
2008
DOI
10.1088/0031-9155/53/19/002
Output title
Modelling Discourse Relations for Arabic
Output type
E - Conference contribution
Volume title
EMNLP 2011 / Proceedings of the 20th Conference on Empirical Methods in Natural Language Processing
Year
2011
DOI
Output title
Multiphase modelling of vascular tumour growth in two spatial ...
Output type
D - Journal article
Volume title
Journal of Theoretical Biology
Year
2012
DOI
10.1016/j.jtbi.2012.09.031
Output title
Neural correlates of metonymy resolution
Output type
D - Journal article
Volume title
Brain and Language
Year
2011
DOI
10.1016/j.bandl.2011.07.004
Output title
On a disparity between relative cliquewidth and relative NLC ...
Output type
D - Journal article
Volume title
Discrete Applied Mathematics
Year
2010
DOI
10.1016/j.dam.2009.06.024
Output title
OPTIMIS: a Holistic Approach to Cloud Service Provisioning
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2011
DOI
10.1016/j.future.2011.05.022
Output title
Parallel batch scheduling of equal-length jobs with release and ...
Output type
D - Journal article
Volume title
Journal of Scheduling
Year
2010
DOI
10.1007/s10951-010-0176-y
Output title
Parameterized Bounded-Depth Frege Is not Optimal
Output type
D - Journal article
Volume title
ACM Transactions on Computation Theory
Year
2012
DOI
10.1145/2355580.2355582
Output title
Parameterized Complexity of DPLL Search Procedures
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2013
DOI
10.1145/2499937.2499941
Output title
Partial observability and learnability
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2010.03.004
Output title
Performance Issues in Clouds: An Evaluation of Virtual Image ...
Output type
D - Journal article
Volume title
The Computer Journal
Year
2011
DOI
10.1093/comjnl/bxr011
Output title
Profiling Exploratory Browsing Behaviour with a Semantic Data ...
Output type
E - Conference contribution
Volume title
Americas Conference on Information Systems (AMCIS)
Year
2013
DOI
Output title
Proof systems that take advice
Output type
D - Journal article
Volume title
Information and Computation
Year
2011
DOI
10.1016/j.ic.2010.11.006
Output title
QurSim: A corpus for evaluation of relatedness in short text ...
Output type
E - Conference contribution
Volume title
Proceedings of the Eight International Conference on Language Resources and Evaluation (LREC’12)
Year
2012
DOI
Output title
Random walks on the vertices of transportation polytopes with ...
Output type
D - Journal article
Volume title
Random Structures and Algorithms
Year
2008
DOI
10.1002/rsa.20222
Output title
Reasoning with Topological and Directional Spatial Informati ...
Output type
D - Journal article
Volume title
Computational Intelligence
Year
2012
DOI
10.1111/j.1467-8640.2012.00431.x
Output title
Semantic Aggregation and Zooming of User Viewpoints in Social ...
Output type
E - Conference contribution
Volume title
User Modeling, Adaptation, and Personalization: Lecture Notes in Computer Science
Year
2013
DOI
10.1007/978-3-642-38844-6_5
Output title
Semantic Pathways: a Novel Visualisation of Varieties of Eng ...
Output type
D - Journal article
Volume title
ICAME Journal of the International Computer Archive of Modern English
Year
2013
DOI
Output title
Semantic Social Scaffolding for Capturing and Sharing Dissertation ...
Output type
D - Journal article
Volume title
IEEE Transactions on Learning Technologies
Year
2011
DOI
10.1109/TLT.2010.42
Output title
Shape detection with vision: implementing shape grammars in conceptual ...
Output type
D - Journal article
Volume title
Research in Engineering Design
Year
2010
DOI
10.1007/s00163-010-0088-z
Output title
Spindles and active vortices in a model of confined filament-motor ...
Output type
D - Journal article
Volume title
BMC Biophysics
Year
2011
DOI
10.1186/2046-1682-4-18
Output title
Subdivision Analysis of the Trilinear Interpolant
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
DOI
10.1109/TVCG.2009.10
Output title
Supervised collaboration for syntactic annotation of Quranic ...
Output type
D - Journal article
Volume title
Language Resources and Evaluation
Year
2011
DOI
10.1007/s10579-011-9167-7
Output title
Supporting domain experts to construct conceptual ontologies: ...
Output type
D - Journal article
Volume title
Web Semantics: Science, Services and Agents on the World Wide Web
Year
2011
DOI
10.1016/j.websem.2011.02.001
Output title
Taming Digital Traces for Informal Learning: A Semantic-Driven ...
Output type
E - Conference contribution
Volume title
21st Century Learning for 21st Century Skills
Year
2012
DOI
10.1007/978-3-642-33263-0_27
Output title
The benefits of using a Walking interface to navigate virtual ...
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2009
DOI
10.1145/1502800.1502805
Output title
The complexity of weighted Boolean #CSP
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2009
DOI
10.1137/070690201
Output title
The expressibility of functions on the boolean domain, with applications ...
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2013
DOI
10.1145/2528401
Output title
Three dimensional finite element analysis of the flow of polymer ...
Output type
D - Journal article
Volume title
Journal of Non-Newtonian Fluid Mechanics
Year
2010
DOI
10.1016/j.jnnfm.2010.12.008
Output title
Towards Multifield Scalar Topology Based on Pareto Optimalit ...
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2013
DOI
10.1111/cgf.12121
Output title
Towards Routine Use of 3D Histopathology as a Research Tool
Output type
D - Journal article
Volume title
Americal Journal of pathology
Year
2012
DOI
10.1016/j.ajpath.2012.01.033
Output title
Tracking with virtual slides: a tool to study diagnostic error ...
Output type
D - Journal article
Volume title
Histopathology
Year
2009
DOI
10.1111/j.1365-2559.2009.03325.x
Output title
Unconditionally stable space–time discontinuous residual distribution ...
Output type
D - Journal article
Volume title
Journal of Computational Physics
Year
2013
DOI
10.1016/j.jcp.2013.06.043
Output title
Unsupervised Content Classification Based Non-rigid Registration ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2013
DOI
10.1109/TBME.2013.2277777
Output title
Unsupervised Learning of Event Classes from Video
Output type
E - Conference contribution
Volume title
Proceedings of the National Conference on Artificial Intelligence
Year
2010
DOI
Output title
Virtual reality microscope versus conventional microscope regarding ...
Output type
D - Journal article
Volume title
Histopathology
Year
2012
DOI
10.1111/j.1365-2559.2012.04323.x
Output title
Virtual reality Powerwall versus conventional microscope for ...
Output type
D - Journal article
Volume title
Histopathology
Year
2009
DOI
10.1111/j.1365-2559.2009.03389.x
Output title
Visualization of parameter space for image analysis.
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2011.253
Output title
Visualizing Nuclear Scission Through a Multifield Extension of ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.287
Output title
Walking Improves Your Cognitive Map in Environments That Are ...
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2011
DOI
10.1145/1970378.1970384
First <
1 2
Showing outputs 51 - 95 of 95