Research Report - 2001
Current PhD Projects
Energy Systems
Craig Anthony Aumuller: Investigation into the Impact of Electricity System Requirements on the Design of Powerformers™
John Edwards: Magnetic Flux Based Transformer Model
Karl Primardi Mardira: Reliability of Metal Oxide Surge Arrester
John Douglas Fancourt McDonald: Investigations into the Design of PowerformerTM for optimal Generator and System Performance under Fault Conditions
Damien Sansom: Electricity Pool Price Forecasting by Modern Methods
Zheng Tong Yao: Accurate Interpretation and Modeling of Return Voltage Measurement for Predicting Useful Remaining Life of Aged Power Transformer
Distributed Systems Architecture
Sasitharan Balasubramaniam: Construction of Predictive Load Balancing Scheme for Distributed Web Servers
Nicole Dunlop: Dynamic Policy-Based Management in Open Distributed Environments
Karen Henricksen: A Framework for Context-Aware Pervasive Computing Applications
Nathan Robert Keynes: Programming Language Support for Pervasive Computing
David Roy Leonard: Visual Languages for Distributed System Development
Bruce McClure: Issues in Management of Bindings in Heterogeneous Defence Networks
Ricky Rakeeb Robinson: Resource Discovery in Pervasive Computing
Kai Leung Adam Wong: Distributed and Parallel Computing
Sensor Signal and Information Processing
Patrick Thomas Bellett: Transient Electromagnetic Sensor for Detection and Discrimination of Unexploded Ordnances (UXOs)
Richard Ian Davis: The Open-Ended Classifier Problem
Kim Hsin-Jung Lai: Super Fast Scanning Technique for Weather Radar Application
Nianjun Liu: Computer vision of Dynamic 2D & 3D Hand-arm Gesture Sequence Tracking & Recognition
Andrew James Mehnert: Advanced Techniques for the Classification of Image
Bryan Anthony Reeves: Monitoring Rock Slope Deformation by Radar
Martin Jeremy Robinson: Three-Dimensional Reconstruction of Highly Complex and Mobile Surrounds from Stereo Images and Image
Intelligent Systems
Scott William Bolland: Cognitive Science Applications in Robotics
Jean Zhu Chen: The Large Vocabulary Continuous Speech Recognition System of Mandarin Chinese
David Andrew Cook: Application of Risk of Death Estimates to Quality of Care Monitoring in the Intensive Care Unit
Michael John Neville: Determination of the point of Fixation of a Person's Gaze via Non-Intrusive Methods
Adelina Lai Toh Tang: An Artificial Intelligence Approach to Knowledge Management Ultilising Extensible Markup Language (XML) and Fuzzy Logic Methods
Bradley Tonkes: Inductive Bias of Simple Recurrent Networks
James Robert Watson: The Evolution of Cooperation
Kai Willadsen: Evolutionary Computation as an Optimisation Technique in the Domain of Embedded Cognition
Ian Andrew Wood: Fast Learning in Boltzmann Machines
Peta Wyeth: Electronic Blocks: Discovering Technology through Exploratory Learning
Communications
Vince Boros: An optical interconnection network for efficient processing on a dynamically reconfigurable heterogeneous multiprocessor system
Lidia Donskoi: Time Variant Signal Processing Algorithms in Telecommunication and Radar Systems
Salman Durrani: Signal processing Techniques for Smart Base Station Antennas
Januar Janapsatya: Reconfigurable Apertures
Atul Manojya Kuver: High-Speed Optical Interconnection, Routing and Signal Processing Using Vertical Cavity Surface Emitting Lasers
Novak Petrovic: Design and Optimization of a High-Speed Free-Space Optical Interconnect for the Optically Augmented Computer
Bruce Piper: Investigations into Fractal Antennas for RF Identification Tagging Systems
Richard Roy Taylor: Compact Multimode Band Pass Filters using Dielectric Resonators and High Temperature Superconducting Materials
Feng-Chi Eddie Tsai: Active Microstrip Antenna Arrays for Wireless Communications
Sustainable Energy
Justin Timothy Bray: Development of an Electric Vehicle Braking System to Implement Regenerative and Advanced Braking
Bradley John Byrne: The Development of A Drive-by-Wire System for Integration into an Electric Vehicle
David Andrew Finn: Integration and Optimisation of Power Electronics in Electric Vehicles
Matthew Campbell Greaves: High Level Integration of Components in Electric & Hybrid Vehicle Drive Trains to Reduce Cost & Improve
Paul Sernia: Integrated Multilevel Inverters for Modularised Electrical Power Sources
Andrew Gregory Simpson: System Analysis and Integration in Hybrid Vehicle
Information Environments
Salvatore Bucolo: Virtual Prototyping as a Design Tool for Consumer Product Design: A Comparative Analysis
Michael Joseph Di Stasio: The Artificial Conductor
David Lester Gilbert: The Use of Multimedia as an Adjunct to Design and Communication
Charles Herring: Viable Components
Natalie Helen Maree Jeremijenko: Physical Interfaces and Material Representation in Design or Computation
Daniel Johnson: Genetic Algorithms as a Development Tool for the Creation of Real-Time, Intelligent Virtual Beings
John Mansfield: Investigating the proposal that socio-technical systems should be viewed as co-evolving systems and that their design may be informed by this view
Benjamin Robert Matthews: Innovation in Engineering Design
Benjamin McGarry: Innovation and Generation in Engineering Design
Rolf Mitsdorffer: Machine Learning in the Capital Market, Rule Extraction from Cross-Industry and Computer Software
Blaize Alexander Rhodes: Presence, Awareness and a Process Trellis
Lesley Seebeck: The Co-Evolution of Information Technologies and their Host Systems
Amirudin Abdul Wahab: A Complex Systems Analysis of Malaysia's National Information Infrastructure (NII): Towards a New Model for Policy-Making
Wing-Fai Wong: Cooperative Buildings as Ambient Devices
Robotics
Gregg Douglas Buskey: Intelligent Autonomous Helicopter Control
Phillip Kin Fai Chan: Robotics and Learning
Mark Meng-Hsiang Chang: Communication Strategies for Multi-robot Teams
David Collins: Cerebellar modelling techniques for the control of a hunt and gather robot
Software Engineering
Robert John Colvin: Data Refinement and Data Types in the Refinement Calculus for Logic Programs
Geoffrey Foster: Hints, Help and Coaching - Aids to Effective Use of Computer Software
Christopher Hunter: Distributed Environments for the Development of High Integrity Software
Soon Kyeong Kim: Combining Graphical and Formal Specifications, and Develop a Tool to Demonstrate the Benefit of the Combination
Bradley Joseph Long: Testing Concurrent Java Classes
Craig Anthony Mann: A Practical Approach to the Integration of Formal Methods into an Object-Oriented Software Process Architecture
Jason McDonald: Generating test oracles from object-oriented formal specifications
Timothy Miller: Specification Animation and Software Testing
Janelle Pollard: Interface Design Issues Behind the Use of Computers as an Aid to Teaching Mathematics
Jamie Barry Shield: Towards an Object-Oriented Refinement Calculus
Richard Neil Thomas: Strategies for Migrating to Object Technology
Software Verification
Philip John Cook: Incremental Compilation in Language Based Environments
Leesa Margaret Murray: Lightweight Formal Methods for Embedded Software
Andrew John Rae: Automated Fault Tree Analysis for Computer Controlled Systems
Neil John Robinson: Understanding Specifications and Refinements through Visualisation Techniques
Information Systems
Andrew Devereux: Workflow Management for Scientific Data Processing
John Hugh Gilmore: Efficient Transaction Management in a Distributed Environment
Marta Indulska: Design & Maintenance of a Data Warehouse under Restricted Source Access
Ahmad Kayed: Database support for electronic commerce
Zhao Charles Li: Research on Problems in High Dimensional Similarity Join
Paul Francis O'Brien: Intelligent Agents for Commercial Internet Transactions
Alexander Worapol Pongpech: Workflow Enabled Flexible Learning
Sham Prasher: Query Processing in Spatial Databases using Scale-less Data Structures
Shazia Sadiq: Dynamic Workflows
Karsten Arno Schulz: Enabling Inter-Organizational Processes
Xingzhi Sun: Critical Database Administration
Stuart David Truffet: Investigation of Lazy Update Propagation in a Distributed System
Kai Xu: Spatial Data Warehousing and Data Mining of Large Scale Geographical Data
Biomedical Engineering
Jong Yong Abdiel Foo: Development of a Non-Invasive Monitoring System for Sleep Disordered Breathing in Children
Sheryn Leanne Gillin: 3D Models of Lumbar Spine Muscle Anatomy and Function using Segmented MR Images
Real-Time Systems
Stephen James Grundon: Real-time Refinement
Algorithm Design
Andrew Lindsay Janke: Cognition Driven Deformation Modelling
Julie Lindsay Lawrence: Algorithms for Combinatorial Designs
Software Maintenance
Colin John Kemp: Totally-Functional Programming
Ian Dugald MacColl: Extending the Test Template framework
David Ung: Dynamic Binary Translation
Barry Allan Wilks: Persistent Abstract Syntax trees for Software
Microelectronics
Frederick Chung Jeng Kong: Transient Effects in MOS Structures
Suhinder Singh: Technology and evaluation of Sub-30A Gate Dielectric Grown on Nitrogen Implanted Substrates for VLSI MosFets
Jing Yang: Measurement & Modelling of the Electrical Characteristics of MosFets with Oxynitride Gate Grown on a Nitrogen Implanted Channel Region
Digital Systems
Simon Ki Chung Leung: Field Programmable Gate Array with Increased Processing Power & Flexible Interconnections
Allan Robert Rae: Hardware Software Co-Design
Montserrat Beverley Ros: Rapid Design Space Exploration for System Level
Kenneth X Siu: Automation of Electronic Design for Driver Circuitry
Submitted PhD Theses
Don Ajantha Sanjeewa Atukorale: A Hybrid Learning System with a Hierarchical Architecture for Pattern Classification [Supervisor: Prof Tom Downs]
Andrew David Berry: Describing and Supporting Complex Interactions in Distributed Systems [Supervisor: Prof Simon Kaplan]
Brett Browning: Biologically Plausible Spatial Navigation for a Mobile Robot [Supervisor: Dr Gordon Wyeth]
Song Chen: Memory Optimization for Application Specific Processors and SIMD Computers [Supervisor: Dr Adam Postula]
Faith Choy: Performance Investigation of Multi-Element Antenna Terminals for Personal Communications: TDMA LEOS System Applications [Supervisor: Dr Mike Cherniakov]
Matthew John Gallagher:A Nomadic Computing Architecture for Open Distributed Computing [Supervisor: Dr Jaga Indulska]
Tony I-Chieh Han: SWASAD: Smith-Waterman-Algorithm-Specific ASIC [Supervisor: Dr Sri Parameswaran]
Che Ta Clement Hsu: Characterization of Hot-Carriers Induced Degradation in MOSFETS through Gate Capacitances Measurement at Room and Cryogenic Temperatures [Supervisor: A/Prof Tong Yeow]
Damian Grant Jones: Granolds: A Novel Method for Image Texture Analysis. With Application to the Detection of Malignancy Associated Changes in Pap Smears [Supervisor: Dr Paul Jackway]
Mei Po Mabel Lau: Characterization of Hot-Carrier Induced Degradation Via Small Signal Characteristics in MOSFETs [Supervisor: A/Prof Tong Yeow]
Ralf Maximilian Muhlberger: Data Management for Interoperable Systems [Supervisor: Prof Maria Orlowska]
Ian David Peake: Enabling Metalevel Support for Language Design and Implementation through Modular Parsers [Supervisor: Prof Paul Bailes]
Wasim Sadiq: On Verification Issues in Conceptual Modelling of Workflow Processes [Supervisor: Prof Maria Orlowska]
Hyok Jae Song: Spatial Power Combiners Using Transmit and Reflect [Supervisor: A/Prof Marek Bialkowski]
Peter Gregory Stratton: A Situated Cortical Model Exhibiting Attention, Learning and Memory; Implications for Cognition [Supervisor: Prof Tom Downs]
Ashley Desmond Tews: High Level Centralised Control Approaches for Multi-Robot Cooperation in Highly Dynamic Environments [Supervisor: Dr Gordon Wyeth]
Rong Wang: Optical Interconnects using Optoelectronic Arrays [Supervisor: Dr Marian Majewski]
Geoffrey Norman Watson: A Generic Proof Checker [Supervisor: Prof Jim Welsh]
Nicholas Peter Williams: The Morphing Architecture: Runtime Evolution of Distributed Systems [Supervisor: Dr Jaga Indulska]
Desmond Yau: Numerical Analysis of Coupling, Guiding and Radiation on Several Microwave Structures [Supervisor: Dr Glen Stickley]
<%@ include file="/include/footer.inc.jsp" %>