-
- 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 arithmetic – Andrew Lewis, University of Cambridge
- Highly sensitive de novo identification of peptides from tandem mass spectra by linear optimization and kinetic modeling – Axel 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 stylisation – 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 – 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
-
- MSR India 2012 Summer School on Distributed Algorithms, Systems, and Programming – 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