Summer School 2007

Posters should be designed for A1 portrait (594 mm x 841 mm) colour printing and articulate clearly and concisely either visually or textually:

• What challenge is being addressed or question being answered by the research in such a way that a non-expert can understand the importance of the research.
• What the research is.
• What the intended outcome is.
• What stage it is at.
• Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.

Posters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.

Posters should also clearly display your name and the name of your university. A competition determines which poster best achieves these presentation goals. The winner is offered a travel sponsorship to a tier-one international conference in their field of research.

Judges

• Richard Black (Microsoft Research)
• Steven Hand (Computer Laboratory, Cambridge)
• Simon Moore (Computer Laboratory, Cambridge)

Posters

1. Data Fusion for Accurate Worm Detection – Periklis Akritidis (University of Cambridge)
2. Designing Collaborative Application in Peer2Peer Environment – Lamia Benmouffok (Université Pierre et Marie Curie)
3. Body Area Sensor Networks: Do You Feel It? – Pedro Brandão (University of Cambridge)
4. Aspect Mining for Large Systems – Silvia Breu (University of Cambridge)
5. Non-Blocking Synchronization for Multi-Core Processors – Daniel Cederman (Chalmers University of Technology)
6. Persistent Applications Across Networks – Aisha El-Safty (University of Cambridge)
7. On-chip Networks for FPGAs – Rosemary Francis (University of Cambridge)
8. Exploiting Locality in Chip Multiprocessor Networks – Daniel Greenfield (University of Cambridge)
9. Collaborative Wireless Networks – Weisi Guo (University of Cambridge)
10. Windows Implementation of the LHCb Experiment – Workload Management System DIRAC – Ying Ying Li (University of Cambridge)
11. Continuous RQL Query Processing on Top of Distributed Hash Tables – Iris Miliaraki (National And Kapodistrian University of Athens)
12. Enabling Wireless Sensor Networks: Integration of WSNs into Development Environments – Tomasz Naumowicz (Freie Universität Berlin)
13. Simulating Cosmological Radiative Transfer – Milan Raičević (University of Durham)
14. MCBC: Highly Scalable MAC Protocol – Approaching theoretical throughput limits in contention-based wireless networks – Bogdan Roman (University of Cambridge)
15. Sensors for Quantitative Sports Performance Analysis – Oliver Woodman (University of Cambridge)
16. EPSRC – Smart Infrastructure: Propagation Modelling – Yan Wu (University of Cambridge)

Judges

• Alan Blackwell (Computer Laboratory, Cambridge)
• Vassily Lyutsarev (Microsoft Research)
• Andrew Phillips (Microsoft Research)
• Kojiro Yano (Cambridge Computational Biology Institute)
• Stephen Emmott (Microsoft Research)

Posters

1. Simulating HCI for Special Needs – Pradipta Biswas (University of Cambridge)
2. Improving Natural Language Parsing Through Machine Learning and Lexical Resources – Conor Cafferkey (Dublin City University)
3. NURBS – Compatible Subdivision – Thomas Cashman (University of Cambridge)
4. Beating the Noise: New Statistical Methods for Detecting Signals in MALDI-TOF Spectra below Noise Level – Tim Conrad (Freie Universitat, Berlin)
5. Enforcing Coherence in Table Understanding – Ana Costa e Silva (University of Edinburgh)
6. Tackling Biological Complexity with BetaWB – Lorenzo Dematté (Centre for Computational and Systems Biology)
7. The Role of ICT in Empowering People with Low Literacy Levels in Africa – Marije Geldof (Royal Holloway, University of London)
8. Pump up the Fun! – Greg Hale (University of York)
9. Communications & Travel – Substitutes or Complements? – Lynne Hamill (University of Surrey)
10. New Machine Learning Paradigms for Robots Operating in a Dynamic Team-based Environment – Michael Johnson (University of Limerick)
11. Reaction-Diffusion Modelling of Pattern Formation – Charlotte Jupp (University of Oxford)
12. Making Workflows More Usable By Biodiversity Researchers – Russell McIver (Cardiff University)
13. Generating Random Photorealistic Objects – Umar Mohammed (University College London)
14. Man, Machine and Music: Optimising Creativity in Computer Music – Christopher Nash (University of Cambridge)
15. Image Matting – Christoph Rhemann (Vienna University of Technology)
16. High-Throughput Comparative Modelling of Protein Structure by Machine Learning – Clíona Roche (University College, Dublin)
17. BetaWB: Modelling and Simulating Biological Systems – Alessandro Romanel (Trento centre)
18. Learning to Recognise Hierarchies of Objects and Scenes – Christian Steinruecken (University of Cambridge)
19. Graph Cuts in RT 3D Echocardiograph – Michael Verhoek (University of Oxford)
20. Interactive Image Segmentation – Sara Vicente (University College London)

Judges

• Butler Lampson (Microsoft Research)
• Erik Meijer (Microsoft Corporation)
• Simon Peyton Jones (Microsoft Research)

Posters

1. Grammatical Error Detection – Øistein Andersen (University of Cambridge)
2. Monte Carlo Semantics – Richard Bergmair (University of Cambridge)
3. Applying Machine Learning to Automatic Theorem Proving – James Bridge (University of Cambridge)
4. What SAT Can Do for BioInformatics – António Morgado (University of Southampton)
5. Multi-Language Interoperability – Boris Feigin (University of Cambridge)
6. Using Latent Semantic Indexing for Automatic Text Summarization – Johanna Geiss (University of Cambridge)
7. Symmetry Detection and Breaking in Constraint Satisfaction Problems – Andrew Grayland (University of St Andrews)
8. Descriptive Aspects of Parametrised Complexity – Yuguo He (University of Cambridge)
9. Unsupervised RMRS – Building Ontological Networks – Aurelie Herbelot (University of Cambridge)
10. The Power of Choice – Bjarki Holm (University of Cambridge)
11. Type Isomorphism – (Ola Mahmoud University of Cambridge)
12. Proving Safe Code Execution on Hardware Security Modules – Jean Martina (University of Cambridge)
13. Coping with Compiler Complexity: Language Description Language – Arie Middelkoop (Utrecht University)
14. High Level Languages for Systems Biology – Michael Pedersen (University of Edinburgh)
15. Validation of Mappings Between Data Models – Guillem Rull (Technical University of Catalonia (UPC))
16. Performance Driven Development – Michael Smith (University of Edinburgh)
17. Reducing the Annotation Cost for Natural Language Processing – Andreas Vlachos (University of Cambridge)