PhD Theses

Abberley, D. (1995) Connectionist Combination Of Evidence Sources In Automatic Speech Recognition
Abdel Kader, Y. (2007) A Performance Analysis of a Hybrid Relational-XML Approach To Store Partially-Structured Data
Abdel-Haleem, Y. (2007) Conditional Random Fields for Continuous Speech Recognition
Abouzakhar, N. (2005) Intelligent Agents-based Networks Security
Abulkhair, M. (2004) A Multilingual automate Web Usability Evaluation Agent
Achour, S. (1990) The Use Of Formal Description Techniques For The Design Of High Level Protocol Conversion
Addico, H. (2012) Towards a knowledge driven quality assessment of electronic healthcare records
Afshan, S. (2013) Search-Based Generation of Human Readable Test Data and Its Impact on Human Oracle Costs
Aguado, J. (2004) Conformance testing of Distributed Systems: an X-machine based approach
Aimetti, G. (2011) A Computational Model of Early Language Acquisition: A Data-Driven Approach Inspired by the Empiricist View of Cognitive Development
Aker, A. (2014) Entity Type Modelling for Multi-Document Summarization: Generating Descriptive Summaries of Geo-Located Entities
Al-Badawi, M. (2010) A Performance Evaluation of a New Bitmap-based XML Processing Approach
Al-Johar, B. (1999) A Portable Natural Language Interface from Arabic to SQL
Aletras, N. (2014) Interpreting Document Collections with Topic Models
Alghamdi, A. (1997) A Generic Information Architecture For A Metacase Environment
Al Ghamdi, M. (2015) Video Sequence Alignment
Alhelbawy, A.A.A. (2014) Collective approaches to named entity disambiguation
Alkhaldi, N. (2015) Blind image deconvolution using the sylvester matrix
Allan, J. D. (2009) Statistical and Structured Optimisation Methods for the Approximate GCD Problem
Allison, B. (2010) An Improved Hierarchial Bayesian Model of Language for Document Classification
Almelibari, A. (2015) Labelling Dynamic XML Documents: A GroupBased Approach
Alneami, A. (1996) Design And Implementation Of An English To Arabic Machine Translation (Meana Mt)
Alsaeedi, A. (2016) Improving Software Model Inference by Combining State Merging and Markov Models
Al-Shareef, S. (2015) Conversational Arabic Automatic Speech Recognition
Andrade Pacheco, R. (2015) Gaussian Processes for Spatiotemporal Modelling
Armstrong, A. (2016) Formal Analysis of Concurrent Programs
Arroyo Palacios, J. (2011) Real-Time Emotion Recognition, Adaptation and Interaction Using Physiological Signals
Askew, A. (2011) Robot Survival Strategies
Aswani, N. (2012) Designing a General Framework for Text Alignment: Case Studies with Two Asian Languages
Attard, C. (2016) Crowdsourcing Just in Time Knowledge at Workplace
Augenstein, I. (2016) Web Relation Extraction with Distant Supervision
Azad, A. (1994) Recognition Of Traffic Congestion Using Neural Networks
Barker, J. (1998) The relationship between speech perception and auditory organisation: Studies with spectrally reduced speech
Beeston, A. (2015) Perceptual compensation for reverberation in human listeners and machines
Belis, D. (2006) Behaviour-based techniques for the minimisation of the partitions in mobile ad hoc networks
Bell, A. (1998) Formal Computational Models Of Biological Systems
Benharrats, L. (1993) Deep And Qualitative Reasoning Experimenting With Qualitative Simulation
Bernardini, F. (2006) Membrane Systems for Molecular Computing and Biological Modelling
Bicak, M. (2011) Agent-based modelling of Decentralized Ant Behaviour Using High Performance Computing
BinSubaih, A. (2008) Creating a Virtual Training Environment for Traffic Accident Investigation for the Dubai Police Force
Bird, P. (2005) Unifying Programming Paradigms: Logic programming \& finite state automata
Birkinshaw, C. (1995) Engineering Communicative Distributed Safety-Critical
Bogdanov, K. (2000) Automated testing of Harels statecharts
Bontcheva, K. (2001) Generating Adaptive Hypertext
Borges Ferreira Gomes, V. (2016) Algebraic principles for program correctness tools
Boudour, O. (1992) Intelligent Matching Of Structured Objects: Application To Automatic Speech Recognition
Bozorgizadeh, M. (2013) Interaction of activation-repolarization coupling and restitution properties in human ventricular tissue
Brewster, C. (2008) Mind the Gap: Bridging from text to ontological Knowledge
Brown, G.J. (1992) Computational Auditory Scene Analysis: A Representational Approach
Brown, S. (1999) The Semantics of Database Query Languages
Bujang Masli, A.B. (2011) Refinement of Formal Specifications
Bunting, J. (2001) An Expert System Version of a Textbook of General Practice Medicine
Burkitt, M.A. (2012) Computational Modelling of Sperm Behaviour in a 3D Virtual Oviduct
Butters, J. (2012) Terminology Recognition in the Aerospace Domain
By, T. (2001) Tears in the Rain
Cachia, E. (1993) Methodologies To Overcome Problems In Automating Parallel System Implementation
Camargo, R. (2004) Mining the Evolutionary and Functional Relationships of Protein Hetrogenous Biological Databases
Cano Basave, A. (2013) Towards making sense of information in social streams
Carmichael, J. (2007) Introducing Objective Acoustic Metrics for the Frenchay Dysarthria Assessment Procedure
Carreira-Perpinan, M. (2001) Continuous latent variable models for dimensionality reduction and sequential data reconstruction
Carvalho, R. (2011) Automatic Annotation of Personal Photographs
Chakravarthy, A. (2011) Towards Cross Media Document Annotation
Chambers, C. (2000) Industrial Strength Techniques for the Development of Plc-Based Safety-Related Control and Protection Systems
Chambers, S. (2000) Applying X-machines in the Retrospective Testing of Software
Chantatub, W. (1995) The Integration Of Software Specification\_ Verification And Testing Techniques With Software Requirements And Design Processes
Chapman, SJ (2010) Similarity approaches for information integration
Chiu, F. (1994) Formal Specification Of VLSI
Chutimaskul, W. (1994) Data Engineering In Occam3
Clarke, S. (1991) Modelling And Evaluation Of The Human-Computer Interface
Clough, P. (2003) Measuring Text Reuse
Coakley, S. (2008) Formal Software Architecture for Agent-Based Modelling in Biology
Collier, R. (1998) Automatic Template Creation for Information Extraction
Conway, M. (2007) Approaches to Automatic Biographical Sentence Classification: An Empirical Study
Cooke, M. (1991) Modelling Auditory Processing And Organisation
Cooper, L. (1998) Physically Based Modelling Of Human Limbs
Cooper, M. (1987) Visual Occlusion And The Interpretation Of Ambiguous Pictures
Corbett, A. (2012) Agent-based Modelling of Transactive Memory Systems and Knowledge Processes in Agile versus Traditional Software Development Teams
Coy, A. (2008) Exploiting Primitive Grouping Constraints for Noise Robust Automatic Speech Recognition: Studies with Simultaneous Speech
Creer, S. (2010) Personalising Synthetic Voices for Individuals with Severe Speech Impairment
Croll, P. (1989) Configuring Occam Programs To Meet Real-Time Constraints In A Multitransputer Workstation
Cunningham, H. (2000) Software Architecture for Language Engineering
Cunningham, S. (2003) Modelling the recognition of band-pass filtered speech
Dahlan, N. (2000) An Interactive English-Malay Translation Tool for Monolinual Users
Dalli, A. (2011) Timeline Extraction From Hyperlinked Text Corpora
Damljanovic, D. (2011) Natural Language Interfaces to Conceptual Models
Dautov, R. (2016) EXCLAIM framework: a monitoring and analysis framework to support self-governance in Cloud Application Platforms
De geus, K. (1992) Visualization in radiotherapy planning
Dempster, G. (1995) A Large Scale Analysis Of The Acoustic-Phonetic Markers Of Speaker Sex
Derczynski, L. (2013) Determining the Types of Temporal Relations in Discourse
Dey, P. (2013) Visual Speech in Technology Enhanced Learning
Di Fabbrizio, G. (2013) Automatic Summarization of Opinions in Service and Product Reviews
Dinakenyane, O. (2014) SIQXC: Schema Independent Queryable XML Compression for Smartphones
Dingli, A. (2004) Annotating the Semantic Web
Dragomir, C. (2016) Formal verification of P systems
Duan, Z. (1996) Modelling Of Hybrid Systems
Dunning, T. (1998) Finding structure in text, genome and other symbolic sequences
Eastlick, M. (2006) Discrete Differential Geometry and an Application in Multiresolution Analysis
Edge, J. (2005) Techniques for the Synthesis of Visual Speech
Eggink, J. (2006) Instrument recognition and melody estimation in polyphonic music based on limited time-frequency representations
Elamvazuthi, C. (1995) The Evolution Of The Pcsc Methodology And Its Toolset
Elbedweihy, K. (2014) Effective, usable and learnable semantic search
Eleftherakis, G. (2003) Formal verification of x-machine models:Towards formal development of computer-based systems
El Malki, K. (1998) A novel approach to high quality voice using echo cancellation and silence detection
Esposito, U. (2016) Investigating connectivity in brain-like networks
Eriksson, R. (2004) Dynamic Environments: A free lunch for evolutionary algorithm life time adaptation?
Farooqi, N. (2013) Applying dynamic trust based access control to improve XML database security
Fernando, S. (2013) Enriching Lexical Knowledge Bases With Encyclopedic Relations
Fontenele Carvalho, Rodrigo (2008) Metadata goes where Metadata is: contextual networks in the photographic domain
Foster, S.D. (2010) A Compositional Semantic Theory for Service Composition
Fuller, M. (1993) Surface Reconstruction, Volume Rendering And Animation Techniques For Visualisation In Scientific Computing
Fusi, N. (2015) Probabilistic Latent Variable Models in Statistical Genomics
Gamito, M. (2008) Techniques for Stochastic Implicit Surface Modelling and Rendering
Gani, A. (2009) Intelligent Network Bandwith Control Using Reinforcement Learning Approach
Gerecke, U. (2001) Accuracy Reliability and Speed of SOM Ensemble Architectures for a Quick and Dirty Robot Localization Method
Gibson, M. T. (2009) Minimum Bayes Risk Acoustic Mofdel Estimation and Adaptation
Gill, L. (2013) A 3D Landscape Information Model
Godsmark, D. (1998) A Computational Model of the Perceptual Organisation of Polyphonic Music
Gonidis, F. (2016) A framework enabling the cross-platform development of service-based cloud applications
Gorisch, J. (2013) Matching Across Turns in Talk-In-Interaction: The Role of Prosody and Gesture
Goslin, J. (2002) A Comparison of Theoretical and Human Syllabification
Greenwood, M.A. (2006) Open-Domain Question Answering
Grondoudis, A. (2000) X-Machine based specification and design for testing of the CATV protocol
Gunnarsson, O. (2011) Sketching 3D faces
Gupta, S. (2010) Generating politeness for conversational systems aimed to teach English as a second language
Guthrie, DV (2008) Unsupervised Detection of Anomalous Text
Hall, P. (1992) Four New Algorithms For Visualisation
Hall, M. (2013) Improving Software Remodularisation
Hasan, M. (2011) The Computation of Multiple Roots of a Polynomial Using Structure Preservince Matrix Methods
Hatzis, A. (1999) Optical Logo-Therapy (OLT) Computer-Based Audio-Visual Feedback Using Interactive Displays for Speech Training
Hofe, R. (2011) Biometric Vocal Tract Modelling: An Artificial Speaker to Investigate the Energetics of Speech Production
Huang, F. (2005) Multi-Document Summarization with Latent Semantic Analysis
Huang, H. (1999) Interoperable Query Processing For Heterogeneous Applications In A Mixed Object And Relational Database Environment
Huang, L. (2007) Analysis and Quantification of Test First Programming
Hughes, A.J. (2010) DynamiTE: A 21st Century framework for concurrent component- based design
Hung, K. (1999) A Dynamic Business Object Architecture for Supporting Strategic Management Planning
Ipate, F. (1995) Theory Of X-Machines And Applications In Specification And Testing
Jabbari, Sanaz (2010) A Statistical Model of Lexical Context
Jackson, D. (2006) The Shortest Path is the One You Know: A behavioural\_ chemical and computational investigation of ant pheromone
Jacobsson, H. (2006) Rule Extraction from Recurrent Neural Networks
Javaid, M. (2011) An Empirical Framework for Verifying Swarm Based Systems
Josifovski, L. (2003) Robust Automatic Speech Recognition With Misssing and Unreliable Data
Kalaitzis, A. (2013) Learning with structured covariance matrices in linear Gaussian models
Karn, J. (2006) Empirical Software Engineering: Developing Behaviour and Preferences
Kempton, T. (2012) Machine-Assisted Phonemic Analysis
Khan, M. (2012) Natural Language Descriptions for Video Streams
Khosravi, H. (1999) Extracting Pragmatic Content From Email
King, N. (2008) Fast Variational Methods for Non-Gaussian Likelihoods
Kiran, M. (2010) Investigating the Coevolutionary Algorithm in Agent-Based Economic Systems
Kit, C. (2000) Unsupervised Lexical Learning as Inductive Inference
Kolluru, B. (2007) Processing Broadcast News: Classification\_ Summerisation and Evaluation
Koumpis, K. (2002) Automatic Voicemail Summarisation for Mobile Messaging
Krisanathamakul, T. (2005) Discriminant Training of Hidden Markov Model for Protein Classification
Krotov, A. (2001) Parsing with a Compacted Treebank Grammar
Kuah, A. (1996) An Object-Oriented Framework for CAD\_ CAE and Animation
Lao, X. (2011) Structured Matrix Methods For A Polynomial Root Solver Using Approximate Greatest Common Divisor Computations And Approximate Polynomial Factorisations
Laycock, G. (1992) The Theory And Practice Of Specification Based Software Testing
Lee, M. (1998) Belief\_ Rationality and Inference
Lewis Kelham, E. (2007) Multi-level Lax Logic Introducing Proof Terms for Handling Multiple Constraints
Li, H. (2007) A Machine Learning Approach to Filtering Spam E-Mail
Linaker, F. (2003) Unsupervised On-line Data Reduction for Memorisation and Learning in Mobile Robotics
Loftsson, H. (2008) Tagging and Parsing Icelandic Text
Loh, B. (1997) Incorporating Software Reuse Into A Parallel Case Environment
Lu, G. (2008) A New Environment-Aware Framework For The Research of Mobile Ad hoc Networks
Lu, Y-C (2010) Active hearing strategies for binautal sound localisation in azimuth and distance by mobile listerners
Lu, Y (2010) Production and perceptual analysis of speech produced in noise
Ma, Ning (2009) Informing Multisource Decoding in Robust Automatic Speech Recognition
Macias, F. (2004) Empirical Assessment of Extreme Programming
Maddock, S. (1998) An Investigation Of The Modelling-Animation Relationship In Computer Graphics
Maier, V. (2010) Temporal Episodic Memory Model: Towards Proactive Case-based Automatic Speech Recognition
Mairesse, F. (2008) Learning to Adapt in Dialogue Systems: Data-driven Models for Personality Recognition and Generation
Makin, S. (2006) The Role of Static and Dynamic F0 Cues in Concurrent Vowel Segregation
Malyala, S. (2016) Effect of Tissue Structure (and) Disease on Simulated Arrhythmias in the Human Heart
Mansour, A. (1998) A Framework For The Design Of A Medical Tutoring System For The Instruction Of Undergraduates In General Practice
Marriott, D. (1996) Analysis of Safety-Critical Parallel Software Systems
Martinez Lazalde, O.M. (2010) Analyzing and Evaluating the Use of Visemes in an Interpolative Synthesizer for Visual Speech
Mazumdar, S. (2013) Visualising Large Semantic Datasets
Mccarroll, N. (1995) Semantic Integrity Enforement In Parallel Datebase Machines
McMinn, P. (2005) Evolutionary Search for Test Data in the Presence of State Behaviour
Meredith, M. (2006) Adapting and Reconfiguring Human Motion Capture Data through the Application of Inverse Kinematics and Biomechanics-Based Optimisation
Mill, R. W. (2009) The Application of Auditory Signal Processing Principles to the Detection,Tracking and Association of Tonal Components in Sonar
Mitchell, B. (2004) Prepositional Phase Attachment using Machine Learning Algorithms
Momen, S. (2011) Design and Modelling of Decentralised Task Allocation Mechanisms In Groups of Mobile Agents
Moore, J. (2001) On the performance of unaligned packed encoding rules when applied to a non-optimised protocol specification
Morris, D. (1995) The Use Of Feed-Forward Back-Propagation Neural Network Models In Road Traffic Parameter Prediction
Mouratidis, H. (2004) A Security Oriented Approach in the Development of Multiagent Systems: Applied to the Management of the Health and Social Care Needs of Older People in England
Murray, P. (1993) Semantic Correctness In The Specification, Translation And Parallel Implementation Of Sql Queries
Nawab, R. (2012) Mono-lingual Paraphrased Text Reuse and Plagiarism Detection
Nike, M. (2000) Using Dataflow Algebra as a Specification Method
Nixon, P. (1994) The Paisley Specification Of Real-Time Occam Programs
North, S. (1980) Incremental Compliation in a Block Structured Environment
Norton, B. (2010) A Theory for Flow-Oriented Software Processes
Oates, R. (1991) Transaction Recovery Architectures For Parallel Database Machines
Ogunshile, E. K. A. (2011) A Machine with Class: A FRamework for Object Generation, Intergration and Language Authentication (FROGILA)
Opalach, A. (1996) Implicit Surfaces for Modelling and Character Animation
Paetzold, G. (2016) Lexical Simplification for Non-Native English Speakers
Parveen, S. (2003) Connectionist Approaches to the Deployment of Prior Knowledge for Improving Robustness in Automatic Speech Recognition
Pastra, E. (2005) Vision -- Language Integration: a Double-Grounding Case
Payne, D. (2010) Digitsation and 3D Shape analysis of drosophila sperm curves
Peersman, G. (2003) On the design and evaluation of a gateway architecture for the GSM Short Message Service
Pena Centeno, T. (2006) A Strategy for parameter specification in the Context of Discriminant Analysis
Peters, W. (2004) Detection and Characterization of Figurative Language Use WordNet
Petreska, I. (2013) Biologically inspired agents: A framework for formal modelling and simulation of agents with elementary spatial attributes
Pogson, M. (2007) Modelling the Intracellular NF-KB Signalling Pathway
Polifroni, JH (2008) Enabling Browsing in Interactive Systems
Poulsen, T. (2009) The use of computational simulations to investigate neural models of acoustic signalling and hearing
Preotiuc-Pietro, D. (2014) Temporal models of streaming social media data
Quickfall, C. (2016) Models of the Major Evolutionary Transitions
Rabehaja, M. (2014) Algebraic Verification of Probabilistic and Concurrent Systems
Rabhi, F. (1990) Designing A Parallel Graph Reduction Machine With Dynamic Granularity Control
Ramirez Idarraga, J. (2015) Optimal decision-making, plasticity and biases: A modelling study
Rathbone, K. (2000) Evolving Visually Guided Neural Network Robot Arm Controllers for Lifetime Learning
Refoufi, A. (1990) Design Of A Natural Language Interface Using User Models To Drive The Performance Of The System
Richmond, P. (2010) High performance agent based modelling on graphics card hardware
Roberts, A. (2012) Clinical Information Extraction: Lowering the Barrier
Rodriguez Mota, A. (2010) Towards extreme design
Roller, R. (2016) Detecting biomedical relations using distant supervision
Rout, D. (2015) A Ranking Approach to Summarising Twitter Home Timelines
Rowe, M. (2010) Disambiguating Identity Web References Using Social Data
Rudram, C. (2003) A method for generating test cases from UML for use with hyper-sequential programming
Salahuddin, Sarah (2009) Analysing the Impact of Change on Finite State Machine Test Sets
Salas Zuniga, M. (2010) Extracting skull faced models from MRI datasets for use in Craniofacial reconstruction
Samani, A. (2006) Automatic Face Recognition Using Stereo Images
Sanchez, M. (2006) Techniques for Performance-based\_ real-time Facial Animation
Sardjono, W. (2005) A Hybrid Approach for Partitioning Distributed Object Applications
Sdralia, V. (2002) Fault Recovery of Broadband Cable Networks
Setzer, A. (2002) Temporal information in newswrite articles: An annotation scheme and corpus study
Shou, X. (2000) Handling Collaborative Diagram Databases on the WWW
Simons, A. (1995) A Language with Class: the Theory of Classification Exemplified in an Object-Oriented Language
Song, X. (2016) Training Machine Translation for Human Acceptability
Stamatopoulou, I. (2008) A Formal Framework for the Modelling of Multi-Agent Systems with Dynamic Structure
Stannett, M. (1986) Internal Topology
Steinacher, A. (2012) Self-Organisation of Auxin Transport in Plant Cells
Stergiou, I. (1999) Novel Computer-Network Traffic Modelling Techniques for Analysis and Simulation
Subahi, A. (2015) A Business-User Model-Driven Engineering Method for Developing Information Systems
Suwannaroj, S. (2005) Mining Biological Literature
Swampillai, K.B. (2012) Information Extraction Across Sentences
Syed-Abdullah, S. (2005) Empirical Study on Extreme Programming
Tablan, V.M. (2010) Toward Portable Information Extraction
Teece, D. (1998) Three-Dimensional Interactive Non-Photorealistic Rendering
Thomson, C. (2007) Defining and Describing Change Events in Software Development Projects
Tomkins, A. (2015) Action selection in the straitum; implications for Huntingtons disease
Tucker, S. (2004) An ecological approach to the classification of transient underwater acoustic events: Perceptual experiments and auditory models
Unwalla, M. (1993) A Mixed Transaction Cost Model For Coarse Grained Multi-Column Partitioning In A Shared-Nothing Database Machine
Uribe, D. (2004) LEEP: Learning Event Extraction Patterns
Vanak, S. (2002) Complete functional testing of VHDL descriptions
Varga, A. (2014) Exploiting Domain Knowledge for Cross-domain Text Classification in Heterogeneous Data Sources
Varma, S. (2010) Hybrid Hierarchical Computational Models Of Cardiac Cells And Tissues
Vella, J. (2014) An object-oriented data and query model
Waithe, S. (1994) A Concurrency Control Architecture For Scalable Massively Parallel Shared-Nothing Database Machines
Walton, M. (1998) First-Order Lax Logic: A Framework For Abstraction Constraints And Refinement
Warburton, M. (2015) Physically based forehead modelling and animation including wrinkles
Wan, V. (2003) Speaker Verification using support vector machines discriminative methods for speech recognition
Weatherley, S. (1999) A Meta-Modelling Environment for a Metacase Tool
Webb, N. (2010) Cue-based dialogue act classification
Williams, G. (1999) Knowing What You Dont Know: Roles for Confidence Measures in Automatics Speech Recognition
Woods, P. (1999) Cognitive Schemas for Chinese Noun Classifiers: A Corpus-Based Investigation
Wright, C. (2016) Mutation Analysis of Relational Database Schemas
Wrigley, S. N. (2002) A Theory and Computational Model of Auditory Selective Attention
Yang, N. (2013) Structured Matrix Methods for Computations on Bernstein Basis Polynomials
Yankova, M. (2010) Terms: Text Extraction From Redundant And Multiple Sources
Yap, C. (1999) Visual-Z: A Methodology and Environment for Developing Visual Formal Z Specifications
Yap, Chern Nam (2008) Real Time Application Roaming Performance Over Wireless Local Area Network (IEE 802.11)
Yu, L. (2010) Production and perceptual analysis of speech produced in noise
Zhang, J. (2013) Contextual Recognition of Robot Emotions
Zhang, Z. (2013) Named entity recognition - challenges in document annotation, gazetteer construction and disambiguation
Ziemke, T. (2000) Situated Neuro-Robotics and Interactive Cognition