Research Output

Filter
Chapter
2020

Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study

Petrick, R. P. A. & Foster, M. E., 26 Mar 2020, Knowledge Engineering Tools and Techniques for AI Planning. Vallati, M. & Kitchin, D. (eds.). Springer, p. 261-277

Research output: Chapter in Book/Report/Conference proceedingChapter

Time evolution in quantum systems and stochastics

Doikou, A., Malham, S. J. A. & Wiese, A., 6 Feb 2020, (Accepted/In press) Centre de Recherches Mathématiques Series. (CRM Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

2019

Case-based reasoning of a deep learning network for prediction of early stage of oesophageal cancer

Gao, X., Braden, B., Zhang, L., Taylor, S., Pang, W. & Pettdis, M., 22 Nov 2019, (Accepted/In press) Proceedings of the 24th UK Symposium on Case-Based Reasoning.

Research output: Chapter in Book/Report/Conference proceedingChapter

On the equivalence of the coefficient of variation ordering and the lorenz ordering within two-parameter families

Xiao, Y. & Yao, J., 16 Oct 2019, Stochastic Models in Reliability, Network Security and System Safety: Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday. Springer Verlag, p. 285-294 10 p. (Communications in Computer and Information Science; vol. 1102).

Research output: Chapter in Book/Report/Conference proceedingChapter

On the probabilistic Cauchy theory for nonlinear dispersive PDEs

Bényi, Á., Oh, T. & Pocovnicu, O., 2019, Landscapes of Time-Frequency Analysis. Birkhäuser, p. 1-32 32 p. (Applied and Numerical Harmonic Analysis).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

What is a hierarchically hyperbolic space?

Sisto, A., 2019, Beyond hyperbolicity. Hagen, M., Webb, R. & Wilton, H. (eds.). Cambridge University Press, Vol. 454. p. 117-148 32 p. (London Mathematical Society Lecture Note Series ; vol. 454).

Research output: Chapter in Book/Report/Conference proceedingChapter

2018

An Introduction to Stochastic Navier–Stokes Equations

Breit, D., 2018, New Trends and Results in Mathematical Description of Fluid Flows. Bulíček, M., Feireisl, E. & Pokorný, M. (eds.). Springer International Publishing, p. 1-51 (Nečas Center Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

Calcium-pectin chemistry and biomechanics: Biological background and mathematical modelling

Ptashnyk, M. & Allen, H. R., 2018, Plant Biomechanics: From Structure to Function at Multiple Scales. Springer International Publishing, p. 273-303 31 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Evolutionary Algorithms

Corne, D. & Lones, M. A., 22 Feb 2018, Handbook of Heuristics. Martí, R., Panos, P. & Resende, M. (eds.). Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

Medical Applications of Cartesian Genetic Programming

Smith, S. L. & Lones, M. A., 2018, Inspired by Nature. Stepney, S. & Adamatzky, A. (eds.). Springer, p. 247-266 20 p. (Emergence, Complexity and Computation; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingChapter

Microworlds, Objects First, Computational Thinking and Programming

Michaelson, G. J., Aug 2018, Computational Thinking in the STEM Disciplines: Foundations and Research Highlights. Khine, M. (ed.). Springer, p. 31-48 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Smart Animation Tools

Kenwright, B., 2018, Handbook of Research on Emergent Applications of Optimization Algorithms. IGI Global, p. 52-66 15 p. (Advances in Business Information Systems and Analytics (ABISA) Book Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

Teaching Reciprocity as the Foundation of Financial Economics

Johnson, T., 2018, Post Crash Economics: Pluralist and Heterodox Ideas in Teaching and Research. Feraboli, O. & Morelli, C. (eds.). Palgrave Macmillan, p. 199-230 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2017

A note on acylindrical hyperbolicity of mapping class groups

Przytycki, P. & Sisto, A., 2017, Hyperbolic Geometry and Geometric Group Theory. Fujiwara, K., Kojima, S. & Ohshika, K. (eds.). Mathematical Society of Japan, Vol. 73. p. 255-264 10 p. (Advanced Studies in Pure Mathematics; vol. 73).

Research output: Chapter in Book/Report/Conference proceedingChapter

Dengue Incidence Prediction Using Model Variables with Registered Case Feedback

Thiruchelvam, L., Asirvadam, V. S., Dass, S. C., Daud, H. & Gill, B. S., 2017, 9th International Conference on Robotic, Vision, Signal Processing and Power Applications. Ibrahim, H., Iqbal, S., Teoh, S. S. & Mustaffa, M. T. (eds.). Vol. 398. p. 163-172 (Lecture Notes in Electrical Engineering; vol. 398).

Research output: Chapter in Book/Report/Conference proceedingChapter

Lightweight functional session types

Lindley, S. & Morris, J. G., 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 265-286 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Second order analysis of geometric functionals of Boolean models

Hug, D., Klatt, M. A., Last, G. & Schulte, M., 2017, Tensor Valuations and Their Applications in Stochastic Geometry and Imaging. Jensen, E. B. V. & Kiderlen, M. (eds.). Springer, p. 339-383 45 p. (Lecture Notes in Mathematics; vol. 2177).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

SkiROS—A skill-based robot control platform on top of ROS

Rovida, F., Crosby, M., Holz, D., Polydoros, A. S., Großmann, B., Petrick, R. P. A. & Krüger, V., 2017, Robot Operating System (ROS): The Complete Reference. Koubaa, A. (ed.). Springer International Publishing, Vol. 2. p. 121-160 40 p. (Studies in Computational Intelligence; vol. 707).

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)

Smart Community Energy Systems for Low Carbon Living

Peacock, A., Owens, E. H., Roaf, S. & Corne, D., 2017, Sustainable Buildings and Built Environments to Mitigate Climate Change in the Tropics: Conceptual and Practical Approaches. Karyono, T. H., Vale, R. & Vale, B. (eds.). Springer International Publishing, p. 91-100 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2016

A User-Centric Design of Service Robots Speech Interface for the Elderly

Wang, N., Broz, F., Di Nuovo, A., Belpaeme, T. & Cangelosi, A., 2016, Recent Advances in Nonlinear Speech Processing. Esposito, A., Faundez-Zanuy, M., Esposito, A. M., Cordasco, G., Drugman, T., Solé-Casals, J. & Morabito, F. C. (eds.). Springer International Publishing, Vol. Part VI. p. 275-283 9 p. (Smart Innovation, Systems and Technologies; vol. 48).

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Controlled biped balanced locomotion and climbing

Kenwright, B., 2016, Dynamic Balancing of Mechanisms and Synthesizing of Parallel Robots. Zhang, D. & Wei, B. (eds.). Springer, p. 447-456 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Experimental Evaluation of a Multi-modal User Interface for a Robotic Service

Di Nuovo, A., Wang, N., Broz, F., Belpaeme, T., Jones, R. & Cangelosi, A., 2016, Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016, Proceedings. Alboul, L., Damian, D. & Aitken, J. M. (eds.). 1 ed. Springer International Publishing, Vol. 9716. p. 87-98 12 p. (Lecture Notes in Artificial Intelligence; vol. 9716).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Extrinsic versus intrinsic evaluation of natural language generation for spoken dialogue systems and social robotics

Hastie, H., Cuayáhuitl, H., Dethlefs, N., Keizer, S. & Liu, X., 25 Dec 2016, Dialogues with Social Robots: Enablements, Analyses, and Evaluation. Jokinen, K. & Wilcock, G. (eds.). Springer, Vol. Part V. p. 303-311 9 p. (Lecture Notes in Electrical Engineering; vol. 999).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Fully Bayesian Approach

Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 53-75 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

Fully Bayesian Spatial Prediction Using Gaussian Markov Random Fields

Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 91-106 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Games Robots Play: Once More, with Feeling

Aylett, R., 2016, Emotion in Games: Theory and Praxis. Karpouzis, K. & Yannakakis, G. N. (eds.). Springer, p. 289-302 14 p. (Socio-Affective Computing; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapter

Intelligent workflow management for Fish4Knowledge using the SWELL system

Nadarajan, G., Yang, C-L. & Chen-Burger, Y-H., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Fisher, R. B., Chen-Burger, Y-H., Giordano, D., Hardman, L. & Lin, F-P. (eds.). Springer International Publishing, p. 83-101 19 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

Introduction: Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks

Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 1-9 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Learning Covariance Functions

Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 19-26 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Memory Efficient Prediction With Truncated Observations

Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 27-52 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

New Efficient Spatial Model with Built-In Gaussian Markov Random Fields

Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 77-90 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

On the PLS algorithm for multiple regression (PLS1)

Takane, Y. & Loisel, S., 16 Oct 2016, The Multiple Facets of Partial Least Squares and Related Methods. Springer, p. 17-28 12 p. (Springer Proceedings in Mathematics & Statistics; vol. 173).

Research output: Chapter in Book/Report/Conference proceedingChapter

Overview of the fish4knowledge project

Fisher, R. B., Shao, K. T. & Chen-Burger, Y-H., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Springer International Publishing, p. 1-17 17 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Preliminaries

Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 11-18 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Reflections on monadic lenses

Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., 25 Mar 2016, A List of Successes that can Change the World: Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Springer, p. 1-31 31 p. (Lecture Notes in Computer Science; vol. 9600).

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

Semi-Automated Design Space Exploration for Formal Modelling

Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S. & Gow, J., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
17 Downloads (Pure)

Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons from Automated Planning

Foster, M. E. & Petrick, R. P. A., 25 Dec 2016, Dialogues with Social Robots: Enablements, Analyses, and Evaluation. Jokinen, K. & Wilcock, G. (eds.). Springer, p. 93-107 15 p. (Lecture Notes in Electrical Engineering; vol. 427).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

The fish4knowledge virtual world gallery

Chen-Burger, Y-H. & Tate, A., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Springer International Publishing, Vol. 104. p. 261-267 7 p. (Intelligent Systems Reference Library; vol. 104).

Research output: Chapter in Book/Report/Conference proceedingChapter

UC-B: Use case modelling with Event-B

Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
25 Downloads (Pure)
2015

A synthetic revised m-of-k runs rules control chart

Chong, Z. L., Khoo, M. B. C., Teh, S. Y. & Teoh, W. L., 17 Dec 2015, 2015 International Conference on Research and Education in Mathematics. IEEE, p. 250-255 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

A type-theoretic approach to resolution

Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 9527).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Effects of misspecification of the loss function on the economic-statistical design of the synthetic X̄ chart

Yeong, W. C., Khoo, M. B. C., Lim, S. L. & Teoh, W. L., 27 Aug 2015, 2015 International Conference on Computer, Communications, and Control Technology. IEEE, p. 77-81 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Emergent Narrative, Past, Present and Future of an Interactive Storytelling Approach

Louchart, S., Truesdale, J., Suttie, N. & Aylett, R., 2015, Interactive Digital Narrative: History, Theory and Practice. Koenitz, H., Ferri, G., Haahr, M., Sezen, D. & Sezen, T. İ. (eds.). Routledge, p. 185-199 15 p. (Routledge Studies in European Communication Research and Education).

Research output: Chapter in Book/Report/Conference proceedingChapter

Epidemic models, control

Clancy, D., 22 Jun 2015, Wiley Stasref: Statistics Reference Online. Wiley, p. 1-8 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Multimodal Action Recognition

Jia, C., Pang, W. & Fu, Y., 2015, Human Activity Recognition and Prediction. Fu, Y. (ed.). Switzerland: Springer International Publishing, p. 71-85 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Structural Resolution for Logic Programming

Johann, P., Komendantskaya, E. & Komendantskiy, V., 2015, Technical Communications of ICLP 2015. De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). CEUR-WS, 13 p. (CEUR Workshop Proceedings; vol. 1433).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
15 Downloads (Pure)

Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence

Ames, M., Peters, G. W., Bagnarosa, G. & Kosmidis, I., 10 Jan 2015, Innovations in Quantitative Risk Management.. Springer, p. 163-181 19 p. (Springer Proceedings in Mathematics & Statistics; vol. 99).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
4 Citations (Scopus)
2014

A modelling assessment of control strategies to prevent/reduce Squirrelpox spread.

White, A. & Lurz, P., 2014, Scottish Natural Heritage: Commissioned Report No. 627.

Research output: Chapter in Book/Report/Conference proceedingChapter

A web based multi-modal interface for elderly users of the robot-era multi-robot services

Di Nuovo, A., Broz, F., Belpaeme, T., Cangelosi, A., Cavallo, F., Esposito, R. & Dario, P., 2014, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. Piscataway (New Jersey): IEEE, p. 2186-2191 6 p. 6974248. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 2014-January).

Research output: Chapter in Book/Report/Conference proceedingChapter

11 Citations (Scopus)

Sinking Bubbles in Stout Beers

Cummins, C., Benilov, E. S. & Lee, W. T., 2014, Progress in Industrial Mathematics at ECMI 2012. Fontes, M., Günther, M. & Marheineke, N. (eds.). Springer, p. 173-176 4 p. (Mathematics in Industry; vol. 19).

Research output: Chapter in Book/Report/Conference proceedingChapter