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

1 2
> Last
Showing outputs 1 - 50 of 95
Output title
A consistent reflected image particle approach to the treatment ...
Output type
D - Journal article
Volume title
Computer Methods in Applied Mechanics and Engineering
Year
2009
DOI
10.1016/j.cma.2009.06.014
Output title
A First Experimental Demonstration of Massive Knowledge Infu ...
Output type
E - Conference contribution
Volume title
11th International Conference on Principles of Knowledge Representation and Reasoning / Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, Proceedings
Year
2008
DOI
Output title
A New Approach to Multi-Phase Formulation for the Solidification ...
Output type
D - Journal article
Volume title
Physica D: Nonlinear Phenomena
Year
2012
DOI
10.1016/j.physd.2012.01.006
Output title
A polynomial-time algorithm for a flow-shop batching problem ...
Output type
D - Journal article
Volume title
Journal of Scheduling
Year
2011
DOI
10.1007/s10951-009-0150-8
Output title
A standard tag set expounding traditional morphological features ...
Output type
D - Journal article
Volume title
Word Structure Journal
Year
2013
DOI
10.3366/word.2013.0035
Output title
A structure theorem for graphs with no cycle with a unique chord ...
Output type
D - Journal article
Volume title
Journal of Graph Theory
Year
2009
DOI
10.1002/jgt.20405
Output title
A Submodular Optimization Approach to Bicriteria Scheduling Problems ...
Output type
D - Journal article
Volume title
SIAM Journal on Discrete Mathematics
Year
2013
DOI
10.1137/110843836
Output title
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2010
DOI
10.1145/1805950.1805952
Output title
Active and Passive Microrheology in Equilibrium and Nonequilibrium ...
Output type
D - Journal article
Volume title
Macromolecules
Year
2008
DOI
10.1021/ma801218z
Output title
Adaptive notifications to support knowledge sharing in close-knit ...
Output type
D - Journal article
Volume title
User Modeling and User Adapted Interaction
Year
2012
DOI
10.1007/s11257-012-9127-y
Output title
An Adaptive Service for Grid Applications
Output type
D - Journal article
Volume title
International Journal of Parallel, Emergent and Distributed Systems
Year
2010
DOI
10.1080/17445761003603242
Output title
An adaptive, fully implicit multigrid phase-field model for the ...
Output type
D - Journal article
Volume title
Acta Materialia
Year
2008
DOI
10.1016/j.actamat.2008.05.029
Output title
An Approach for Characterizing Workloads in Google Cloud to Derive ...
Output type
E - Conference contribution
Volume title
7th IEEE International Symposium of Service-Oriented System Engineering (SOSE)
Year
2013
DOI
10.1109/SOSE.2013.24
Output title
An approximation trichotomy for Boolean #CSP
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2010
DOI
10.1016/j.jcss.2009.08.003
Output title
An Effective Dichotomy for the Counting Constraint Satisfaction ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2013
DOI
10.1137/100811258
Output title
An efficient preconditioned iterative solution of fully-coupled ...
Output type
D - Journal article
Volume title
Applied Numerical Mathematics
Year
2012
DOI
10.1016/j.apnum.2012.02.002
Output title
Architecture design of a user-orientated electronic laboratory ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2013
DOI
10.1016/j.future.2013.04.011
Output title
Backtracking and proofreading in DNA transcription
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2009
DOI
10.1103/PhysRevLett.102.258101
Output title
Brokering of Risk-Aware Service Level Agreements in Grids
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2011
DOI
10.1002/cpe.1721
Output title
Buried Utility Pipeline Mapping Based on Multiple Spatial Data ...
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence
Year
2011
DOI
10.5591/978-1-57735-516-8/IJCAI11-402
Output title
Causality of Optimized Haskell: What is burning our cycles?
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Year
2013
DOI
10.1145/2503778.2503788
Output title
Ceteris Paribus Preference Elicitation with Predictive Guara ...
Output type
E - Conference contribution
Volume title
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
Year
2009
DOI
Output title
Collective Classification of Fine-Grained Information Status
Output type
E - Conference contribution
Volume title
ACL 2012
Year
2012
DOI
Output title
Colouring AT-Free Graphs
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science: 20th Annual European Symposium on Algorithms (ESA 2012)
Year
2012
DOI
10.1007/978-3-642-33090-2_61
Output title
Combinatorial optimization with 2-joins
Output type
D - Journal article
Volume title
Journal of Combinatorial Theory, Series B
Year
2012
DOI
10.1016/j.jctb.2011.06.002
Output title
Consistent Dirichlet boundary conditions for numerical solution ...
Output type
D - Journal article
Volume title
Applied Numerical Mathematics
Year
2009
DOI
10.1016/j.apnum.2008.08.002
Output title
Context-aware trust negotiation in peer-to-peer service coll ...
Output type
D - Journal article
Volume title
Peer-to-Peer Networking and Applications
Year
2009
DOI
10.1007/s12083-009-0029-7
Output title
Critical Scaling and Aging in Cooling Systems Near the Jamming ...
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2009
DOI
10.1103/PhysRevLett.102.138001
Output title
Data and models for metonymy resolution
Output type
D - Journal article
Volume title
Language Resources and Evaluation
Year
2009
DOI
10.1007/s10579-009-9087-y
Output title
Decomposition of even-hole-free graphs with star cutsets and ...
Output type
D - Journal article
Volume title
Journal of Combinatorial Theory, Series B
Year
2013
DOI
10.1016/j.jctb.2012.10.001
Output title
Detecting Carried Objects from Sequences of Walking Pedestri ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
DOI
10.1109/TPAMI.2011.205
Output title
Direct Interval Volume Visualization
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
DOI
10.1109/TVCG.2010.145
Output title
Discontinuous fluctuation distribution
Output type
D - Journal article
Volume title
Journal of Computational Physics
Year
2008
DOI
10.1016/j.jcp.2008.08.017
Output title
Dynamic service integration for reliable and sustainable capability ...
Output type
D - Journal article
Volume title
International Journal of Systems Science
Year
2010
DOI
10.1080/00207721003774736
Output title
Evaluation of the effect of myocardial segmentation errors on ...
Output type
D - Journal article
Volume title
Physics in Medicine and Biology
Year
2011
DOI
10.1088/0031-9155/56/8/007
Output title
Even-hole-free graphs that do not contain diamonds: A structure ...
Output type
D - Journal article
Volume title
Journal of Combinatorial Theory, Series B
Year
2009
DOI
10.1016/j.jctb.2008.12.005
Output title
Event Model Learning from Complex Videos using ILP
Output type
E - Conference contribution
Volume title
Frontiers in Artificial Intelligence and Applications
Year
2010
DOI
10.3233/978-1-60750-606-5-93
Output title
Evolvability via the Fourier transform
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.08.009
Output title
Explaining Activities as Consistent Groups of Events: A Bayesian ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2012
DOI
10.1007/s11263-011-0497-0
Output title
Fast divide-and-conquer algorithms for preemptive scheduling ...
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science - Proceedings of the 16th Annual European Symposium on Algorithms (ESA 2008)
Year
2008
DOI
10.1007/978-3-540-87744-8_63
Output title
Finite element analysis for a coupled bulk–surface partial differential ...
Output type
D - Journal article
Volume title
IMA Journal of Numerical Analysis
Year
2012
DOI
10.1093/imanum/drs022
Output title
Fluctuations, pauses and backtracking in DNA transcription
Output type
D - Journal article
Volume title
Biophysical Journal
Year
2008
DOI
10.1529/biophysj.107.105767
Output title
Forward locomotion of the nematode C. elegans is achieved through ...
Output type
D - Journal article
Volume title
HFSP Journal
Year
2009
DOI
10.2976/1.3082260
Output title
From gene expression to gene regulatory networks in Arabidopsis ...
Output type
D - Journal article
Volume title
BMC Systems Biology
Year
2009
DOI
10.1186/1752-0509-3-85
Output title
From Video to RCC8: Exploiting a Distance Based Semantics to ...
Output type
E - Conference contribution
Volume title
Spatial Information Theory
Year
2011
DOI
10.1007/978-3-642-23196-4_7
Output title
Gait modulation in C. elegans: an integrated neuromechanical ...
Output type
D - Journal article
Volume title
Frontiers in Computational Neuroscience
Year
2012
DOI
10.3389/fncom.2012.00010
Output title
Gene function prediction using semantic similarity clustering ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2010
DOI
10.1093/bioinformatics/btq450
Output title
GO-At: In silico prediction of gene function in Arabidopsis thaliana ...
Output type
D - Journal article
Volume title
The Plant Journal
Year
2010
DOI
10.1111/j.1365-313X.2009.04097.x
Output title
High-Resolution Probing of Cellular Force Transmission
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2009
DOI
10.1103/PhysRevLett.102.168102
Output title
Huge Data but Small Programs: Visualization Design via Multiple ...
Output type
E - Conference contribution
Volume title
Practical Applications of Declarative Languages
Year
2009
DOI
10.1007/978-3-540-92995-6_3
1 2
> Last
Showing outputs 1 - 50 of 95