Filter
Chapter

Search results

  • 2015

    Multimodal Action Recognition

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

    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 proceedingChapter

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

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

    4 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

    21 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)
    30 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

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

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

    17 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

    12 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

    12 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

    28 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

    106 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