Skip to main content

Research Repository

Advanced Search

All Outputs (54)

Generalizations of Hedberg’s Theorem (2013)
Conference Proceeding
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.

An Analytical Approach to Single Node Delay-Coupled Reservoir Computing (2013)
Conference Proceeding
Schumacher, J., Toutounji, H., & Pipa, G. (2013). An Analytical Approach to Single Node Delay-Coupled Reservoir Computing. In Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings (26-33). https://doi.org/10.1007/978-3-642-40728-4_4

Reservoir computing has been successfully applied in difficult time series prediction tasks by injecting an input signal into a spatially extended reservoir of nonlinear subunits to perform history-dependent nonlinear computation. Recently, the netwo... Read More about An Analytical Approach to Single Node Delay-Coupled Reservoir Computing.

A study of unidirectional swipe gestures on in-vehicle touch screens (2013)
Conference Proceeding
Burnett, G., Crundall, E., Large, D., Lawson, G., & Skrypchuk, L. (2013). A study of unidirectional swipe gestures on in-vehicle touch screens. doi:10.1145/2516540.2516545

Touch screens are increasingly used within modern vehicles, providing the potential for a range of gestures to facilitate interaction under divided attention conditions. This paper describes a study aiming to understand how drivers naturally make swi... Read More about A study of unidirectional swipe gestures on in-vehicle touch screens.

Group Decision Support and Social Software Techniques for PLM Decision Making (2013)
Conference Proceeding
Pasley, R., & MaCarthy, B. (2013). Group Decision Support and Social Software Techniques for PLM Decision Making

Product Lifecycle Management (PLM) is a common concern in industry. The whole cycle view allows faster product development with more control of risks and processes. Through PLM quality and effectiveness of product development and planning can be impr... Read More about Group Decision Support and Social Software Techniques for PLM Decision Making.

Placebooks: Participation, Community, Design, and Ubiquitous Data Aggregation ‘In the Wild’ (2013)
Conference Proceeding
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’.

Regenerative multi-source power conversion system (2013)
Conference Proceeding
Klumpner, C. (2013). Regenerative multi-source power conversion system.

This presentation shows the progress made on the REGENSYS JTI-CS-2011-3-GRC-03-011 Clean Sky project as of December 2013.

Towards optimal symbolization for time series comparisons (2013)
Conference Proceeding
Smith, G., Goulding, J., & Barrack, D. (2013). Towards optimal symbolization for time series comparisons. In 2013 IEEE 13th International Conference on Data Mining Workshops. https://doi.org/10.1109/ICDMW.2013.59

The abundance and value of mining large time series data sets has long been acknowledged. Ubiquitous in fields ranging from astronomy, biology and web science the size and number of these datasets continues to increase, a situation exacerbated by the... Read More about Towards optimal symbolization for time series comparisons.

300 Faces in-the-Wild Challenge: the first facial landmark localization challenge (2013)
Conference Proceeding
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.

D019 Sliding Mode Contouring Controller with A Nonlinear Sliding Surface and A Disturbance Observer for Five-Axis Machining Tasks (2013)
Conference Proceeding
Mohammad, A. E. K., Uchiyama, N., & SANO, S. (2013). D019 Sliding Mode Contouring Controller with A Nonlinear Sliding Surface and A Disturbance Observer for Five-Axis Machining Tasks. In Proceedings of International Conference on Leading Edge Manufacturing in 21st century : LEM21 (531-536). https://doi.org/10.1299/jsmelem.2013.7.531

The five-axis CNC (computer numerical control) machines are highly flexible compared to those with three-axis and this makes them becoming popular in modern industries. In this paper, we propose a novel sliding mode contouring controller with a nonli... Read More about D019 Sliding Mode Contouring Controller with A Nonlinear Sliding Surface and A Disturbance Observer for Five-Axis Machining Tasks.

"How many bloody examples do you want?" - fieldwork and generalisation (2013)
Conference Proceeding
Crabtree, A., Tolmie, P., & Rouncefield, M. (2013). "How many bloody examples do you want?" - fieldwork and generalisation. In ECSW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 21-25. doi:10.1007/978-1-4471-5346-7_1

The title of this paper comes from comments made by an ‘angry’ ethnographer during a debriefing session. It reflects his frustration with a certain analytic mentality that would have him justify his observations in terms of the number of times he had... Read More about "How many bloody examples do you want?" - fieldwork and generalisation.

Predicting the coefficient of thermal expansion for textile composites based on a unit cell approach (2013)
Conference Proceeding
Brown, L. P., Zeng, X., Long, A. C., Brooks, R., & Jones, I. A. (2013). Predicting the coefficient of thermal expansion for textile composites based on a unit cell approach.

The study focuses on unit cell FE modelling to predict coefficients of thermal expansion (CTEs) for sheared fabric laminates. Shear, as a dominant deformation mode in textile composites forming, introduces high degrees of anisotropy in both elasticit... Read More about Predicting the coefficient of thermal expansion for textile composites based on a unit cell approach.