Skip to main content

Research Repository

Advanced Search

Outputs (233)

New directions for preserving intangible cultural heritage through the use of mobile technologies (2016)
Presentation / Conference Contribution
Papangelis, K., Chamberlain, A., & Hai-Ning, L. New directions for preserving intangible cultural heritage through the use of mobile technologies. Presented at MobileHCI 2016, 18th International Conference on Human-Computer Interaction with Mobile Devices and Services

While many cultural heritage projects currently exist, few explore the full potential of mobile technologies as a mechanism to explore intangible heritage as a way to preserve culture. This paper outlines three distinct areas necessary for the design... Read More about New directions for preserving intangible cultural heritage through the use of mobile technologies.

Interaction techniques for mobile collocation (2016)
Presentation / Conference Contribution
Lucero, A., Quigley, A., Rekimoto, J., Roudaut, A., Porcheron, M., & Serrano, M. (2016, September). Interaction techniques for mobile collocation. Presented at 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct (MobileHCI'16), Florence, Italy

Research on mobile collocated interactions has been exploring situations where collocated users engage in collaborative activities using their personal mobile devices (e.g., smartphones and tablets), thus going from personal/individual toward shared/... Read More about Interaction techniques for mobile collocation.

How to design Internet of Things to encourage office workers to take more regular micro-breaks (2016)
Presentation / Conference Contribution
Huang, Y. How to design Internet of Things to encourage office workers to take more regular micro-breaks. Presented at ECCE '16: The European Conference on Cognitive Ergonomics

Prolonged sitting at work has become a new health hazard for office workers. The current PhD is thus dedicated to exploring the potential of Internet of Things (IoT) for supporting healthier office work and break routines. An "enchanted object" appro... Read More about How to design Internet of Things to encourage office workers to take more regular micro-breaks.

An ethnographic exploration of studio production practice (2016)
Presentation / Conference Contribution
McGrath, S., Hazzard, A., Chamberlain, A., & Benford, S. An ethnographic exploration of studio production practice. Presented at 2nd AES Workshop on Intelligent Music Production

Tools for music production range from full scale digital production workstations to context-driven plugins. There are a number of inherent challenges to address in supporting users at different stages of work and at different levels of technical skil... Read More about An ethnographic exploration of studio production practice.

Contractive Functions on Infinite Data Structures (2016)
Presentation / Conference Contribution
Capretta, V., Hutton, G., & Jaskelioff, M. (2016, August). Contractive Functions on Infinite Data Structures. Presented at 28th Symposium on Implementation and Application of Functional Languages, Leuven, Belgium

Coinductive data structures, such as streams or infinite trees, have many applications in functional programming and type theory, and are naturally defined using recursive equations. But how do we ensure that such equations make sense, i.e. that they... Read More about Contractive Functions on Infinite Data Structures.

Self-adaptation of mutation rates in non-elitist populations (2016)
Presentation / Conference Contribution
Lehre, P. K., & Dang, D.-C. (2016, September). Self-adaptation of mutation rates in non-elitist populations. Presented at 14th International Conference on Parallel Problem Solving from Nature, Edinburgh, UK

The runtime of evolutionary algorithms (EAs) depends critically on their parameter settings, which are often problem-specific. Automated schemes for parameter tuning have been developed to alleviate the high costs of manual parameter tuning. Experime... Read More about Self-adaptation of mutation rates in non-elitist populations.

Qualitative Spatial Logics for Buffered Geometries (2016)
Journal Article
Du, H., & Alechina, N. (in press). Qualitative Spatial Logics for Buffered Geometries. Journal of Artificial Intelligence Research, 56, 693-745. https://doi.org/10.1613/jair.5140

This paper describes a series of new qualitative spatial logics for checking consistency of sameAs and partOf matches between spatial objects from different geospatial datasets, especially from crowd-sourced datasets. Since geometries in crowd-source... Read More about Qualitative Spatial Logics for Buffered Geometries.

Extending Homotopy Type Theory with Strict Equality (2016)
Presentation / Conference Contribution
Altenkirch, T., Capriotti, P., & Kraus, N. (2016, August). Extending Homotopy Type Theory with Strict Equality. Presented at 25th EACSL Annual Conference on Computer Science Logic, CSL 2016., Marseille, France

In homotopy type theory (HoTT), all constructions are necessarily stable under homotopy equivalence. This has shortcomings: for example, it is believed that it is impossible to define a type of semi-simplicial types. More generally, it is difficult a... Read More about Extending Homotopy Type Theory with Strict Equality.

Populations can be essential in tracking dynamic optima (2016)
Journal Article
Dang, D.-C., Jansen, T., & Lehre, P. K. (in press). Populations can be essential in tracking dynamic optima. Algorithmica, https://doi.org/10.1007/s00453-016-0187-y

Real-world optimisation problems are often dynamic. Previously good solutions must be updated or replaced due to changes in objectives and constraints. It is often claimed that evolutionary algorithms are particularly suitable for dynamic optimisatio... Read More about Populations can be essential in tracking dynamic optima.