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: Queen Mary University of London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Queen Mary University of London

First <
1 2
Showing outputs 51 - 83 of 83
Output title
Predicting Project Velocity in XP Using a Learning Dynamic Bayesian ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2009
DOI
10.1109/TSE.2008.76
Output title
Probabilistic Model of Meetings That Combines Words and Discourse ...
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech, and Language Processing
Year
2008
DOI
10.1109/TASL.2008.925867
Output title
Probabilistic models of expectation violation predict psychophysiological ...
Output type
D - Journal article
Volume title
Cognitive, Affective, & Behavioral Neuroscience
Year
2013
DOI
10.3758/s13415-013-0161-y
Output title
Projective alignment of range and parallax data
Output type
E - Conference contribution
Volume title
Computer Vision and Pattern Recognition
Year
2011
DOI
10.1109/CVPR.2011.5995533
Output title
Quantifying Information Leakage of Randomized Protocols.
Output type
E - Conference contribution
Volume title
14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Year
2013
DOI
10.1007/978-3-642-35873-9_7
Output title
Quantifying information leaks in software.
Output type
E - Conference contribution
Volume title
Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010
Year
2010
DOI
10.1145/1920261.1920300
Output title
Re-identification by Relative Distance Comparison
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
DOI
10.1109/TPAMI.2012.138
Output title
Risk assessment of security threats for looping constructs.
Output type
D - Journal article
Volume title
Journal of Computer Security
Year
2010
DOI
10.3233/JCS-2010-0360
Output title
Scalable shape analysis for systems code
Output type
E - Conference contribution
Volume title
Computer Aided Verification, 20th International Conference, CAV
Year
2008
DOI
10.1007/978-3-540-70545-1_36
Output title
Selection functions, bar recursion and backward induction
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2010
DOI
10.1017/S0960129509990351
Output title
Sequential games and optimal strategies
Output type
D - Journal article
Volume title
Proceedings of the Royal Society A
Year
2011
DOI
10.1098/rspa.2010.0471
Output title
Social encounter networks: collective properties and disease ...
Output type
D - Journal article
Volume title
Journal of The Royal Society Interface
Year
2012
DOI
10.1098/rsif.2012.0357
Output title
Software Verification for Weak Memory via Program Transforma ...
Output type
E - Conference contribution
Volume title
Proceedings of 22nd European Symposium on Programming
Year
2013
DOI
10.1007/978-3-642-37036-6_28
Output title
Spectral clustering with eigenvector selection
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2008
DOI
10.1016/j.patcog.2007.07.023
Output title
Technological opportunities for supporting people with dementia ...
Output type
D - Journal article
Volume title
International Journal of Human Computer Studies
Year
2008
DOI
10.1016/j.ijhcs.2008.03.001
Output title
The benefits of formalising design guidelines: A case study on ...
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2013
DOI
10.1007/s11334-013-0200-4
Output title
The CALO Meeting Assistant System
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech, and Language Processing
Year
2010
DOI
10.1109/TASL.2009.2038810
Output title
The Distribution of Repair in Dialogue
Output type
E - Conference contribution
Volume title
33rd Annual Meeting of the Cognitive Science Society
Year
2011
DOI
Output title
The logical problem of language acquisition goes probabilistic: ...
Output type
D - Journal article
Volume title
Cognitive Science
Year
2010
DOI
10.1111/j.1551-6709.2010.01117.x
Output title
The Mind's Chorus: Creativity before Consciousness
Output type
D - Journal article
Volume title
Cognitive Computation
Year
2012
DOI
10.1007/s12559-012-9151-6
Output title
The probabilistic analysis of language acquisition: Theoretical, ...
Output type
D - Journal article
Volume title
Cognition
Year
2011
DOI
10.1016/j.cognition.2011.02.013
Output title
The role of expectation and probabilistic learning in auditory ...
Output type
D - Journal article
Volume title
Perception
Year
2010
DOI
10.1068/p6507
Output title
Thermodynamic aspects of confidentiality
Output type
D - Journal article
Volume title
Information and Computation
Year
2013
DOI
10.1016/j.ic.2013.03.006
Output title
Time-Delayed Correlation Analysis for Multi-Camera Activity ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2010
DOI
10.1007/s11263-010-0347-5
Output title
Tracking lexical and syntactic alignment in conversation.
Output type
E - Conference contribution
Volume title
32nd Annual Conference of the Cognitive Science Society
Year
2010
DOI
Output title
Tracking of pitch probabilities in congenital amusia
Output type
D - Journal article
Volume title
Neuropsychologia
Year
2012
DOI
10.1016/j.neuropsychologia.2012.02.034
Output title
Unsupervised Statistical Learning Underpins Computational, Behavioural ...
Output type
D - Journal article
Volume title
NeuroImage
Year
2010
DOI
10.1016/j.neuroimage.2009.12.019
Output title
Using PVS to support the analysis of distributed cognition s ...
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2013
DOI
10.1007/s11334-013-0202-2
Output title
Verification of interactive software for medical devices: PCA ...
Output type
E - Conference contribution
Volume title
Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13
Year
2013
DOI
10.1145/2480296.2480302
Output title
Verification-guided modelling of salience and cognitive load
Output type
D - Journal article
Volume title
Formal Aspects of Computing: applicable formal methods
Year
2009
DOI
10.1007/s00165-008-0102-7
Output title
Video behavior profiling for anomaly detection.
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2008
DOI
10.1109/TPAMI.2007.70731
Output title
Video Behaviour Mining Using a Dynamic Topic Model
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2012
DOI
10.1007/s11263-011-0510-7
Output title
Weighted Spectral Distribution for Internet Topology Analysis: ...
Output type
D - Journal article
Volume title
IEEE/ACM Transactions on Networking
Year
2010
DOI
10.1109/TNET.2009.2022369
First <
1 2
Showing outputs 51 - 83 of 83