Thesis

CSE Thesis Topics

Search in Topic Id, Title, Supervisor, Description, Type and Topic Area

 

Sorted by Supervisor name. If you want to sort it differently, click on the heading of the field you want to sort by.
Click on the topic title to get more details about that topic.

341 records found.

Reports
Available		 Topic ID Title Supervisor Type
41 Web Services Security Analysis and Management Tool. Boualem Benatallah R & D
279 Integrated visualisation of gene networks and microarray data Bruno Gaeta Development
290 iPhone Application Development Wayne Wobcke Development
306 Robots for Urban Search and Rescue Claude Sammut R & D
338 Bioacoustic Data Mining Andrew Taylor R & D
473 When and how to use animation: Connecting human minds to computers. Nadine Marcus Research
580 Modified Computer Architecture Sri Parameswaran R & D
674 Web-based Survey System John Shepherd R & D
847 Development of a CellML Editor for Biological Models Socrates Dokos Development
870 Game AI: Reasoning about space Malcolm Ryan Research
918 Bacterial evolution: modelling the dynamics of antibiotic resistance Mark Tanaka Research
935 Stereo Vision for a Humanoid Robot Claude Sammut Research
1074 Understanding and Improving Operational Processes in Large-scale Distributed Systems Liming Zhu R & D
1082 Use of an FPGA for wireless communications and real-time image processing in a bionic eye implant Nigel Lovell R & D
1104 Implementing processor cores on FPGAs Sri Parameswaran R & D
1135 Service Oriented Architecture for e-Business Standards Liming Zhu R & D
1140 Architecture for Ultra-Large-Scale (ULS) Systems Liming Zhu R & D
1215 Using Speech to Play Games Maurice Pagnucco R & D
1251 Interactive Research Area Tracker and Visualiser Helen Hye-Young Paik R & D
1262 Software for design of PCR primers to detect variation Bruno Gaeta Development
1278 Business-Driven IT Management of Web Services, Cloud Computing Systems, and Business Processes Vladimir Tosic R & D
1280 Software Tools for Business-Driven IT Management Vladimir Tosic Development
1457 Cognitive vision Maurice Pagnucco R & D
1467 Modelling Musical Improvisation Mike Bain Research
1472 Towards End-User Service Composition Platform Helen Hye-Young Paik R & D
1473 Towards Personal Process Management Helen Hye-Young Paik R & D
2707 RoboCup Standard League Maurice Pagnucco R & D
2721 Molecular Systems Biology Mike Bain Research
2869 Bioinformatic analysis of glycosaminoglycan structures. John Whitelock R & D
2919 Game Design Project Malcolm Ryan Development
2925 Using Mobile Phones in Lectures for Interactive Learning Salil Kanhere R & D
2968 Bioinformatic analysis of low molecular weight heparin John Whitelock R & D
2982 Co-ordinating Multiple Cognitive Robotic Agents Maurice Pagnucco R & D
2992 Use of machine learning to track cell motion and division by video microscopy Robert Nordon Research
2993 On-chip network support for reconfigurable computing Oliver Diessel R & D
3007 Multi-instance Learning for Prediction of Days in Hospital Alan Blair R & D
3017 Secure Web Server on SeL4 Kevin Elphinstone R & D
3031 Managing Your Social Network Profile Helen Hye-Young Paik R & D
3037 Applications of adaptive averages Aleksandar Ignjatovic R & D
3054 Automatic Web Services Mashup using goal-based and context information Helen Hye-Young Paik R & D
3056 AJAX-based Process and Service Mashup Liming Zhu R & D
3059 Cloud Service Provisioning Rajiv Ranjan R & D
3062 UNSW Course Advisor John Shepherd R & D
3070 On customization of Embedded Systems Hui Annie Guo R & D
3071 Reliable Device Driver Framework for Linux Leonid Ryzhyk R & D
3075 Appearance-based re-identification of objects in video Jian Zhang R & D
3076 Multimedia Search and Mining Jian Zhang R & D
3077 Information Extraction from Seminar Notices John Shepherd R & D
3086 VM models and optimisations in seL4 Kevin Elphinstone R & D
3096 FALL AND ACTIVITY MONITORING VIA TECHNOLOGY Sri Parameswaran R & D
3097 Concomitance based webpage classification for financial systems Sri Parameswaran R & D
3100 Hardware virtualisation support for seL4 Kevin Elphinstone Research
3117 People to People Recommendation in Social Networks Xiongcai Cai R & D
3123 Simulating Cities Andrew Taylor R & D
3129 Measurement Tools for Evaluating Mobile Network Performance Salil Kanhere R & D
3145 A System to Assist with Teaching Allocation John Shepherd Development
3154 Game Design: Procedural Level Generation Malcolm Ryan Research
3183 Applying Tracking to Improve Game Interaction Malcolm Ryan
3201 Development of methods for analysing next generation genome sequencing data Ruiting Lan R & D
3215 Formal functional specification of security critical component in Isabelle/HOL June Andronick Research
3230 3D Mesh Visualization for Modelling Anatomical Surfaces Socrates Dokos Development
3232 Automated Legacy Code Partitioning for Embedded Systems Jude Angelo Ambrose R & D
3234 FPGA implementation of ASIP Processors Jude Angelo Ambrose R & D
3235 Phenotype Prediction with Models of Cellular Systems Mike Bain Research
3237 New tools for the Glycosuite database Marc Wilkins Development
3239 Space-based applications for FPGA technology Oliver Diessel R & D
3243 Lifestyle Search and Recommendation System Wayne Wobcke R & D
3256 A New Handbook for UNSW John Shepherd R & D
3262 Unobtrusive fall detection at home using the Microsoft Kinect device Stephen Redmond Research
3272 Design of Synthetic Aperture Radar (SAR) Application Specific Instruction Set Processor (ASIP) Ediz Cetin R & D
3291 Deep sequencing analysis of the early infection phase of hepatitis C virus Fabio Luciani R & D
3292 Systems Biology Project Marc Wilkins Research
3303 A User-Driven Environment for Financial Data Analysis Workflows Fethi Rabhi R & D
3305 QuickCheck for security definitions Kai Engelhardt R & D
3306 Identification and resolution of issues in systems security Kai Engelhardt R & D
3307 Formalising GHC's Type System Manuel Chakravarty R & D
3308 Bioinformatic analyses of the gene for perlecan (HSPG2) to investigate novel messenger RNA splicing events John Whitelock Research
3313 Genome assembly and annotation Marc Wilkins Research
3314 Automated Test Generation with Static Analysis Ralf Huuck R & D
3320 Graph-oriented Interaction Mining Mike Bain R & D
3326 A device model for seL4 Kevin Elphinstone R & D
3327 Variation in Automated Improvisation Mike Bain Research
3328 Incremental Discovery in Interaction Networks Mike Bain R & D
3330 Are You Stressed? Detecting the onset of stress using mobile phones Salil Kanhere R & D
No 22 Recognising Lung features in HRCT Arcot Sowmya R & D
No 40 Integrating Web service Protocol Discovery Tool into ProM Toolset Boualem Benatallah R & D
No 43 Robot Soccer Claude Sammut R & D
No 44 Robot Learning Claude Sammut Research
No 45 Conversational Agent Claude Sammut Research
No 76 Compiler Techniques for Software-Managed Memory Hierarchies Jingling Xue R & D
No 193 Proving theorems in and about epistemic logics in Isabelle and PVS Kai Engelhardt Research
No 230 Compiler Techniques for Improving Cache Performance for Multi-Core Architectures Jingling Xue R & D
No 278 Bioinformatics of the immune system Bruno Gaeta R & D
No 305 Mining Biomedical Abstracts Mike Bain Research
No 331 ASIP Design Sri Parameswaran R & D
No 361 Mobile Content Development Aruna Seneviratne R & D
No 364 Hardware/Software Implementation for an Efficient Video Streaming System Sri Parameswaran R & D
No 460 Modelling and simulation for evolution and ecology Mark Tanaka Research
No 535 Inductive Logic Programming and Minimum Message Length Inference Mike Bain Research
No 536 Machine Learning from Microarray Data Mike Bain Research
No 546 Visual monitoring of wildlife by computer Andrew Taylor R & D
No 609 Semantic-Sensitive Image Classification Jian Zhang R & D
No 610 Night-time Vehicle Detection and Tracking in Surveillance Video Jian Zhang Development
No 613 Objects Classification and Event Detection in Surveillance Video. Jian Zhang R & D
No 616 Robust Background and Foreground Analysis for Detecting and Tracking Moving Objects in Surveillance Video. Jian Zhang Development
No 630 Coordinating teams of robots Maurice Pagnucco R & D
No 673 Generating Data for Relational Schemas John Shepherd R & D
No 690 Assignment Submission and Assessment for WebCMS John Shepherd Development
No 739 Online text summarization Raymond Wong R & D
No 756 Power-Aware Memory Management for Embedded Systems Hui Wu R & D
No 757 Power-Aware Task Scheduling for Real-Time Embedded Systems with Multiprocessors Hui Wu R & D
No 763 A Computer Model of Electrocardiogram Signals Socrates Dokos Research
No 767 Multi-sensor Data Fusion for Real Time Traffic Monitoring Jian Zhang R & D
No 786 Community Structure Detection in Large Networks Wayne Wobcke R & D
No 806 Disecting Refactoring Kai Engelhardt Research
No 810 Semantic Video Understanding Based on HMM framework Jian Zhang R & D
No 814 Game AI: Diplomats -- Deal Making AIs Malcolm Ryan Research
No 815 Game AI: Modelling narrative Malcolm Ryan R & D
No 825 GUI for Adapter Development for Web Services Boualem Benatallah R & D
No 828 Game AI: Believeable Characters Malcolm Ryan Research
No 839 On-line Exercises for WebCMS John Shepherd Development
No 866 EGF mutations associated with disease Merridee Wouters Research
No 867 Exploring the genotype/phenotype relationships in lamin A/C Merridee Wouters Research
No 868 Evolution of transglutaminases from papain-like cysteine proteases Merridee Wouters Research
No 897 Process Spaceship AJAX-based GUI: A tool for superimposition and management of Process Views over Heteorogeneous IT systems Boualem Benatallah R & D
No 898 Highly Interactive Web Services Boualem Benatallah R & D
No 919 Adaptive E-learning Nadine Marcus R & D
No 957 Worst Case Excution Time (WCET) for Embedded and Real-Time Systems Jingling Xue Research
No 964 A Household Mobile Robot Claude Sammut R & D
No 1013 Enhancing a backprop package to support sigma-pi connections William H. Wilson Development
No 1016 Video coding and transmission over wireless networks Jian Zhang R & D
No 1017 Pedestrian Detection Using a Cascade of Boosted Classifiers Jian Zhang R & D
No 1033 Steraming video over wireless networks Jian Zhang R & D
No 1040 Game AI: General Game Players Malcolm Ryan Research
No 1041 Game AI: Multiagent path planning Malcolm Ryan R & D
No 1044 Domain Specific Modelling Language Design for Model Driven Development Liming Zhu R & D
No 1054 Compiler Techniques for Managing Stream Register Files in Stream Processors Jingling Xue R & D
No 1083 Vision Prosthesis Project: Image processing strategies for retinal ganglioncell stimulator Nigel Lovell R & D
No 1118 Talking to Robots Claude Sammut R & D
No 1138 Smart Home Claude Sammut R & D
No 1159 Controlling a mobile robot using speech Maurice Pagnucco R & D
No 1165 A 3D Immersive Environment for Visualising Robot Sensor Data Claude Sammut R & D
No 1171 Analytical Cache Memory Energy and Performance Model Aleksandar Ignjatovic R & D
No 1190 Static Bug Checking in C Systems Code Jingling Xue R & D
No 1198 Scratchpad Allocation for Minimising the Worst-Case execution Time of A Single Thread Hui Wu R & D
No 1199 Design of A Closely Coupled Multiprocessor System Hui Wu R & D
No 1200 Scheduling Instructions on Clustered VLIW processors Hui Wu R & D
No 1232 Supporting a Haskell-based OS model on native hardware Kevin Elphinstone R & D
No 1234 Rational Bezier Patch Modelling of Anatomical Surfaces Socrates Dokos R & D
No 1268 Shared resources in an L4-based OS Ihor Kuz R & D
No 1438 Discontinuities in software development Paul Bannerman Research
No 1447 A Secure Bootstrapper for the seL4 Kevin Elphinstone R & D
No 1448 Linux as a component Kevin Elphinstone R & D
No 1452 Interoperability: Using Cocoa and Objective-C from Haskell Manuel Chakravarty R & D
No 1459 Bioinformatic analysis of pathway and regulatory networks of Shigella Ruiting Lan Research
No 1461 Development of an integrated environment for sequence editing and comparison Ruiting Lan R & D
No 2672 Grep on Compressed Texts Sebastian Maneth R & D
No 2696 A Handheld System for Plant Identification Andrew Taylor R & D
No 2725 Design of A Distributed Multiprocessor System Hui Wu R & D
No 2864 Game AI: Poker Malcolm Ryan R & D
No 2920 Game AI: Conversational behaviours Malcolm Ryan R & D
No 2922 Static Analysis for Detecting Data Races in Concurrent Java Programs Jingling Xue R & D
No 2924 Static Analysis for Detecting Concurrency Bugs in Concurrent C/C++ Programs Jingling Xue R & D
No 2929 Intelligent Comparison and Relational Mapping of Textual Information Aleksandar Ignjatovic R & D
No 2932 Development of a controller for FES cycling Gregg Suaning R & D
No 2933 Efficient processes for storing and querying a stock market order book Aleksandar Ignjatovic R & D
No 2936 Intelligent Desktop using Bayesian Filtering Maurice Pagnucco R & D
No 2937 Mapping proteoglycans in human mast cells in response to chitosan. John Whitelock R & D
No 2941 Infra-Red Eye Tracking for a Vision Prosthesis for the Blind Gregg Suaning R & D
No 2958 Concurrency theory and distributed systems Rob van Glabbeek Research
No 2960 Verification of Secure Transaction Protocols Ron van der Meyden Research
No 2967 Acceleration of Negotiation-Based Circuit Routing Aleksandar Ignjatovic R & D
No 2970 Drowsy and Decay Leakage Control for the Register File/Cache Memory Architecture Hui Annie Guo R & D
No 2971 Customizing SimpleScalar Tool for ASIP Design Hui Annie Guo R & D
No 2981 Secure microkernel-based web server using Linux instances Kevin Elphinstone R & D
No 2986 Innovative applications of E-TAGs Linlin Ge R & D
No 2987 Visualisation of radar interferometry Linlin Ge R & D
No 2989 Matching Algorithms for Recommendation in Online Dating Wayne Wobcke R & D
No 2990 Decision Support in Recommender Systems Using Opinion-Based Reviews Wayne Wobcke R & D
No 2994 Evolution of Redox-regulation of Cys Residues in Proteins Merridee Wouters Research
No 2997 VLSI Design for Router Security Sri Parameswaran R & D
No 3021 Dynamic Program Analysis for finding Data Races and Deadlocks in Concurrent Java Programs Jingling Xue R & D
No 3022 Symbolic execution for hunting bugs in C/C++ Code Jingling Xue R & D
No 3027 Content optimization for mobile devices Raymond Wong R & D
No 3033 Using bioinformatics to assess the post translational modifications that control the bioactivity of growth factors. John Whitelock Research
No 3039 GUI simulation of Packet Classfication System Sri Parameswaran R & D
No 3041 Development of software for analysing antibody diversity Bruno Gaeta Development
No 3055 Web Services Mashup Using Spreadsheet Environment Helen Hye-Young Paik R & D
No 3057 CREST and Process Mashup in the Cloud Liming Zhu R & D
No 3060 Cloud Service Discovery Rajiv Ranjan R & D
No 3063 MapReduce for FPGAs: Accelerating Array Computations Manuel Chakravarty R & D
No 3068 Designing effective instructional animations Nadine Marcus Research
No 3069 Customizing SimpleScalar Tool for ASIP Design Hui Annie Guo R & D
No 3080 A Foundational model of the ARM11 Memory Management Unit Gerwin Klein Research
No 3085 Creating a Wiki-StreetView using images from mobile phones Salil Kanhere R & D
No 3087 Isabelle Hackage Gerwin Klein R & D
No 3118 Matching Words and Pictures: Cross-modal Multimedia Web Infomation Aggregation Xiongcai Cai Research
No 3125 Reconfigurable Systems Implementation Oliver Diessel R & D
No 3126 Reconfigurable Computing Literature Survey Oliver Diessel Research
No 3130 Open-source teleconferencing centre Tim Moors R & D
No 3131 Determine face locations in video by computer vision Tim Moors R & D
No 3150 Improving Utility of VM-based Cloud Services Srikumar Venugopal R & D
No 3151 Distributed data analysis for metagenomics Srikumar Venugopal R & D
No 3187 Process and Service Mashup on Mobile Platform Liming Zhu R & D
No 3188 Research Portal Builder John Shepherd R & D
No 3189 Connecting Web UIs and Web services Ingo Weber R & D
No 3190 Transparent database for end-user data Ingo Weber R & D
No 3191 Comparative Study of Database Approaches John Shepherd Research
No 3196 Declarative Configuration Management for Cloud Environments Rajiv Ranjan R & D
No 3210 Evolvable Trustworthy System Gernot Heiser Research
No 3211 Secure Browser OS Gernot Heiser R & D
No 3212 Test vs Proof: The Showdown Gerwin Klein R & D
No 3214 Verifying the core of standard C library in Isabelle/HOL June Andronick Research
No 3221 Design and implementation of an algorithm for automatic device driver synthesis Leonid Ryzhyk Research
No 3222 Modelling of I/O devices for automatic device-driver synthesis Leonid Ryzhyk Research
No 3223 Game interfaces: Cognitive load adjustment Malcolm Ryan Research
No 3225 Context-Aware Framework for Personalised Location-Based Services Helen Hye-Young Paik R & D
No 3226 Game AI: Modelling the player Malcolm Ryan Research
No 3228 Game Design: Game Feel Malcolm Ryan Research
No 3229 Game AI: Interactive Cinematography Malcolm Ryan R & D
No 3233 Automated Code Partitioning for MPSoC Architectures Jude Angelo Ambrose R & D
No 3236 Systems Biology of the Methylproteome Marc Wilkins Research
No 3238 Analysis of next-generation genomic sequence data: multiple projects Marc Wilkins Research
No 3241 Genomic analyses from next generation genome sequencing data Ruiting Lan Research
No 3250 Navigate the web using network routing algorithms Tim Moors R & D
No 3255 Game Design: the history of Indigenous people in AUstralia Malcolm Ryan R & D
No 3258 Formal modelling, verification and analysis of wireless mesh networks Rob van Glabbeek Research
No 3261 Sleep apnea and hypopnea classification Stephen Redmond Research
No 3265 Noninterference Models for Systems with Trusted Components Toby Murray Research
No 3273 Configurable Low-power FFT Processor Design and Implementation for Synthetic Aperture Radar (SAR) Applications Ediz Cetin R & D
No 3276 Analysis of multidomain protein structures and supramodules Paul Curmi Research
No 3285 Ray tracing Minecraft style octrees in parallel Haskell Ben Lippmeier R & D
No 3286 Rearchitecting a component platform for seL4 Ihor Kuz R & D
No 3287 Secure terminal on seL4 Ihor Kuz R & D
No 3288 seL4 AUTOSAR Ihor Kuz R & D
No 3289 Qubes on seL4 Ihor Kuz R & D
No 3293 Mobile WebCMS John Shepherd Development
No 3294 Cloud Computing Adoption Issues and Strategies: State of Play Paul Bannerman Research
No 3296 Architecture-driven Security Analysis Liming Zhu R & D
No 3297 OS for a Space Satellite Gernot Heiser R & D
No 3304 A covert channel based on weak memory Kai Engelhardt R & D
No 3315 Security Analysis of Multicore Systems Ralf Huuck R & D
No 3318 Re-architecting WebCMS John Shepherd Development
No 3322 Integration of Simplescalar and McPAT for Multiprocessor platforms Jude Angelo Ambrose R & D
No 3323 Online application graph dilation Oliver Diessel R & D
No 3324 FPGA SEU mitigation through partial reconfiguration Oliver Diessel R & D
No 3329 Use of next generation sequencing to analyse genome evolution in infectious and genetic diseases Fabio Luciani Research
No 3332 Wireless network coding extension for IEEE 802.11 Lavy Libman R & D
No 3333 Implementation of a High Accuracy Acoustic Ranging System using Mobile Devices Sanjay Jha R & D
No 3334 Data Parallel Haskell Benchmark Suite Gabi Keller R & D
No 3335 OpenCL backend for Accelerate Gabi Keller R & D
No 3336 EDSL for mobile graphic apps Gabi Keller R & D
No 3337 Optimization of Multi-view Video Coding (MVC) Jude Angelo Ambrose R & D
No 3340 VPR assessment of a novel circuit partitioning methodology Oliver Diessel R & D
No 3341 Software update and implementation of multiprocessor simulation in sim-cache Jude Angelo Ambrose R & D
No 3342 Port Google Go to seL4 Gernot Heiser R & D
No 3343 Preventing cache-based covert channels without flushing Gernot Heiser Research
No 3344 Virtualized Windows on seL4 Gernot Heiser R & D
No 3345 Hardware design for Power Anlaysis Attacks in Embedded Systems Jude Angelo Ambrose R & D
No 3346 Analysis of next generation sequencing data of microboal communities Torsten Thomas R & D
No 3347 Evolution of CLIC and ERM proteins Paul Curmi Research
No 3350 Separation Logic for OS Specifications Gerwin Klein R & D
No 3351 Graphical Tool Development of a System Dependency Graph Jude Angelo Ambrose R & D
No 3352 Mapping of Zn fingers in the brain Merridee Wouters Research
No 3353 Efficient Processing of Location-based Queries Muhammad Aamir Cheema R & D
No 3355 Super Mario Galaxy problem Kai Engelhardt Research
No 3358 Adaptive Pipelined Processing on Tilera Haris Javaid R & D
No 3359 An ASIP Generation Tool Haris Javaid R & D
No 3367 FPGA prototyping of a Multi Processor Design in LEON3 platform Jude Angelo Ambrose R & D
No 3368 Software tool for code partitioning using LLVM/CLANG Jude Angelo Ambrose R & D
No 3369 Exploiting DVFS in Intel Single-chip Cloud Computer (SCC) for Energy-Aware Multimedia Processing Haris Javaid R & D
No 3370 Evaluation of Abstract Communication Libraries for Multicore Platforms Haris Javaid R & D
No 3371 Evaluation of Statistical Models for Run-time Learning in Embedded Systems Haris Javaid R & D
No 3372 Analysis of High Efficiency Video Coding (HEVC/H.265) for Parallel Implementation Haris Javaid R & D
No 3373 Availability Analysis for Applications in Public Cloud Liming Zhu R & D
No 3374 Big Data Platform Liming Zhu R & D
No 3376 Personalisation of web pages using Natural Language Processing Tim Moors R & D
No 3377 An app for really personalising computers Tim Moors R & D
No 3378 3D videoconferencing using Kinect Tim Moors R & D
No 3379 Learning a Strategy for Multi-Player Chess Alan Blair R & D
No 3380 Hardware development on the ESLoC Multiprocessor Platform Jude Angelo Ambrose R & D
No 3385 Efficient search on multi-lingual documents Raymond Wong R & D
No 3386 Context-aware mobile service recommendation Raymond Wong R & D
No 3387 Mobile learning system based on WebCMS Raymond Wong R & D
No 3388 Efficient mining of changing business processes Raymond Wong R & D
No 3389 Wide-area mapping and localisation for robots Maurice Pagnucco R & D
No 3390 Third party tracking in mobile environment Salil Kanhere R & D
No 3391 Vaccination monitoring app and patient monitoring program for patients with special vaccination needs Bruno Gaeta Development
No 3392 Using inertial sensors to monitor respiration during sleep Stephen Redmond R & D
No 3393 Design of an Indoor Sensor Network for Data Collection in Smart Environments Salil Kanhere R & D
No 3394 A Database for Sensor Data from Smart Environments Salil Kanhere R & D
No 3395 EDSL for data serialisation and de-serialisation Gabi Keller R & D
No 3396 NetFPGA implementation of ultra-low latency TCP/IP for financial trading applications Tim Moors R & D
No 3397 Plan a NBN ISP Tim Moors R & D
No 3399 Indoor Navigation on Android using Built-in Motion Sensors and Digital Map Mahbub Hassan R & D
No 3400 Lower bounds for extremal vertex sets in graphs Serge Gaspers Research
No 3401 Measure and Conquer for Efficient Edge Domination Serge Gaspers Research
No 3402 Mining the transcriptome for novel noncoding RNAs Catherine Suter Research
No 3404 WiFi database generation in urban canyons for positioning purpose Binghao Li R & D
No 3406 Using WiFi and other sensors to navigate a robot in indoor enviroment Binghao Li R & D
No 3408 Turn Me On Binghao Li Development
No 3409 Privacy-Aware Smart-Grid Monitoring Guillaume Jourjon R & D
No 3411 Local type inference and side effect analysis for Disciple Core Ben Lippmeier R & D
No 3412 Combining garbage collection and region allocation in typed functional languages Ben Lippmeier R & D
No 3413 Array fusion and finite element analysis in parallel Haskell Ben Lippmeier R & D
No 3414 High Performance Computing of Gene Networks in Breast Cancer Warren Kaplan Research
No 3415 Tablet-based Control Interface for Distributed Systems Deployment Liming Zhu R & D
No 3416 Application Design and Measurement in Cloud Platforms Liming Zhu R & D
No 3417 Fault Tolerance Platforms for Large-Scale Distributed Applications Liming Zhu R & D
No 3418 Cloud-in-Cloud: Software Defined Data Center for the Next Generation of Cloud Computing Liming Zhu R & D
No 3421 Game interfaces: hand / face / gaze tracking Malcolm Ryan R & D
No 3422 Efficient sorting for specific inputs Aleksandar Ignjatovic R & D
No 3423 Performance profiling and monitoring of the ESLoC ASIP platform Jude Angelo Ambrose R & D
No 3424 Games design: Games and Marketing Malcolm Ryan R & D
No 3425 Indoor localisation using smartphones Chun Tung Chou R & D
No 3426 Games technology: Networking Malcolm Ryan R & D
No 3427 Semantic Mapping with Mobile Robots Maurice Pagnucco R & D
No 3428 Refactoring Machine-checked Proofs Rafal Kolanski R & D
No 3429 GENERIC TOPIC: Programming Languages & Systems Gabi Keller R & D
No 3430 A high-level approach to writing graphical user interfaces in Haskell Manuel Chakravarty R & D
No 3431 Writing 2D games in a purely functional style Manuel Chakravarty R & D
No 3433 Visualisation, modelling and analysis of protein phosphorylation from high-throughput mass spectrometry data Mike Bain Research
No 3436 Designing Network-on-Chips for the ESLoC Platform Jude Angelo Ambrose R & D
No 3437 Speech analysis using robust differential operators Aleksandar Ignjatovic Research
No 3438 Dependable Auditing on Operations of in-Cloud Applications Liming Zhu R & D
No 3439 Technology and Creativity Richard Buckland R & D
No 3440 Design and Implementation of Lifetime Aware Clustering and Data Collection Algorithms for Wireless Sensor Networks with Multiple Base Stations Hui Wu R & D
No 3441 Improving Efficiency of Key-Value Stores on Cloud Resources Srikumar Venugopal R & D
No 3443 Software re-development for Satellite Synthetic Aperture Radar Interferometry Linlin Ge R & D
No 3444 Application of nonlinear optimization problems in Satellite Synthetic Aperture Radar Interferometry Linlin Ge R & D
No 3447 Analysis of alternative splicing in cancer Jason Wong R & D
No 3448 What does a dishwasher's power consumption actually look like? Salil Kanhere R & D
No 3449 A new Operating System Design for the Argus Multiprocessor platform Jude Angelo Ambrose R & D
No 3450 The Bionic Eye: Depth mapping and edge detection in prosthetic vision using Microsoft Kinect Paul Matteucci R & D
No 3451 The Bionic Eye: Psychophysics navigation platform using the Crytek 3 engine Paul Matteucci R & D
No 3452 The Bionic Eye: Android portable vision processor Paul Matteucci R & D
No 3453 The Bionic Eye: Eye tracking in prosthetic vision Paul Matteucci R & D
No 3455 Next-Generation Evolvable Systems: Implementing Predictors on FPGAs Sri Parameswaran R & D
No 3456 Literature review on formal modelling and verification for embedded medical systems Jude Angelo Ambrose R & D
No 3457 Parameterized Algorithm for k-Leaf Spanning Tree Serge Gaspers Research
No 3458 Parameterized Algorithm for Weak Empty-Backdoor Detection for 3-CNF formulas Serge Gaspers Research