Summer School 2008

1. Adaptive combinatorial search – Alejandro Arbelaez, INRIA
2. The cycle of modeling, modeling of the cycle – Alida Palmisano, CoSBi
3. Adaptive evolutionary computation – Álvaro Fialho, INRIA
4. Adaptive software lock elision – Amitabha Roy, University of Cambridge
5. Exact JPEG recompression and forensics using interval arithmetic – Andrew Lewis, University of Cambridge
6. Highly sensitive de novo identification of peptides from tandem mass spectra by linear optimization and kinetic modeling – Axel Rack, Freie Universität Berlin
7. Illuminating circadian rhythms with Bayesian inference – Ben Calderhead, University of Glasgow
8. Code reprogramming and dissemination in mobile WSN – Bence Pasztor, University of Cambridge
9. Quality-oriented handover scheme for adaptive multimedia streaming in heterogeneous wireless network environment – Bogdan Ciubotaru, Dublin College University
10. Probabilistic interpretation of figures of speech – Ekaterina Shutova, University of Cambridge

Opens in a new tab

1. Video abstraction and stylisation – Christian Richardt, University of Cambridge
2. Time-aware routing in wireless sensor networks – Daniele Borsaro, University of Cambridge
3. Towards optical PCI – David Miller, University of Cambridge
4. Spread-spectrum computation – Derek Murray, University of Cambridge
5. Proof engineering: Refactoring proof – Eliot Setzer, University of Edinburgh
6. Vehicular ad hoc networks – Eugenio Giordano, University of Bologna
7. Automatic derivation of loop bounds – Florian Zuleger, Technical University Darmstadt
8. Mechanized foundations of finite group theory – Francois Garillot, INRIA
9. New apparatus for characterising molecular computing substrates – Gareth Jones, University of Southampton
10. Contact network modeling of flu epidemics– Anilkumar Sorathiya & Ian Leung, University of Cambridge

Opens in a new tab

1. MSR India 2012 Summer School on Distributed Algorithms, Systems, and Programming – Chris Lovell, University of Southampton
2. Dynamic dependency graphs – How much parallelism is out there? – Jonathan Mak, University of Cambridge
3. Pan-tropical modelling of the impact of land use change on water quantity provision and low flows – Jorge Peña Arancibia, King’s College London
4. The Infinit file system – Julien Quintard, University of Cambridge
5. Designing robots for people – Laurel Riek, University of Cambridge
6. Diagrammatic reasoning across multiple domains: The automatic construction of useful diagrams – Matthew Ridsdale, University of Cambridge
7. Noise from in-silico biology: A statistical perspective – Michele Forlin, CoSBi
8. Supporting village community through connected situated displays – Nick Taylor, University of Lancaster
9. Examining the adoption and usage of m-banking applications in low-income communities: The case of M-PESA in Kenya – Olga Morawczynski, University of Edinburgh

Opens in a new tab

1. Shape grammar and image based 3D reconstruction of buildings – Olivier Teboul, École Centrale Paris
2. The realities of graphical passwords – Paul Dunphy, Newcastle University
3. Learning the temperature of a game – Philipp Hennig, University of Cambridge
4. Automated planning with goal utility dependencies within a satisfiability framework – Richard Russell, University of Cambridge
5. From BlenX to SBML – Roberto Larcher, CoSBi
6. Deployment of wireless sensor networks – Ruoshui Liu, University of Cambridge
7. Provable security at implementation-level – Sebastian Faust, Katholieke Universiteit Leuven
8. Renewable energy in data centres – Sherif Akoush, University of Cambridge
9. Stochastic modelling of single cell assay data – Simon Youssef, Ludwig-Maximilians-Universität München
10. Interactive visualization, annotation and processing of terabyte-scale 3D image volumes – Tahir Mansoori, University of Oxford
11. A robust video receiver allowing WIMAX video broadcasting and indoor WIFI retransmission – Usman Ali, Supélec

Opens in a new tab