Skip to main content

Research Repository

Advanced Search

Outputs (66)

Placebooks: Participation, Community, Design, and Ubiquitous Data Aggregation ‘In the Wild’ (2013)
Presentation / Conference Contribution
Chamberlain, A., Crabtree, A., Davies, M., Glover, K., Reeves, S., Tolmie, P., & Jones, M. (2013, July). Placebooks: Participation, Community, Design, and Ubiquitous Data Aggregation ‘In the Wild’. Presented at HIMI: International Conference on Human Interface and the Management of Information, Las Vegas, USA

This paper outlines and describes the development of a multi-media data aggregation system called Placebooks. Placebooks was developed as a ubiquitous toolkit aimed at allowing people in rural areas to create and share digital books that contained a... Read More about Placebooks: Participation, Community, Design, and Ubiquitous Data Aggregation ‘In the Wild’.

Doing innovation in the wild (2013)
Presentation / Conference Contribution
Crabtree, A., Chamberlain, A., Davies, M., Glover, K., Reeves, S., Rodden, T., Tolmie, P., & Jones, M. (2013, September). Doing innovation in the wild. Presented at Biannual Conference of the Italian Chapter of SIGCHI, Trento, Italy

An ant-based selection hyper-heuristic for dynamic environments (2013)
Presentation / Conference Contribution
Kiraz, B., Etaner-Uyar, A. Ş., & Özcan, E. (2013, April). An ant-based selection hyper-heuristic for dynamic environments. Presented at 16th European Conference on Applications of Evolutionary Computing, Vienna, Austria

Dynamic environment problems require adaptive solution methodologies which can deal with the changes in the environment during the solution process for a given problem. A selection hyper-heuristic manages a set of low level heuristics (operators) and... Read More about An ant-based selection hyper-heuristic for dynamic environments.

Generalizations of Hedberg’s Theorem (2013)
Presentation / Conference Contribution
Kraus, N., Escardó, M., Coquand, T., & Altenkirch, T. (2013, June). Generalizations of Hedberg’s Theorem. Presented at TLCA: International Conference on Typed Lambda Calculi and Applications, Eindhoven, The Netherlands

As the groupoid interpretation by Hofmann and Streicher shows, uniqueness of identity proofs (UIP) is not provable. Generalizing a theorem by Hedberg, we give new characterizations of types that satisfy UIP. It turns out to be natural in this context... Read More about Generalizations of Hedberg’s Theorem.

Infobiotics workbench: a P systems based tool for systems and synthetic biology (2013)
Book Chapter
Blakes, J., Twycross, J., Konur, S., Romero-Campero, F. J., Krasnogor, N., & Gheorghe, M. (2014). Infobiotics workbench: a P systems based tool for systems and synthetic biology. In Applications of membrane computing in systems and synthetic biology. Springer International Publishing. https://doi.org/10.1007/978-3-319-03191-0_1

This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial discrete-stochastic P systems modelling framework. The Workbench incorporates three important features, simulation, model che... Read More about Infobiotics workbench: a P systems based tool for systems and synthetic biology.

Understanding mass participatory pervasive computing systems for environmental campaigns (2013)
Journal Article
Chamberlain, A., Paxton, M., Glover, K., Flintham, M., Price, D., Benford, S., Tolmie, P., Kanjo, E., Gower, A., Gower, A., Woodgate, D., Stanton Fraser, D., & Greenhalgh, C. (2014). Understanding mass participatory pervasive computing systems for environmental campaigns. Personal and Ubiquitous Computing, 18(7), https://doi.org/10.1007/s00779-013-0756-x

Participate was a 3-year collaboration between industry and academia to explore how mobile, Web and broadcast technologies could combine to deliver environ- mental campaigns. In a series of pilot projects, schools used mobile sensors to enhance scien... Read More about Understanding mass participatory pervasive computing systems for environmental campaigns.

Designing for reportability: sustainable gamification, public engagement, and promoting environmental debate (2013)
Journal Article
Tolmie, P., Chamberlain, A., & Benford, S. (2014). Designing for reportability: sustainable gamification, public engagement, and promoting environmental debate. Personal and Ubiquitous Computing, 18, 1763-1774. https://doi.org/10.1007/s00779-013-0755-y

There is a growing emphasis in many countries on matters such as participation in e-government, e-democracy, the provision of forums for online debate, and so on. A critical issue in all of these cases is one of encouraging engagement across a broad... Read More about Designing for reportability: sustainable gamification, public engagement, and promoting environmental debate.

Application of machine learning to proteomics data: classification and biomarker identification in postgenomics biology (2013)
Journal Article
Swan, A. L., Mobasheri, A., Allaway, D., Liddell, S., & Bacardit, J. (2013). Application of machine learning to proteomics data: classification and biomarker identification in postgenomics biology. OMICS, 17(12), https://doi.org/10.1089/omi.2013.0017

Mass spectrometry is an analytical technique for the characterization of biological samples and is increasingly used in omics studies because of its targeted, nontargeted, and high throughput abilities. However, due to the large datasets generated, i... Read More about Application of machine learning to proteomics data: classification and biomarker identification in postgenomics biology.

300 Faces in-the-Wild Challenge: the first facial landmark localization challenge (2013)
Presentation / Conference Contribution
Sagonas, C., Tzimiropoulos, G., Zafeiriou, S., & Pantic, M. 300 Faces in-the-Wild Challenge: the first facial landmark localization challenge. Presented at 2013 IEEE International Conference on Computer Vision (ICCV)

Automatic facial point detection plays arguably the most important role in face analysis. Several methods have been proposed which reported their results on databases of both constrained and unconstrained conditions. Most of these databases provide a... Read More about 300 Faces in-the-Wild Challenge: the first facial landmark localization challenge.