PhD Theses
A list of theses completed by PhD students in the Department of Computer Science.
- Abbasi, M. (2017) Simulating the Effect of Global Cardiac Ischaemia on the Dynamics of Ventricular Arrhythmias in the Human Heart
- 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
- Alamri, A. (2016) The Detection of Contradictory Claims in Biomedical Abstracts
- Al-Badawi, M. (2010) A Performance Evaluation of a New Bitmap-based XML Processing Approach
- Al Dabel, M. (2017) Intelligibility model optimisation approaches for speech pre-enhancement
- 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
- Alghamdi, N. (2018) Visual Speech Enhancement and its Application in Speech Perception Training
- Alharbi, G. (2017) Metadiscourse Tagging in Academic Lectures
- Alharbi, N. (2018) Describing Human Activities in Video Streams
- Alharbi, S. (2019) Automatic Framework to Aid Therapists to Diagnose Children who Stutter
- Alhelbawy, A.A.A. (2014) Collective approaches to named entity disambiguation
- Al-Johar, B. (1999) A Portable Natural Language Interface from Arabic to SQL
- Alkhaldi, N. (2015) Blind image deconvolution using the sylvester matrix
- Al Khazraji, S. (2017) A Labelling Technique Comparison for Indexing Large XML Database (MPhil)
- 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
- Alsubai, S. (2018) Child Prime Label Approaches to Evaluate XML Structured Queries
- Al Zadjali, H. (2017) Compressing Labels of Dynamic XML Data using Base-9 Scheme and Fibonacci Encoding
- Aminuddin, R. (2019) An exploration of factors influencing human responses to short term interaction with a pet robot, and its effects on acute stress
- 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
- Bakir, M. (2018) Automatic Selection of Statistical Model Checkers for Analysis of Biological Models
- Barker, J. (1998) The relationship between speech perception and auditory organisation: Studies with spectrally reduced speech
- Beck, D. (2017) Gaussian Processes for Text Regression
- 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
- Bitvai, Z. (2018) Predicting Financial Markets using Text on the Web
- 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
- Bourne, M. (2018) Structure-Preserving Matrix Methods for Computations on Univariate and Bivariate Bernstein Polynomials
- 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
- Casanueva, I. (2017) Personalised Dialogue Management for Users with Speech Disorders
- 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
- Cotterill, R. (2017) Identifying Stylometric Correlates of Social Power
- Covantes Osuna, E. (2019) Theoretical and Empirical Evaluation of Diversity-preserving Mechanisms in Evolutionary Algorithms: On the Rigorous Runtime Analysis of Diversity-preserving Mechanisms in Evolutionary Algorithms
- 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
- Daka, E. (2018) Improving Readability in Automatic Unit Test Generation
- 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
- Dewdney, N. (2018) Detecting New, Informative Propositions in Social Media
- 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
- Doulaty Bashkand, M. (2017) Methods for Addressing Data Diversity in Automatic Speech Recognition
- 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?
- Evaristo Scarton, C. (2017) Document-Level Machine Translation Quality Estimation
- 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
- Gehring, T. (2018) Automated classification of behavioural and electrophysiological data in Neuroscience
- 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
- Halawani, H. (2018) Blind Image Deconvolution using Approximate Greatest Common Divisor and Approximate Polynomial Factorisation
- 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
- Karmakharm, T. (2018) Agent-based Pedestrian Simulation on GPUs for use in Decision Support Systems
- 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
- Kourtesis, D. (2017) Policy-Driven Governance in Cloud Service Ecosystems
- 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
- Kurdi, O. (2017) Crowd Modelling and Simulation
- 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
- Liu, Y. (2017) Distant Speech Recognition of Natural Spontaneous Multi-party Conversations
- Loftsson, H. (2008) Tagging and Parsing Icelandic Text
- Logacheva, V. (2017) Human Feedback in Statistical Machine Translation
- Loh, B. (1997) Incorporating Software Reuse Into A Parallel Case Environment
- Loweimi, E. (2018) Robust Phase-based Speech Signal Processing From Source-Filter Separation to Model-Based Robust ASR
- 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
- Lukasik, M (2018) Probabilistic Modeling of Rumour Stance and Popularity in Social Media
- 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
- McClure, M. (2018) Automatically Explaining Literature Based Discoveries
- McMinn, P. (2005) Evolutionary Search for Test Data in the Presence of State Behaviour
- Meah, L. (2018) Decision-Making and Action Selection in Honeybees: a Theoretical and Experimental Study
- Medeiros de Campos, J. (2018) Search-based Unit Test Generation for Evolving Software
- 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
- Milner, R. (2017) Using Deep Neural Networks for Speaker Diarisation
- Mirheidari, B. (2019) Detecting early signs of dementia in conversation
- Mitchell, B. (2004) Prepositional Phase Attachment using Machine Learning Algorithms
- Mohamad Nazry, N. (2017) Procedural Learning in Virtual Environments and Serious Games
- Mokaram Ghotoorlar, S. (2017) Deriving and Exploiting Situational Information in Speech: Investigations in a Simulated Search and Rescue Scenario
- 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
- Onyenwe, I. (2017) Developing Methods and Resources for Automated Processing of the African Language Igbo
- 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
- Pastore, A. (2019) Individual decision making, reinforcement learning and myopic behaviour
- 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
- Perez Diaz, F. (2017) Firefly-Inspired Synchronization in Swarms of Mobile Agents
- Perez Heredia, J. (2018) A Computational View on Natural Evolution: On the Rigorous Analysis of the Speed of Adaptation
- 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
- Pireva, K. (2019) Cloud eLearning - Personalisation of learning using resources from the Cloud
- 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
- Rahman, M. (2018) Gaussian Process in Computational Biology: Covariance Functions for Transcriptomics
- 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
- Rousis, K. (2017) Disciplined Exploitation of Emergent Properties (MPhil)
- 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
- Sanchan, N. (2018) Domain-Focused Summarization of Polarized Debates
- Sanchez, M. (2006) Techniques for Performance-based\_ real-time Facial Animation
- Sardjono, W. (2005) A Hybrid Approach for Partitioning Distributed Object Applications
- Sari, Y. (2018) Neural and Non-neural Approaches to Authorship Attribution
- Saul, A. (2017) Gaussian Process Based Approaches for Survival Analysis
- Sdralia, V. (2002) Fault Recovery of Broadband Cable Networks
- Setzer, A. (2002) Temporal information in newswrite articles: An annotation scheme and corpus study
- Shamshiri, S. (2017) Automated Unit Testing of Evolving Software
- 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
- Sim Smith, K. (2018) Coherence in Machine Translation
- Siregar, M. (2017) Support for Model Checking Z Specifications
- 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
- Walsh, T. (2018) Automatic Identification of Presentation Failures in Responsive Web Pages
- 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
- Zwiessele, M. (2017) Bringing Models to the Domain: Deploying Gaussian Processes in the Biological Sciences