School of Mathematical & Computer Sciences

Filter
Chapter

Search results

  • 2016

    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 proceeding › Chapter

  • Integrability in action: Solitons, instability and rogue waves

    Degasperis, A. & Lombardo, S., 20 Sept 2016, Rogue and Shock Waves in Nonlinear Dispersive Media. Springer, p. 23-53 31 p. (Lecture Notes in Physics; vol. 926).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    16 Citations (Scopus)

  • 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, p. 83-101 19 p. (Intelligent Systems Reference Library; vol. 104).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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 proceeding › Chapter

  • 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, p. 1-17 17 p. (Intelligent Systems Reference Library; vol. 104).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    11 Citations (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 proceeding › Chapter

  • 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 proceeding › Chapter

    10 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, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    1 Citation (Scopus)
    52 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 proceeding › Chapter

    3 Citations (Scopus)

  • The fish4knowledge virtual world gallery

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    2 Citations (Scopus)
    191 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 proceeding › Chapter

  • 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, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 9527).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    4 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 proceeding › Chapter

  • 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 proceeding › Chapter

    27 Citations (Scopus)

  • 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 proceeding › Chapter

  • Multimodal Action Recognition

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

    Open Access
    File
    1 Citation (Scopus)
    54 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 proceeding › Chapter

    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 proceeding › Chapter

  • 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 proceeding › Chapter

    18 Citations (Scopus)

  • Multilevel auditory displays for mobile eyes-free location-based interaction

    Vazquez-Alvarez, Y., Aylett, M. P., Brewster, S. A., Von-Jungenfeld, R. & Virolainen, A., 26 Apr 2014, CHI'14 Extended Abstracts on Human Factors in Computing Systems 2014. New York, NY, United States: Association for Computing Machinery, p. 1567-1572 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    6 Citations (Scopus)

  • None of a CHInd: relationship counselling for HCI and speech technology

    Aylett, M. P., Kristensson, P. O., Whittaker, S. & Vazquez-Alvarez, Y., 26 Apr 2014, CHI'14 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 749-760 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • Stochastic differential equations

    Lord, G. J., 2014, Mathematical Tools for Physicists. Grinfeld, M. (ed.). 2 ed. p. 73-108

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The elliptic sine-Gordon equation - a nonlinear elliptic integrable PDE

    Pelloni, B., 2014, Stock Image Unified Transform for Boundary Value Problems: Applications and Advances. Fockas, A. S. & Pelloni, B. (eds.). SIAM, p. 73-90 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The sensitivity analysis of the economic and economic statistical designs of the synthetic X chart

    Yeong, W. C., Khoo, M. B. C., Chong, J. K., Lim, S. J. & Teoh, W. L., 4 Dec 2014, Proceedings of the 3rd International Conference on Quantitative Sciences and Its Applications. AIP Publishing, p. 940-947 8 p. (AIP Conference Proceedings; vol. 1635, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    43 Downloads (Pure)

  • Towards comparative evaluation and shared tasks for NLG in interactive systems

    Belz, A. & Hastie, H., Jul 2014, Natural Language Generation in Interactive Systems. Bangalore, S. & Stent, A. (eds.). Cambridge University Press, p. 302-350 49 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    6 Citations (Scopus)
  • 2013

    An Introduction to Stochastic Particle Integration Methods: With Applications to Risk and Insurance

    Del Moral, P., Peters, G. W. & Vergé, C., 8 Nov 2013, Monte Carlo and Quasi-Monte Carlo Methods 2012. : Springer Proceedings in Mathematics & Statistics. Springer, Vol. 65. p. 39-81 Chapter 3. (Monte Carlo and Quasi-Monte Carlo Methods 2012; vol. 65).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Formalisation and verification of knowledge management in digital economy and organisations

    Georgieva, L. & Zia, I., 2013, Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Springer, Vol. 462. p. 53-66 14 p. (Studies in Computational Intelligence; vol. 462).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Incorporating commercial and private data into an open linked data platform for drug discovery

    Goble, C., Gray, A. J. G., Harland, L., Karapetyan, K., Loizou, A., Mikhailov, I., Rankka, Y., Senger, S., Tkachenko, V., Williams, A. J. & Willighagen, E. L., 2013, Incorporating commercial and private data into an open linked data platform for drug discovery. Springer, Vol. 8219. p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8219 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    5 Citations (Scopus)

  • ML4PG in Computer Algebra Verification

    Heras, J. & Komendantskaya, E., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science; vol. 7961).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    7 Citations (Scopus)

  • Proof-Pattern Recognition and Lemma Discovery in ACL2

    Heras, J., Komendantskaya, E., Johansson, M. & Maclean, E., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Springer, p. 389-406 18 p. (Lecture Notes in Computer Science; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    25 Citations (Scopus)

  • Sharp condition number estimates for the symmetric 2-lagrange multiplier method

    Drury, S. W. & Loisel, S., 2013, Domain Decomposition Methods in Science and Engineering XX: Part II. Vol. 91. p. 255-261 7 p. (Lecture Notes in Computational Science and Engineering; vol. 91).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    7 Citations (Scopus)
    90 Downloads (Pure)
  • 2012

    Children as game designers – new narrative opportunities

    Howells, C. & Robertson, J., 2012, Virtual literacies: Interactive spaces for children and young people. Merchant, G., Gillen, J., Davies, J. & Marsh, J. (eds.). London: Routledge, (Routledge Research in Education).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Database of diazotrophs in global ocean: Abundance, biomass and nitrogen fixation rates

    Luo, Y.-W., Doney, S. C., Anderson, L. A., Benavides, M., Berman-Frank, I., Bode, A., Bonnet, S., Boström, K. H., Böttjer, D., Capone, D. G., Carpenter, E. J., Chen, Y. L., Church, M. J., Dore, J. E., Falcón, L. I., Fernández-Prieto, A., Foster, R. A., Furuya, K., Gómez, F. & Gundersen, K. & 29 others, Hynes, A. M., Karl, D. M., Kitajima, S., Langlois, R. J., LaRoche, J., Letelier, R. M., Marañón, E., McGillicuddy, D. J., Moisander, P. H., Moore, C. M., Mouriño-Carballido, B., Mulholland, M. R., Needoba, J. A., Orcutt, K. M., Poulton, A. J., Rahav, E., Raimbault, P., Rees, A. P., Riemann, L., Shiozaki, T., Subramaniam, A., Tyrrell, T., Turk-Kubo, K. A., Varela, M., Villareal, T. A., Webb, E. A., White, A. E., Wu, J. & Zehr, J. P., 31 Aug 2012, Earth System Science Data. Göttingen, Germany: Copernicus Publications, p. 47-73 27 p. (Earth System Science Data; vol. 4, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    308 Citations (Scopus)

  • Efficient Bayesian Spatial Prediction with Mobile Sensor Networks Using Gaussian Markov Random Fields

    Xu, Y., Choi, J., Dass, S. & Maiti, T., 2 Oct 2012, 2012 American Control Conference (ACC). IEEE, p. 2171-2176 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Legacy to SOA Evolution: A Systematic Literature Review

    Khadka, R., Saeidi, A. M., Idu, A., Hage, J. & Jansen, S., Nov 2012, Migrating Legacy Applications: Challenges in Service Oriented Architecture and Cloud Computing Environments. Ionita, A. D., Litoiu, M. & Lewis, G. (eds.). IGI Global, p. 40-70 31 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    43 Citations (Scopus)

  • Metrics and evaluation of spoken dialogue systems

    Hastie, H., 2012, Data-Driven Methods for Adaptive Spoken Dialogue Systems : Computational Learning for Conversational Interfaces. Lemon, O. & Pietquin, O. (eds.). Springer, p. 131-150 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Neural Networks for Proof-Pattern Recognition

    Komendantskaya, E. & Lichota, K., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Villa, A. E. P., Duch, W., Érdi, P., Masulli, F. & Palm, G. (eds.). Springer, p. 427-434 8 p. (Lecture Notes in Computer Science; vol. 7553).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Practical introduction to rigid body linear complementary problem (LCP) constraint solvers

    Kenwright, B. & Morgan, G., 2012, Algorithmic and Architectural Gaming Design: Implementation and Development. IGI Global, p. 159-201 43 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    7 Citations (Scopus)

  • Reasoning about multi-process systems with the box calculus

    Michaelson, G. J. & Grov, G., Jul 2012, Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Zsok, V., Horvath, Z. & Plasmeijer, R. (eds.). Springer, Vol. LNCS6241. p. 279-338 59 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • SOCIETIES: Where Pervasive Meets Social

    Doolin, K., Roussaki, I., Roddy, M., Kalatzis, N., Papadopoulou, E., Taylor, N., Liampotis, N., McKitterick, D., Jennings, E. & Kosmides, P., 2012, The Future Internet: FIA 2012. Springer, p. 30-41 12 p. (Lecture Notes in Computer Science; vol. 7281).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    9 Citations (Scopus)

  • Tacit knowledge and trialogical learning: Towards a conceptual framework for designing innovative tools

    Batatia, H., Hakkarainen, K. & Mørch, A. I., 1 Jan 2012, Collaborative Knowledge Creation: Practices, Tools, Concepts. Sense Publishers , p. 15-29 15 p. (Technology Enhanced Learning; vol. 7).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    5 Citations (Scopus)
  • 2011

    Coalgebraic Derivations in Logic Programming

    Komendantskaya, E. & Power, J., 2011, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 352-366 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 12).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    13 Citations (Scopus)
    54 Downloads (Pure)

  • Coalgebraic Semantics for Derivations in Logic Programming

    Komendantskaya, E. & Power, J., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Springer, p. 268-282 15 p. (Lecture Notes in Computer Science; vol. 6859).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    18 Citations (Scopus)