Research Output 1966 2020

Filter
Chapter (peer-reviewed)
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)

syntax
language
evidence
linguistics
interaction

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)

Nonlinear PDE
Half line
Integrable Equation
Wikipedia
Evolution Equation

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)

Multiobjective optimization
Health
Sensors
Microwave ovens
Monitoring

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)

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)

Human robot interaction
Semantics
Communication
Feedback
Robots

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, Inc, 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
Information retrieval

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)

Terminology
Automation
Semantics

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)

Data mining
Mining
Data Mining
Statistical Learning
Formal Proof

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)

gene
general property
biosphere
modeling

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)

Ontology
Railroad cars
Automobiles
Model automobiles
Taxonomies

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)

Pensions
Costs
Investors
Wealth
Expected returns

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)

Human robot interaction
Computer vision
Brain
Robotics
Decision making

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)

Ubiquitous computing
Communication systems

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
resources
best practice
website
video
sustainability

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)

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
Use Case
Accidents
Formal methods
Scenarios
Modeling

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)

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
open access
Electric lamps
supply
Metadata
workflow

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)

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)

Terminology
Telemedicine
Outcome Assessment (Health Care)

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)

learning performance
driver
learning
expert
simulation

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)

Robotics
Robots
Immune system
Evolutionary algorithms
Artificial intelligence

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)

Ubiquitous computing
Ambient intelligence

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)

Robotics
Robots
Immune system
Evolutionary algorithms
Artificial intelligence

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)

mechanic
narrative
knowledge acquisition
semiotics
learning environment

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)

Reinforcement learning
Learning systems
Availability
Planning
Statistical Models

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)

Mechanics
Serious games
Processing
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)

graduate
information system
alumni
employability
project management

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)

Physics
Design of experiments
Serious games

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)

Anisotropic Diffusion
Diffusion Model
Scaling
Moment Closure
Variance-covariance Matrix

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)

Further mathematics
Theorem Proving
Subset
Language
Semantics

Artificial intelligence and personalization opportunities for serious games

Brisson, A., Pereira, G., Prada, R., Pavia, A., Louchart, S., Suttie, N., Lim, T., Lopes, R., Bidarra, R., Bellotti, F., Kravcik, M. & Oliveira, M., 2012, Human Computation in Digital Entertainment and Artificial Intelligence for Serious Games : Papers from the 2012 AIIDE Joint Workshop, AAAI Technical Report WS-12-17. p. 51-57 7 p.

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

Reusability
Artificial intelligence
Sensors
Serious games

Personalizing the User's Physical Environment in a Pervasive System

Papadopoulou, E., Gallacher, S., Taylor, N. K. & Williams, H., 2012, Proceedings 2nd IASTED Asian Conference on Modelling, Identification and Control (AsiaMIC 2012). Assawinchaichote, W. & Hamza, M. H. (eds.). ACTA Press

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

Simulators

Russell’s orders in Kripke’s Theory of Truth and Computational Type Theory

Kamareddine, F. D., Laan, T. & Constable, R., 2012, Handbook of the History of Logic: Sets and Extensions in the Twentieth Century. Gabbay, D., Kanamori, A. & Woods, J. (eds.). San Diego: Elsevier, Vol. 6. p. 801-845 44 p.

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

Type Theory
Type Systems
Truth
Proposition
Regular hexahedron
2011

Learner-Generated Contexts: A Framework to Support the Effective Use of Technology for Learning

Luckin, R., Clark, W., Garnett, F., Whitworth, A., Akass, J., Cook, J., Day, P., Ecclesfield, N., Hamilton, T. & Robertson, J., 2011, Web 2.0-Based E-Learning: Applying Social Informatics for Tertiary Teaching. Lee, M. J. W. & McLoughlin, C. (eds.). IGI Global, p. 70-84

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

Loss Networks

Zachary, S. & Ziedins, I., 2011, Queuing networks: a fundamental approach. van Dijk, N. M. & Boucherie, R. J. (eds.). Springer, Vol. 154. p. 701-728 28 p.

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