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.

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.

Comparison of algorithms that detect drug side effects using electronic healthcare databases (2013)
Journal Article
Reps, J. M., Garibaldi, J. M., Aickelin, U., Soria, D., Gibson, J. E., & Hubbard, R. B. (2013). Comparison of algorithms that detect drug side effects using electronic healthcare databases. Soft Computing, 17(12), https://doi.org/10.1007/s00500-013-1097-4

The electronic healthcare databases are starting to become more readily available and are thought to have excellent potential for generating adverse drug reaction signals. The Health Improvement Network (THIN) database is an electronic healthcare dat... Read More about Comparison of algorithms that detect drug side effects using electronic healthcare databases.