PhD 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 arithmeticAndrew Lewis, University of Cambridge
6. Highly sensitive de novo identification of peptides from tandem mass spectra by linear optimization and kinetic modelingAxel 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 stylization | 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 (Handout) | 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. Autonomous experimentation methods for characterising molecular computing substrates | 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