Skip to navigation | Skip to main content | Skip to footer
Menu
Menu

Research Students' Symposium: 2010 Programme

Sponsored by
IBM

This year's Research Student Symposium will be held on 1st, 2nd and 3rd November (Monday to Wednesday). 

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.

The programme in PDF format:

Day 1:: Monday November 1st, 2010

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

Chair: Pavel Klinov
  • 9.00 Jasmin Opitz: Information System Evaluation
  • 9.30 Alex Chen: Widget Identification forWeb 2.0 AccessTechnologies
  • 10.00 Grace Ebong Mbipom: The Interplay Between Visual Aesthetics and Accessibility in the Context of the World Wide Web
  • 10.30 Pavel Klinov: Practical Reasoning in Probabilistic Description Logic

Break (11:00-11:30)


Session 2 (11:30-12:30, Kilburn 2.19): Keynote Talk

Chair: Prof Norman Paton (Head of School)

"Searching for the Holy Grail"
Prof Ian Horrocks
Computing Laboratory
University of Oxford

Abstract
In this talk I will review my personal odyssey from Grail to the Semantic Web and back again: a fifteen-year (and counting) mission to explore strange new worlds; to seek out new logics and new applications; to boldly go where no description logician has gone before. I will try to identify important lessons that I have learned along the way about the theory and practice of logic based knowledge representation (and I will try to avoid further mixing of metaphors), but like any good "road movie", the journey will be at least as important as the destination.


Sponsored by
IBM

Session 3 (12:30-13:00, Kilburn 2.19): Award of the 2010 Outstanding Paper Prizes

Chair: Dr Jonathan Shapiro

  • Winner (Joint):
    Yavor Nenov, for "On the Computability of Region-based Euclidean Logics", Yavor Nenov and Ian Pratt-Hartmann, published in the conference Computer Science Logic.
  • Winner (Joint):
    Kevin Sharp, for "Dense Message Passing for Sparse Principal Component Analysis", Kevin Sharp and Magnus Rattray, published in the conference AI Stats.
  • Runner-Up (Joint):
    Martin Grymel for Martin Grymel, Steve B. Furber, "A Novel Programmable parallel CRC Circuit", IEEE Transactions on very Large Scale Integration (VLSI) Systems, Issue 99, pp 1-5, 2010.
  • Runner-Up (Joint):
    Pavel Klinov for "The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach", Pavel Klinov, Bijan Parsia and David Picado-Muino, published in the conference International Conference on Logic for Programming Artificial Intelligence and Reasoning.

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

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


Break (14:30-15:00)


Session 5 (15:00-17:00, Kilburn 2.19): Software Systems

Chair: Eamanouil Kaldis
  • 15.00 Keng Yap Ng: Software Connectors
  • 15.30 Kawther Saeedi: Extending BPMN for Supporting Customer-Facing Service Quality Requirements
  • 16.00 Nurul Fariza Zulkurnain: Colossal Closed Itemset Mining
  • 16.30 Eamanouil Kaldis: A Systemic Approach for Effective Management of Organizational Knowledge
  • 17:00 Zixu Song: Resource Savings by Structure Prediction on Band Matrix Operations

Day 2 :: Tuesday, November 2nd, 2010

Session 6 (09:00-11:00, Kilburn 2.19): Machine Learning and Optimization (1)

Chair: Richard Stapenhurst
  • 9.00 Adam Pocock: Incorporating Prior Knowledge for Feature Selection with Mutual Information
  • 9.30 Richard Allmendinger: Aspects of Resource-Constrained Optimization
  • 10.00 Avraam Tapinos:
  • 10.30 Richard Stapenhurst: Adaptation in Concept Drift via Diversity Control

Break (11:00-11:30)


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

Chair: Mauricio Alvarez
  • 11.30 Geng Li: Genetic Programming and Bloating Control
  • 12.00 Mauricio Alvarez: Latent Force Models

Lunch (12:30-13:30)


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

Chair: Francisco Lobo
  • 13.30 Christoph Sticksel: Integrating Theory Reasoning into Instantiation-Based Theorem Proving
  • 14.00 Hugh Steele: FullCompleteness for Linear Logic
  • 14.30 Yavor Neychev Nenov: Computational and Mathematical Analysis of Euclidean Logics
  • 15.00 Francisco Lobo: Game Semantics

Break (15:30-16:00)


Session 9 (16:00-17:30, Kilburn 2.19): Advanced Processor Technologies (1)

Chair: Herath Mudiyanselage Herath
  • 16.00 (James) Cameron Patterson: Functional Imaging andManagement of a Massively Parallel Neural Simulation Platform
  • 16.30 Demian Rosas: Explointing Parallelism in Chip Miltiprocessors using SLAM
  • 17.00 Herath Mudiyanselage Herath: Address defined Coherence and Consistency

Day 3 :: Wednesday, November 3rd, 2010

Session 10 (09:00-11:00, Kilburn 2.19): Advanced Processor Technologies (2)

Chair: Geoffrey Tochukwu Ndu  
  • 09.00 Zuo Liu: Improving VoIP on Wireless Ad Hoc Network Research Group
  • 09.30 Fu Chen: Improved Load-Balancing in Peer-to-Peer systems
  • 10.00 Paraskevas Yiapanis: Adaptive Optimizations for Thread-Level Speculation
  • 10.30 Geoffrey Tochukwu Ndu: A Dynamic Compilation Framework for Reconfigurable Instruction Set Processors

Session 11 (11:30-13:00, Kilburn 2.19): Nano Engineering and Storage Technologies; Bio-Health Informatics; and Text Mining

Chair: Farzaneh Sarafraz
  • 11.30 Peng Tian: Graphene-based High Sensitivity Hall Effect Device
  • 12.00 Nor Azlinayati Abdul Manaf: A Framework for Transforming Between OWL and SKOS Knowledge Artefatcs for use in the Semantic Web Applications
  • 12.30 Farzaneh Sarafraz: Extracting Negated Molecular Events from Biomedical Literature

Break (13:00-13:30)


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

Chair: Martin Fergie
  • 13.30 Salil Prashant Deena: Visual Speech Synthesis by Learning Joint Probabilistic Models of Audio and Video
  • 14.00 Adrian Albin-Clark: Real-Time Simulation of BlockPlay in Early Childhood
  • 14.30 Abdullah Sindhu: Addressing Complex Human Occlusions Using Head Detention and Multiple Overlapping Camera Views
  • 15.00 Martin Fergie: Appearance Based Pose Estimation for Sign Language Recognition

Break (15:30-16:00)


Session 13 (16:00-17:00, Kilburn 2.19): Research Computing Services

Chair: Sam Proctor
  • 16.00 Michael May: Object Recognition for Mobile Platforms
  • 16.30 Sam Proctor: tbc

Posters

  • Rima Addas Distributed EPRs with Multiple Levels of Identity Privacy Preservation.
  • Ahmed
  • Gul Aftab Ahmed Runtime System for Task Scheduling on Heterogeneous Multicore Architectures
  • Aqeel Al-Naser High Performance Visualization for Geo-Seismic Data
  • Maytham Alabbas Textual Entailment for Modern standard Arabic
  • Muhammad Raza Ali Vision Based Multi-User Gesture Recognition System
  • Samar Alkhuraiji Adaptive E-learning Approach Based on Proven Learning Theories
  • Habibullah Aminu Web Services Architecture Extensions with Agent Roles and Patterns
  • Samantha Bail Multiple Justifications in OWL Ontologies
  • Craig Barton tbc
  • Riza Batista-Navarro Extraction of Pharmacological Activities from Literature
  • Nargis Bibi Hybrid Automatic Repeat Request (HARQ) for Orthogonal Frequency Division Multiplexing (OFDM) Systems
  • Rebekah Carter Analysis and Control of Hybrid Dynamical Systems
  • Sergio Davies Leraning in a Massively-Parallel Biologically-Inspired Architecture
  • Matthew Gamble Trust But Verify: Trusted Data Sharing in Long-tail Collaborative Science on the Semantic Web.
  • Joao Goncalves Using Modules for Collaborative Ontology Engineering
  • Martin Grymel A Novel Programmable Parallel CRC Circuit
  • Georg Heldt tbc
  • George Karystianis Using Text Mining to Explore Concept Complexity in Obesity Through Concept Maps
  • Anthony Kleerekoper Predicting the Performance of Sensor Networks
  • Peter McNerney Integrating Security and Quality of Service in Internet-Based Mobile AD Hoc Networks
  • Eleni Mikroyannidi Abstraction Methodologies for Aiding Ontology Comprehension
  • Raheel Nawaz Contradictions in Biomedical Research Literature
  • Matthew Orlinski Mobile Ad-Hoc Networking Routing Using Mobile Devices
  • Jonathan Roberts Machine Learning Applied to Procedural Content Generation in Video Games
  • Sadia Saleem A Risk-Aware Workload Scheduler to Support Secure and Efficient Collaborative Uploading in Mobile Communities
  • Thomas Sharp Configuring SpiNNaker for Investigation of Large-Scale Cortical Networks
  • Petr Stepan Patterns As Explicit Entities in Component-based Development: A Model-driven Approach
  • Chiara Del Vescovo Modularity for Ontology Comprehension

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