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 College London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University College London

First <
1 2 3 4 5 6
> Last
Showing outputs 101 - 150 of 261
Output title
FlagRemover: A Testability Transformation for Transforming Loop-Assigned ...
Output type
D - Journal article
Volume title
ACM T SOFTW ENG METH
Year
2011
DOI
10.1145/2000791.2000796
Output title
Focus on driving: How cognitive constraints shape the adaptation ...
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI conference on human factors in computing systems, CHI‘09
Year
2009
DOI
10.1145/1518701.1518950
Output title
Generating and evaluating choices for fixing inconsistencies ...
Output type
E - Conference contribution
Volume title
ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings
Year
2008
DOI
10.1109/ASE.2008.20
Output title
GPGPU test suite minimisation: search based software engineering ...
Output type
D - Journal article
Volume title
EMPIRICAL SOFTWARE ENGINEERING
Year
2013
DOI
10.1007/s10664-013-9247-y
Output title
Haptic Reassurance in the Pitch Black for an Immersive Theatre ...
Output type
E - Conference contribution
Volume title
ACM Ubicomp Conference
Year
2011
DOI
10.1145/2030112.2030133
Output title
Harnessing Exposed Terminals in Wireless Networks
Output type
E - Conference contribution
Volume title
Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI'08)
Year
2008
DOI
Output title
Hierarchical information clustering by means of topologically ...
Output type
D - Journal article
Volume title
PLoS One
Year
2012
DOI
10.1371/journal.pone.0031929
Output title
High-speed nonlinear finite element analysis for surgical simulation ...
Output type
D - Journal article
Volume title
IEEE Trans Med Imaging
Year
2008
DOI
10.1109/TMI.2007.913112
Output title
How hard can it be? designing and implementing a deployable multipath ...
Output type
E - Conference contribution
Volume title
USENIX NSDI
Year
2012
DOI
Output title
Human Tails: Ownership and Control of Extended Humanoid Avat ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
DOI
10.1109/TVCG.2013.32
Output title
Hypercontractivity, Sum-of-Squares Proofs, and their Applica ...
Output type
E - Conference contribution
Volume title
Proceedings of the 44th symposium on Theory of Computing
Year
2012
DOI
10.1145/2213977.2214006
Output title
Identifying Optimum Performance Trade-Offs Using a Cognitively ...
Output type
D - Journal article
Volume title
TOP COGN SCI
Year
2011
DOI
10.1111/j.1756-8765.2010.01125.x
Output title
Illusory ownership of a virtual child body causes overestimation ...
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences
Year
2013
DOI
10.1073/pnas.1306779110
Output title
Illustrating How Mechanical Assemblies Work
Output type
D - Journal article
Volume title
ACM T GRAPHIC
Year
2010
DOI
10.1145/1778765.1778795
Output title
Impact Analysis of Database Schema Changes
Output type
E - Conference contribution
Volume title
Proc. of the 30th Int. Conference on Software Engineering, Leipzig, Germany
Year
2008
DOI
10.1145/1368088.1368150
Output title
Imperfect Shadow Maps for Efficient Computation of Indirect ...
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON GRAPHICS
Year
2008
DOI
10.1145/1409060.1409082
Output title
Improving datacenter performance and robustness with multipath ...
Output type
E - Conference contribution
Volume title
Proc. ACM SIGCOMM
Year
2011
DOI
10.1145/2018436.2018467
Output title
Improving the Accuracy and Efficiency of MAP Inference for Markov ...
Output type
E - Conference contribution
Volume title
UAI
Year
2008
DOI
Output title
Individualized prediction of illness course at the first psychotic ...
Output type
D - Journal article
Volume title
Psychol Med
Year
2012
DOI
10.1017/S0033291711002005
Output title
Insights into the regulation of intrinsically disordered proteins ...
Output type
D - Journal article
Volume title
Genome Biology
Year
2009
DOI
10.1186/gb-2009-10-5-r50
Output title
Instantiating abstract argumentation with classical logic arguments: ...
Output type
D - Journal article
Volume title
ARTIF INTELL
Year
2011
DOI
10.1016/j.artint.2010.12.003
Output title
Instantiation and registration of statistical shape models of ...
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2008
DOI
10.1016/j.media.2007.12.006
Output title
Inter-fraction variations in respiratory motion models.
Output type
D - Journal article
Volume title
Phys Med Biol
Year
2011
DOI
10.1088/0031-9155/56/1/015
Output title
Is cloned code more stable than non-cloned code?
Output type
E - Conference contribution
Volume title
Source Code Analysis and Manipulation, 2008 Eighth IEEE International Working Conference on
Year
2008
DOI
10.1109/SCAM.2008.14
Output title
K-Dimensional Coding Schemes in Hilbert Spaces
Output type
D - Journal article
Volume title
IEEE T INFORM THEORY
Year
2010
DOI
10.1109/TIT.2010.2069250
Output title
Kernel Bayes’ Rule
Output type
E - Conference contribution
Volume title
NIPS
Year
2011
DOI
Output title
Kernel choice and classifiability for RKHS embeddings of probability ...
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 22
Year
2009
DOI
Output title
Lagrange dual decomposition for finite horizon Markov decision ...
Output type
D - Journal article
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2011
DOI
10.1007/978-3-642-23780-5_41
Output title
Large breast compressions: Observations and evaluation of si ...
Output type
D - Journal article
Volume title
MED PHYS
Year
2011
DOI
10.1118/1.3525837
Output title
Learning a Confidence Measure for Optical Flow
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
DOI
10.1109/TPAMI.2012.171
Output title
Lie tracking: Social presence, truth and deception in avatar-mediated ...
Output type
E - Conference contribution
Volume title
Conference on Human Factors in Computing Systems - Proceedings
Year
2010
DOI
10.1145/1753326.1753481
Output title
Local Laplacian filters: edge-aware image processing with a Laplacian ...
Output type
D - Journal article
Volume title
ACM Trans. Graph.
Year
2011
DOI
10.1145/2010324.1964963
Output title
LOUP: the principles and practice of intra-domain route diss ...
Output type
E - Conference contribution
Volume title
Proceedings of the the tenth USENIX symposium on networked systems design and implementation (NSDI 2013)
Year
2013
DOI
Output title
Making prophecies with decision predicates.
Output type
E - Conference contribution
Volume title
POPL
Year
2011
DOI
10.1145/1926385.1926431
Output title
Making sense of digital footprints in team-based legal investigations: ...
Output type
D - Journal article
Volume title
Human–Computer Interaction
Year
2011
DOI
10.1080/07370024.2011.556548
Output title
Matchbox: large scale online bayesian recommendations.
Output type
E - Conference contribution
Volume title
WWW
Year
2009
DOI
10.1145/1526709.1526725
Output title
Measuring and defining the experience of immersion in games
Output type
D - Journal article
Volume title
INT J HUM-COMPUT ST
Year
2008
DOI
10.1016/j.ijhcs.2008.04.004
Output title
Mechanisms for Collaboration: A Design and Evaluation Framework ...
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2012
DOI
10.1145/2147783.2147784
Output title
Media Sharing based on Colocation Prediction in Urban Transp ...
Output type
E - Conference contribution
Volume title
Proc. of 14th ACM International Conference on Mobile Computing and Networking
Year
2008
DOI
10.1145/1409944.1409953
Output title
Micro-Rendering for Scalable, Parallel Final Gathering
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON GRAPHICS
Year
2009
DOI
10.1145/1618452.1618478
Output title
Mining mobility data to minimise travellers' spending on public ...
Output type
E - Conference contribution
Volume title
KDD
Year
2011
DOI
10.1145/2020408.2020590
Output title
ML Confidential: Machine Learning on Encrypted Data.
Output type
E - Conference contribution
Volume title
ICISC
Year
2012
DOI
10.1007/978-3-642-37682-5_1
Output title
Model projection: Simplifying models in response to restricting ...
Output type
E - Conference contribution
Volume title
Proceedings - International Conference on Software Engineering
Year
2011
DOI
10.1145/1985793.1985834
Output title
Modelling prostate motion for data fusion during image-guided ...
Output type
D - Journal article
Volume title
IEEE Trans Med Imaging
Year
2011
DOI
10.1109/TMI.2011.2158235
Output title
Molecular Graphics of Convex Body Fluids
Output type
D - Journal article
Volume title
Journal of Chemical Theory and Computation
Year
2008
DOI
10.1021/ct700192z
Output title
Monte Carlo simulation of uncoupled continuous-time random walks ...
Output type
D - Journal article
Volume title
Physical Review E
Year
2008
DOI
10.1103/PhysRevE.77.021122
Output title
Monte-Carlo Planning in Large POMDPs
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 24
Year
2010
DOI
Output title
MR to ultrasound registration for image-guided prostate inte ...
Output type
D - Journal article
Volume title
Med Image Anal
Year
2012
DOI
10.1016/j.media.2010.11.003
Output title
MRI to X-ray mammography registration using a volume-preserving ...
Output type
D - Journal article
Volume title
Med Image Anal
Year
2012
DOI
10.1016/j.media.2012.03.001
Output title
Multi-sheet surface rebinning methods for reconstruction from ...
Output type
D - Journal article
Volume title
Inverse Problems
Year
2013
DOI
10.1088/0266-5611/29/11/115003
First <
1 2 3 4 5 6
> Last
Showing outputs 101 - 150 of 261