University Homepage School Homepage School Contacts School Search

Informatics Jamboree 2003 Poster Competition

And the winners of the 2003 Informatics Poster competition are:

1st Prize: Manuel Contreras Maya
2nd Prize: Graham Steel
3rd Prize: James Curran

MSc Prize: Ulrike Baldewein

Colour Texture Fusion of Multiple Range images - Alexander Agathos
Separation Typing - Robert Atkey
Leading a Parser up the Garden Path: Can Human Reading Times be Modelled with a Stochastic Parser? - Ulrike Baldewein MSc Prize
Towards CTMC Compositional Model Checking - Paolo Ballarini
Change is all around us: Environment Authentication through 3D Structural Analysis - Toby Breckon
Natural Language Generation with Personality and Alignment - Carsten Brockmann
About Agents and Their Whereabouts - Manuel J. Contreras Maya 1st Prize
Learning in a State of Confusion - Paul Crook
Intelligent Natural Language Learning - James Curran 3rd Prize
Generating a Model, Selecting a View: Information Fusion in Question Answering - Tiphaine Dalmas
ISAPLANNER - An Approach to Proof Planning in Isabelle - Lucas Dixon
Interative Compilation and Performance Prediction - Grigory Fursin
Perception of email Personality at Zero-Acquaintance: Extraversion takes care of itself; Neuroticism is a worry - Alastair Gill
Will you trust "Trusted Computing"? - Joe Halliwell
The Plots of Childern and Machines: Automatics online Evaluation of Topic and Coherency in Children's Narritives - Harry Halpin
Connectionist modelling of Chinese Character Pronounciation - Janet Hui-Wen Hsiao
Automatic Aquisitions of a Taxonomy of Discourse Markers - Ben Hutchinson
Learning in Hybrid Architectures: A Case Study in Genomic Robotics - Aroosha Laghaee
Grounding Spatial Named Entities and Generating Visual Document Surrogates - Jochen Leidner
A Mirror System:Developing Imitative Abilities for Learning Robots - George Maistros
Adapting BPEL4WS for the Semantic Web with a Semantic Discovery Service - Daniel Mandell
Using Parameter Colouring on Simulation Model Structure: Towards the Customisability of Multiprocessor Simulations - Worawan Marurngsith
Physical Systems for the Solution of Hard Computational Problems: NP Completeness and Me, Breaking the Exponential Barrier - Peter Mattison
An Adaptive Systems Approach to University Timetabling: The Interactions of Local Search with Ant Colony Optimisation - Thomas McCallum
Dynamic Ontology Refinement - Fiona McNeill
Modelling Lakatos-style Reasoning - Alison Pease
Do It Myself Robotics: A Biological Inspired Approach to Self-assembly and Self-repair -  Peter Ottery
Supporting Planning Process and Human Cooperation: Visualisationa nd Modelling Approaches - Natasha Queiroz Lino
Formalising Broadcast Protocols in Isabelle/ HOL - Thomas Ridge
Improving Bounded Model Checking of LTL by using SNF - Daniel Sheridan
I-Rescue: A Coalition Support System to Disaster Relief Domains - Clauirton Siebra
Attacking a Bluetooth Ad-Hoc Network Protocol - Graham Steel 2nd Prize
Modelling Contrast Across Speakers in Task - Oriented Dialogue - Kavita Thomas
In Search of Theme and Rheme Pitch Accents in Estonian, A Pilot Study - Maarika Traat
Multidimensional Parallel Programming - Gagarine Yaikhom