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 51 - 100 of 261
Output title
Control dependence for extended finite state machines
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2009
DOI
10.1007/978-3-642-00593-0_15
Output title
Convex Multi-Task Feature Learning
Output type
D - Journal article
Volume title
Machine Learning
Year
2008
DOI
10.1007/s10994-007-5040-8
Output title
Correlation structure and dynamics in volatile markets
Output type
D - Journal article
Volume title
New Journal of Physics
Year
2010
DOI
10.1088/1367-2630/12/8/085009
Output title
Craig interpolation in displayable logics
Output type
E - Conference contribution
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-22119-4_9
Output title
Cross-device interaction via micro-mobility and F-formations
Output type
E - Conference contribution
Volume title
UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology
Year
2012
DOI
Output title
Cross-Layer Wireless Bit Rate Adaptation
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGCOMM 2009 Conference on Data Communication
Year
2009
DOI
10.1145/1592568.1592571
Output title
Cyclic proofs of program termination in separation logic.
Output type
E - Conference contribution
Volume title
POPL
Year
2008
DOI
10.1145/1328438.1328453
Output title
Decomposing the tensor kernel support vector machine for neuroscience ...
Output type
D - Journal article
Volume title
MACHINE LEARNING
Year
2010
DOI
10.1007/s10994-009-5159-x
Output title
Dense Variational Reconstruction of Non-rigid Surfaces from Monocular ...
Output type
E - Conference contribution
Volume title
Proceedings of the 26th IEEE Conference on Computer Vision and Pattern Recognition
Year
2013
DOI
Output title
Dependence clusters in source code
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year
2009
DOI
10.1145/1596527.1596528
Output title
Deriving event-based transition systems from goal-oriented requirements ...
Output type
D - Journal article
Volume title
Automated Software Engineering
Year
2008
DOI
10.1007/s10515-008-0027-7
Output title
Design and Generalization Analysis of Orthogonal Matching Pursuit ...
Output type
D - Journal article
Volume title
IEEE T INFORM THEORY
Year
2011
DOI
10.1109/TIT.2011.2158880
Output title
Design, implementation and evaluation of congestion control for ...
Output type
E - Conference contribution
Volume title
Proceedings of the 8th USENIX conference on Networked systems design and implementation
Year
2011
DOI
Output title
Designing Devices With the Task in Mind: Which Numbers Are Really ...
Output type
D - Journal article
Volume title
Human Factors: The Journal of the Human Factors and Ergonomics Society
Year
2013
DOI
10.1177/0018720812471988
Output title
Developments in brain-machine interfaces from the perspective ...
Output type
D - Journal article
Volume title
HUM MOVEMENT SCI
Year
2009
DOI
10.1016/j.humov.2008.12.001
Output title
Differentiation of benign and malignant breast tumors by in-vivo ...
Output type
D - Journal article
Volume title
J BIOMED OPT
Year
2009
DOI
10.1117/1.3103325
Output title
Discovering structural regularity in 3D geometry
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON GRAPHICS
Year
2008
DOI
10.1145/1360612.1360642
Output title
Distributed Fusion of PHD Filters Via Exponential Mixture De ...
Output type
D - Journal article
Volume title
IEEE Journal of Selected Topics in Signal Processing
Year
2013
DOI
10.1109/JSTSP.2013.2257162
Output title
Distributional learning of appearance.
Output type
D - Journal article
Volume title
PLoS One
Year
2013
DOI
10.1371/journal.pone.0058074
Output title
Does Choose & Book fail to deliver the expected choice to patients? ...
Output type
D - Journal article
Volume title
BMC Med Inform Decis Mak
Year
2008
DOI
10.1186/1472-6947-8-36
Output title
DTI registration in atlas based fiber analysis of infantile Krabbe ...
Output type
D - Journal article
Volume title
NEUROIMAGE
Year
2011
DOI
10.1016/j.neuroimage.2011.01.038
Output title
Early failure prediction in feature request management syste ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011
Year
2011
DOI
10.1109/RE.2011.6051658
Output title
Efficiency of linked cell algorithms
Output type
D - Journal article
Volume title
Computer Physics Communications
Year
2011
DOI
10.1016/j.cpc.2010.11.002
Output title
Efficient Identification of Linchpin Vertices in Dependence ...
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2013
DOI
10.1145/2491522.2491524
Output title
Efficient Noninteractive Proof Systems for Bilinear Groups
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2012
DOI
10.1137/080725386
Output title
Efficient Online Monitoring of Web-Service SLAs
Output type
E - Conference contribution
Volume title
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, November 09-14, 2008 Atlanta, Georgia
Year
2008
DOI
10.1145/1453101.1453125
Output title
Efficient Sparse Kernel Feature Extraction Based on Partial Least ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2009
DOI
10.1109/TPAMI.2008.171
Output title
Efficient Zero-Knowledge Argument for Correctness of a Shuff ...
Output type
E - Conference contribution
Volume title
EUROCRYPT
Year
2012
DOI
10.1007/978-3-642-29011-4_17
Output title
Emergence of Gamma distributions in granular materials and packing ...
Output type
D - Journal article
Volume title
Physical Review E - Statistical, Nonlinear, and Soft Matter Physics
Year
2008
DOI
10.1103/PhysRevE.77.021309
Output title
Empirical Evaluation of a Nesting Testability Transformation ...
Output type
D - Journal article
Volume title
ACM T SOFTW ENG METH
Year
2009
DOI
10.1145/1525880.1525884
Output title
Entanglement theory and the second law of thermodynamics
Output type
D - Journal article
Volume title
Nature Physics
Year
2008
DOI
10.1038/nphys1100
Output title
Equal opportunities: do shareable interfaces promote more group ...
Output type
D - Journal article
Volume title
Human-Computer Interaction
Year
2008
DOI
10.1080/07370020902739379
Output title
Estimating average precision when judgments are incomplete
Output type
D - Journal article
Volume title
KNOWLEDGE AND INFORMATION SYSTEMS
Year
2008
DOI
10.1007/s10115-007-0101-7
Output title
Estimating chromophore distributions from multiwavelength photoacoustic ...
Output type
D - Journal article
Volume title
Journal of the Optical Society of America
Year
2009
DOI
10.1364/JOSAA.26.000443
Output title
Evaluating system utility and conceptual fit using CASSM
Output type
D - Journal article
Volume title
International Journal of Human Computer Studies
Year
2008
DOI
10.1016/j.ijhcs.2007.11.005
Output title
Evidence for segregated and integrative connectivity patterns ...
Output type
D - Journal article
Volume title
Journal of Neuroscience
Year
2008
DOI
10.1523/JNEUROSCI.1486-08.2008
Output title
Evolving the Internet Architecture Through Naming
Output type
D - Journal article
Volume title
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS
Year
2010
DOI
10.1109/JSAC.2010.101009
Output title
Exploiting cluster-structure to predict the labeling of a gr ...
Output type
E - Conference contribution
Volume title
Algorithmic Learning Theory: 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008: Proceedings
Year
2008
DOI
10.1007/978-3-540-87987-9_9
Output title
Exploiting prior information in GraphSLAM
Output type
E - Conference contribution
Volume title
Proceedings - IEEE International Conference on Robotics and Automation
Year
2011
DOI
10.1109/ICRA.2011.5979628
Output title
Fabricating Microgeometry for Custom Surface Reflectance
Output type
D - Journal article
Volume title
ACM Transactions on Graphics (Proc. SIGGRAPH 2009)
Year
2009
DOI
10.1145/1576246.1531338
Output title
Faithful Squashed Entanglement
Output type
D - Journal article
Volume title
Communications in Mathematical Physics
Year
2011
DOI
10.1007/s00220-011-1302-1
Output title
Fast free-form deformation using graphics processing units.
Output type
D - Journal article
Volume title
Comput Methods Programs Biomed
Year
2010
DOI
10.1016/j.cmpb.2009.09.002
Output title
Fast gradient-descent methods for temporal-difference learning ...
Output type
E - Conference contribution
Volume title
ICML
Year
2009
DOI
10.1145/1553374.1553501
Output title
Fast prediction on a tree
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 21 - Proceedings of the 2008 Conference
Year
2009
DOI
Output title
Fault Localization Prioritization: Comparing Information-Theoretic ...
Output type
D - Journal article
Volume title
ACM Transaction on Software Engineering and Methodology
Year
2013
DOI
10.1145/2491509.2491513
Output title
Federated ontology-based queries over cancer data.
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2012
DOI
10.1186/1471-2105-13-S1-S9
Output title
Fences in weak memory models (extended version)
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2012
DOI
10.1007/s10703-011-0135-z
Output title
Finger On The Pulse: Identifying Deprivation Using Transit Flow ...
Output type
E - Conference contribution
Volume title
ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW)
Year
2013
DOI
10.1145/2441776.2441852
Output title
Fingerprinting Blank Paper Using Commodity Scanners
Output type
E - Conference contribution
Volume title
Proceedings of the 2009 30th IEEE Symposium on Security and Privacy
Year
2009
DOI
10.1109/SP.2009.7
Output title
First Person Experience of Body Transfer in Virtual Reality
Output type
D - Journal article
Volume title
PLoS ONE
Year
2010
DOI
10.1371/journal.pone.0010564
First <
1 2 3 4 5 6
> Last
Showing outputs 51 - 100 of 261