School of Mathematical & Computer Sciences

Filter
Chapter (peer-reviewed)

Search results

  • 2015

    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 proceeding › Chapter (peer-reviewed) › peer-review

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

  • We should not light an Open Access lamp and then hide it under a bushel!

    Chumbe, S. S., MacLeod, R. A. & Kelly, B., Sept 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 proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
    2 Citations (Scopus)
    720 Downloads (Pure)

  • 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, Vol. 4. p. 3-25 (Applied and Numerical Harmonic Analysis).

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

    64 Citations (Scopus)
  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    6 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 proceeding › Chapter (peer-reviewed) › peer-review

  • 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 proceeding › Chapter (peer-reviewed)

  • 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 proceeding › Chapter (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 proceeding › Chapter (peer-reviewed)

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    25 Citations (Scopus)

  • 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 proceeding › Chapter (peer-reviewed)

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    1 Citation (Scopus)

  • The design of an optimal bonus-malus system based on the Sichel distribution

    Tzougas, G. & Frangos, N., 2014, Modern Problems in Insurance Mathematics. Springer, p. 239-260 22 p. (EAA Series).

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

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

  • 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 proceeding › Chapter (peer-reviewed)

    4 Citations (Scopus)
    10 Downloads (Pure)

  • The Actuarial Balance of the Pay-As-You-Go Pension System: the Swedish NDC model versus the US DB model

    Boado-Penas, M. D. C. & Vidal-Meliá, C., 2013, NDC Pension Schemes in a Changing Pension World: Volume 2. Gender, Politics, and Financial Stability. Holzmann, R., Palmer, E. & Robalino, D. (eds.). Washington, DC, USA: The World Bank, Vol. 2. p. 443-479 37 p.

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

    Open Access
    File
    43 Downloads (Pure)

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    50 Citations (Scopus)

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

  • 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 proceeding › Chapter (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 proceeding › Chapter (peer-reviewed)

    2 Citations (Scopus)

  • 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 proceeding › Chapter (peer-reviewed)

    23 Citations (Scopus)

  • Comment: Assessing Fiscal Costs and Pension Distribution in Transitions to Defined Contribution Systems: A Retrospective Analysis for Chile

    Boado-Penas, M. D. C. & Vidal-Meliá, C., 2012, Nonfinancial Defined Contribution Pension Schemes in a Changing Pension World: Volume 1 - Progress, Lessons, and Implementation. Holzmann, R., Palmer, E. & Robalino, D. (eds.). Washington DC, USA: The World Bank, Vol. 1. p. 316-319 4 p.

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

    Open Access
    File
    27 Downloads (Pure)

  • 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 proceeding › Chapter (peer-reviewed)

  • 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 proceeding › Chapter (peer-reviewed)

  • 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 proceeding › Chapter (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 proceeding › Chapter (peer-reviewed)

    9 Citations (Scopus)

  • Research in interactive drama environments, role-play and story-telling

    Aylett, R., Louchart, S. & Weallans, A., 2011, Interactive Storytelling: Proceedings of the Fourth International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28 – 1 December, 2011. Springer, p. 1-12 12 p. (Lecture Notes in Computer Science; vol. 7069).

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

    14 Citations (Scopus)
  • 2010

    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 proceeding › Chapter (peer-reviewed) › peer-review

  • Interactive Storytelling: Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010. Proceedings: Preface

    Aylett, R., Riedl, M. & Petta, P., 2010, Interactive Storytelling: Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010. Proceedings. Vol. 6432. p. V-VI (Lecture Notes in Computer Science; vol. 6432).

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

  • Mathematical modeling of cell adhesion and its applications to developmental biology and cancer invasion

    Gerisch, A. & Painter, K., 2010, Cell Mechanics: From Single Scale-Based Models to Multiscale Modelling. Chauvière, A., Preziosi, L. & Verdier, C. (eds.). CRC Press, p. 319-350

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

    23 Citations (Scopus)
  • 2009

    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 proceeding › Chapter (peer-reviewed) › peer-review

    8 Citations (Scopus)

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

    McGookin, D., Brewster, S. & Priego , P., 10 Sept 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 proceeding › Chapter (peer-reviewed)

    57 Citations (Scopus)

  • Kernel based machine translation

    Wang, Z. & Shawe-Taylor, J., 2009, Learning machine translation. Goutte, C., Cancedda, N., Dymetman, M. & Foster, G. (eds.). MIT Press, p. 169-184 16 p. (Neural Information Processing Systems Workshop Series).

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

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

    Baccelli, F., Carofiglio, G. & Foss, S., Sept 2009, From Semantics to Computer Science: Essays in Honour of Gilles Kahn. Cambridge University Press, p. 425-451 27 p.

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

  • 2008

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

  • 2006

    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 proceeding › Chapter (peer-reviewed) › peer-review

    4 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 proceeding › Chapter (peer-reviewed) › peer-review

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

  • Redirecting Communication in a Pervasive System

    Papadopoulou, E., Williams, H., Gallacher, S. & Taylor, N. K., Oct 2006, Exploiting the knowledge economy : issues, applications and case studies. p. 1688-1694 7 p.

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

  • 2005

    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 proceeding › Chapter (peer-reviewed) › peer-review

    1 Citation (Scopus)

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    1 Citation (Scopus)

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    9 Citations (Scopus)

  • Graph-based proof counting and enumeration with applications for program fragment synthesis

    Wells, J. B. & Yakobowski, B., 2005, Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers. Vol. 3573. p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3573).

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

    11 Citations (Scopus)

  • Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close

    Makholm, H. & Wells, J. B., 2005, Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Vol. 3444. p. 389-407 19 p. (Lecture Notes in Computer Science; vol. 3444).

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

    9 Citations (Scopus)

  • Quantum breathers in an attractive fermionic Hubbard model

    Eilbeck, J. C. & Palmero, F., 2005, Nonlinear Waves: Classical and Quantum Aspects. Vol. 153. p. 399-412 14 p. (NATO Science Series II: Mathematics, Physics and Chemistry; vol. 153).

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

  • Refrigerant leak prediction is supermarkets using evolved neural networks

    Taylor, D. W. & Corne, D., 2005, Advances in Natural Computation: Recent Advances in Simulated Evolution and Learning. Vol. 2. p. 643-661 19 p.

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

  • Republishers in a publish/subscribe architecture for data streams

    Gray, A. J. G. & Nutt, W., 2005, Database: Enterprise, Skills and Innovation: 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005. Proceedings. Vol. 3567. p. 179-184 6 p. (Lecture Notes in Computer Science; vol. 3567).

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

    1 Citation (Scopus)
  • 2004

    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 proceeding › Chapter (peer-reviewed) › peer-review

    6 Citations (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 proceeding › Chapter (peer-reviewed) › peer-review