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: Middlesex University » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Middlesex University

1 2 3 4 5
> Last
Showing outputs 1 - 50 of 212
Output title
3D CBIR with sparse coding for image-guided neurosurgery
Output type
D - Journal article
Volume title
Signal Processing
Year
2013
DOI
10.1016/j.sigpro.2012.10.020
Output title
6LoWPAN: a study on QoS security threats and countermeasures ...
Output type
D - Journal article
Volume title
International Journal of Communication Systems
Year
2012
DOI
10.1002/dac.2356
Output title
A 3-DOF MR-Compatible Device for Magic Angle Related <emphasis ...
Output type
D - Journal article
Volume title
IEEE/ASME Transactions on Mechatronics
Year
2008
DOI
10.1109/TMECH.2008.924109
Output title
A comparison study of electrodes for neonate electrical impedance ...
Output type
D - Journal article
Volume title
Physiological Measurement
Year
2009
DOI
10.1088/0967-3334/30/6/S05
Output title
A cooperative particle swarm optimizer with statistical variable ...
Output type
D - Journal article
Volume title
Information Sciences
Year
2012
DOI
10.1016/j.ins.2011.09.033
Output title
A cross layer rate adaptation solution for IEEE 802.11 netwo ...
Output type
D - Journal article
Volume title
Computer Communications
Year
2008
DOI
10.1016/j.comcom.2008.01.035
Output title
A Fast Approach to Segmentation of PET Brain Images for Extraction ...
Output type
E - Conference contribution
Volume title
Medical Imaging and Informatics Lecture Notes in Computer Science Volume 4987
Year
2008
DOI
10.1007/978-3-540-79490-5_25
Output title
A Formally Verified Device Authentication Protocol Using Cas ...
Output type
E - Conference contribution
Volume title
Trust, Security and Privacy in Computing and Communications (TrustCom), 2012 IEEE 11th International Conference on
Year
2012
DOI
10.1109/TrustCom.2012.27
Output title
A framework for evaluating the usability of mobile phones based ...
Output type
D - Journal article
Volume title
Interacting with Computers
Year
2009
DOI
10.1016/j.intcom.2009.05.006
Output title
A Framework for Reasoning on Component Composition
Output type
E - Conference contribution
Volume title
Formal Methods for Components and Objects
Year
2010
DOI
10.1007/978-3-642-17071-3_1
Output title
A grounded theory approach towards conceptualizing CIS for heterogeneous ...
Output type
E - Conference contribution
Volume title
HCI 2009 – People and Computers XXIII – Celebrating people and technology
Year
2009
DOI
Output title
A hybrid approach to minimize state space explosion problem for ...
Output type
D - Journal article
Volume title
Journal of Network and Computer Applications
Year
2013
DOI
10.1016/j.jnca.2012.10.006
Output title
A local search heuristic for bounded-degree minimum spanning ...
Output type
D - Journal article
Volume title
Engineering Optimization
Year
2008
DOI
10.1080/03052150802317440
Output title
A MIXTURE MODEL CLASSIFIER AND ITS APPLICATION ON THE BIOMEDICAL ...
Output type
D - Journal article
Volume title
Applied Artificial Intelligence
Year
2012
DOI
10.1080/08839514.2012.687665
Output title
A modal type theory for formalizing trusted communications
Output type
D - Journal article
Volume title
Journal of Applied Logic
Year
2012
DOI
10.1016/j.jal.2011.12.002
Output title
A Modular Approach to MRI-Compatible Robotics
Output type
D - Journal article
Volume title
IEEE Engineering in Medicine and Biology Magazine
Year
2008
DOI
10.1109/EMB.2007.910260
Output title
A multi-resolution surface distance model for k-NN query pro ...
Output type
D - Journal article
Volume title
The VLDB Journal
Year
2007
DOI
10.1007/s00778-007-0053-2
Output title
A policy-based publish/subscribe middleware for sense-and-react ...
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2011
DOI
10.1016/j.jss.2010.10.023
Output title
A Pong playing agent modelled with massively overlapping cell ...
Output type
D - Journal article
Volume title
Neurocomputing
Year
2010
DOI
10.1016/j.neucom.2010.07.013
Output title
A psycholinguistic model of natural language parsing implemented ...
Output type
D - Journal article
Volume title
Cognitive Neurodynamics
Year
2009
DOI
10.1007/s11571-009-9080-6
Output title
A quickly convergent continuous ant colony optimization algorithm ...
Output type
D - Journal article
Volume title
Applied Mathematics and Computation
Year
2011
DOI
10.1016/j.amc.2011.06.065
Output title
A Semi-lattice Model for Multi-lateral Security
Output type
E - Conference contribution
Volume title
Data Privacy Management and Autonomous Spontaneous Security Lecture Notes in Computer Science Volume 7731
Year
2013
DOI
10.1007/978-3-642-35890-6_9
Output title
A Taxonomy of Errors for Information Systems
Output type
D - Journal article
Volume title
Minds and Machines
Year
2013
DOI
10.1007/s11023-013-9307-5
Output title
A Tetrachotomy for Positive First-Order Logic without Equali ...
Output type
E - Conference contribution
Volume title
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on
Year
2011
DOI
10.1109/LICS.2011.27
Output title
A theoretical and empirical study of EFSM dependence
Output type
E - Conference contribution
Volume title
2009 IEEE International Conference on Software Maintenance
Year
2009
DOI
10.1109/ICSM.2009.5306309
Output title
Admission of QoS aware users in a smart network
Output type
D - Journal article
Volume title
ACM Transactions on Autonomous and Adaptive Systems
Year
2008
DOI
10.1145/1342171.1342175
Output title
Advanced Hough Transform Using A Multilayer Fractional Fourier ...
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2010
DOI
10.1109/TIP.2010.2042102
Output title
Advanced Radon transform using generalized interpolated Fourier ...
Output type
D - Journal article
Volume title
Computer Vision and Image Understanding
Year
2011
DOI
10.1016/j.cviu.2010.11.009
Output title
Amorphous Slicing of Extended Finite State Machines
Output type
D - Journal article
Volume title
IEEE Computer Society
Year
2012
DOI
10.1109/TSE.2012.72
Output title
An argument-based approach to reasoning with clinical knowle ...
Output type
D - Journal article
Volume title
International Journal of Approximate Reasoning
Year
2009
DOI
10.1016/j.ijar.2009.06.015
Output title
An epistemic logic for becoming informed
Output type
D - Journal article
Volume title
Synthese
Year
2008
DOI
10.1007/s11229-008-9413-8
Output title
Analysing the Playground: Sensitizing Concepts to Inform Systems ...
Output type
E - Conference contribution
Volume title
Human-Computer Interaction – INTERACT 2011
Year
2011
DOI
10.1007/978-3-642-23774-4_38
Output title
Analysis of DVB-H Network Coverage With the Application of Transmit ...
Output type
D - Journal article
Volume title
IEEE Transactions on Broadcasting
Year
2008
DOI
10.1109/TBC.2008.2002165
Output title
Approximate solution for two stage open networks with Markov-modulated ...
Output type
D - Journal article
Volume title
Journal of Computational and Applied Mathematics
Year
2009
DOI
10.1016/j.cam.2008.02.009
Output title
Approximating the set of local minima in partial RNA folding ...
Output type
D - Journal article
Volume title
BioInformatics
Year
2011
DOI
10.1093/bioinformatics/btr715
Output title
ASPfun : A typed functional active object calculus
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2012
DOI
10.1016/j.scico.2010.12.008
Output title
Automatic verification of competitive stochastic systems
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2013
DOI
10.1007/s10703-013-0183-7
Output title
Bandwidth Prediction based on Nu-Support Vector Regression and ...
Output type
D - Journal article
Volume title
International Journal of Computational Intelligence Systems
Year
2010
DOI
10.2991/ijcis.2010.3.1.7
Output title
Bat algorithm for topology optimization in microelectronic a ...
Output type
E - Conference contribution
Volume title
2012 International Conference on Future Generation Communication Technology
Year
2012
DOI
10.1109/FGCT.2012.6476566
Output title
Bat algorithm: a novel approach for global engineering optim ...
Output type
D - Journal article
Volume title
Engineering Computations
Year
2012
DOI
10.1108/02644401211235834
Output title
Bounds of optimal learning
Output type
E - Conference contribution
Volume title
IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning, 2009. ADPRL '09.
Year
2009
DOI
10.1109/ADPRL.2009.4927545
Output title
Breath control of amusement rides
Output type
E - Conference contribution
Volume title
Proceedings of the 2011 annual conference on Human factors in computing systems 
Year
2011
DOI
10.1145/1978942.1978955
Output title
Cardiac Motion Reconstruction Using LKT Algorithm from 2D and ...
Output type
E - Conference contribution
Volume title
IPCV2013, volume I & II.
Year
2013
DOI
Output title
Carnivorous domestic entertainment robots
Output type
E - Conference contribution
Volume title
TEI '09 Proceedings of the 3rd International Conference on Tangible and Embedded Interaction
Year
2009
DOI
10.1145/1517664.1517696
Output title
Collaborative tele-rehabilitation and robot-mediated therapy ...
Output type
D - Journal article
Volume title
Intelligent Service Robotics
Year
2008
DOI
10.1007/s11370-007-0010-3
Output title
Colour Space Effect on Tracking in Video Surveillance
Output type
D - Journal article
Volume title
International Journal on Electrical Engineering and Informatics
Year
2010
DOI
Output title
Colour Vision Model-Based Approach for Segmentation of Traffic ...
Output type
E - Conference contribution
Volume title
EURASIP Journal on Image and Video Processing
Year
2008
DOI
10.1155/2008/386705
Output title
Combinatorial landscape analysis for k-SAT instances
Output type
E - Conference contribution
Volume title
IEEE Congress on Evolutionary Computation
Year
2008
DOI
10.1109/CEC.2008.4631133
Output title
Conceptual misfits in e-mail-based current-awareness interac ...
Output type
D - Journal article
Volume title
Journal of Documentation
Year
2011
DOI
10.1108/00220411111105443
Output title
Considering something ‘ELSE’: Ethical, legal and socio-economic ...
Output type
D - Journal article
Volume title
Computer Methods and Programs in Biomedicine
Year
2008
DOI
10.1016/j.cmpb.2008.06.001
1 2 3 4 5
> Last
Showing outputs 1 - 50 of 212