Filter
Chapter (peer-reviewed)

Search results

  • 2012

    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 proceedingChapter (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 proceedingChapter (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 proceedingChapter (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 proceedingChapter (peer-reviewed)

    6 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 proceedingChapter (peer-reviewed)

    5 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 proceedingChapter (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 proceedingChapter (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 proceedingChapter (peer-reviewed)

    17 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 proceedingChapter (peer-reviewed)peer-review

    8 Citations (Scopus)
  • 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)
  • 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 proceedingChapter (peer-reviewed)

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

    9 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 proceedingChapter (peer-reviewed)peer-review

    8 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 proceedingChapter (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 proceedingChapter (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 proceedingChapter (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 proceedingChapter (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 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)
  • 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

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

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

  • Invariant patterns for program reasoning

    Ireland, A., Ellis, W. J. & Ingulfsen, T., 2004, MICAI 2004: Advances in Artificial Intelligence: Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004. Proceedings. Vol. 2972. p. 190-201 12 p. (Lecture Notes in Computer Science; vol. 2972).

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

    5 Citations (Scopus)
  • Memetic Algorithms for multiobjective Optimization: Issues, Methos and Prospects

    Knowles, J. D. & Corne, D., 2004, Recent Advances in Memetic Algorithms.

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

  • Observed dynamics of large-scale parallel evolutionary algorithms with implications for protein engineering

    Oates, M., Corne, D. & Kell, D. B., 2004, Advances in Natural Computation: Recent Advances in Simulated Evolution and Learning. Vol. 2. p. 208-229 22 p.

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

  • System E: Expansion variables for flexible typing with linear and non-linear types and intersection types

    Carlier, S., Polakow, J., Wells, J. B. & Kfoury, A. J., 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. 294-309 16 p. (Lecture Notes in Computer Science; vol. 2986).

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

    11 Citations (Scopus)
  • 2003

    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

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

  • Hume: A domain-specific language for real-time embedded systems

    Hammond, K. & Michaelson, G., 2003, Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings. Vol. 2830. p. 37-56 20 p. (Lecture Notes in Computer Science; vol. 2830).

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

    55 Citations (Scopus)
  • Mining comprehensible clustering rules with an evolutionary algorithm

    Sarafis, I., Trinder, P. & Zalzala, A., 2003, Genetic and Evolutionary Computation — GECCO 2003: Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II. Vol. 2724. p. 2301-2312 12 p. (Lecture Notes in Computer Science; vol. 2724).

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

    3 Citations (Scopus)
  • Predictable space behaviour in FSM-Hume

    Hammond, K. & Michaelson, G., 2003, Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers. Vol. 2670. p. 1-16 16 p.

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

    2 Citations (Scopus)
  • R-GMA: An Information Integration System for Grid Monitoring

    Cooke, A., Gray, A. J. G., Ma, L., Nutt, W., Magowan, J., Oevers, M., Taylor, P., Byrom, R., Field, L., Hicks, S., Leake, J., Soni, M., Wilson, A., Cordenonsi, R., Cornwall, L., Djaoui, A., Fisher, S., Podhorszki, N., Coghlan, B., Kenny, S. & 1 others, O'Callaghan, D., 2003, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003. Proceedings. Vol. 2888. p. 462-481 20 p. (Lecture Notes in Computer Science; vol. 2888).

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

    45 Citations (Scopus)
  • Semiparametric modeling of stochastic and deterministic trends and fractional stationarity

    Feng, Y., Beran, J., Franke, G., Hess, D. & Ocker, D., 2003, Processes with Long-Range Correlations: Theory and Applications. Vol. 621. p. 225-250 26 p. (Lecture Notes in Physics; vol. 621).

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

  • Tools for personalised presentation of information

    Dempster, E., Pacey, D., Williams, H., Cawsey, A., Marwick, D. & MacKinnon, L., 2003, New Horizons in Information Management: 20th British National Conference on Databases, BNCOD 20 Coventry, UK, July 15–17, 2003 Proceedings. Vol. 2712. p. 261-270 10 p. (Lecture Notes in Computer Science; vol. 2712).

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

  • Type error slicing in implicitly typed higher-order languages

    Haack, C. & Wells, J. B., 2003, Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618. p. 284-301 18 p. (Lecture Notes in Computer Science; vol. 2618).

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

    41 Citations (Scopus)
  • 2002

    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

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