Research Output

Filter
Chapter (peer-reviewed)
2020

Adapting Movements and Behaviour to Favour Communication in Human-Robot Interaction

Lohan, K., Ahmad, M. I., Dondrup, C., Ardon, P., Pairet, È. & Vinciarelli, A., 2020, Modelling Human Motion. Springer, p. 271-297 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Are autistic children more vulnerable online? Relating autism to online safety, child wellbeing and parental risk management

Macmillan, K., Berg, T., Just, M. & Stewart, M. E., 23 Jun 2020, (Accepted/In press) 11th Nordic Conference on Human-Computer Interaction (NordiCHI 2020). Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

File
42 Downloads (Pure)

Proof-Carrying Plans: a Resource Logic for AI Planning

Hill, A., Komendantskaya, E. & Petrick, R. P. A., 4 Aug 2020, (Accepted/In press) 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP ’20), September 8–10, 2020, Bologna, Italy.. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2019

Hypersingular Integrals in Integral Equations and Inequalities: Fundamental Review Study

Obaiys, S. J., W. Ibrahim, R. & F. Ahmad, A., 15 Nov 2019, Differential and Integral Inequalities. Andrica, D. & Rassias, T. M. (eds.). Springer, p. 687-717 31 p. (Springer Optimization and Its Applications; vol. 151).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)
2018

Ellipsis in Dynamic Syntax

Kempson, R., Gregoromichelaki, E., Eshghi, A. & Hough, J., Dec 2018, (Accepted/In press) The Oxford Handbook of Ellipsis. van Craenenbroeck, J. & Temmerman, T. (eds.). Oxford University Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

From Random Walks to Fully Anisotropic Diffusion Models for Cell and Animal Movement

Painter, K. J. & Hillen, T., 2018, Cell Movement: Modeling and Applications. Stolarska, M. & Tarfulea, N. (eds.). Birkhäuser, p. 103-141 ( Modeling and Simulation in Science, Engineering and Technology).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Integrable nonlinear PDEs on the half-line

Pelloni, B. & Fokas, A. S., 2018, (Accepted/In press) Nonlinear systems and their remarkable mathematical structures. CRC Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Multi-objective Optimization Modeling for the Impacts of 2.4-GHz ISM Band Interference on IEEE 802.15.4 Health Sensors

Hamdan, M. M. M., Bani-Yaseen, M. & Shehadeh, H. A., 2018, Information Innovation Technology in Smart Cities. Ismail, L. & Zhang, L. (eds.). Springer International Publishing, p. 317-330 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

3 Citations (Scopus)

Preface

Jezic, G., Kusek, M., Chen-Burger, Y-H. J., Howlett, R. J. & Jain, L. C., 2018, Agent and Multi-Agent Systems: Technology and Applications. Springer, p. v-vi 2 p. (Smart Innovation, Systems and Technologies; vol. 74).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Sequential Monte Carlo-ABC Methods for Estimation of Stochastic Simulation Models of the Limit Order Book

Peters, G., Panayi, E. & Septier, F., 7 Dec 2018, Handbook of Approximate Bayesian Computation. Sisson, S. A., Fan, Y. & Beaumont, M. (eds.). Chapman & Hall, (Handbooks of Modern Statistical Methods).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Statistical Machine Learning Analysis of Cyber Risk Data: Event Case Studies

Peters, G., Shevchenko, P. V., Cohen, R. D. & Maurice, D., 19 Feb 2018, Fintech: Growth and Deregulation. Maurice, D., Freund, J. & Fairman, D. (eds.). Risk Books

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Understanding Cyber-Risk and Cyber-Insurance

Peters, G., Shevchenko, P. V. & Cohen, R. D., 19 Feb 2018, Fintech: Growth and Deregulation. Maurice, D., Freund, J. & Fairman, D. (eds.). Risk Books

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2017

A note on the acylindrical hyperbolicity of groups acting on CAT(0) cube complexes

Chatterji, I. & Martin, A., 13 Sep 2017, (Accepted/In press) Proceedings of the conference "Beyond hyperbolicity". Cambridge University Press, (London Mathematical Society Lecture Notes Series).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Blockchain Architectures for Electronic Exchange Reporting Requirements: EMIR, Dodd Frank, MiFID I/II, MiFIR, REMIT, Reg NMS and T2S.

Peters, G. & Vishnia, G., 2017, Handbook of Blockchain, Digital Finance, and Inclusion: Cryptocurrency, FinTech, InsurTech, Regulation, ChinaTech, Mobile Security, and Distributed Ledger. Elsevier Science, Vol. 2. p. 271-329

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)

Enriching the human-robot interaction loop with natural, semantic and symbolic gestures

Lohan, K. S., Lehmann, H., Dondrup, C., Broz, F. & Kose, H., 26 Sep 2017, Humanoid Robotics: A Reference. Goswami, A. & Vadakkepat, P. (eds.). Springer, p. 1-21 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

How can we better support users with non-uniform information access in collaborative information retrieval?

Htun, N. N., Halvey, M. & Baillie, L., 7 Mar 2017, Proceedings of the 2017 Conference on Human Information Interaction and Retrieval (CHIIR 2017). New York: Association for Computing Machinery, p. 235-244 10 p. (Proceedings of the Conferences on Human Information Interaction and Retrieval (CHIIR)).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Open Access
5 Citations (Scopus)

Improving Dynamic Information Exchange in Emergency Response Scenarios

Quesada Real, F., McNeill, F., Bella, G. & Bundy, A., May 2017, Proceedings of the 14th International Conference on Information Systems for Crisis Response and Management. May ed. France: International Association for Information Systems for Crisis Response and Management, Vol. 2017. p. 824-833 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2 Citations (Scopus)

Proof mining with dependent types

Komendantskaya, E. & Heras, J., 28 Jun 2017, Intelligent Computer Mathematics. CICM 2017.. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Springer, Vol. 10383. p. 303-318 16 p. (Lecture Notes in Computer Science; vol. 10383).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

3 Citations (Scopus)

Who said that? A comparative study of non-negative matrix factorisation and deep learning techniques

Krikke, T., Broz, F. & Lane, D. M., 15 Aug 2017, (Accepted/In press) AAAI Fall Symposium Series. AAAI Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2016

Computing with Artificial Gene Regulatory Networks

Lones, M. A., 2016, Evolutionary Computation in Gene Regulatory Network Research. Iba, H. & Noman, N. (eds.). Wiley

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Facilitating Interaction Between Virtual Agents through Negotiation over Ontological Representation

McNeill, F. & Bundy, A., Aug 2016, (Accepted/In press) Encyclopedia of Information Science and Technology. IGI Global

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Fundamentals of cost and risk that matter to pension savers and life annuitants

Donnelly, C., Guillen, M. & Nielsen, J. P., 2016, Retirement system risk management: Implications of the New Regulatory Order. Mitchell, O. S., Maurer, R. & Orszag, J. M. (eds.). 1 ed. Oxford University Press, p. 171-185 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Poisson Point Process Convergence and Extreme Values in Stochastic Geometry

Schulte, M. & Thäle, C., 2016, Stochastic Analysis for Poisson Point Processes: Malliavin Calculus, Wiener-Itô Chaos Expansions and Stochastic Geometry. Peccati, G. & Reitzner, M. (eds.). Springer, p. 255-294 40 p. (Bocconi & Springer Series; vol. 7).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

4 Citations (Scopus)

Studying Human-Human interaction to build the future of Human-Robot interaction

D'Ausilio, A., Lohan, K., Badino, L. & Sciutti, A., Jun 2016, Human Computer Confluence: Transforming Human Experience Through Symbiotic Technologies. Gaggioli, A., Ferscha, A., Riva, G., Dunne, S. & Viaud-Delmon, I. (eds.). p. 213–226

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Tailoring privacy-aware trustworthy cooperating smart spaces for university environments

Liampotis, N., Papadopoulou, E., Kalatzis, N., Roussaki, I., Kosmides, P., Sykas, E., Bental, D. & Taylor, N. K., 2016, Handbook of Research on Next Generation Mobile Communication Systems. IGI Global, p. 410-439 30 p. 16

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Technology Strategies for Open Educational Resource Dissemination

Barker, P. & Campbell, L. M., 19 Dec 2016, Open Education: International Perspectives in Higher Education. Blessinger, P. & Bliss, T. J. (eds.). Cambridge UK: Open Book Publishers, p. 51-71 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Open Access

Understanding Modern Banking Ledgers Through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money

Peters, G. & Panayi, E., 1 Jan 2016, Banking Beyond Banks and Money: A Guide to Banking Services in the Twenty-First Century. Springer, p. 239-279 (New Economic Windows).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

138 Citations (Scopus)
2015

An Overview of Recent Advances in Monte-Carlo Methods for Bayesian Filtering in High-Dimensional Spaces

Septier, F. & Peters, G., 25 Dec 2015, Theoretical Aspects of Spatial-Temporal Modeling. Peters, G. & Matsui, T. (eds.). Springer, p. 31-61 ( JSS Research Series in Statistics).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

A rigorous approach to combining use case modelling and accident scenarios

Murali, R., Ireland, A. & Grov, G., 2015, NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer, Vol. 9058. p. 263-278 16 p. (Lecture Notes in Computer Science; vol. 9058).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Open Access
File
4 Citations (Scopus)
17 Downloads (Pure)

A variational approach for mean-variance-optimal deterministic consumption and investment

Christiansen, M., 2015, Springer Proceedings in Mathematics & Statistics: Innovations in Quantitative Risk Management. Springer, Vol. 99. p. 225-238

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2 Citations (Scopus)

How to Utilize Sensor Network Data to Efficiently Perform Model Calibration and Spatial Field Reconstruction

Peters, G. W., Nevat, I. & Matsui, T., 2015, Modern Methodology and Applications in Spatial-Temporal Modeling. Springer, p. 25-62 38 p. (JSS Research Series in Statistics).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Medical applications of evolvable hardware

Lones, M. A. & Smith, S. L., 2015, Evolvable Hardware: From Practice to Application. Vol. Part II. p. 253-271 19 p. (Natural Computing Series).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Spectral Measures of Alpha-Stable Distributions: An Overview and Natural Applications in Wireless Communications

Peters, G., Azzaoui, N., Clavier, L. & Guillin, A., 20 Dec 2015, Theoretical Aspects of Spatial-Temporal Modeling. Springer, p. 69-94 (JSS Research Series in Statistics).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

We should not light an Open Access lamp and then hide it under a bushel!

Chumbe, S. S., MacLeod, R. A. & Kelly, B., Sep 2015, New Avenues for Electronic Publishing in the Age of Infinite Collections and Citizen Science: Scale, Openness and Trust: Proceedings of the 19th International Conference on Electronic Publishing. Schmidt, B. & Dobreva, M. (eds.). IOS Press, p. 102-112 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

Wiener randomization on unbounded domains and an application to almost sure well-posedness of NLS

Bényi, Á., Oh, T. & Pocovnicu, O., Nov 2015, Excursions in Harmonic Analysis: The February Fourier Talks at the Norbert Wiener Center, Book Part XIII. Balan, R., Begué, M., Benedetto, J. J., Czaja, W. & Okoudjou, K. A. (eds.). Springer International Publishing, Vol. 4. p. 3-25 (Applied and Numerical Harmonic Analysis).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

20 Citations (Scopus)
2014

A framework for evaluating and utilizing medical terminology mappings

Hussain, S., Sun, H., Sinaci, A., Erturkmen, G. B. L., Mead, C., Gray, A. J. G., Mcguinness, D., Prud'hommeaux, E., Daniel, C. & Forsberg, K., 2014, Proceedings of MIE2014. Vol. 205. p. 594-598 5 p. (Studies in Health Technology and Informatics ; vol. 205).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2 Citations (Scopus)

Beyond simulators, using F1 games to predict driver performance, learning and potential

Hislop, M., Sivanathan, A., Lim, T., Ritchie, J. M., Rajendran, G. & Louchart, S., 2014, Games and Learning Alliance: Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers. Springer, Vol. 8605. p. 157-171 15 p. (Lecture Notes in Computer Science; vol. 8605).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Context and challenges for evolutionary robotics

Vargas, P., Di Paolo, E., Harvey, I. & Husbands, P., Mar 2014, The Horizons of Evolutionary Robotics. Vargas, P. A., Di Paolo, E., Harvey, I. & Husbands, P. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Enhancing Mobile Social Networks with Ambient Intelligence

Doolin, K., Taylor, N. K., Crotty, M., Roddy, M., Jennings, E., Roussaki, I. & McKitterick, D., 2014, Mobile Social Networking. Springer, p. 139-163 25 p. (Computational Social Sciences).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Evolutionary robotics and neuroscience

Vargas, P., Moioli, R., Husbands, P., Shim, Y-S., Philippides, A. & O'Shea, M., Mar 2014, The Horizons of Evolutionary Robotics. Vargas, P. A., Di Paolo, E., Harvey, I. & Husbands, P. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Narrative Serious Game Mechanics (NSGM) – Insights into the Narrative-Pedagogical Mechanism

Lim, T., Louchart, S., Suttie, N., Baalsrud Hauge, J., Stanescu, I. A., Martinez-Ortiz, I., Moreno-Ger, P., Bellotti, F., Carvalho, M. B., Earp, J., Ott, M., Arnab, S. & Berta, R., 2014, Games for Training, Education, Health and Sports: 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings. Vol. 8395. p. 23-34 11 p. (Lecture Notes in Computer Science; vol. 8395).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

11 Citations (Scopus)

Reinforcement learning approaches to natural language generation in interactive systems

Lemon, O., Chandrasekaran Janarthanam, S. & Rieser, V., Jun 2014, Natural Language Generation in Interactive Systems. Bangalore, S. & Stent, A. (eds.). Cambridge University Press, p. 151-175 25 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Serious game mechanics, workshop on the ludo-pedagogical mechanism

Lim, T., Louchart, S., Suttie, N., Baalsrud Hauge, J., Stanescu, I. A., Bellotti, F., Carvalho, M. B., Earp, J., Ott, M., Arnab, S. & Brown, D., 2014, Games for Training, Education, Health and Sports: 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings. Vol. 8395. p. 186-189 4 p. (Lecture Notes in Computer Science; vol. 8395).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)
2013

HPV Modelling Goes Bayesian: Inference via Advanced Markov Chain Monte Carlo Methods

Peters, G. W., Korotsil, I. & Regan, D., 2013, Handbook on Human Papillomavirus: Prevalence, Detection and Management. Nova Science Publishers, p. 453-526 74 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

IS degrees: Sociotechnical or technosocial? - a reflective analysis

Berg, T., Pooley, R. J. & Coady, J., 2013, Building Sustainable Information Systems : Proceedings of the 2012 International Conference on Information Systems Development . p. 219-231

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Serious game for quantum research

Brown, O., Truesdale, J., Louchart, S., McEndoo, S., Maniscalco, S., Robertson, J., Lim, T. & Kilbride, S., 2013, Serious Games Development and Applications: 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings. Ma, M., Oliveira, M. F., Petersen, S. & Baalsrud Hauge, J. (eds.). Springer, Vol. 8101. p. 178-187 10 p. (Lecture Notes in Computer Science; vol. 8101).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)
10 Downloads (Pure)

Transport and anisotropic diffusion models for movement in oriented habitats

Hillen, T. & Painter, K. J., 2013, Dispersal, Individual Movement and Spatial Ecology: A Mathematical Perspective. Vol. 2071. p. 177-222 46 p. (Lecture Notes in Mathematics; vol. 2071).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

21 Citations (Scopus)

Trends in Functional Programming: 13th International Symposium, TFP 2012 St. Andrews, UK, June 12-14, 2012: Preface

Loidl, H. W. & Peña, R., 2013, Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Vol. 7829. p. v-vi (Lecture Notes in Computer Science; vol. 7829).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2012

A history of types

Kamareddine, F. D., Laan, T. & Nederpelt, R., 2012, Logic: A History of its Central Concepts. San Diego: Elsevier, Vol. 11. p. 451-512

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

An Essence of SSReflect

Whiteside, I., Aspinall, D. & Grov, G., 2012, Intelligent Computer Mathematics. Springer, p. 186-201 16 p. (Lecture Notes in Computer Science; vol. 7362).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

1 Citation (Scopus)