Research School

Research School Home
Advisors
Charter
Mentors
Modules
Monitoring
Prizes
Symposium

School of Computer Science Intranet

Research Student's Symposium: 2009 Programme

This is the programme for the 2009 Research Student's Symposium at the School of Computer Science of The University of Manchester.

The symposium will be held on 3rd, 4th and 5th November 2009 (Tuesday to Thursday).

All talks will be in Kilburn 2.19. (This is the same venue as last year's).

The poster session will be in IT 407. The buffet lunch after the poster session will be served in IT 406.

Versions of the programme in PDF format are available:

Day 1:: Tuesday November 3rd, 2009

Session 1 (09:00-11:00, Kilburn 2.19): Machine Learning and Optimization (1); and Bio-Health Informatics (1)

Chair: Richard Allmendinger

09:00 Stefan Haflidason: On the Significance of the Permutation Problem in Neuroevolution
09:30 Kevin Sharp: Data-Driven Learning and Parameterisation of Systems Biology Models
10:00 Nam-Shik Han: Systematic Approach for Discovering Changes of Transcriptional Regulatory Networks
10:30 Zulkifli Dol: Lung Cancer Microarray Data Classification Using an Adaptive Method - Combining the Strength of Machine\ Learning and Information Retrieval Techniques

Break (11:00-12:00)

Session 2 (12:00-13:00, Kilburn 2.19): Keynote Talk

Chair: Prof Norman Paton (Head of School)

Exploiting Research: A Personal View
Prof Nigel Shadbolt
School of Computer Science
University of Southampton

Abstract

In this talk I will detail a number of research projects that I have been involved with over the years that led to various forms of commercial exploitation. These range of companies that built decision support systems, to others specialising in knowledge engineering and more recently my experience as CTO of Garlik Ltd (www.garlik.com) a Semantic Technologies company specialising in the area of personal information security. I will discuss the challenges of exploiting academic research. The various conditions that need to met that might find useful for those embarking on research careers. I will look forward to a number of areas in computer science and informatics where opportunities seem to exist at the moment.

Session 3 (13:00-13:30, Kilburn 2.19): Award of the 2009 Best PhD Dissertations and Best PhD Paper Prizes

Chair: Dr Jonathan Shapiro

Best Dissertation, sponsored by Image Metrics

Winner: Gwenn Englebienne, for Animating Faces from Speech.

Best Paper, sponsored by Manchester Informatics Limited

Winner: Nestan Tsiskaridze for "Conflict Resolution", by Konstantin Korovin, Nestan Tsiskaridze and Andrei Voronkov, published in Constraint Programming conference CP2009.
Runner up: Mauricio Alvarez for the paper "Latent Force Models", by Mauricio Alvarez, David Luengo and Neil Lawrence, published in Twelfth International Conference on Artificial Intelligence and Statistics.
Runner up: Yebin Shi for the paper "Fault Tolerant Delay Insensitive Inter-Chip Communication" by Yebin Shi, Steve B. Furber, Jim Garside and Luis A. Plana, published in 15th IEEE Symposium on Asynchronous Circuits and Systems.
NB: The two equal runners-up are listed alphabetically.

Session 4 (13:30-15:00, IT 407): Poster Session (Buffet Lunch Provided)

The posters to be presented are listed close to the bottom of the page.

Session 5 (15:00-18:00, Kilburn 2.19): Research Computing Services; and Information Management (1)

Chair: Chanwit Kaewkasi

15:00 Stephen M Longshaw: Numerical Modelling and Visualization of the Evolution of Extensional Fault Systems
15:30 Matthew Horridge: Explanation of Entailments in Ontologies
16:00 Kashif Khan: A Distributed Computing Architecture to Support Field Engineering in Networked Systems
16:30 Meng Chang Liu: A Study of Privacy-preserving Distributed Nonparametric Sign Test Problems
17:00 Kitisak Osathanunkul: A Flexible Routing Decision to Support Diversified Application-level Data Types in MANETs
17:30 Lu Mao: Schema and Mapping Manipulation for Dataspaces

Day 2 :: Wednesday, November 4th, 2009

Session 6 (09:00-11:00, Kilburn 2.19): Information Management (2)

Chair: Jasmin Opitz

09:00 Syed Zeeshan Ali: Parallel Job Scheduling in Computing Cloud Using Penalty
09:30 Nurul Akmar Emran: Relative Data Source Completeness
10:00 Tarek Gaber: Fair and Secure Solution for Reselling Licenses of DRM Protected Content
10:30 Chen Juan Guo: Inferring Information about Correspondences between Data Sources for Dataspaces

Break (11:00-11:30)

Session 7 (11:30-12:30, Kilburn 2.19): Advanced Interfaces

Chair: Adrian Albin-Clark

11:30 Abdullah Sindhu: Multiple Target Tracking Before During and After Occlusions Using Multiple Trackers
12:00 Aparna Garg: Semantic Video Event Analysis

Break (12:30-13:00)

Session 8 (13:00-15:00, Kilburn 2.19): Formal Methods (1)

Chair: Christoph Sticksel

13:00 Djihed Afifi: Reasoning with Logical Models of Evolvable Systems
13:30 Majda Al-Liabi: Computer Assisted Language Learning (CALL) Tools for Arabic
14:00 Nassim Elbey: Natural Language Processing (NLP) Engine For Modern Standard Arabic
14:30 Hilverd Reker: Free-Variable Tableaux for Decidable Fragments of First-Order Logic

Break (15:00-15:30)

Session 9 (15:30-17:30, Kilburn 2.19): Formal Methods (2)

Chair: Majda Al-Liabi

15:30 Yasser Sabtan: Lexical Selection for Machine Translation
16:00 Adam Trybus: Convexity Logic
16:30 Josephat Kalezhi: Modelling Data Storage in Nano-Island Magnetic Materials
17:00 Yuanjing Shi: The Effect of Jitter Noise on the Recovery of Data from Bit Patterned Media Storage Systems

Day 3 : Thursday, November 5th, 2009

Session 10 (09:00-11:00, Kilburn 2.19): Software Systems (1)

Chair: Alex Q. Chen

09:00 Wuxiang Ge: Failure Analysis and Prediction in Supercomputers
09:30 Azlin Nordin: Constructing Component-based System Directly From Informal Specification
10:00 Tauseef Ahmad Rana: Composition Oriented Programming Language
10.30 Raheel Siddiqi: Improving Teaching and Learning Through Automated Short-Answer Marking

Session 11 (11:00-13:00, Kilburn 2.19): Software Systems (2); and Text Mining

Chair: Alexander Rast

11:00 Lily Safie: A Software Component Model for Automotive Domain
11:30 Sajid Siraj: Preference Elicitation from Pairwise Comparisons
12:00 Shabib M Algahtani: Information Extraction from Arabic Text
12:30 Xinkai Wang: Searching Chinese Biomedical Literature with English Queries

Break (13:00-13:30)

Session 12 (13:30-15:30, Kilburn 2.19): Advanced Processor Technologies

Chair: Christian Cooper

13:30 Kimberley Jarvis: Transactional Data Structures
14:00 Dominic Richards: Theorem Proving for the Verification of Concurrent Hardware
14:30 Wei Song: How to Design Fast Asynchronous Routers for Asynchronous On-Chip Networks
15:00 Zheng Xie: Faster Statistical Analysis of the Effect of Nano-CMOS Variability on Asynchronous Circuits

Break (15:30-16:00)

Session 13 (16:00-17:30, Kilburn 2.19): Machine Learning and Optimization (2)

Chair: Adam Pocock

16:00 Ruofei He: Frequent Itemset Mining and its Probability Model
16:30 Ahmad Salman: Learning Generic Speaker-Specific Information
17:00 Sam Holland: Symmetry and Neural Networks

Posters

Adam Pocock: Non-stationary Boosting
Adrian Albin-Clark: Agents in Pedagogical Observation
Alex Chen: Widget Identification and Modification for Web 2.0 Access Technologies (WIMWAT)
Avraam Tapinos: Time Series Data Mining in Systems Biology
Chen Fu: Improved Load-Balancing in the Chord Peer-to-Peer System
Christoph Sticksel: Integrating Theory Resaoning Into Instantiation-Based Theorem Proving
Demian Rosas: Dynamic Scheduling in Multicore Processor s
Farzaneh Sarafraz: Finding Negations, Contradictions and Contrasts in Biomedical Literature using Text Mining
Francisco Lobo: Re-examining Game Semantics
Geng Li: Modeling Genetic Programming Dynamics Based on Activation Rate
Geoffrey Tochukwu Ndu: Virtual Instruction Set Architecture for Efficient Dynamic Hardware/Software Partitioning
Grace Ebong Mbipom: Empirical Investigation of Visual Aesthetics and Accessibility
Herath Mudiyanselage Herath: Segmented Memory Architecture for Relaxing Cache Coherence and Consistency
Hugh Steele: Models of Linear Logic
James Naish: On Evaluating and Composing Patterns for Software Design
(James) Cameron Patterson: Command and Control of a Massively Parallel Biologically Inspired Computer System
Jasmin Opitz: Ontology-based Annotation and Retrieval o f Medical Images
Keng-Yap Ng: Composite Software Connectors
Krystof Hoder: Efficient First-Order Theorem Proving
Martin Fergie: Appearance Based Hand Tracking for Both Hands
Michael May: Object Recognition for Mobile Platforms
Nor Azlinayati Abdul Manaf: Exploring the relationshi ps between OWL and SKOS
Nurul Fariza Zulkurnain: Colossal Closed Itemset Mining
Paraskevas Yiapanis: Mining Static Features for Squash Prediction in Thread-Level Speculation
Pavel Klinov: Probabilistic Description Logics for the Semantic Web
Peng Tian: Graphene-based High Sensitivity Hall Effect Device
Ravinder Singh: Semantic Annotation of Bioinformatics Web Services using a Probing-Based Technique
Richard Allmendinger: Heuristics for Resource-Constrained Optimization
Richard Stapenhurst: Combining Negative Correlation and Adaboost
Salil Prashant Deena: Realistic Facial Animation Driven by Speech
Sam Proctor: Persistent SLAM in Dynamic Environments
Siti Norbaiti Abdullah: Machine Learning Approach for Crude Oil Price Prediction
Yavor Neychev Nenov: Computational and Mathematical Analysis of Spatial Logics
Zixu Song: Building a Numerical Linear Algebra Library with Aspect-Oriented Programming
Zuo Liu: Optimising Multi-hop Wireless Ad-hoc Network by Multi-channel Cross Layering

This page is maintained by Dr Joshua D Knowles.
Please send questions and corrections to him at jdk@cs.man.ac.uk.