Skip to main content

Research Repository

Advanced Search

Browse


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.

Estimation of Conductivity Tensors from Human Ventricular Optical Mapping Recordings (2013)
Book Chapter
Walmsley, J., Mirams, G. R., Efimov, I. R., Burrage, K., & Rodriguez, B. (2013). Estimation of Conductivity Tensors from Human Ventricular Optical Mapping Recordings. In N. Smith, D. Rueckert, & S. Ourselin (Eds.), Functional Imaging and Modeling of the Heart: 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings. , (224-231). Springer Verlag. https://doi.org/10.1007/978-3-642-38899-6_27

Experimental recordings of transmural activation in the human left ventricle show variability in recorded activation times. In this paper we demonstrate a framework for fitting the conductivity tensor of a monodomain model to reproduce activation tim... Read More about Estimation of Conductivity Tensors from Human Ventricular Optical Mapping Recordings.

The US Embassy in London and Britain’s Withdrawal from East of Suez, 1961–69 (2013)
Book Chapter
Young, J. W. (2013). The US Embassy in London and Britain’s Withdrawal from East of Suez, 1961–69. In J. W. Young, E. G. Pedaliu, & M. D. Kandiah (Eds.), Britain in Global Politics Volume 2, 139-158. Palgrave Macmillan. doi:10.1057/9781137313584_8

One of Saki Dockrill’s most significant publications was her monograph, Britain’s Retreat from East of Suez.1 In this, the first archival study of the subject, she set Britain’s reassessment of its defence priorities in a broad context, looking not o... Read More about The US Embassy in London and Britain’s Withdrawal from East of Suez, 1961–69.

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.

Enhanced unblocking from sustained post-trial surprise (2013)
Journal Article
Haselgrove, M., Tam, S. K. E., & Jones, P. M. (2013). Enhanced unblocking from sustained post-trial surprise. Journal of Experimental Psychology: Animal Behavior Processes, 39(4), 311-322. https://doi.org/10.1037/a0032569

Two appetitive conditioning experiments with rats investigated the mechanisms and properties of unblocking that results from the surprising omission of an expected post-trial unconditioned stimulus (US). Experiment 1 demonstrated unblocking under cir... Read More about Enhanced unblocking from sustained post-trial surprise.

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.

Creating a Corpus of Geospatial Natural Language (2013)
Book Chapter
Stock, K., Pasley, R. C., Gardner, Z., Brindley, P., Morley, J., & Cialone, C. (2013). Creating a Corpus of Geospatial Natural Language. In T. Tenbrink, J. Stell, A. Galton, & Z. Wood (Eds.), Spatial Information Theory: 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings, 279-298. Springer. doi:10.1007/978-3-319-01790-7_16

The description of location using natural language is of interest for a number of research activities including the automated interpretation and generation of natural language to ease interaction with geographic information systems. For such activiti... Read More about Creating a Corpus of Geospatial Natural Language.

The effect of stimulus distribution form on the acquisition and rate of conditioned responding: Implications for theory (2013)
Journal Article
Jennings, D. J., Alonso, E., Mondragón, E., Franssen, M., & Bonardi, C. (2013). The effect of stimulus distribution form on the acquisition and rate of conditioned responding: Implications for theory. Journal of Experimental Psychology: Animal Behavior Processes, 39(3), 233-248. doi:10.1037/a0032151

In four experiments rats were conditioned to an auditory conditioned stimulus (conditioned stimulus; CS) that was paired with food, and learning about the CS was compared across two conditions in which the mean duration of the CS was equated. In one,... Read More about The effect of stimulus distribution form on the acquisition and rate of conditioned responding: Implications for theory.

A comparison of resistive and capacitive touchscreens for use within vehicles (2013)
Journal Article
Burnett, G., Large, D., Crundall, E., Lawson, G., De-Kremer, S., & Skrypchuk, L. (2013). A comparison of resistive and capacitive touchscreens for use within vehicles. Advances in Transportation Studies, 31, 5-16

Vehicles are increasingly utilising technologies developed in non-automotive domains. In this respect, capacitive touchscreens are familiar to smartphone and tablet computer users enabling a wide range of single and multi-touch gestures, but have not... Read More about A comparison of resistive and capacitive touchscreens for use within vehicles.

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


;