School of Mathematical & Computer Sciences

Filter
Chapter (peer-reviewed)

Search results

  • 2004

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

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

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

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

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

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

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

    1 Citation (Scopus)

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

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

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

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

    47 Citations (Scopus)
  • 2002

    Asymptotics for the maximum of a modulated random walk with heavy-tailed increments

    Foss, S. & Zachary, S., 1 Jan 2002, Analytic Methods in Applied Probability: In Memory of Fridrikh Karpelevich. American Mathematical Society, Vol. 207. p. 37-52 16 p. (American Mathematical Society Translations; vol. 207).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (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 proceeding › Chapter (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 proceeding › Chapter (peer-reviewed) › peer-review

    6 Citations (Scopus)

  • Feedback on children's stories via multiple interface agents

    Robertson, J. & Wiemer-Hastings, P., 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. 923-932 10 p. (Lecture Notes in Computer Science; vol. 2363).

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

    6 Citations (Scopus)
  • 2001

    Computational Space Efficience and Minimal Model Generation for Guarded Formulae

    Georgieva, L., Hustadt, U. & Schmidt, R., 2001, Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings. Vol. 2250. p. 85-99 15 p. (Lecture Notes in Computer Science; vol. 2250).

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

    12 Citations (Scopus)

  • Models for pigment pattern formation in the skin of fishes

    Painter, K., 2001, Mathematical Models for Biological Pattern Formation. Vol. 121. p. 59-81 22 p. (IMA Volumes in Mathematics and its Applications; vol. 121).

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

  • Spatiotemporal pattern formation in early development: a review of primitive streak formation and somitogenesis

    Schnell, S., Painter, K., Maini, P. K. & Othmer, H. G., 2001, Mathematical Models for Biological Pattern Formation. Vol. 121. p. 11-37 27 p. (IMA Volumes in Mathematics and its Applications; vol. 121).

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

  • 2000

    Derivation of Petri net performance models from UML specifications of communications software

    King, P. J. B. & Pooley, R. J., 2000, Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings. Vol. 1786. p. 262-276 15 p. (Lecture Notes in Computer Science; vol. 1786).

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

    29 Citations (Scopus)
  • 1998

    Locally weighted autoregression

    Feng, Y. & Heiler, S., 1998, Econometrics in Theory and Practice: Festschrift for Hans Schneeweiß. Galata, R. & Küchenhoff, H. (eds.). Vol. Part II. p. 101-117 17 p.

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

  • 1996

    The Morava K-theory Hopf Ring for BP

    Kashiwabara, T., Strickland, N. & Turner, P. R., 1996, Algebraic Topology: New Trends in Localization and Periodicity: Barcelona Conference on Algebraic Topology, Sant Feliu de Guíxols, Spain, June 1–7, 1994. Vol. 136. p. 209-222 14 p.

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

  • 1994

    On key distribution via true broadcasting

    Just, M., Kranakis, E., Krizanc, D. & Van Oorschot, P., Nov 1994, Proceedings of the 2nd ACM Conference on Computer & Communications Security. Denning, D. (ed.). New York (New York): Association for Computing Machinery, p. 81-88 8 p. (Proceedings of the ACM Conferences; vol. 2).

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

    Open Access
    29 Citations (Scopus)
  • 1992

    The flag-transitive affine planes of order 27

    Prince, A. R., 1992, Annals of Discrete Mathematics: Combinatorics '90 — Recent Trends and Applications, Proceedings of the Conference on Corn binatorics, Gaeta Italy. Vol. 52. p. 477-500 24 p.

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

    4 Citations (Scopus)
  • 1991

    Conditions for active states in neural networks

    De Wilde, P., 1991, Neurocomputers and Attention: Connectionism and Neurocomputers. Holden, A. V. & Kri︠u︡kov, V. I. (eds.). Vol. 35. p. 695-700 6 p.

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