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

Outputs (REF2)

11 - Computer Science and Informatics

University of Surrey

1 2
> Last
Showing outputs 1 - 50 of 78
Output title
"PhacoTracking" An Evolving Paradigm in Ophthalmic Surgical ...
Output type
D - Journal article
Volume title
JAMA Ophthalmology
Year
2013
DOI
10.1001/jamaophthalmol.2013.28
Output title
A Bayesian network model for the diagnosis of the caring procedure ...
Output type
D - Journal article
Volume title
Computer Methods and Programs in Biomedicine
Year
2009
DOI
10.1016/j.cmpb.2009.02.018
Output title
A computational platform for visual fear conditioning
Output type
E - Conference contribution
Volume title
IJCNN 2009. International Joint Conference on Neural Networks
Year
2009
DOI
10.1109/IJCNN.2009.5178718
Output title
A CSP Approach to Control in Event-B
Output type
E - Conference contribution
Volume title
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Year
2010
DOI
10.1007/978-3-642-16265-7_19
Output title
A Formal Framework for Modelling Coercion Resistance and Receipt ...
Output type
E - Conference contribution
Volume title
FM 2012: Formal Methods - 18th International Symposium, Paris, France Proceedings.
Year
2012
DOI
10.1007/978-3-642-32759-9_19
Output title
A Hierarchical Gene Regulatory Network for Adaptive Multirobot ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)
Year
2012
DOI
10.1109/TSMCB.2011.2178021
Output title
A Link Adaptive Transport Protocol for Multimedia Streaming Applications ...
Output type
D - Journal article
Volume title
Mobile Networks and Applications
Year
2008
DOI
10.1007/s11036-008-0057-1
Output title
A New Adaptive Line Enhancer Based on Singular Spectrum Anal ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2012
DOI
10.1109/TBME.2011.2173936
Output title
A New Spatiotemporal Filtering Method for Single-Trial Estimation ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2011
DOI
10.1109/TBME.2010.2083660
Output title
A Novel Least Distortion Linear Gain Model for Halftone Image ...
Output type
D - Journal article
Volume title
Transactions on Data Hiding and Multimedia Security IV
Year
2009
DOI
10.1007/978-3-642-01757-5_4
Output title
A novel non-redundant contourlet transform for robust image watermarking ...
Output type
E - Conference contribution
Volume title
5th International Conference on Visual Information Engineering (VIE 2008)
Year
2008
DOI
10.1049/cp:20080295
Output title
A Quaternion Widely Linear Adaptive Filter
Output type
D - Journal article
Volume title
IEEE Transactions on Signal Processing
Year
2010
DOI
10.1109/TSP.2010.2048323
Output title
A theoretical framework for multiple neural network systems
Output type
D - Journal article
Volume title
Neurocomputing
Year
2008
DOI
10.1016/j.neucom.2007.05.008
Output title
A True-Concurrent Interpretation of Behavioural Scenarios
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2009
DOI
10.1016/j.entcs.2009.03.023
Output title
A Unified Framework for Biometric Expert Fusion Incorporating ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
DOI
10.1109/TPAMI.2011.102
Output title
A user-specific and selective multimodal biometric fusion strategy ...
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2013
DOI
10.1016/j.patcog.2013.03.018
Output title
An animation tool for exploring transactions in a DE
Output type
E - Conference contribution
Volume title
Proceedings of IEEE DEST 2012
Year
2012
DOI
10.1109/DEST.2012.6227907
Output title
An Energy-Efficient Technique to Combat DOS Attacks in Delay ...
Output type
D - Journal article
Volume title
ICST Transactions on Ubiquitous Environments
Year
2012
DOI
10.4108/trans.ubienv.2012.e6
Output title
An integrated framework for checking the behaviour of fUML models ...
Output type
D - Journal article
Volume title
International Journal on Software Tools for Technology Transfer
Year
2012
DOI
10.1007/s10009-012-0243-0
Output title
An open digital environment to support business ecosystems
Output type
D - Journal article
Volume title
Peer-to-Peer Networking and Applications
Year
2009
DOI
10.1007/s12083-009-0039-5
Output title
An SBVR Editor with Highlighting and Auto-completion
Output type
E - Conference contribution
Volume title
Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium
Year
2011
DOI
Output title
Analysis, Improvement and Simplification of Prêt à Voter with ...
Output type
E - Conference contribution
Volume title
EVT '08 with the 17th USENIX Security Symposium (USENIX Security '08), July 28–August 1, 2008.
Year
2008
DOI
Output title
Applying CSP||B to Information Systems
Output type
D - Journal article
Volume title
Software & Systems Modeling
Year
2008
DOI
10.1007/s10270-007-0048-x
Output title
Approach-and-Roam (AaR): A Geographic Routing Scheme for Delay/Disruption ...
Output type
D - Journal article
Volume title
IEEE Transactions on Vehicular Technology
Year
2013
DOI
10.1109/TVT.2013.2272547
Output title
Audio-visual localization with hierarchical topographic maps: ...
Output type
D - Journal article
Volume title
Neurocomputing
Year
2012
DOI
10.1016/j.neucom.2012.05.015
Output title
Augmented second-order statistics of quaternion random signa ...
Output type
D - Journal article
Volume title
Signal Processing
Year
2011
DOI
10.1016/j.sigpro.2010.06.024
Output title
Automatic extraction of leaf characters from herbarium speci ...
Output type
D - Journal article
Volume title
TAXON
Year
2012
DOI
Output title
Automatic Generation of CSP || B Skeletons from xUML Models
Output type
E - Conference contribution
Volume title
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Year
2008
DOI
10.1007/978-3-540-85762-4_25
Output title
Automating Digital Leaf Measurement: The Tooth, the Whole Tooth, ...
Output type
D - Journal article
Volume title
PLoS ONE
Year
2012
DOI
10.1371/journal.pone.0042112
Output title
Bayesian Networks for the management of greenhouse gas emissions ...
Output type
D - Journal article
Volume title
Environmental Modelling & Software
Year
2012
DOI
10.1016/j.envsoft.2012.02.016
Output title
Benchmarking Quality-Dependent and Cost-Sensitive Score-Level ...
Output type
D - Journal article
Volume title
IEEE Transactions on Information Forensics and Security
Year
2009
DOI
10.1109/TIFS.2009.2034885
Output title
Blind Separation of Image Sources via Adaptive Dictionary Le ...
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2012
DOI
10.1109/TIP.2012.2187530
Output title
Breaking e-banking CAPTCHAs
Output type
E - Conference contribution
Volume title
Annual Computer Security Applications Conference (ACSAC) Dec. 6-10, 2010, Austin, Texas USA
Year
2010
DOI
10.1145/1920261.1920288
Output title
Changing system interfaces consistently: A new refinement strategy ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2011
DOI
10.1016/j.scico.2010.08.001
Output title
Classification of Distorted Patterns by Feed-Forward Spiking ...
Output type
D - Journal article
Volume title
Artificial Neural Networks and Machine Learning – ICANN 2012 Lecture Notes in Computer ScienceVolume
Year
2012
DOI
10.1007/978-3-642-33269-2_34
Output title
Converge-and-Diverge: A Geographic Routing for Delay/Disruption-Tolerant ...
Output type
D - Journal article
Volume title
IEEE Transactions on Vehicular Technology
Year
2013
DOI
10.1109/TVT.2013.2238958
Output title
Cryptanalysis of an Image Scrambling Scheme Without Bandwidth ...
Output type
D - Journal article
Volume title
IEEE Transactions on Circuits and Systems for Video Technology
Year
2008
DOI
10.1109/TCSVT.2008.918116
Output title
Defining and Model Checking Abstractions of Complex Railway Models ...
Output type
E - Conference contribution
Volume title
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Year
2013
DOI
10.1007/978-3-642-39611-3_20
Output title
Does Counting Still Count? Revisiting the Security of Counting ...
Output type
E - Conference contribution
Volume title
20th Network & Distributed System Security Symposium (NDSS 2013),
Year
2013
DOI
Output title
Fair Benchmarking for Cloud Computing systems
Output type
D - Journal article
Volume title
Journal of Cloud Computing: Advances, Systems and Applications
Year
2013
DOI
10.1186/2192-113X-2-6
Output title
Fragile Watermarking Based on Encoding of the Zeroes of the z- ...
Output type
D - Journal article
Volume title
IEEE Transactions on Information Forensics and Security
Year
2008
DOI
10.1109/TIFS.2008.926994
Output title
Generalizing Surrogate-Assisted Evolutionary Computation
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2010
DOI
10.1109/TEVC.2009.2027359
Output title
Generating SQL Queries from SBVR Rules
Output type
D - Journal article
Volume title
Semantic Web Rules Lecture Notes in Computer Science
Year
2010
DOI
10.1007/978-3-642-16289-3_12
Output title
Hierarchical Modeling and Adaptive Clustering for Real-Time Summarization ...
Output type
D - Journal article
Volume title
IEEE Transactions on Multimedia
Year
2009
DOI
10.1109/TMM.2009.2021782
Output title
Home curation versus teenage photography: Photo displays in the ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2009
DOI
10.1016/j.ijhcs.2009.09.005
Output title
Hybrid ACO and TOFA feature selection approach for text clas ...
Output type
E - Conference contribution
Volume title
IEEE Congress on Evolutionary Computation (CEC)
Year
2012
DOI
10.1109/CEC.2012.6252960
Output title
Image Forensics Using Generalised Benford's Law for Improving ...
Output type
D - Journal article
Volume title
International Journal of Digital Crime and Forensics
Year
2010
DOI
10.4018/jdcf.2010040101
Output title
Intellectual property escaped with the email? Press F1 for h ...
Output type
D - Journal article
Volume title
Journal of Information Assurance and Security
Year
2008
DOI
Output title
Learning Temporally Precise Spiking Patterns through Reward Modulated ...
Output type
D - Journal article
Volume title
Artificial Neural Networks and Machine Learning – ICANN 2013 Lecture Notes in Computer Science
Year
2013
DOI
10.1007/978-3-642-40728-4_32
Output title
Localizing Heart Sounds in Respiratory Signals Using Singular ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2011
DOI
10.1109/TBME.2011.2162728
1 2
> Last
Showing outputs 1 - 50 of 78