Home > Research > Mathematics and Statistics > Publications & Outputs
View graph of relations

Mathematics and Statistics

  1. Chapter
  2. Published

    Time versus abstraction in formal descriptions.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Tenney, R. L., Amer, P. D. & Uyar, U. (eds.). North Holland: Elsevier

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  3. Published

    A framework for the formal specification of multimedia systems in open distributed processing MPG-93-12 J.

    Blair, L., Blair, G. S., Bowman, H., Chetwynd, A. G. & Papathomas, M., 1994, Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification. Montreal

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  4. Published

    A formal description technique supporting quality of service and media synchronisation.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of Cost 237 : multimedia transport and teleservices. Springer

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  5. Published

    A framework for the formal specification and verification of distributed multimedia systems.

    Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 1994, Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  6. Published

    Spatial point process modelling in a GIS environment.

    Gatrell, A. & Rowlingson, B., 1994, Spatial Analysis and GIS. Fotheringham, S. & Rogerson, P. (eds.). Taylor and Francis

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  7. Published

    Towards a phenomenology of skill.

    Penn, R. & Francis, B., 1994, Skill and occupational change. Penn, R., Rose, M. & Rubery, J. (eds.). Oxford: Oxford University Press, p. 223-243 21 p. (Social change and economic life initiative).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  8. Published

    Analysing migration paths in a GIS framework.

    Rowlingson, B. S., Pooley, C. G. & Gatrell, A., 1993, Proceedings, 4th European Conference on Geographical Information Systems.. Harts, P. . A. . (ed.). EGIS Foundation, Utrecht, p. 125-133 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  9. Published

    Formal description of distributed multimedia systems.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1993, Proceedings of the 9th British Colloquium for Theoretical Computer Science. York

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  10. Published

    Total colourings of graphs : a progress report.

    Chetwynd, A. G., 1991, Graph Theory and Applications. Wiley, p. 233-244 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  11. Published

    Total colourings.

    Chetwynd, A. G., 1990, Graph colourings. Nelson, R. & Wilson, R. J. (eds.). Pitman, p. 65-77 13 p. (Pitman Research Notes).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  12. Published

    Algebra and topology in Banach algebras

    Dales, H. G., 1985, Proceedings of the conference on Banach algebras and several complex variables. Greenleaf, F. & Gulick, D. (eds.). Providence, RI: American Mathematical Society, p. 97-106 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  13. Published

    Automatic continuity of homomorphisms from C*-algebras

    Dales, H. G., 1984, Functional analysis ; surveys and recent results III : proceedings of the Conference on Functional Analysis, Paderborn, Germany, 24-29 May, 1983. Bierstedt, K-D. & Fuchssteiner, B. (eds.). Amsterdam: North-Holland, p. 197-218 22 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  14. Published

    Partial-edge colouring of complete graphs or of graphs which are nearly complete.

    Chetwynd, A. G. & Hilton, A. J. W., 1984, Graph theory and combinatorics : proceedings of the Cambridge Combinatorial Conference in honour of Paul Erdős. Bollobás, B. (ed.). London: Academic Press, p. 81-98 18 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  15. Published

    Embedding C(X) in an algebra of analytic functions

    Dales, H. G., 1982, Spectral theory. Żelazko, W. (ed.). Warsaw: Polish Academy of Sciences, p. 231-236 6 p. (Banach Center Publications; vol. 8).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  16. Published

    Snarks and supersnarks.

    Chetwynd, A. G. & Wilson, J., 1981, The Theory and Applications of Graphs. New York: Wiley

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  17. Published

    Higher point derivations on commutative Banach algebras

    Dales, H. G., 1976, Spaces of analytic functions: seminar held at Kristiansand, Norway, June 9–14, 1975. Bekken, O. B., Øksendal, B. K. & Stray, A. (eds.). Berlin: Springer, p. 24-30 7 p. (Lecture Notes in Mathematics; vol. 512).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  18. Entry for encyclopedia/dictionary
  19. Published

    Blackmail

    Francis, B. J., Peelo, M. & Soothill, K., 26/05/2016, Oxford Bibliographies Online: Criminology. Huebner, B. (ed.). New York: Oxford University Press

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNEntry for encyclopedia/dictionary

  20. Published

    Sexual recidivism

    Francis, B. & Soothill, K., 11/2013, Encyclopedia of criminology and criminal justice. Bruinsma, G. & Weisburd, D. (eds.). New York: Springer, p. 4798-4809 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNEntry for encyclopedia/dictionary

  21. Published

    Modeling Microgenetic Data

    Towse, A., Lewis, C. & Francis, B., 2012, Encyclopedia of the Sciences of Learning. Seel, N. (ed.). Berlin: Springer, p. 2317-2320 4 p. (Springer Reference).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNEntry for encyclopedia/dictionary

  22. Conference contribution/Paper
  23. Published

    Sequential Simulation Optimization with Censoring: An Application to Bike Sharing Systems

    Gibbons, C., Grant, J. A. & Szechtman, R., 31/01/2024, 2023 Winter Simulation Conference, WSC 2023. Institute of Electrical and Electronics Engineers Inc., p. 3624-3635 12 p. (Proceedings - Winter Simulation Conference).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  24. Forthcoming

    Incentive-based MARL Approach for Commons Dilemmas in Property-based Environments: Extended Abstract

    Pelcner, L., do Carmo Alves, M. A., Soriano Marcolino, L., Harrison, P. & Atkinson, P., 21/12/2023, (Accepted/In press) Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. 23 ed. IFAAMAS, 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Simple-mindedness: tilting, reduction, mutation

    Pauksztello, D., 17/04/2023, Oberwolfach Workshop Reports: Representation Theory of Quivers and Finite-Dimensional Algebras.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  26. Published

    Identifying Metering Hierarchies with Distance Correlation and Dominance Constraints

    Chan, T-S. & Gibberd, A., 23/03/2023, Proceedings - 21st IEEE International Conference on Machine Learning and Applications, ICMLA 2022. Wani, M. A., Kantardzic, M., Palade, V., Neagu, D., Yang, L. & Chan, K-Y. (eds.). IEEE, p. 1551-1558 8 p. (2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  27. Published

    Input Uncertainty Quantification for Quantiles

    Parmar, D., Morgan, L., Titman, A., Sanchez, S. & Williams, R., 23/01/2023, 2022 Winter Simulation Conference (WSC). Feng, B., Pedrielli, G., Peng, Y., Shashaani, S., Song, E., Corlu, C. G., Lee, L. H., Chew, E. P., Roeder, T. & Lendermann, P. (eds.). IEEE, p. 97-108 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  28. Published

    A Middleware for Automatic Composition and Mediation in IoT Systems

    Elhabbash, A., Elkhatib, Y., Bouloukakis, G. & Salama, M., 7/11/2022, IoT '22: Proceedings of the 12th International Conference on the Internet of Things. New York: ACM, p. 127-134 8 p. (Proceedings of the 12th International Conference on the Internet of Things).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...150 Next

Back to top