Skip to main content

Research Repository

Advanced Search

Outputs (65)

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). Placebooks: Participation, Community, Design, and Ubiquitous Data Aggregation ‘In the Wild’. In Human Interface and the Management of Information. Information and Interaction Design; Lecture Notes in Computer Science (411-420). https://doi.org/10.1007/978-3-642-39209-2_47

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’.

Generalizations of Hedberg’s Theorem (2013)
Presentation / Conference Contribution
Kraus, N., Escardó, M., Coquand, T., & Altenkirch, T. (2013). Generalizations of Hedberg’s Theorem. In Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June (173-188). https://doi.org/10.1007/978-3-642-38946-7_14

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., …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.

300 Faces in-the-Wild Challenge: the first facial landmark localization challenge (2013)
Presentation / Conference Contribution
Sagonas, C., Tzimiropoulos, G., Zafeiriou, S., & Pantic, M. (2013). 300 Faces in-the-Wild Challenge: the first facial landmark localization challenge.

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.

Hyper-heuristics: a survey of the state of the art (2013)
Journal Article
Burke, E., Gendreau, M., Hyde, M., Kendall, G., Ocha, G., Özcan, E., & Qu, R. (2013). Hyper-heuristics: a survey of the state of the art. Journal of the Operational Research Society, 64, https://doi.org/10.1057/jors.2013.71

Hyper-heuristics comprise a set of approaches that are motivated (at least in part) by the goal of automating the design of heuristic methods to solve hard computational search problems. An underlying strategic research challenge is to develop more g... Read More about Hyper-heuristics: a survey of the state of the art.

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.