Filter
Chapter (peer-reviewed)

Search results

  • Chapter (peer-reviewed)

    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)peer-review

  • 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)peer-review

    2 Citations (Scopus)
  • 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)

  • A mathematical model for diffusion-induced grain boundary motion

    Penrose, O., 2003, Free Boundary Problems: Theory and Applications. Vol. 147. p. 237-254 18 p. (ISNM International Series of Numerical Mathematics; vol. 147).

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

  • 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)
  • An integration of program analysis and automated theorem proving

    Ellis, B. J. & Ireland, A., 2004, Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004. Proceedings. Vol. 2999. p. 67-86 20 p. (Lecture Notes in Computer Science; vol. 2999).

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

    6 Citations (Scopus)
  • An Investigation of Comic-Based Permission Requests

    Watson, K., Just, M. & Berg, T., 21 Oct 2020, (Accepted/In press) Nordsec 2020: The 25th Nordic Conference on Secure IT Systems. Springer Verlag

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

  • 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)peer-review

  • 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)peer-review

  • 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)peer-review

    Open Access
    File
    4 Citations (Scopus)
    25 Downloads (Pure)
  • 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)

    15 Citations (Scopus)
  • A single-cell based model of multicellular growth using the immersed boundary method

    R, D., M, O. & Painter, K., 2008, Moving Interface Problems and Applications in Fluid Dynamics. American Mathematical Society, p. 1-16 16 p. (Contemporary Mathematics).

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

  • A stochastic epidemiological model and a deterministic limit for bitTorrent-like peer-to-peer file-sharing networks

    Kesidis, G., Konstantopoulos, P. T. & Sousi, P., 2009, Network Control and Optimization: Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers. Vol. 5425. p. 26-36 11 p. (Lecture Notes in Computer Science; vol. 5425).

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

    8 Citations (Scopus)
  • Asymptotics for the maximum of a modulated random walk with heavy-tailed increments

    Foss, S. & Zachary, S., 2002, Analytic Methods in Applied Probability: In Memory of Fridrikh Karpelevich. Vol. 207. p. 37-52 16 p. (American Mathematical Society Translations: Series 2).

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

  • Audio Bubbles: Employing Non-speech Audio to Support Tourist Wayfinding

    McGookin, D., Brewster, S. & Priego, P., 10 Sep 2009, Haptic and Audio Interaction Design: 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings. Ercan Altinsoy, M., Jekosch, U. & Brewster, S. (eds.). Springer, Vol. 5763. p. 41-50 10 p.

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

    48 Citations (Scopus)
  • 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)peer-review

    2 Citations (Scopus)
  • A visual formalism for the composition of stochastic Petri nets

    Hopkins, R. P. & King, P. J. B., 2002, Computer Performance Evaluation: Modelling Techniques and Tools: 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings. Field, T., Harrison, P. G., Bradley, J. & Harder, U. (eds.). Vol. 2324. p. 239-258 20 p. (Lecture Notes in Computer Science; vol. 2324).

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

    3 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)peer-review

  • Beyond the short answer question with research methods tutor

    Kalliopi-Irini, M., Wiemer-Hastings, P. & Robertson, J., 2002, Intelligent Tutoring Systems: 6th International Conference, ITS 2002 Biarritz, France and San Sebastian, Spain, June 2–7, 2002 Proceedings. Cerri, S. A., Gouardères, G. & Paraguaçu, F. (eds.). p. 562-573 12 p. (Lecture Notes in Computer Science; vol. 2363).

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

    4 Citations (Scopus)
  • 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)peer-review

    1 Citation (Scopus)
  • Bounded Pareto Archiving: Theory and Practice

    Knowles, J. D. & Corne, D., 2004, Metaheuristics for Multiobjective Optimisation. Vol. 535. p. 39-64 (Lecture Notes in Economics and Mathematical Systems; vol. 535).

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

  • Call-by-value mixin modules: reduction semantics, side effects, types

    Hirschowitz, T., Leroy, X. & Wells, J. B., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986. p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 2986).

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

    6 Citations (Scopus)
  • Computational Space Efficience and Minimal Model Generation for Guarded Formulae

    Georgieva, L., Hustadt, U. & Schmidt, R., 2001, Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings. Vol. 2250. p. 85-99 15 p. (Lecture Notes in Computer Science; vol. 2250).

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

  • 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)peer-review

  • Conditions for active states in neural networks

    De Wilde, P., 1991, Neurocomputers and Attention: Connectionism and Neurocomputers. Holden, A. V. & Kri︠u︡kov, V. I. (eds.). Vol. 35. p. 695-700 6 p.

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

  • Constraining XML Transformations for Personalised Information Presentation

    Cawsey, A. J., Dempster, E. W., Pacey, J. D., Williams, H., Marwick, D. H. & MacKinnon, L. M., 2004, Key Technologies for Data Management: 21st British National Conference on Databases, BNCOD 21, Edinburgh, UK, July 7-9, 2004. Proceedings. Vol. 3112. p. 136-143 8 p. (Lecture Notes in Computer Science; vol. 3112).

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

  • Containment of aggregate queries

    Cohen, S., Nutt, W. & Sagiv, Y., 2003, Database Theory — ICDT 2003: 9th International Conference Siena, Italy, January 8–10, 2003 Proceedings. Vol. 2572. p. 111-125 15 p. (Lecture Notes in Computer Science; vol. 2572).

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

    25 Citations (Scopus)
  • 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)

  • Creating multi-layered 3D images using reversible jump MCMC algorithms

    Hernandez-Marin, S., Wallace, A. M. & Gibson, G. J., 2006, Advances in Visual Computing: Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II. Vol. 4292. p. 405-416 12 p. (Lecture Notes in Computer Science; vol. 4292).

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

    4 Citations (Scopus)
  • Delayed Feedback Control in Stochastic Excitable Networks

    Janson, N., Pototsky, A. & Patidar, S., 2010, From Physics to Control Through an Emergent View. Fortuna, L., Fradkov, A. & Frasca, M. (eds.). World Scientific Publishing, Vol. 15. p. 51-56 6 p. (World Scientific Series on Nonlinear Science: Series B).

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

  • Derivation of Petri net performance models from UML specifications of communications software

    King, P. J. B. & Pooley, R. J., 2000, Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings. Vol. 1786. p. 262-276 15 p. (Lecture Notes in Computer Science; vol. 1786).

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

    26 Citations (Scopus)
  • Developing a Pervasive System for a Mobile Environment

    Williams, H., Taylor, N. K., Roussaki, I., Robertson, P., Farshchian, B. & Doolin, K., Oct 2006, Exploiting the knowledge economy : issues, applications and case studies. p. 1695-1702 8 p.

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

  • Distributed largest-first algorithm for graph coloring

    Hansen, J., Kubale, M., Kuszner, Ł. & Nadolski, A., 2004, Euro-Par 2004 Parallel Processing: 10th International Euro-Par Conference, Pisa, Italy, August 31- September 3, 2004. Proceedings. Vol. 3149. p. 804-811 8 p. (Lecture Notes in Computer Science; vol. 3149).

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

    11 Citations (Scopus)
  • Distributed processing of large BioMedical 3D images

    Liakos, K., Burger, A. & Baldock, R., 2005, High Performance Computing for Computational Science - VECPAR 2004: 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers. Vol. 3402. p. 142-155 14 p. (Lecture Notes in Computer Science; vol. 3402).

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

  • Does adapted information help patients with cancer?

    Bental, D., Cawsey, A., Pearson, J. & Jones, R., 2003, User Modeling 2003: 9th International Conference, UM 2003 Johnstown, PA, USA, June 22–26, 2003 Proceedings. Vol. 2702. p. 288-291 4 p. (Lecture Notes in Computer Science; vol. 2702).

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

    2 Citations (Scopus)
  • 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)peer-review

  • Empirical parallel performance prediction from Semantics-based profiling

    Scaife, N., Michaelson, G. & Horiguchi, S., 2005, Computational Science – ICCS 2005: 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II. Vol. 3515. p. 781-789 9 p. (Lecture Notes in Computer Science; vol. 3515).

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

    1 Citation (Scopus)
  • Encouraging compact rulesets from XCS for enhanced data mining

    Dixon, P., Corne, D. & Oates, M., 2004, Applications of Learning Classifier Systems. Bull, L. (ed.). Vol. 150. p. 92-109 (Studies in Fuzziness and Soft Computing; vol. 150).

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

  • 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)peer-review

  • 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)peer-review

  • 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)

  • Evolving novel and effective treatment plans in the context of infection dynamics models: illustrated with HIV and HAART therapy, in Parallel Problem Solving from Nature

    Haines, R. & Corne, D., 2006, Parallel Problem Solving from Nature - PPSN IX: 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings. (Lecture Notes in Computer Science; vol. 4193).

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

  • 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)peer-review

  • Fault tolerance in the R-GMA information and monitoring system

    Byrom, R., Coghlan, B., Cooke, A., Cordenonsi, R., Cornwall, L., Craig, M., Djaoui, A., Duncan, A., Fisher, S., Gray, A., Hicks, S., Kenny, S., Leake, J., Lyttleton, O., Magowan, J., Middleton, R., Nutt, W., O'Callaghan, D., Podhorszki, N., Taylor, P. & 2 others, Walk, J. & Wilson, A., 2005, Advances in Grid Computing - EGC 2005: European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers. Vol. 3470. p. 751-760 10 p. (Lecture Notes in Computer Science; vol. 3470).

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

    7 Citations (Scopus)
  • Feedback on children's stories via multiple interface agents

    Robertson, J. & Wiemer-Hastings, P., 2002, Intelligent Tutoring Systems: 6th International Conference, ITS 2002 Biarritz, France and San Sebastian, Spain, June 2–7, 2002 Proceedings. Cerri, S. A., Gouardères, G. & Paraguaçu, F. (eds.). p. 923-932 10 p. (Lecture Notes in Computer Science; vol. 2363).

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

    4 Citations (Scopus)
  • Flexible encoding of mathematics on the computer

    Kamareddine, F., Maarek, M. & Wells, J. B., 2004, Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings. Vol. 3119. p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 3119).

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

    5 Citations (Scopus)
  • Four colouring the vertices of the triangulation of a polygon containing a hole

    Seed, G. M., Clark, D. E. R., Ocone, R. & Yang, X. Y., 2003, Computational Science and Its Applications — ICCSA 2003: International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part III. Vol. 2669. p. 894-902 9 p. (Lecture Notes in Computer Science; vol. 2669).

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

  • 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)peer-review

  • FSM-Hume is Finite State

    Michaelson, G. J., Hammond, K. & Serot, J., Jun 2004, Trends in Functional Programming. Gilmore, S. (ed.). Vol. 4. p. 19-28

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

  • 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)peer-review