Filter
Chapter

Search results

  • 2014

    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

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

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

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

    Open Access
    File
    21 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 proceedingChapter

    3 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 proceedingChapter

    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 proceedingChapter

    1 Citation (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 proceedingChapter

    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 proceedingChapter

    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 proceedingChapter

    18 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 proceedingChapter

    Open Access
    File
    7 Citations (Scopus)
    29 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 proceedingChapter

    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 proceedingChapter

    8 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 proceedingChapter

    1 Citation (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 proceedingChapter

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

    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 proceedingChapter

    5 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 proceedingChapter

    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 proceedingChapter

    9 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 proceedingChapter

    Open Access
    File
    12 Citations (Scopus)
    14 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 proceedingChapter

    15 Citations (Scopus)
  • Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

    Komendantskaya, E., McCusker, G. & Power, J., 2011, Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Johnson, M. & Pavlovic, D. (eds.). Springer, p. 111-127 17 p. (Lecture Notes in Computer Science; vol. 6486).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    11 Citations (Scopus)
  • What is financial mathematics?

    Johnson, T., 2011, The Best Writing on Mathematics 2010. Pitci, M. (ed.). Princeton University Press, p. 43-46

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2010

    IS degrees – sociotechnical or technosocial?

    Coady, J. & Pooley, R. J., 2010, Information Systems Development: Towards a Service Provision Society. Papadopoulos, G. A., Wojtkowski, W., Wojtkowski, G., Wrycza, S. & Zupancic, J. (eds.). p. 885-890 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

    Komendantskaya, E., Broda, K. & Garcez, A. DA., 2010, Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Diamantaras, K., Duch, W. & Iliadis, L. S. (eds.). Springer, p. 301-304 4 p. (Lecture Notes in Computer Science; vol. 6352).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Self-improving personal smart spaces for pervasive service provision

    Roussaki, I. G., Kalatzis, N. K., Doolin, K. J., Taylor, N. K., Spadotto, G. P., Liampotis, N. D. & Williams, M. H., 2010, Towards the Future Internet: Emerging Trends from European Research. IOS Press, p. 193-203 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    9 Citations (Scopus)
  • 2009

    Neurons or Symbols: Why does OR Remain Exclusive?

    Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 502-507 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Parallel Rewriting in Neural Networks

    Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 452-458 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Proxy caching in split TCP: dynamics, stability and tail asymptotics

    Baccelli, F., Carofiglio, G. & Foss, S., 2009, From Semantics to Computer Science: Essays in Honour of Gilles Kahn. Bertot, Y., Huet, G., Lévy, J-J. & Plotkin, G. (eds.). Cambridge University Press, p. 437-464 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Using structural recursion for corecursion

    Bertot, Y. & Komendantskaya, E., 2009, Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berardi, S., Damiani, F. & de’Liguoro, U. (eds.). Springer, p. 220-236 17 p. (Lecture Notes in Computer Science; vol. 5497).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    4 Citations (Scopus)
  • 2008

    Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

    Komendantskaya, E. & Power, J., 2008, Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Hölldobler, S., Lutz, C. & Wansing, H. (eds.). Springer, p. 258-271 14 p. (Lecture Notes in Computer Science; vol. 5293).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    4 Citations (Scopus)
  • Kelvin and Statistical mechanics

    Penrose, O., 2008, Kelvin: Life, Labours and Legacy. p. 253-277 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2007

    Connectionist Representation of Multi-Valued Logic Programs

    Komendantskaya, E., Lane, M. & Seda, A. K., 2007, Perspectives of Neural-Symbolic Integration. Hammer, B. & Hitzler, P. (eds.). Springer, p. 283-313 31 p. (Studies in Computational Intelligence; vol. 77).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    6 Citations (Scopus)
  • Extensional Rewriting with Sums

    Lindley, S., 2007, Typed Lambda Calculi and Applications: TLCA 2007. Springer, p. 255-271 17 p. (Lecture Notes in Computer Science; vol. 4583).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    8 Citations (Scopus)
  • Insurance

    Macdonald, A. S., 2007, Handbook of Statistical Genetics. Balding, D. J., Cannings, C. & Bishop, M. (eds.). 3 ed. Chichester, UK: Wiley, Vol. 2. p. 1346-1367 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Narrative Structure of Mathematical Tents

    Kamareddine, F. D., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573. p. 296-312 (Lecture Notes in Computer Science; vol. 4573).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2006

    Chapter 15 Hamiltonian PDEs

    Kuksin, S. B. & Bambusi, D., 2006, Handbook of Dynamical Systems. Hasselblatt, B. & Katok, A. (eds.). Part B ed. Vol. 1. p. 1087-1133 47 p. (Handbook of Dynamical Systems).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    9 Citations (Scopus)
  • Compound stochastic models for fingerprint individuality

    Zhu, Y., Dass, S. C. & Jain, A. K., 2006, 18th International Conference on Pattern Recognition (ICPR'06). IEEE, 1699581

    Research output: Chapter in Book/Report/Conference proceedingChapter

    10 Citations (Scopus)
  • Eliminating Dependent Pattern Matching

    Goguen, H., McBride, C. & McKinna, J., 2006, Algebra, Meaning, and Computation. Springer, p. 521-540 20 p. (Lecture Notes in Computer Science; vol. 4060).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    23 Citations (Scopus)
  • Hamiltonian PDE's

    Kuksin, S., 2006, Handbook of Dynamical Systems, 1B. Hasselblatt, B. & Katok, A. (eds.). Vol. 1B. p. 1087-1134 48 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Improved Immune Genetic Algorithm For Solving Flow Shop Scheduling Problem

    Liu, M., Pang, W., Wang, K. P., Song, Y. Z. & Zhou, C. G., 12 Oct 2006, Computational Methods. Liu, G. R., Tan, V. B. C. & Han, X. (eds.). Dordrecht, Netherlands: Springer Netherlands, p. 1057-1062 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Personalized Redirection of Communication and Data

    Yang, Y. & Williams, H., 2006, Handbook of Research in Mobile Multimedia, ed. I. K. Ibrahim, Idea Group Reference.. p. 311-325 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Quality-based score level fusion in multibiometric systems

    Nandakumar, K., Chen, Y., Jain, A. K. & Dass, S. C., 2006, 18th International Conference on Pattern Recognition (ICPR'06). IEEE, 1699881

    Research output: Chapter in Book/Report/Conference proceedingChapter

    96 Citations (Scopus)
  • The Embounded Project

    Hammond, K., Dyckhoff, R., Ferdinand, C., Heckmann, R., Hofmann, M., Loidl, H-W., Michaelson, G. J., Serot, J. & Wallace, A., 2006, Trends in Functional Programming. Van Eekelen, M. (ed.). Vol. 6. p. 195-210

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2005

    Continuous planning for Virtual Environments

    Panayiotopoolos, T., Avranides, N. & Aylett, R., 2005, Intelligent Techniques for planning, Idea group publishing..

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • E-learning environment based on intelligent synthetic characters

    Ye, L., Zhu, J., Zhang, M., Aylett, R., Ren, L. & Xu, G., 2005, Computational Science and Its Applications – ICCSA 2005: International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV. Vol. 3483. p. 30-37 8 p. (Lecture Notes in Computer Science; vol. 3483).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Moving beyond Objective Testing in Online Assessment

    Ashton, H. S., Beevers, C., Milligan, C., Thomas, R. & Youngson, M. A., Jul 2005, Chapter V111 in Online Assessment and Measurement: Case studies from Higher Education, K-12 and Corporate. p. 116-128 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
  • Pricing Perpetual American options driven by spectrally one-sided levy processes

    Chan, T., 2005, Exotic Option Pricing and Advanced Levy Models.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Reducibility and ⊤ ⊤-Lifting for Computation Types

    Lindley, S. & Stark, I., 2005, Typed Lambda Calculi and Applications: TLCA 2005. Springer, p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3461).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    20 Citations (Scopus)
  • Uniqueness and continuous dependance in the linear thermoelastic dielectro

    Knops, R., 2005, Trends in Applications of Mathematics to Mechanics: Proceedings of the XIVth International Symposium on Trends in Applications of Mathematics to Mechanics . p. 165-172 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter