1. Software › Research
  2. Published

    PDB structural analysis service

    Alnasir, J., 1 Nov 2013

    Research output: Non-textual formSoftware

  3. Published

    Push notifications for the Choose-Survey project

    Alnasir, J. & Luhrmann, M., 1 Sep 2016

    Research output: Non-textual formSoftware

  4. Published

    R package PredictiveRegression

    Vovk, V. & Nouretdinov, I., Jun 2008

    Research output: Non-textual formSoftware

  5. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

  6. Other contribution › Research
  7. Published
  8. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

  9. Published

    Conformal Anomaly Detection based on Association Rules

    Nouretdinov, I., Gammerman, J. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  10. Published

    Conformal Changepoint Detection in Continuous Model Situations

    Nouretdinov, I., Vovk, V. & Gammerman, A., 10 Sep 2021, 1 p. COPA 2021 : 10th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  11. Published

    Conformal clustering for functional variables, With application to electricity consumption curves

    Nouretdinov, I., Fontana, M., Gammerman, J., Shemilt, L. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  12. Published

    Conformal clustering for predictive maintenance: A case study at a commercial gas terminal

    Nouretdinov, I., Gammerman, J. & Rehal, D., 12 Jun 2018, 1 p. 7th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2018).

    Research output: Other contribution

  13. Published

    Evaluation and Extension of Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., Gammerman, J. & Rehal, D., 11 Sep 2020, 1 p. Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications.

    Research output: Other contribution

  14. Published

    FAIR Principles for Research Software (FAIR4RS Principles)

    Shanahan, H., 16 Mar 2022

    Research output: Other contribution

  15. Published
  16. Published
  17. Published

    Lego and related work (summer school lecture notes)

    Luo, Z., 1999

    Research output: Other contribution

  18. Published
  19. Published

    Prediction of Energy Consumption with Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., 26 Aug 2022, 2 p. Proceedings of Machine Learning Research, 2022 Conformal and Probabilistic Prediction and Applications.

    Research output: Other contribution

  20. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

    Schettini, A. M., Fiadeiro, J. L. & Gnesi, S., 1 Jan 2010

    Research output: Other contribution

  21. Published

    Statistical Methodology (Elsevier): Special issue - Astrostatistics

    Murtagh, F., 2012, Elsevier.

    Research output: Other contribution

  22. Published

    Testing and Clustering with Gauss Linear Assumption for a Household Data

    Fedorova, V., Ivin, E., Nouretdinov, I. & Gammerman, A., 7 May 2012, 11 p. SLDS 2012: Symposium on Learning and Data Science.

    Research output: Other contribution

  23. Doctoral Thesis › Research
  24. Unpublished

    A Concurrent Bilateral Negotiation Model for Open E-Markets

    Alrayes, B., 2016, (Unpublished) 217 p.

    Research output: ThesisDoctoral Thesis

  25. Unpublished

    A Middleware for Ubiquitous Agents

    Dipsis, N., 2015, (Unpublished) 243 p.

    Research output: ThesisDoctoral Thesis

  26. Unpublished

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, (Unpublished) 254 p.

    Research output: ThesisDoctoral Thesis

  27. Unpublished

    Above And Below Guarantee Parameterizations For Combinatorial Optimisation Problems

    Jones, M., 2013, (Unpublished) 141 p.

    Research output: ThesisDoctoral Thesis

  28. Unpublished

    Adapting Compiler Front Ends for Generalised Parsing

    Walsh, R. M., 2016, (Unpublished) 264 p.

    Research output: ThesisDoctoral Thesis

  29. Unpublished

    Adaptive Online Learning

    Adamskiy, M., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  30. Unpublished

    Agent Learning for Automated Bilateral Negotiations

    Bagga, P., 2021, (Unpublished)

    Research output: ThesisDoctoral Thesis

  31. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

    Crowston, R., 2013, (Unpublished) 125 p.

    Research output: ThesisDoctoral Thesis

  32. Unpublished

    An Extended Calculus of Constructions

    Luo, Z., 1990, (Unpublished) Univ of Edinburgh.

    Research output: ThesisDoctoral Thesis

  33. Unpublished
  34. Unpublished

    Checking Cryptographic API Specifications in JavaScript

    Mitchell, D., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  35. Unpublished

    Competitive online algorithms for probabilistic prediction

    Dzhamtyrova, R., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  36. Unpublished
  37. Unpublished

    Confidence and Venn Machines and Their Applications to Proteomics

    Devetyarov, D., 2011, (Unpublished) 219 p.

    Research output: ThesisDoctoral Thesis

  38. Unpublished
  39. Unpublished

    Conformal and Venn Predictors for Multi-probabilistic Predictions and Their Applications

    Zhou, C., 2015, (Unpublished)

    Research output: ThesisDoctoral Thesis

  40. Unpublished

    Conformal Prediction and Testing under On-line Compression Models

    Fedorova, V., 2014, (Unpublished) 140 p.

    Research output: ThesisDoctoral Thesis

  41. Unpublished

    Coreset-based Protocols for Machine Learning Classification

    Riquelme Granada, N., 2022, (Unpublished)

    Research output: ThesisDoctoral Thesis

  42. Published

    Document Classification Models Based On Bayesian Networks

    Romero, A. E., Apr 2010, Granada: Editorial Universidad de Granada.

    Research output: ThesisDoctoral Thesis

  43. Unpublished

    Dynamic Causal Discovery

    Schaechtle, U., 2016, (Unpublished) 146 p.

    Research output: ThesisDoctoral Thesis

  44. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

    van Binsbergen, L. T., 2019, (Unpublished) 274 p.

    Research output: ThesisDoctoral Thesis

  45. Unpublished

    Faithful Visualisation of Similarities in High Dimensional Data

    Kou, J., 2016, (Unpublished) 197 p.

    Research output: ThesisDoctoral Thesis

  46. Published

    Fault-Tolerance in Storage-Centric Systems

    Chockler, G., 2005

    Research output: ThesisDoctoral Thesis

  47. Unpublished

    Features Handling by Conformal Predictors

    Yang, M., 2015, (Unpublished) 143 p.

    Research output: ThesisDoctoral Thesis

  48. Unpublished

    Game-Based Development of Interactive Systems

    Stathis, K., 1 Nov 1996, (Unpublished)

    Research output: ThesisDoctoral Thesis

  49. Unpublished

    Going Beyond Homology for Predicting Protein Function for Newly Sequenced Organisms

    Torres Bobadilla, M., 2019, (Unpublished) 136 p.

    Research output: ThesisDoctoral Thesis

  50. Unpublished

    Improvements to instruction identification for custom instruction set design

    Reddington, J., 31 Aug 2009, (Unpublished) 225 p.

    Research output: ThesisDoctoral Thesis

  51. Unpublished

    Institution-Independent Logic Programming

    Tutu, I., 2015, (Unpublished) 144 p.

    Research output: ThesisDoctoral Thesis

  52. Unpublished
  53. Unpublished

    Logics and reasoning for computational creativity

    Chirita, C-E., 2018, (Unpublished) 146 p.

    Research output: ThesisDoctoral Thesis

  54. Published

    Machine Learning for Probabilistic Prediction

    Manokhin, V., 2022

    Research output: ThesisDoctoral Thesis

  55. Unpublished

    MAGE: Multi-Agent Game Environment

    Urovi, V., 23 Mar 2011, (Unpublished) 256 p.

    Research output: ThesisDoctoral Thesis

  56. Published
  57. Unpublished
  58. Unpublished

    On discovery and exploitation of temporal structure in data sets

    Scarfe, T., 2015, (Unpublished) 175 p.

    Research output: ThesisDoctoral Thesis

  59. Forthcoming

    On Key Assignment Schemes and Cryptographic Enforcement Mechanisms for Information Flow Policies

    Farley, N., 12 Nov 2018, (Accepted/In press) 187 p.

    Research output: ThesisDoctoral Thesis

  60. Unpublished

    Open Objects: A Lightweight and Decentralised Framework for the Internet of Things

    Ricca Goncalves, P., 2015, (Unpublished) 164 p.

    Research output: ThesisDoctoral Thesis

  61. Unpublished

    Parameterized Algorithms On Digraph and Constraint Satisfaction Problems

    Kim, E. J., 2010, (Unpublished) 140 p.

    Research output: ThesisDoctoral Thesis

  62. Unpublished

    Polynomial and FPT algorithms for Chinese Postman, Packing and Acyclicity

    Sheng, B., 2017, (Unpublished) 132 p.

    Research output: ThesisDoctoral Thesis

  63. Unpublished

    Polynomial Kernels for Graph and Hypergraph Optimisation Problems

    Muciaccia, G., 2014, (Unpublished) 129 p.

    Research output: ThesisDoctoral Thesis

  64. Published
  65. Unpublished
  66. Published

    Saturation Methods for Global Model‐Checking Pushdown Systems

    Hague, M., 2009

    Research output: ThesisDoctoral Thesis

  67. Unpublished

    Small and Large Scale Probabilistic Classifiers with Guarantees of Validity

    Petej, I., 2018, (Unpublished) 133 p.

    Research output: ThesisDoctoral Thesis

  68. Unpublished

    Static Flow Analysis for Hybrid and Native Android Applications

    Rizzo, C., 2020, (Unpublished) 189 p.

    Research output: ThesisDoctoral Thesis

  69. Unpublished

    Structure of directed graphs and hypergraphs

    Ai, J., 7 May 2022, (Unpublished)

    Research output: ThesisDoctoral Thesis

  70. Published

    Studies in Algebraic and Propositional Proof Complexity

    Tzameret, I., 2008, Tel Aviv. 214 p.

    Research output: ThesisDoctoral Thesis

  71. Unpublished

    Subtyping in Signatures

    Lungu, G., 2018, (Unpublished)

    Research output: ThesisDoctoral Thesis

  72. Unpublished

    The Analysis of High-Throughput Biological Datasets Utilising Distributed Computing

    Alnasir, J., 2018, (Unpublished) 259 p.

    Research output: ThesisDoctoral Thesis

  73. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

    Houghton, C., 2013, (Unpublished) 138 p.

    Research output: ThesisDoctoral Thesis

  74. Unpublished

    The efficiency of conformal predictors for anomaly detection

    Smith, J., 2016, (Unpublished)

    Research output: ThesisDoctoral Thesis

  75. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J., 2017, 458 p.

    Research output: ThesisDoctoral Thesis

  76. Unpublished

    Theory and Applications of Competitive Prediction

    Zhdanov, F., 2011, (Unpublished) 225 p.

    Research output: ThesisDoctoral Thesis

  77. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  78. Unpublished

    Towards a Question Answering View of Natural Language Processing

    Zukov Gregoric, A., 2019, (Unpublished)

    Research output: ThesisDoctoral Thesis

  79. Unpublished

    Unsupervised Language Acquisition: Theory and Practice

    Clark, A., 2001, (Unpublished)

    Research output: ThesisDoctoral Thesis

  80. Unpublished

    Предсказуемость алгоритмически случайных последовательностей

    Vovk, V., 1988, (Unpublished) Moscow: Moscow State University.

    Research output: ThesisDoctoral Thesis

  81. Master's Thesis › Research
  82. Published
  83. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E., 2014

    Research output: ThesisMaster's Thesis

  84. Unpublished

    Robot-based Evaluation of Bluetooth Fingerprinting: M.Phil (Cantab)

    Nguyen, K., 2011, (Unpublished)

    Research output: ThesisMaster's Thesis

  85. Published

    Static Checkers for Tree Structures and Heaps

    Hague, M., 2004

    Research output: ThesisMaster's Thesis

  86. Book › Research
  87. Published

    Algorithmic Learning in a Random World

    Vovk, V., Gammerman, A. & Shafer, G., 2005, Springer.

    Research output: Book/ReportBook

  88. Published

    Astronomical Image and Data Analysis

    Murtagh, F. & Starck, J-L., 2006, Second ed. Springer. 335 p.

    Research output: Book/ReportBook

  89. Published

    Business Objects: Software Solutions

    Spurr, K. (ed.), Layzell, P. J. (ed.), Jennison, L. (ed.) & Richards, N. (ed.), 1994, John Wiley & Sons.

    Research output: Book/ReportBook

  90. Published

    CASE- Current Practice, Future Prospects

    Spurr, K. (ed.) & Layzell, P. J. (ed.), 1992, John Wiley & Sons.

    Research output: Book/ReportBook

  91. Published

    CASE On Trial

    Spurr, K. (ed.) & Layzell, P. J. (ed.), 1990, John Wiley & Sons.

    Research output: Book/ReportBook

  92. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    Baldoni, R. & Chockler, G., 10 Jan 2012, Springer-Verlag. 224 p.

    Research output: Book/ReportBook

  93. Published

    Computation and Reasoning: A Type Theory for Computer Science

    Luo, Z., 1994, Oxford Univ Press. 228 p.

    Research output: Book/ReportBook

  94. Published

    Correspondence Analysis and Data Coding with R and Java

    Murtagh, F., 2005, Chapman and Hall/CRC Press. 256 p.

    Research output: Book/ReportBook

  95. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2000, London: Springer-Verlag.

    Research output: Book/ReportBook

  96. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2010, 2nd ed. London: Springer-Verlag.

    Research output: Book/ReportBook

  97. Published

    Existentially Closed Groups

    Higman, G. & Scott, E., 1988, Oxford: Oxford University Press. 170 p.

    Research output: Book/ReportBook

  98. Published

    Game-Theoretic Foundations for Probability and Finance

    Shafer, G. & Vovk, V., Jun 2019, Wiley. 480 p. (Wiley Series in Probability and Statistics)

    Research output: Book/ReportBook

  99. Published

    Grammatical Inference: Algorithms and Applications: 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings

    Clark, A. (ed.), Coste, F. (ed.) & Miclet, L. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5278)

    Research output: Book/ReportBook

  100. Published

    How to be FAIR with your data

    Shanahan, H., 2022, Göttingen: Göttingen University Press. 203 p.

    Research output: Book/ReportBook

  101. Published

    Image Processing and Data Analysis: The Multiscale Approach

    Murtagh, F., Starck, J-L. & Bijaoui, A., 1998, Cambridge : Cambridge University Press.

    Research output: Book/ReportBook

  102. Published

    LATEX Concisely

    Johnstone, A., 1 Sep 1992, Ellis Horwood. 170 p.

    Research output: Book/ReportBook

  103. Published

    Linguistic Nativism and the Poverty of the Stimulus

    Clark, A. & Lappin, S., 2011, Wiley-Blackwell.

    Research output: Book/ReportBook

  104. Forthcoming

    Modern Type Theories: Their Development and Applications

    Luo, Z., 2022, (Accepted/In press) Tsinghua University Press.

    Research output: Book/ReportBook

  105. Published

    Probability and Finance: It's Only a Game!

    Shafer, G. & Vovk, V., 2001, New York: Wiley-Interscience.

    Research output: Book/ReportBook

Previous 1 2 3 4 5 6 7 8 ...25 Next