-
- Adaptive combinatorial search | Alejandro Arbelaez, INRIA
- The cycle of modeling, modeling of the cycle | Alida Palmisano, CoSBi
- Adaptive evolutionary computation | Álvaro Fialho, INRIA
- Adaptive software lock elision | Amitabha Roy, University of Cambridge
- Exact JPEG recompression and forensics using interval arithmeticAndrew Lewis, University of Cambridge
- Highly sensitive de novo identification of peptides from tandem mass spectra by linear optimization and kinetic modelingAxel Rack, Freie Universität Berlin
- Illuminating circadian rhythms with Bayesian inference | Ben Calderhead, University of Glasgow
- Code reprogramming and dissemination in mobile WSN | Bence Pasztor, University of Cambridge
- Quality-oriented handover scheme for adaptive multimedia streaming in heterogeneous wireless network environment | Bogdan Ciubotaru, Dublin College University
- Probabilistic interpretation of figures of speech | Ekaterina Shutova, University of Cambridge
-
- Video abstraction and stylization | Christian Richardt, University of Cambridge
- Time-aware routing in wireless sensor networks | Daniele Borsaro, University of Cambridge
- Towards optical PCI | David Miller, University of Cambridge
- Spread-spectrum computation | Derek Murray, University of Cambridge
- Proof engineering: Refactoring proof | Eliot Setzer, University of Edinburgh
- Vehicular ad hoc networks | Eugenio Giordano, University of Bologna
- Automatic derivation of loop bounds | Florian Zuleger, Technical University Darmstadt
- Mechanized foundations of finite group theory (Handout) | Francois Garillot, INRIA
- New apparatus for characterising molecular computing substrates | Gareth Jones, University of Southampton
- Contact network modeling of flu epidemics | Anilkumar Sorathiya & Ian Leung, University of Cambridge
-
- Autonomous experimentation methods for characterising molecular computing substrates | Chris Lovell, University of Southampton
- Dynamic dependency graphs – How much parallelism is out there? | Jonathan Mak, University of Cambridge
- 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
- The Infinit file system | Julien Quintard, University of Cambridge
- Designing robots for people | Laurel Riek, University of Cambridge
- Diagrammatic reasoning across multiple domains: The automatic construction of useful diagrams | Matthew Ridsdale, University of Cambridge
- Noise from in-silico biology: A statistical perspective | Michele Forlin, CoSBi
- Supporting village community through connected situated displays | Nick Taylor, University of Lancaster
- 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
-
- Shape grammar and image based 3D reconstruction of buildings | Olivier Teboul, École Centrale Paris
- The realities of graphical passwords | Paul Dunphy, Newcastle University
- Learning the temperature of a game | Philipp Hennig, University of Cambridge
- Automated planning with goal utility dependencies within a satisfiability framework | Richard Russell, University of Cambridge
- From BlenX to SBML | Roberto Larcher, CoSBi
- Deployment of wireless sensor networks | Ruoshui Liu, University of Cambridge
- Provable security at implementation-level | Sebastian Faust, Katholieke Universiteit Leuven
- Renewable energy in data centres | Sherif Akoush, University of Cambridge
- Stochastic modelling of single cell assay data | Simon Youssef, Ludwig-Maximilians-Universität München
- Interactive visualization, annotation and processing of terabyte-scale 3D image volumes | Tahir Mansoori, University of Oxford
- A robust video receiver allowing WIMAX video broadcasting and indoor WIFI retransmission | Usman Ali, Supélec