1. Published

    Statistical applications of algorithmic randomness

    Vovk, V. & Gammerman, A., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session: Contributed Papers. book 3 ed. Vol. 58. p. 469-470 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Published

    Statistical approaches in Eukaryotic gene prediction

    Solovyev, V., 2007, Handbook of Statistical genetics. Balding, D., Canning, C. & Bishop, M. (eds.). 3rd ed. Wiley-Interscience

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Published

    Statistical Guarantees for the Robustness of Bayesian Neural Networks

    Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A. & Wicker, M., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 5693-5700 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Forthcoming

    Statistical Learning and Data Science

    Murtagh, F., Summa, M. (ed.), Bottou, L. (ed.), Goldfarb, B. (ed.), Pardoux, C. (ed.) & Touati, M. (ed.), 2011, (Accepted/In press) Bocca Raton: Chapman and Hall/CRC Press. (Computer Science and Data Analysis)

    Research output: Book/ReportBook

  5. Published

    Statistical Methodology (Elsevier): Special issue - Astrostatistics

    Murtagh, F., 2012, Elsevier.

    Research output: Other contribution

  6. Published

    Statistical significance of ungapped sequence alignments.

    Alexandrov, N. N. & Solovyev, V. V., 1998, p. 463-472. 10 p.

    Research output: Contribution to conferenceAbstract

  7. Published

    Steepest ascent can be exponential in bounded treewidth problems

    Cohen, D. A., Cooper, M. C., Kaznatcheev, A. & Wallace, M., May 2020, In: Operations Research Letters. 48, 3, p. 217-224 8 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Steiner type problems for digraphs that are locally semicomplete or extended semicomplete

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2003, In: Journal of Graph Theory. 44, 3, p. 191-207 17 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Stochastic simulation in mixed graphical association models

    Brewer, M., Aitken, C., Luo, Z. & Gammerman, A., 1992, Computational Statistics. Dodge, K. & Whittaker, F. (eds.). Vol. 1. p. 257-262

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Storage and search in dynamic peer-to-peer networks

    Augustine, J., Molla, A. R., Morsy, E., Pandurangan, G., Robinson, P. & Upfal, E., 2013, 25th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '13, Montreal, QC, Canada - July 23 - 25, 2013. p. 53-62 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Stoss — A stochastic simulation system for Bayesian belief networks

    Luo, Z. & Gammerman, A., 1991, Uncertainty in Knowledge Bases: Lecture Notes in Computer Science. Bouchon-Meunier, B., Yager, R. R. & Zadeh, L. A. (eds.). Springer, Vol. 521. p. 97-105

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Published

    Strangeness minimisation feature selection with confidence machines

    Bellotti, T., Luo, Z. & Gammerman, A., 2006, Lecture Notes in Computer Science. Vol. 4224. p. 978-985

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

    Strategic Change stemming from E-Commerce: Implications of Multi-Agent Systems in the Supply Chain

    Cohen, M., Stathis, K. & Beaver, G. (ed.), 2001, In: Strategic Change. 10, p. 139-149 11 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Strings at MOSCA

    Hague, M., 6 Nov 2019, 22nd SIGLOG Newsletter, October 2019, 22, p. 4-22 19 p.

    Research output: Contribution to non-peer-reviewed publicationInternet publication

  15. Published

    Strong confidence intervals for autoregression

    Vovk, V., 4 Jul 2007.

    Research output: Working paper

  16. Published

    Strong subgraph connectivity of digraphs

    Sun, Y. & Gutin, G., 18 Mar 2021, In: Graphs and Combinatorics. 37, p. 951-970 20 p.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Strong Subgraph Connectivity of Digraphs: A Survey

    Sun, Y. & Gutin, G., 12 Jun 2021, In: Journal of Interconnection Networks. 21, 4, p. 2142004.1-2142004.16 16 p.

    Research output: Contribution to journalArticlepeer-review

  18. E-pub ahead of print

    Strong subgraph k‐connectivity

    Sun, Y., Gutin, G., Yeo, A. & Zhang, X., 28 Nov 2018, (E-pub ahead of print) In: Journal of Graph Theory. p. 1-14 14 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Strong Transversals in Hypergraphs and Double Total Domination in Graphs

    Henning, M. A. & Yeo, A., 2010, In: SIAM Journal on Discrete Mathematics. 24, 4, p. 1336-1355

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Strongly Connected Spanning Subgraphs with the Minimum Number of Arcs in Quasi-transitive Digraphs

    Bang-Jensen, J., Huang, J. & Yeo, A., 2003, In: SIAM Journal on Discrete Mathematics. 16, 2, p. 335-343 9 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Structural Parameterizations of the Mixed Chinese Postman Problem

    Gutin, G., Jones, M. & Wahlstrom, M., 2015, 23rd Europ. Symp. Algorithms (ESA 2015). Springer-Verlag, Vol. 9294. p. 668-679 (Lect. Notes Comput. Sci.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Forthcoming

    Structural Pattern Discovery in Protein-Protein Interaction Networks

    Nepusz, T. & Paccanaro, A., 2012, (Accepted/In press) Handbook of Bio- and Neuroinformatics. Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Published

    Structural subtyping for inductive types with functorial equality rules

    Luo, Z. & Adams, R., 2008, In: Mathematical Structures in Computer Science. 18, 5, p. 931-972 42 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J., Rajper, N. & Reiff-Marganiec, S., 25 Jan 2010, In: Electronic Proceedings in Theoretical Computer Science. 16

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J. L., Rajper, N. & Reiff-Marganiec, S., 2009, FAVO. Vol. 16. p. 26-40 15 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Published

    Structure, Properties and Computer Identification of Eukaryotic genes

    Solovyev, V., 2002, Bioinformatics from Genomes to Drugs. V.1. Basic Technologies. Lengauer, T. (ed.). p. 59-111

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Published

    Structured Co-spans: An algebra of interaction protocols

    Fiadeiro, J. L. & Schmitt, V., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4624 LNCS. p. 194-208 15 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  28. Published

    Structuring the GLL parsing algorithm for performance

    Scott, E. & Johnstone, A., 1 Sep 2016, In: Science of Computer Programming. 125, p. 1-22 22 p.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Structuring theories on consequence

    FIADEIRO, J. & SERNADAS, A., 1988, In: Lecture Notes in Computer Science. 332, p. 44-72 29 p.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    Structuring Time Series Data to Gain Insight into Agent Behaviour

    Al-Baghdadi, N., Wisniewski, W., Lindsay, D., Lindsay, S., Kalnishkan, Y. & Watkins, C., 24 Feb 2020, Proceedings of the 3rd International Workshop on Big Data for Financial News and Data. IEEE, p. 5480-5490 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Published

    Student Collaboration Across Universities: A Case Study in Software Engineering

    Brereton, O. P., Lees, S., Bedson, R., Boldyreff, C., Drummond, S., Layzell, P. J., Macaulay, L. A. & Young, R., 2000, Proceedings of 13th International Conference on Software Engineering Education and Training, March 2000.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Published

    Student Collaboration Across Universities: A Case Study in Software Engineering

    Brereton, O. P., Lees, S., Bedson, R., Boldyreff, C., Drummond, S., Layzell, P. J., Macaulay, L. A. & Young, R., 2000, In: IEEE Transaction on Education. 43, 4, p. 394-399 6 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Studies in Algebraic and Propositional Proof Complexity

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

    Research output: ThesisDoctoral Thesis

  34. Published

    Study of a QCM Dimethyl Methylphosphonate sensor based on a ZnO-Modified nanowire-structured manganese dioxide film

    Pei, Z., Ma, X., Ding, P., Zhang, W., Luo, Z. & Li, G., 2010, In: Sensors. 10, 9, p. 8275-8290

    Research output: Contribution to journalArticlepeer-review

  35. Published

    Subclonal mutation selection in mouse lymphomagenesis identifies known cancer loci and suggests novel candidates

    Webster, P., Dawes, J., Dewchand, H., Takacs, K., Iadarola, B., Bolt, B., Caceres Silva, J., Kaczor, J., Dharmalingam, G., Dore, M., Game, L., Adejumo, T., Elliott, J., Naresh, K., Karimi, M., Rekopoulou, K., Tan, G., Paccanaro, A. & Uren, A., 9 Jul 2018, In: Nature Communications. 9, p. 1-14 14 p., 2649.

    Research output: Contribution to journalArticlepeer-review

  36. Published

    Subexponential Parameterized Odd Cycle Transversal on Planar Graphs

    Lokshtanov, D., Saurabh, S. & Wahlström, M., 2012, FSTTCS.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Published

    Sublinear bounds for randomized leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 4 Jan 2015, In: Theoretical Computer Science. 561, Part B, p. 134-143 10 p.

    Research output: Contribution to journalArticlepeer-review

  38. Published

    Sublinear Bounds for Randomized Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. p. 348-362 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Published

    Subsets More Representative Than Random Ones

    Nouretdinov, I., 2007, 7th Industrial Conference on Data Mining 2007 Proceedings. p. 15-20 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Unpublished

    Subtyping in Signatures

    Lungu, G., 2018, (Unpublished)

    Research output: ThesisDoctoral Thesis

  41. Published

    Subtyping in Type Theory: Coercion Contexts and Local Coercions

    Luo, Z. & Part, F., 2013.

    Research output: Contribution to conferenceAbstractpeer-review

  42. E-pub ahead of print

    Successive shortest paths in complete graphs with random edge weights

    Gerke, S., Mezei, B. & Sorkin, G., 13 Oct 2020, (E-pub ahead of print) In: Random Structures and Algorithms. 57, 4, p. 1205-1247 43 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    Sufficient conditions for a digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Li, H., 1996, In: Journal of Graph Theory. 22, 2, p. 181-187

    Research output: Contribution to journalArticle

  44. Published

    Sufficient conditions for semicomplete multipartite digraphs to be Hamiltonian

    Guo, Y., Tewes, M., Volkmann, L. & Yeo, A., 2000, In: Discrete Mathematics. 212, p. 91-100 10 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Superefficiency from the Vantage Point of Computability

    Vovk, V., Feb 2009, In: Statistical Science. 24, 1, p. 73-86 14 p.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Superefficiency from the Vantage Point of Computability

    Vovk, V., 16 Aug 2008.

    Research output: Working paper

  47. Published

    Supermartingales in prediction with expert advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V., 17 Jun 2010, In: Theoretical Computer Science. 411, 29-30, p. 2647-2669 23 p.

    Research output: Contribution to journalArticlepeer-review

  48. Published
  49. Published

    Supermartingales in Prediction with Expert Advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V., 2008, Lecture Notes in Articial Intelligence. Springer, Vol. 5254. p. 199-213 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Published

    Supermodular functions and the complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2005, In: Discrete Applied Mathematics. 149, p. 53-72 20 p.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    Supermodular Functions and the Complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 1 Jan 2004.

    Research output: Working paper

  52. Published

    Superposing Connectors

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 2000, IWSSD. IEEE Computer Society Press, p. 87-94 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. Published

    Superposition: Composition vs refinement of non-deterministic, action-based systems

    Lopes, A. & Fiadeiro, J. L., 1 Nov 2002, In: Electronic Notes in Theoretical Computer Science. 70, 3, p. 352-366 15 p.

    Research output: Contribution to journalArticlepeer-review

  54. Published

    Superposition: Composition vs refinement of non-deterministic, action-based systems

    Lopes, A. & Fiadeiro, J. L., 1 Apr 2004, In: Formal Aspects of Computing. 16, 1, p. 5-18 14 p.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    SUPERT: Towards New Frontiers in Unsupervised Evaluation Metrics for Multi-Document Summarization

    Gao, Y., Zhao, W. & Eger, S., Jul 2020, p. 1347-1354. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  56. Published

    Support Vector density estimation

    Weston, J., Gammerman, A., Stitson, M., Vapnik, V., Vovk, V. & Watkins, C., 1999, Advances in Kernel Methods: Support Vector Learning. Scholkopf, B., Burghes, C. J. C. & Smola, A. J. (eds.). Cambridge, MA: MIT Press, p. 293-305 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Published

    Support vector machines for multi-class pattern recognition

    Weston, J. & Watkins, C., 1999.

    Research output: Contribution to conferenceOtherpeer-review

  58. Published

    Support Vector regression with ANOVA decomposition kernels

    Stitson, M., Gammerman, A., Vapnik, V., Vovk, V., Watkins, C. & Weston, J., 1999, Advances in Kernel Methods: Support Vector Learning. Scholkopf, B., Burghes, C. J. C. & Smola, A. J. (eds.). Cambridge, MA: MIT Press, p. 285-291 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. Published

    Supporting Collaboration in Distributed Software Engineering Teams

    Layzell, P. J., Brereton, P. & French, A., 2000, APSEC2000: The Asia-Pacific Software Engineering Conference, 5-8 December 2000, Singapore, IEEE Computer Society Press, 2000. p. 38-45 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  60. Published

    Supporting Complaints Investigation for Nursing and Midwifery Regulatory Agencies

    Lertvittayakumjorn, P., Petej, I., Gao, Y., Krishnamurthy, Y., van der Gaag, A., Jago, R. & Stathis, K., 6 Aug 2021, p. 81-91. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  61. Published

    Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011). p. 113-122

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Published

    Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis

    Johnstone, A. & Scott, E., 2004, In: Lecture Notes in Computer Science. 3199, p. 92-106 15 p.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    SVM Venn Machine with k-Means Clustering

    Zhou, C., Nouretdinov, I., Luo, Z. & Gammerman, A., 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 251-260 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. Published

    Swarm intelligence based dynamic routing and wavelength assignment for wavelength constrained all-optical networks

    Hassan, A., Luo, Z. & Phillips, C., 2009, Proceedings of the 9th international conference on Communications and information technologies . IEEE, p. 987-992

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. Published

    Switching between Hidden Markov Models using Fixed Share

    M. Koolen, W. & van Erven, T., 26 Aug 2010.

    Research output: Working paper

  66. Published

    Switching Investments

    Koolen, W. M. & Rooij, S. D., 1 Oct 2010, Proceedings of the 21st International Conference on Algorithmic Learning Theory (ALT 2010). Hutter, M., Stephan, F., Vovk, V. & Zeugman, T. (eds.). Springer Berlin / Heidelberg, p. 239-254 16 p. (LNAI 6331).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. Published

    Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems

    Hague, M. & Ong, C-H. L., 2007, FoSSaCS: Foundations of Software Science and Computation Structures.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Published

    Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

    Hague, M. & Ong, C-H. L., 5 Dec 2008, In: Logical Methods in Computer Science. 4, 4, p. 1-45 45 p., 14.

    Research output: Contribution to journalArticlepeer-review

  69. E-pub ahead of print

    Symbolic Register Automata

    D’Antoni, L., Ferreira, T., Sammartino, M. & Silva, A., 12 Jul 2019, (E-pub ahead of print) Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Dillig, I. & Tasiran, S. (eds.). Springer-Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science ; vol. 11561 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  70. Published

    Symmetry Breaking in the Congest Model: Time- and Message-Efficient Algorithms for Ruling Sets

    Pai, S., Pandurangan, G., Pemmaraju, S. V., Riaz, T. & Robinson, P., 2017, 31st International Symposium on Distributed Computing: DISC 2017. LIPIcs, Vol. 91. p. 38:1-38:16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. Published

    Symmetry definitions for constraint satisfaction problems

    Cohen, D., Jeavons, P., Jefferson, C., Petrie, K. & Smith, B., 2006, In: Constraints. 11, p. 115-137 23 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Symmetry in Data Mining and Analysis: A Unifying View based on Hierarchy

    Murtagh, F., 2009, In: Proceedings of the Steklov Institute of Mathematics. 265, p. 177-198 22 p.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Synchronisation‐ and Reversal‐Bounded Analysis of Multithreaded Programs with Counters

    Hague, M. & Lin, A., 2012, CAV: Computer Aided Verification.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Published

    Syntax-driven COBOL compilers: an assessment

    Layzell, P. J. & Triance, J. M., 1983, In: Software- Practice and Experience. December, p. 1136-1141 6 p.

    Research output: Contribution to journalArticlepeer-review

  75. E-pub ahead of print

    Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

    Cardelli, L., Ceska, M., Fränzle, M., Kwiatkowska, M., Laurenti, L., Paoletti, N. & Whitby, M., 13 Jul 2017, (E-pub ahead of print) Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Majumdar, R. & Kunčak, V. (eds.). Springer, p. 375-395 21 p. (Lecture Notes in Computer Science; vol. 10427).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Published

    Synthesis of flowerlike nano-SnO2 and the study on the gas sensing response

    Fan, G., Wang, Y., Hu, M., Luo, Z. & Li, G., 2011, In: Measurement Science and Technology. 22, 4

    Research output: Contribution to journalArticlepeer-review

  77. Published

    Synthesising choreographies from local session types

    Lange, J. & Tuosto, E., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 225-239 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  78. Published

    Synthesising interconnections

    Fiadeiro, J. L., Lopes, A. & Maibaum, T. S. E., 1997, Algorithmic Languages and Calculi. Chapman & Hall, Vol. 95. p. 240-264 25 p. (IFIP Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  79. Published

    Synthesizing stealthy reprogramming attacks on cardiac devices

    Paoletti, N., Jiang, Z., Islam, M. A., Abbas, H., Mangharam, R., Lin, S., Gruber, Z. & Smolka, S. A., 16 Apr 2019, 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019). ACM, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  80. Published

    Systems Integration: Lessons from Two Practical Experiences

    Layzell, P. J., 2005, IEEE Conference on Software Maintenance and Re-engineering 2005, Keynote address, March 2005.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  81. Published

    Systems Metagenomics: Profiling short-read microbiome data using population-based k-mer identification

    Shanahan, H. & Radwan, G., 6 Jul 2018.

    Research output: Contribution to conferencePosterpeer-review

  82. Published

    Systems Metagenomics

    Shanahan, H. & Radwan, G., 15 Jul 2018.

    Research output: Contribution to conferencePosterpeer-review

  83. E-pub ahead of print

    Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

    Radwan, G. S. & Shanahan, H., 24 Aug 2018, (E-pub ahead of print) Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Proceedings. Springer-Verlag, Vol. 11095 LNBI. p. 318-321 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11095 LNBI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. Published

    Systems of Linear Equations over F-2 and Problems Parameterized above Average

    Crowston, R., Gutin, G., Jones, M., Kim, E. J. & Ruzsa, I. Z., 2010, In: ALGORITHM THEORY - SWAT 2010, PROCEEDINGS. 6139, p. 164-175 12 p.

    Research output: Contribution to journalArticlepeer-review

  85. Published

    Tag Clouds for Displaying Semantics: The Case of Filmscripts

    Murtagh, F., Ganz, A. & Reddington, J., 2010, In: Information Visualization . 9, 4, p. 253-262 10 p.

    Research output: Contribution to journalArticlepeer-review

  86. E-pub ahead of print

    Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles

    Booth, K., Piacentini, C., Bernardini, S. & Beck, C., 11 Aug 2020, (E-pub ahead of print) In: IEEE Robotics and Automation Letters. 8 p.

    Research output: Contribution to journalArticlepeer-review

  87. Published

    Target Search on Road Networks with Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles

    Booth, K. & Bernardini, S., Oct 2020, International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, p. 6702-6709 8 p. 3038

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  88. Published

    Task Facilitation and Navigation via a Mediator: An Application from Software Integration

    Stathis, K., 1 Dec 1995, Proceedings of the 5th Hellenic Conference on Informatics.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  89. Published

    Teaching Data Science and Cloud Computing in Low and Middle Income Countries

    Shanahan, H., Harrison, A. & May, S., 23 Nov 2015, In: Advanced Techniques in Biology & Medicine. 3, 3, p. 1-5 5 p., 1000150.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Tear-Insert-Fold grammars

    Johnstone, A. & Scott, E., 28 Mar 2010, LDTA '10 Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications. ACM, p. 1-8 8 p. 6

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  91. Published

    Template free synthesis of hollow ball-like nano-Fe2O3 and its application to the detection of dimethyl methylphosphonate at room temperature

    Fan, G., Wang, Y., Hu, M., Luo, Z., Zhang, K. & Li, G., Jan 2012, In: Sensors. 12, 4, p. 4594-4604

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Temporal Reasoning over Deontic Specifications

    Fiadeiro, J. & Maibaum, T., 1 May 1991, In: Journal of Logic and Computation. 1, 3, p. 357-395 39 p.

    Research output: Contribution to journalArticlepeer-review

  93. Published

    Temporal theories as modularisation units for concurrent system specification

    Fiadeiro, J. & Maibaum, T., 1 May 1992, In: Formal Aspects of Computing. 4, 3, p. 239-272 34 p.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    Tensor decomposition via joint matrix schur decomposition

    Colombo, N. & Vlassis, N., 19 Jun 2016, ICML'16 : Proceedings of the 33rd International Conference on International Conference on Machine Learning. Weinberger, K. Q. & Balcan, M. F. (eds.). ACM, p. 2820-2828 9 p. (33rd International Conference on Machine Learning, ICML 2016; vol. 48).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  95. Published

    Test martingales, Bayes factors, and p-values

    Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 2011, In: Statistical Science. 26, p. 84 - 101 17 p.

    Research output: Contribution to journalArticlepeer-review

  96. Published

    Test martingales, Bayes factors, and p-values

    Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 21 Dec 2009.

    Research output: Working paper

  97. Published

    Test statistics and p-values

    Gurevich, Y. & Vovk, V., 29 Aug 2019, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Smirnov, E. (eds.). Vol. 105. p. 89-104 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  98. 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

  99. Published

    Testing exchangeability on-line

    Vovk, V., Nouretdinov, I. & Gammerman, A., 2003, Proceedings of the Twentieth International Conference on Machine Learning. Fawcett, T. & Mishra, N. (eds.). Menlo Park, CA: AAAI Press, p. 768-775

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Published

    Testing Exchangeability On-line

    Vovk, V., Nouretdinov, I. & Gammerman, A., Feb 2003, (On-line Compression Modelling project).

    Research output: Working paper

  101. Published

    Testing randomness online

    Vovk, V., Nov 2021, In: Statistical Science. 36, 4, p. 595-611 17 p.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Testing the Gauss linear assumption for on-line predictions

    Fedorova, V., Nouretdinov, I. & Gammerman, A., 2012, In: Progress in Artificial Intelligence. 1, 3, p. 205-213 9 p.

    Research output: Contribution to journalArticlepeer-review

  103. Published

    Text classification using string kernels

    Lodhi, H., Saunders, C., Shawe-Taylor, J., Cristianini, N. & Watkins, C., 2002, In: Journal of Machine Learning Research. 2, p. 444 1 p.

    Research output: Contribution to journalArticlepeer-review

  104. E-pub ahead of print

    The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems

    Lagerkvist, V. & Wahlström, M., 15 Dec 2021, (E-pub ahead of print) In: ACM Transactions on Computation Theory (TOCT). 14, 1, p. 1-54 54 p., 2.

    Research output: Contribution to journalArticlepeer-review

  105. Unpublished

    The Analysis of High-Throughput Biological Datasets Utilising Distributed Computing

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

    Research output: ThesisDoctoral Thesis

  106. Published

    The application of Hadoop in structural bioinformatics

    Alnasir, J. & Shanahan, H., 20 Nov 2018, In: Briefings in Bioinformatics. p. 1-10 10 p., bby106.

    Research output: Contribution to journalArticlepeer-review

  107. Published

    The Apriori Stochastic Dependency Detection (ASDD) algorithm for learning Stochastic logic rules

    Child, C. & Stathis, K., 2004, Computational logic in multi-agent systems (CLIMA 2004). Springer-Verlag, Vol. 3259. p. 234-249 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  108. Published

    The ArguGRID platform: An overview

    Toni, F., Grammatikou, M., Kafetzoglou, S., Lymberopou, L., Papavassileiou, S., Gaertner, D., Morge, M., Bromuri, S., McGinnis, J., Stathis, K., Curcin, V., Ghanem, M. & Guo, L., 2008, p. 217-225. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  109. Published

    The asymptotic number of prefix normal words

    Balister, P. & Gerke, S., 13 Sep 2019, In: Theoretical Computer Science. 784, p. 75-80 6 p.

    Research output: Contribution to journalArticlepeer-review

  110. Published

    The Asynchronous Bounded-Cycle model

    Robinson, P. & Schmid, U., 2011, In: Theoretical Computer Science. 412, 40, p. 5580-5601 22 p.

    Research output: Contribution to journalArticlepeer-review

  111. Published

    The Asynchronous Bounded-Cycle Model

    Robinson, P. & Schmid, U., 2008, Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings. p. 246-262 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  112. E-pub ahead of print

    The Authorization Policy Existence Problem

    Berge, P., Crampton, J., Gutin, G. & Watrigant, R., 28 Nov 2018, (E-pub ahead of print) In: IEEE Transactions on Dependable and Secure Computing. p. 1-12 12 p.

    Research output: Contribution to journalArticlepeer-review

  113. Published

    The basic building blocks of information systems

    SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS. FALKENBERG, ED. (ed.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 225-246 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  114. Published

    The Basic Conformal Prediction Framework

    Vovk, V., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). 1 ed. Elsevier, p. 3-19 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  115. Published

    The bi-objective workflow satisfiability problem and workflow resiliency

    Crampton, J., Gutin, G., Karapetyan, D. & Watrigant, R., 16 Mar 2017, In: Journal of Computer Security. 25, 1, p. 83-115 33 p.

    Research output: Contribution to journalArticlepeer-review

  116. Published

    The Caelum Toolkit for CSCW: The Sky is the Limit

    Anker, T., Chockler, G., Dolev, D. & Keidar, I., 1997, Proceedings of the 3rd International Workshop on Next Generation Information Technologies and Systems (NGITS '97).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  117. Published

    The CAFA challenge reports improved protein function prediction and new functional annotations for hundreds of genes through experimental screens

    Zhou, N., Bhat, P., Torres Bobadilla, M., Paccanaro, A., Yang, H. & Romero, A. E., 19 Nov 2019, In: Genome Biology. 20, p. 1-23 23 p., 244 (2019).

    Research output: Contribution to journalArticlepeer-review

  118. Published
  119. Published

    The Channel Capacity of Evolution: Ultimate Limits on the Amount of Information Maintainable in the Genome

    Watkins, C., 2002, Proceedings of the Third International Conference on Bioinformatics of Genome Regulation and Structure. Novisibirsk, Russia, Vol. 2. p. 58--60 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  120. Published

    The Chern-Simons number as an order parameter: classical sphaleron transitions for SU(2)-Higgs field theories for m(H)approximate to 120 GeV

    Shanahan, H. P. & Davis, A. C., 9 Jul 1998, In: Physics Letters B. 431, 1-2, p. 135-140 6 p.

    Research output: Contribution to journalArticlepeer-review

  121. Published

    The cluster of the point mutations predetermined by the quasipalindromic sequences of the nucleotide in the DNA

    Salganik, R. I., Dianov, G. L., Medvedev, O. A. & Solovyev, V., 1986, In: Proceedings of the USSR Academy of Science (Russ). 291, p. 1499-1502

    Research output: Contribution to journalArticlepeer-review

  122. Published

    The CODATA-RDA Data Steward School

    Shanahan, H., 15 Jun 2022, INTERNATIONAL JOURNAL OF DIGITAL CURATION. 1 ed. Edinburgh University Press, Vol. 15.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  123. Published

    The complexity of constraint languages

    Cohen, D. & Jeavons, P., 2006, Handbook of Constraint Programming. Rossi, F., van Beek, P. & Walsh, T. (eds.). Elsevier

    Research output: Chapter in Book/Report/Conference proceedingChapter

  124. Published

    The Complexity of Leader Election: A Chasm at Diameter Two

    Chatterjee, S., Pandurangan, G. & Robinson, P., 4 Jan 2018, ICDCN 2018: Proceedings of the 19th International Conference on Distributed Computing and Networking. Association for Computing Machinery (ACM), p. 1-10 10 p. 13

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  125. Published

    The Complexity of Model Checking (Collapsible) Higher‐Order Pushdown Systems

    Hague, M. & Lin, A., 2010, FSTTCS: Foundations of Software Technology and Theoretical Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  126. Published

    The complexity of soft constraint satisfaction

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2006, In: Artificial Intelligence. 170, p. 983-1016 34 p.

    Research output: Contribution to journalArticlepeer-review

  127. Published

    The Corrected Gene Proximity map for analyzing the 3D genome organization using Hi-C data

    Ye, C., Paccanaro, A., Gerstein, M. & Yan, K-K., 29 May 2020, In: BMC Bioinformatics. 21, p. 1-18 18 p., 222.

    Research output: Contribution to journalArticlepeer-review

  128. Published

    The Correspondence Analysis Platform for Uncovering Deep Structure in Data and Information

    Murtagh, F., 2010, In: The Computer Journal. 53, 3, p. 304-315 11 p.

    Research output: Contribution to journalArticlepeer-review

  129. Published

    The Data-Gathering Broker - A User-Based Approach to Viable EPR Systems

    Rigby, M., Budgen, D., Brereton, P., Bennett, K., Russell, M., Turner, M., Kotsiopoulos, I., Layzell, P., Keane, J. & Zhu, F., 2005, In: Studies in health technology and informatics. 116, p. 905-910 6 p.

    Research output: Contribution to journalArticlepeer-review

  130. Published

    The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection

    Brown, L., Clarke, R., Akbari, A., Bhandari, U., Bernardini, S., Chhabra, P., Marjanovic, O., Richardson, T. & Watson, S., 18 Nov 2020, In: Robotics. 9 , 4, p. 1-21 21 p., 95.

    Research output: Contribution to journalArticlepeer-review

  131. Published

    The DNA sequence and biology of human chromosome 19

    Grimwood, J., Gordon, L. A., Olsen, A., Terry, A., Schmutz, J., Lamerdin, J., Hellsten, U., Goodstein, D., Couronne, O., Tran-Gyamfi, M., Aerts, A., Altherr, M., Ashworth, L., Bajorek, E., Black, S., Branscomb, E., Caenepeel, S., Carrano, A., Caoile, C., Chan, Y. M. & 78 others, Christensen, M., Cleland, C. A., Copeland, A., Dalin, E., Dehal, P., Denys, M., Detter, J. C., Escobar, J., Flowers, D., Fotopulos, D., Garcia, C., Georgescu, A. M., Glavina, T., Gomez, M., Gonzales, E., Groza, M., Hammon, N., Hawkins, T., Haydu, L., Ho, I., Huang, W., Israni, S., Jett, J., Kadner, K., Kimball, H., Kobayashi, A., Larionov, V., Leem, S-H., Lopez, F., Lou, Y., Lowry, S., Malfatti, S., Martinez, D., McCready, P., Medina, C., Morgan, J., Nelson, K., Nolan, M., Ovcharenko, I., Pitluck, S., Pollard, M., Popkie, A. P., Predki, P., Quan, G., Ramirez, L., Rash, S., Retterer, J., Rodriguez, A., Rogers, S., Salamov, A., Salazar, A., She, X., Smith, D., Slezak, T., Solovyev, V., Thayer, N., Tice, H., Tsai, M., Ustaszewska, A., Vo, N., Wagner, M., Wheeler, J., Wu, K., Xie, G., Yang, J., Dubchak, I., Furey, T. S., DeJong, P., Dickson, M., Gordon, D., Eichler, E. E., Pennacchio, L. A., Richardson, P., Stubbs, L., Rokhsar, D. S., Myers, R. M., Rubin, E. M. & Lucas, S. M., 1 Apr 2004, In: Nature. 428, 6982, p. 529-35 7 p.

    Research output: Contribution to journalArticlepeer-review

  132. Published

    The EChO science case

    Tinetti, G., Drossart, P., Eccleston, P., Hartogh, P., Isaak, K., Linder, M., Lovis, C., Micela, G., Ollivier, M., Puig, L., Ribas, I., Snellen, I., Swinyard, B., Allard, F., Barstow, J., Cho, J., Coustenis, A., Cockell, C., Correia, A., Decin, L. & 335 others, de Kok, R., Deroo, P., Encrenaz, T., Forget, F., Glasse, A., Griffith, C., Guillot, T., Koskinen, T., Lammer, H., Leconte, J., Maxted, P., Mueller-Wodarg, I., Nelson, R., North, C., Pallé, E., Pagano, I., Piccioni, G., Pinfield, D., Selsis, F., Sozzetti, A., Stixrude, L., Tennyson, J., Turrini, D., Zapatero-Osorio, M., Beaulieu, J. P., Grodent, D., Guedel, M., Luz, D., Nørgaard-Nielsen, H. U., Ray, T., Rickman, H., Selig, A., Swain, M., Banaszkiewicz, M., Barlow, M., Bowles, N., Branduardi-Raymont, G., du Foresto, V. C., Gerard, J. C., Gizon, L., Hornstrup, A., Jarchow, C., Kerschbaum, F., Kovacs, G., Lagage, P. O., Lim, T., Lopez-Morales, M., Malaguti, G., Pace, E., Pascale, E., Vandenbussche, B., Wright, G., Zapata, G. R., Adriani, A., Azzollini, R., Balado, A., Bryson, I., Burston, R., Colomé, J., Crook, M., Di Giorgio, A., Griffin, M., Hoogeveen, R., Ottensamer, R., Irshad, R., Middleton, K., Morgante, G., Pinsard, F., Rataj, M., Reess, J. M., Savini, G., Schrader, J. R., Stamper, R., Winter, B., Abe, L., Abreu, M., Achilleos, N., Ade, P., Adybekian, V., Affer, L., Agnor, C., Agundez, M., Alard, C., Alcala, J., Allende Prieto, C., Alonso Floriano, F. J., Altieri, F., Alvarez Iglesias, C. A., Amado, P., Andersen, A., Aylward, A., Baffa, C., Bakos, G., Ballerini, P., Banaszkiewicz, M., Barber, R. J., Barrado, D., Barton, E. J., Batista, V., Bellucci, G., Belmonte Avilés, J. A., Berry, D., Bézard, B., Biondi, D., Błęcka, M., Boisse, I., Bonfond, B., Bordé, P., Börner, P., Bouy, H., Brown, L., Buchhave, L., Budaj, J., Bulgarelli, A., Burleigh, M., Cabral, A., Capria, M. T., Cassan, A., Cavarroc, C., Cecchi-Pestellini, C., Cerulli, R., Chadney, J., Chamberlain, S., Charnoz, S., Christian Jessen, N., Ciaravella, A., Claret, A., Claudi, R., Coates, A., Cole, R., Collura, A., Cordier, D., Covino, E., Danielski, C., Damasso, M., Deeg, H. J., Delgado-Mena, E., Del Vecchio, C., Demangeon, O., De Sio, A., De Wit, J., Dobrijévic, M., Doel, P., Dominic, C., Dorfi, E., Eales, S., Eiroa, C., Espinoza Contreras, M., Esposito, M., Eymet, V., Fabrizio, N., Fernández, M., Femenía Castella, B., Figueira, P., Filacchione, G., Fletcher, L., Focardi, M., Fossey, S., Fouqué, P., Frith, J., Galand, M., Gambicorti, L., Gaulme, P., García López, R. J., Garcia-Piquer, A., Gear, W., Gerard, J. C., Gesa, L., Giani, E., Gianotti, F., Gillon, M., Giro, E., Giuranna, M., Gomez, H., Gomez-Leal, I., Gonzalez Hernandez, J., González Merino, B., Graczyk, R., Grassi, D., Guardia, J., Guio, P., Gustin, J., Hargrave, P., Haigh, J., Hébrard, E., Heiter, U., Heredero, R. L., Herrero, E., Hersant, F., Heyrovsky, D., Hollis, M., Hubert, B., Hueso, R., Israelian, G., Iro, N., Irwin, P., Jacquemoud, S., Jones, G., Jones, H., Justtanont, K., Kehoe, T., Kerschbaum, F., Kerins, E., Kervella, P., Kipping, D., Koskinen, T., Krupp, N., Lahav, O., Laken, B., Lanza, N., Lellouch, E., Leto, G., Licandro Goldaracena, J., Lithgow-Bertelloni, C., Liu, S. J., Lo Cicero, U., Lodieu, N., Lognonné, P., Lopez-Puertas, M., Lopez-Valverde, M. A., Lundgaard Rasmussen, I., Luntzer, A., Machado, P., MacTavish, C., Maggio, A., Maillard, J. P., Magnes, W., Maldonado, J., Mall, U., Marquette, J. B., Mauskopf, P., Massi, F., Maurin, A. S., Medvedev, A., Michaut, C., Miles-Paez, P., Montalto, M., Montañés Rodríguez, P., Monteiro, M., Montes, D., Morais, H., Morales, J. C., Morales-Calderón, M., Morello, G., Moro Martín, A., Moses, J., Moya Bedon, A., Murgas Alcaino, F., Oliva, E., Orton, G., Palla, F., Pancrazzi, M., Pantin, E., Parmentier, V., Parviainen, H., Peña Ramírez, K. Y., Peralta, J., Perez-Hoyos, S., Petrov, R., Pezzuto, S., Pietrzak, R., Pilat-Lohinger, E., Piskunov, N., Prinja, R., Prisinzano, L., Polichtchouk, I., Poretti, E., Radioti, A., Ramos, A. A., Rank-Lüftinger, T., Read, P., Readorn, K., Rebolo López, R., Rebordão, J., Rengel, M., Rezac, L., Rocchetto, M., Rodler, F., Sánchez Béjar, V. J., Sanchez Lavega, A., Sanromá, E., Santos, N., Sanz Forcada, J., Scandariato, G., Schmider, F. X., Scholz, A., Scuderi, S., Sethenadh, J., Shore, S., Showman, A., Sicardy, B., Sitek, P., Smith, A., Soret, L., Sousa, S., Stiepen, A., Stolarski, M., Strazzulla, G., Tabernero, H. M., Tanga, P., Tecsa, M., Temple, J., Terenzi, L., Tessenyi, M., Testi, L., Thompson, S., Thrastarson, H., Tingley, B. W., Trifoglio, M., Martín Torres, J., Tozzi, A., Turrini, D., Varley, R., Vakili, F., de Val-Borro, M., Valdivieso, M. L., Venot, O., Villaver, E., Vinatier, S., Viti, S., Waldmann, I., Waltham, D., Ward-Thompson, D., Waters, R., Watkins, C., Watson, D., Wawer, P., Wawrzaszk, A., White, G., Widemann, T., Winek, W., Wiśniowski, T., Yelle, R., Yung, Y. & Yurchenko, S. N., 1 Dec 2015, In: Experimental Astronomy. 40, 2-3, p. 329-391 63 p.

    Research output: Contribution to journalArticlepeer-review

  133. Published

    The Effect of Constraint Representation on Structural Tractability

    Houghton, C., Cohen, D. & Green, M. J., 2006, p. 726-730.

    Research output: Contribution to conferencePaper

  134. Published

    The effect of mutation deletion and insertion of single amino acids on the three-dimensional structure of globins

    Kolchanov, N. A., Solovyev, V. & Zharkikh, A. A., 1983, In: FEBS Letters. 161, p. 65-70

    Research output: Contribution to journalArticlepeer-review

  135. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

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

    Research output: ThesisDoctoral Thesis

  136. Published

    The Effect of Social Distancing on the Reach of an Epidemic in Social Network

    Gutin, G., Hirano, T., Hwang, S-H., Neary, P. & Toda, A. A., 3 Mar 2021, In: Journal of Economic Interaction and Coordination.

    Research output: Contribution to journalArticlepeer-review

  137. Unpublished

    The efficiency of conformal predictors for anomaly detection

    Smith, J., 2016, (Unpublished)

    Research output: ThesisDoctoral Thesis

  138. Published
  139. Published

    The embedding of certain linear and abelian groups in finitely presented simple groups

    Scott, E., 1984, In: Journal of Algebra. 90, p. 323-332

    Research output: Contribution to journalArticlepeer-review

  140. Published

    The Esprit DOCKET Project

    Layzell, P. J., 1991, Proc. of 1st Workshop on Reverse Engineering, CEC/ CRIAI, December 1991. p. 9-38 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  141. Published

    The existence of identity of periodic semigroup rings

    Yang, H. X., Luo, Y. F. & Yang, H., Apr 1997, In: Chinese Science Bulletin. 42, 7, p. 614-615 2 p.

    Research output: Contribution to journalLetterpeer-review

  142. Published

    The existence of predictive complexity and the Legendre transformation

    Kalnichkan, Y. & Vovk, V., Mar 2000.

    Research output: Working paper

  143. Published

    The expressive power of binary submodular functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, In: Discrete Applied Mathematics. 157, 15, p. 3347-3358 12 p.

    Research output: Contribution to journalArticlepeer-review

  144. Published

    The Expressive Power of Binary Submodular Functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, MFCS 2009. p. 744-757

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  145. Published

    The expressive power of valued constraints: hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Zivný, S., 1 Apr 2007.

    Research output: Working paper

  146. Published

    The expressive power of valued constraints: Hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Živný, S., 6 Dec 2008, In: Theoretical Computer Science. 409, 1, p. 137-153 17 p.

    Research output: Contribution to journalArticlepeer-review

  147. Published

    The Expressive Power of Valued Constraints: Hierarchies and Collapses

    Cohen, D., Jeavons, P. & ŽZivný, S., 2007, Principles and Practice of Constraint Programming – CP 2007. Bessière, C. (ed.). Berlin and Heidelberg: Springer, p. 798-805 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  148. Published

    The Foundations of Programming Methodology (程序方法学基础)

    Chen, H., Luo, Z. & Ma, Q., 1987, Hunan Press of Sciences.

    Research output: Book/ReportBook

  149. E-pub ahead of print

    The Fundamental Nature of the Log Loss Function

    Vovk, V., 5 Sep 2015, (E-pub ahead of print) Lecture Notes in Computer Science. Beklemishev, L., Blass, A., Dershowitz, N., Finkbeiner, B. & Schulte, W. (eds.). Cham: Springer, Vol. 9300. p. 307-318 12 p. (Lecture Notes in Computer Science; vol. 9300).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  150. In preparation

    The Future of Search and Discovery in Big Data Analytics Ultrametric Information Spaces: Ultrametric Information Spaces

    Murtagh, F. & Contreras, P., 15 Feb 2012, (In preparation) In: NA.

    Research output: Contribution to journalArticlepeer-review

  151. Published

    The Future of Software: Defining the Research Agenda

    Brereton, P., Budgen, D., Bennett, K., Munro, M., Layzell, P., Macaulay, L., Griffiths, D. & Stannett, C., 1999, In: Comm.ACM. 42, 12, p. 78-84 7 p.

    Research output: Contribution to journalArticlepeer-review

  152. Published

    The game-theoretic capital asset pricing model

    Vovk, V. & Shafer, G., Sep 2008, In: International Journal of Approximate Reasoning. 49, 1, p. 175-197 23 p.

    Research output: Contribution to journalArticlepeer-review

  153. Published

    The Game-Theoretic Capital Asset Pricing Model

    Vovk, V. & Shafer, G., 1 Nov 2001.

    Research output: Working paper

  154. Published

    The Garnata information retrieval system at INEX07

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Martín-Dancausa, C. & Romero, A. E., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4862 LNCS. p. 57-69 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  155. Published

    The Gene-Finder computer tools for analysis of human and model organisms genome sequences

    Solovyev, V. & Salamov, A., 1 Jan 1997, Proceedings of the Fifth International Conference on Intelligent Systems for Molecular Biology. Vol. 5. p. 294-302 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  156. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 26 Mar 2008.

    Research output: Working paper

  157. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 2011, In: Annals of the Institute of Statistical Mathematics. 63, 5, p. 873 - 885 13 p.

    Research output: Contribution to journalArticlepeer-review

  158. Published

    The generalized dependency degree between attributes

    Yang, H., King, I. & Lyu, M. R., 1 Dec 2007, In: Journal of the American Society for Information Science and Technology. 58, 14, p. 2280-2294 15 p.

    Research output: Contribution to journalArticlepeer-review

  159. Published

    The Generalized Loneliness Detector and Weak System Models for k-Set Agreement

    Biely, M., Robinson, P. & Schmid, U., 2014, In: IEEE Transactions Parallel Distributed Systems. 25, 4, p. 1078-1088 11 p.

    Research output: Contribution to journalArticlepeer-review

  160. Published
  161. Published

    The genome of the model beetle and pest Tribolium castaneum

    Richards, S., Gibbs, R. A., Weinstock, G. M., Brown, S. J., Denell, R., Beeman, R. W., Gibbs, R., Beeman, R. W., Brown, S. J., Bucher, G., Friedrich, M., Grimmelikhuijzen, C. J. P., Klingler, M., Lorenzen, M., Richards, S., Roth, S., Schröder, R., Tautz, D., Zdobnov, E. M., Muzny, D. & 31 others, Gibbs, R. A., Weinstock, G. M., Attaway, T., Bell, S., Buhay, C. J., Chandrabose, M. N., Chavez, D., Clerk-Blankenburg, K. P., Cree, A., Dao, M., Davis, C., Chacko, J., Dinh, H., Dugan-Rocha, S., Fowler, G., Garner, T. T., Garnes, J., Gnirke, A., Hawes, A., Hernandez, J., Hines, S., Holder, M., Hume, J., Jhangiani, S. N., Joshi, V., Khan, Z. M., Jackson, L., Kovar, C., Kowis, A., Solovyev, V. & Tribolium Genome Sequencing Consortium, 2008, In: Nature. 452, 7190, p. 949-55 7 p.

    Research output: Contribution to journalArticlepeer-review

  162. Published

    The genome of the sea urchin Strongylocentrotus purpuratus

    Sodergren, E., Weinstock, G. M., Davidson, E. H., Cameron, R. A., Gibbs, R. A., Angerer, R. C., Angerer, L. M., Arnone, M. I., Burgess, D. R., Burke, R. D., Coffman, J. A., Dean, M., Elphick, M. R., Ettensohn, C. A., Foltz, K. R., Hamdoun, A., Hynes, R. O., Klein, W. H., Marzluff, W., McClay, D. R. & 31 others, Morris, R. L., Mushegian, A., Rast, J. P., Smith, L. C., Thorndyke, M. C., Vacquier, V. D., Wessel, G. M., Wray, G., Zhang, L., Elsik, C. G., Ermolaeva, O., Hlavina, W., Hofmann, G., Kitts, P., Landrum, M. J., Mackey, A. J., Maglott, D., Panopoulou, G., Poustka, A. J., Pruitt, K., Sapojnikov, V., Song, X., Souvorov, A., Solovyev, V., Wei, Z., Whittaker, C. A., Worley, K., Durbin, K. J., Shen, Y., Fedrigo, O. & Sea Urchin Genome Sequencing Consortium, 10 Nov 2006, In: Science. 314, 5801, p. 941-52 12 p.

    Research output: Contribution to journalArticlepeer-review

  163. Published

    The genome sequence of taurine cattle: a window to ruminant biology and evolution

    Elsik, C. G., Tellam, R. L., Worley, K. C., Gibbs, R. A., Muzny, D. M., Weinstock, G. M., Adelson, D. L., Eichler, E. E., Elnitski, L., Guigó, R., Hamernik, D. L., Kappes, S. M., Lewin, H. A., Lynn, D. J., Nicholas, F. W., Reymond, A., Rijnkels, M., Skow, L. C., Zdobnov, E. M., Schook, L. & 31 others, Womack, J., Alioto, T., Antonarakis, S. E., Astashyn, A., Chapple, C. E., Chen, H-C., Chrast, J., Câmara, F., Ermolaeva, O., Henrichsen, C. N., Hlavina, W., Kapustin, Y., Kiryutin, B., Kitts, P., Kokocinski, F., Landrum, M., Maglott, D., Pruitt, K., Sapojnikov, V., Searle, S. M., Solovyev, V., Souvorov, A., Ucla, C., Wyss, C., Anzola, J. M., Gerlach, D., Elhaik, E., Graur, D., Reese, J. T., Edgar, R. C. & Bovine Genome Sequencing and Analysis Consortium, 24 Apr 2009, In: Science. 324, 5926, p. 522-8 7 p.

    Research output: Contribution to journalArticlepeer-review

  164. Published

    The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 97-113. 17 p.

    Research output: Contribution to conferencePaper

  165. Published

    The Greedy Algorithm for the Symmetric TSP

    Gutin, G. & Yeo, A., 2007, In: Algorithmic Operations Research. 2, 1, p. 33-36 4 p.

    Research output: Contribution to journalArticlepeer-review

  166. Published

    The GTB and PAT tools

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 173-175. 3 p.

    Research output: Contribution to conferencePaper

  167. Published

    The Haar Wavelet Transform of a Dendrogram

    Murtagh, F., Jun 2007, In: Journal of Classification. 24, 1

    Research output: Contribution to journalArticlepeer-review

  168. Published

    The Haar Wavelet Transform of a Dendrogram: Additional Notes

    Murtagh, F., 10 Feb 2007.

    Research output: Working paperDiscussion paper

  169. Published

    The Handbook of Computational Linguistics and Natural Language Processing

    Clark, A. (ed.), Fox, C. (ed.) & Lappin, S. (ed.), 2010, Wiley-Blackwell.

    Research output: Book/ReportBook

  170. Published

    The History of Macro Processors in Programming Language Extensibility

    Layzell, P. J., 1985, Computer Journal. p. 29-33 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  171. Published

    The Identification and Management of Latent Software Assets

    Layzell, P. J. & Freeman, M. J., 1994, In: International Journal of Information Management. 14, 6, p. 427-442 16 p.

    Research output: Contribution to journalArticlepeer-review

  172. Published

    The identification of Transcription Factor Binding Sites using string kernels

    Shanahan, H., 10 Sep 2010.

    Research output: Contribution to conferenceOther

  173. Published

    The INFOLOG linear tense propositional logic of events and transactions

    Fiadeiro, J. & Sernadas, A., 1 Jan 1986, In: Information Systems Management. 11, 1, p. 61-85 25 p.

    Research output: Contribution to journalArticlepeer-review

  174. Published

    The Isgur-Wise function from the lattice

    BOOTH, S. P., BOWLER, K. C., HAZEL, N. M., HENTY, D. S., HOEBER, H., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., SIMPSON, A. D., LELLOUCH, L., NIEVES, J., SACHRAJDA, C. T. & WITTIG, H., 24 Jan 1994, In: Physical Review Letters. 72, 4, p. 462-465 4 p.

    Research output: Contribution to journalArticlepeer-review

  175. Published

    The KGP model of Agency

    Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., 2004, p. 33--37.

    Research output: Contribution to conferencePaperpeer-review

  176. Published

    The KGP model of agency for global computing: Computational model and prototype implementation

    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G. & Toni, F., 2005, Global computing. Springer-Verlag, Vol. 3267. p. 340-367 28 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  177. Published

    The law of the iterated logarithm for random Kolmogorov, or chaotic, sequences

    Vovk, V., 1987, In: Theory of Probability and Its Applications. 32, p. 413-425 13 p.

    Research output: Contribution to journalArticlepeer-review

  178. Published

    The Linear Arrangement Problem Parameterized Above Guaranteed Value

    Gutin, G., Rafiey, A., Szeider, S. & Yeo, A., 2007, In: Theory of Computing Systems. 41, 3, p. 521-538

    Research output: Contribution to journalArticlepeer-review

  179. Published

    The many faces of complexity in software design

    Fiadeiro, J. L., 2012, Conquering Complexity. Springer

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  180. Published

    The minimum feedback arc set problem is NP-hard for tournaments

    Charbit, P., Thomasse, S. & Yeo, A., 2007, In: Combinatorics, Probability and Computing. 16, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticlepeer-review

  181. Published

    The minimum spanning strong subdigraph problem for extended semicomplete digraphs and semicomplete bipartite digraphs

    Bang-Jensen, J. & Yeo, A., 2001, In: Journal of Algorithms. 41, p. 1-19 19 p.

    Research output: Contribution to journalArticlepeer-review

  182. Published

    The minimum spanning strong subdigraph problem is fixed parameter tractable

    Bang-Jensen, J. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 15, p. 2924-2929 6 p.

    Research output: Contribution to journalArticlepeer-review

  183. E-pub ahead of print

    The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

    Gutin, G., Jones, M. & Wahlstrom, M., 29 Nov 2016, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 30, 4, p. 2177-2205 29 p.

    Research output: Contribution to journalArticlepeer-review

  184. Published

    The number of pancyclic arcs in a k-strong tournament

    Yeo, A., Nov 2005, In: Journal of Graph Theory. 50, 3, p. 212-219

    Research output: Contribution to journalArticlepeer-review

  185. Published

    The order types of termination orderings on terms, strings and multisets

    Martin, U. & Scott, E., 1997, In: Journal of Symbolic Logic. 62, 2, p. 624-635

    Research output: Contribution to journalArticlepeer-review

  186. Published

    The origins and legacy of Kolmogorov's Grundbegriffe

    Vovk, V. & Shafer, G., Oct 2005, 109 p. (Game-Theoretic Probability and Finance project).

    Research output: Working paper

  187. Published

    The Parameterized Complexity of Connected Fair Division

    Deligkas, A., Eiben, E., Ganian, R., Hamm, T. & Ordyniak, S., Aug 2021, International Joint Conference on Artificial Intelligence: IJCAI 2021. p. 139-145 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  188. Published

    THE PEDANT HUMAN GENOME DATABASE — FUNCTIONAL ANNOTATION OF THE HUMAN GENOME

    Schüller, C. M. E., Geier, B., Fritz, A., Salamov, A., Seledsov, I., Solovyev, V. & Frishman, D., 2 Jan 2002, In: TheScientificWorldJOURNAL. 2, p. 82-83 2 p.

    Research output: Contribution to journalArticlepeer-review

  189. Published

    The power of primitive positive definitions with polynomially many variables

    Lagerkvist, V. & Wahlstrom, M., 1 Jul 2017, In: Journal of Logic and Computation. 27, 5, p. 1465–1488 24 p.

    Research output: Contribution to journalArticlepeer-review

  190. Published

    The power of propagation: when GAC is enough

    Cohen, D. & Jeavons, P., Jan 2017, In: Constraints. 22, p. 3-23 21 p.

    Research output: Contribution to journalArticlepeer-review

  191. Forthcoming

    The Power of Propagation: When GAC is Enough

    Cohen, D. & Jeavons, P., 6 Jun 2016, (Accepted/In press). 15 p.

    Research output: Contribution to conferencePaperpeer-review

  192. Published

    The prediction of human exons by oligonucleotide composition and discriminant analysis of spliceable open reading frames

    Solovyev, V. V., Salamov, A. A. & Lawrence, C. B., 1 Jan 1994, In: Proceedings / ... International Conference on Intelligent Systems for Molecular Biology ; ISMB. International Conference on Intelligent Systems for Molecular Biology. 2, p. 354-62 9 p.

    Research output: Contribution to journalArticlepeer-review

  193. Published

    The Project Strategy Matrix: Systematizing the Design and Management of an Explicit Project Strategy

    Koutsoukos, G., Feb 2021, In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT. 68, 1, p. 249-264 16 p., 8809922.

    Research output: Contribution to journalReview articlepeer-review

  194. Published

    The Proof Complexity of Polynomial Identities

    Hrubes, P. & Tzameret, I., 2009, Proceedings of the 24th IEEE Conference on Computational Complexity (CCC). IEEE Computer Society Press, p. 41-51 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  195. Published

    The Remarkable Simplicity of Very High Dimensional Data: Application of Model-Based Clustering

    Murtagh, F., 2009, In: Journal of Classification. 26, 3, p. 249-277 28 p.

    Research output: Contribution to journalArticlepeer-review

  196. Published

    The role of measurability in game-theoretic probability

    Vovk, V., Jul 2017, In: Finance and Stochastics. 21, 3, p. 719–739 21 p.

    Research output: Contribution to journalArticlepeer-review

  197. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J., 2017, 458 p.

    Research output: ThesisDoctoral Thesis

  198. Published

    The Second Neighbourhood for Quasi-transitive Oriented Graphs

    Li, R. J. & Sheng, B., Sep 2018, In: Acta Mathematica Sinica, English Series. 34, 9, p. 1391–1402 12 p.

    Research output: Contribution to journalArticlepeer-review

  199. Published

    The SENSORIA reference modelling language

    Fiadeiro, J., Bocchi, L., Lopes, A. & Abreu, J., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6582. p. 61-114 54 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  200. Published

    The sources of Kolmogorov's Grundbegriffe

    Shafer, G. & Vovk, V., 2003, p. 553-554. 2 p.

    Research output: Contribution to conferenceAbstractpeer-review

  201. Published

    The sources of Kolmogorov's Grundbegriffe

    Shafer, G. & Vovk, V., Feb 2006, In: Statistical Science. 21, 1, p. 70-98 29 p.

    Research output: Contribution to journalArticlepeer-review

  202. Published

    The Sources of Kolmogorov's Grundbegriffe

    Shafer, G. & Vovk, V., 21 Jun 2006.

    Research output: Working paper

  203. Published

    The spread of awareness and its impact on epidemic outbreaks

    Funk, S., Gilad, E., Watkins, C. & Jansen, V. A. A., 21 Apr 2009, In: Proceedings of the National Academy of Sciences of the United States of America. 106, 16, p. 6872–6877 6 p.

    Research output: Contribution to journalArticlepeer-review

  204. Published

    The static quark potential in full QCD

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 216-218 3 p.

    Research output: Contribution to journalArticlepeer-review

  205. Published

    The Strength of Multilinear Proofs

    Raz, R. & Tzameret, I., 2008, In: Computational Complexity. 17, 3, 51 p.

    Research output: Contribution to journalArticlepeer-review

  206. Published

    The Structure of Narrative: the Case of Film Scripts

    Murtagh, F., Ganz, A. & McKie, S., Feb 2009, In: Pattern Recognition. 42, 2, p. 302-312 11 p.

    Research output: Contribution to journalArticlepeer-review

  207. Published

    The template RNAs of RNA polymerases can have compact secondary structure formed by long double helices with partial violation of the complementarities

    Solovyev, V., Zharkikh, A. A. & Kolchanov, N. A., 1984, In: FEBS Letters. 165, p. 72-78

    Research output: Contribution to journalArticlepeer-review

  208. Published

    The tractability of CSP classes defined by forbidden patterns

    Cohen, D. A., Cooper, M. C., Creed, P., Marx, D. & Salamon, A. Z., Sep 2012, In: Journal of Artificial Intelligence Research. 45, p. 47-78 3651.

    Research output: Contribution to journalArticlepeer-review

  209. Published

    The weak aggregating algorithm and weak mixability

    Kalnishkan, Y. & Vyugin, M. V., 2008, In: Journal of Computer and System Sciences. 74, 8, p. 1228-1244

    Research output: Contribution to journalArticlepeer-review

  210. Published

    Theoretical Computer Science: Preface

    Fiadeiro, J. L., 17 Sep 2002, In: Theoretical Computer Science. 286, 2, p. 151 1 p.

    Research output: Contribution to journalEditorialpeer-review

  211. Unpublished

    Theory and Applications of Competitive Prediction

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

    Research output: ThesisDoctoral Thesis

  212. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  213. Published

    There are no R3 x S1 Gravitational Instantons

    Shanahan, H. & O'Murachadha, N., Mar 1993, In: Physical Review Letters. 70, 11, p. 1576 2 p.

    Research output: Contribution to journalArticlepeer-review

  214. Published

    Thermodynamic Analysis of Time Evolving Networks

    Ye, C., Wilson, R. C., Rossi, L., Torsello, A. & Hancock, E. R., 2 Oct 2018, In: Entropy. 20, 10, p. 1-15 15 p., 759.

    Research output: Contribution to journalArticlepeer-review

  215. Published

    Thesaurus Based Automatic Indexing: Chapter XX

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2009, Handbook of Research on Text and Web Mining Technologies. Min, S. & Yi-fang, B. W. (eds.). IGI Global, Vol. 1. p. 331-345 15 p. (Information Science Reference).

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

  216. Published

    Thinking ultrametrically

    Murtagh, F., Banks, D. (ed.), House, L. (ed.), McMorris, F. R. (ed.), Arabie, P. (ed.) & Gaul, W. (ed.), 2004, Classification, Clustering, and Data Mining Applications. Berlin: Springer-Verlag, p. 3-14 (Studies in Classification, Data Analysis & Knowledge Organization).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  217. Published

    Thirteen Knights and the Seven-headed Dragon: an Interdisciplinary Software Engineering Framework

    Mehandjiev, N., Layzell, P., Brereton, P., Mannion, M., Coallier, F. & Lewis, G., 2002, Proc. IEEE/IWCASE STEP 2002, Montreal, October 2002. IEEE Computer Society Press, p. 46-54 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  218. Published

    Three algorithms and a methodology for amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 2012, In: Scientific Annals of Computer Science. 22, 1, p. 61-104 44 p.

    Research output: Contribution to journalArticlepeer-review

  219. Published

    Three learnable models for the description of language

    Clark, A. & Adrian-Horia Dediu Henning Fernau, C. M-V. (ed.), 2010, Language and Automata Theory and Applications. p. 16--31

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  220. Published

    Three types of gamma-ray bursts

    Mukherjee, S., D. Feigelson, E., Jogesh Babu, G., Murtagh, F., Fraley, C. & Raftery, A., 1998, In: Astrophysical Journal. 508, p. 314-327 14 p.

    Research output: Contribution to journalArticlepeer-review

  221. Published

    Through the Lens of Sequence Submodularity

    Bernardini, S., Fagnani, F. & Piacentini, C., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. AAAI Press, Vol. 30. p. 38-47 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  222. Published

    Tight lower bounds for the Workflow Satisfiability Problem based on the Strong Exponential Time Hypothesis

    Gutin, G. & Wahlstrom, M., Mar 2016, In: Information Processing Letters. 116, 3, p. 223-226 4 p.

    Research output: Contribution to journalArticlepeer-review

  223. Published

    Tight lower bounds on the size of a matching in a regular graph

    Henning, M. & Yeo, A., 2007, In: Graphs and Combinatorics. 23, 6, p. 647-657 11 p.

    Research output: Contribution to journalArticlepeer-review

  224. Published

    Time series prediction with performance guarantee

    Dashevskiy, M. & Luo, Z., 20 May 2011, In: IET Communications. 5, 8, p. 1044–1051

    Research output: Contribution to journalArticlepeer-review

  225. Published

    Time-bounded incompressibility of compressible strings and sequences

    Daylight, E. G., Koolen, W. M. & Vitányi, P. M. B., 1 Aug 2009, In: Information Processing Letters. 109, 18, p. 1055 - 1059

    Research output: Contribution to journalArticlepeer-review

  226. Published

    Tomography of the London Underground: a Scalable Model for Origin-Destination Data

    Colombo, N., Silva, R. & Kang, S., Dec 2017, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. 2017-December, p. 3063-3074 12 p.

    Research output: Contribution to journalConference articlepeer-review

  227. Published

    Tool support for component-based semantics

    van Binsbergen, L. T., 14 Mar 2016, Companion Proceedings of the 15th International Conference on Modularity.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  228. Published

    Tool Support for Coordination-Based Software Evolution

    Gouveia, J., Koutsoukos, G., Andrade, L. F. & Fiadeiro, J. L., 2001, TOOLS (38). IEEE Computer Society Press, p. 184-196 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  229. Published

    Topological susceptibility in lattice QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Dec 2001, In: Physical Review D . 6411, 11, p. - 10 p.

    Research output: Contribution to journalArticlepeer-review

  230. Published

    Total domination and matching numbers in claw-free graphs

    Henning, M. & Yeo, A., 2006, In: The Electronic Journal of Combinatorics. 13, 1

    Research output: Contribution to journalArticlepeer-review

  231. Published

    Total domination in 2-connected graphs and in graphs with no induced 6-cycles

    Henning, M. & Yeo, A., 2009, In: Journal of Graph Theory. 60, p. 55-79 25 p.

    Research output: Contribution to journalArticlepeer-review

  232. Published

    Total domination in graphs with given girth

    Henning, M. & Yeo, A., 2008, In: Graphs and Combinatorics. 24, 4, p. 333-348 16 p.

    Research output: Contribution to journalArticlepeer-review

  233. Published

    Total domination in partitioned graphs

    Frendrup, A., Vestergaard, P. D. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 2, p. 181-196 16 p.

    Research output: Contribution to journalArticlepeer-review

  234. Published

    Total domination of graphs and small transversals of hypergraphs

    Thomasse, S. & Yeo, A., 2007, In: Combinatorica. 27, 4, p. 473-487 15 p.

    Research output: Contribution to journalArticlepeer-review

  235. Published

    Toward a cloud computing research agenda

    Birman, K., Chockler, G. & van Renesse, R., 1 Jun 2009, In: SIGACT News. 40, 2, p. 68-80 13 p.

    Research output: Contribution to journalArticlepeer-review

  236. E-pub ahead of print

    Toward Cereceda's conjecture for planar graphs

    Eiben, E. & Feghali, C., 8 Nov 2019, (E-pub ahead of print) In: Journal of Graph Theory. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  237. Published

    Towards a game-based architecture for developing complex interactive components in computational logic

    Stathis, K., 19 Sep 1998.

    Research output: Contribution to conferencePaperpeer-review

  238. Published

    Towards a Polynomial Kernel for Directed Feedback Vertex Set

    Bergougnoux, B., Eiben, E., Ganian, R., Ordyniak, S. & Ramanujan, M. S., 4 Nov 2020, In: Algorithmica. 21 p.

    Research output: Contribution to journalArticlepeer-review

  239. Unpublished

    Towards a Question Answering View of Natural Language Processing

    Zukov Gregoric, A., 2019, (Unpublished)

    Research output: ThesisDoctoral Thesis

  240. Published

    Towards a Unified View of System Development Methods

    Loucopoulos, P., Black, W. J., Sutcliffe, A. G. & Layzell, P. J., 1987, In: International Journal of Information Management. p. 205-218 14 p.

    Research output: Contribution to journalArticlepeer-review

  241. Published

    Towards a Verification Logic for Rewriting Logic

    Fiadeiro, J. L., Maibaum, T. S. E., Martí-Oliet, N., Meseguer, J. & Pita, I., 2000, WADT. Springer, Vol. 1827. p. 438-458 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  242. Published

    Towards an architectural approach to location-aware business processes

    Aoumeur, N., Fiadeiro, J. & Oliveira, C., 1 Jan 2004, 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), Infrastructure for Collaborative Enterprises. Vol. 13. p. 147-152 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  243. Published

    Towards automated reasoning in Herbrand structures

    Cohen, L., Rowe, R. & Zohar, Y., Sep 2019, In: Journal of Logic and Computation. 29, 5, p. 693-721 29 p.

    Research output: Contribution to journalArticlepeer-review

  244. Published

    Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis

    Crampton, J., Gutin, G. & Majumdar, D., 19 Aug 2021, In: ACM Transactions on Privacy and Security. 24, 3, p. 1-22 22 p., 21.

    Research output: Contribution to journalArticlepeer-review

  245. Published

    Towards Distributed Agent Environments for Pervasive Healthcare

    Bromuri, S., Schumacher, M. & Stathis, K., 2010, p. 125-137. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  246. Published

    Towards General Algorithms for Grammatical Inference

    Clark, A., 1 Oct 2010, Algorithmic Learning Theory, 21st International Conference. Hutter, M., Stephan, F., Vovk, V. & Zeugmann, T. (eds.). Springer, p. 11-30

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  247. Published

    Towards High Order Constraint Representations for the Frequency Assignment Problem

    Dunkin, N. W., Bater, J. E., Jeavons, P. G. & Cohen, D. A., 1998.

    Research output: Working paper

  248. Published

    Towards object-oriented conceptual modeling

    Sernadas, C. & Fiadeiro, J., 1 Oct 1991, In: Data and Knowledge Engineering. 6, 6, p. 479-508 30 p.

    Research output: Contribution to journalArticlepeer-review

  249. Published

    Towards robust and efficient computation in dynamic peer-to-peer networks

    Augustine, J., Pandurangan, G., Robinson, P. & Upfal, E., 2012, Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, January 17-19, 2012. p. 551-569 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  250. Published

    Towards Runtime Support for Norm-Governed Multi-Agent Systems

    Urovi, V., Bromuri, S., Stathis, K. & Artikis, A., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  251. Published

    Towards Self-Healing SDN

    Chockler, G. & Trehan, A., 2014.

    Research output: Contribution to conferenceOtherpeer-review

  252. Published

    Towards Self-Managing Systems Inspired by Economic Organizations

    Arnautovic, E., Vallee, M., Rehm, S-V., Muethel, M., Mulvenna, M., Baumgarten, M., Karyotis, V., Papavassiliou, S., Hadjiantonis, A. M. & Stathis, K., 2010, p. -. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  253. Published

    Towards Static Analysis of Virtualization-Obfuscated Binaries

    Kinder, J., Oct 2012, Proc. 19th Working Conf. Reverse Engineering (WCRE 2012). IEEE, p. 61-70

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  254. Published

    Tractability by Approximating Constraint Languages

    Green, M. J. & Cohen, D. A., 2003.

    Research output: Contribution to conferencePaper

  255. Published

    Tractability of König edge deletion problems

    Majumdar, D., Neogi, R., Raman, V. & Vaishali, S., 3 Dec 2019, In: Theoretical Computer Science. 796, p. 207-215 9 p.

    Research output: Contribution to journalArticlepeer-review

  256. Published

    Tractable classes of binary CSPs defined by excluded topological minors

    Cohen, D., Cooper, M., Jeavons, P. & Zivny, S., 25 Jul 2015, p. 1945-1951. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  257. Published

    Tractable Decision for a Constraint Language Implies Tractable Search

    Cohen, D. A., 2004, In: Constraints. 9, 3, p. 219-229 11 p.

    Research output: Contribution to journalArticlepeer-review

  258. Published

    Tractable Disjunctive Constraints

    Cohen, D. A., Jeavons, P. G. & Koubarakis, M., 1996, p. 478-490.

    Research output: Contribution to conferencePaper

  259. Published

    Traffic control and resource management using a multi-agent system

    Luo, Z., Bigham, J., Cuthbert, L. & Hayzelden, A., 1999, Broadband Communications: Convergence of Network Technologies. Tsang, D. H. K. & Kuhn, P. J. (eds.). USA: Kluwer Academic Publishers, p. 595-606

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  260. Published

    Training conformal predictors

    Colombo, N. & Vovk, V., Sep 2020, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Cherubin, G. (eds.). Vol. 128. p. 55-64 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  261. Published

    Transatlantic Perspectives on the Use of Data Science in Museums and Heritage

    Platts, H., Howard, D., Dalton, P. & Watkins, C., Jul 2020, UK Research and Innovation.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  262. Published

    Transcend: Detecting Concept Drift in Malware Classification Models

    Jordaney, R., Sharad, K., Dash, S., Wang, Z., Papini, D., Nouretdinov, I. & Cavallaro, L., 16 Aug 2017, Proceedings of the 26th USENIX Security Symposium. USENIX, p. 625-642 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  263. Published

    Transcriptomics: Quantifying Non-Uniform Read Distribution Using MapReduce

    Alnasir, J. & Shanahan, H., 27 Dec 2018, In: International Journal for the Foundations of Computer Science. 29, 8, 20 p.

    Research output: Contribution to journalArticlepeer-review

  264. Published
  265. Published
  266. Published

    Transduction with confidence and credibility

    Saunders, C., Gammerman, A. & Vovk, V., 1999, Proceedings of the Sixteenth International Joint Conference on Articial Intelligence. Dean, T. (ed.). San Francisco, CA: Morgan Kaufmann, Vol. 2. p. 722-726 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  267. Published

    Transductive Confidence Machine is universal

    Nouretdinov, I., Vyugin, V. & Gammerman, A., 2003, Lecture Notes in Artificial Intelligence. Springer, Vol. 2842. p. 283-297 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  268. Published

    Transductive confidence machines for pattern recognition

    Proedrou, K., Nouretdinov, I., Vovk, V. & Gammerman, A., 2002, Proceedings of the Thirteenth European Conference on Machine Learning. Elomaa, T., Mannila, H. & Toivonen, H. (eds.). London: Springer, p. 381-390 10 p. (Lecture Notes in Computer Science; vol. 2430).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  269. Published

    Transductive Conformal Prediction

    Vovk, V., 21 Dec 2015, In: International Journal on Artificial Intelligence Tools. 24, 6, 1560001.

    Research output: Contribution to journalArticlepeer-review

  270. Published

    Transductive conformal predictors

    Vovk, V., 2013, Proceedings of the Ninth Conference on Artificial Intelligence Applications and Innovations. Heidelberg: Springer, Vol. 412. p. 348-360 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  271. Published

    Transformations of generalized ATSP into ATSP

    Gutin, G., Ben-Arieh, D., Penn, M., Yeo, A. & Zverovitch, A., 2003, In: Operations Research Letters. 31, 5, p. 357-365

    Research output: Contribution to journalArticlepeer-review

  272. Published

    Transformer-based conformal predictors for paraphrase detection

    Giovannotti, P. & Gammerman, A., 2021, p. 243-265. 23 p.

    Research output: Contribution to conferencePaperpeer-review

  273. Published

    Transitivity in coercive subtyping

    Luo, Z. & Luo, Y., 2005, In: Infor. and Computation. 197, 1-2, p. 122-144 23 p.

    Research output: Contribution to journalArticlepeer-review

  274. Published

    Translation Between Pragmatic Software Development Methods

    Black, W. J., Sutcliffe, A. G., Loucopoulos, P. & Layzell, P. J., 1987, 1st European Software Engineering Conference, September 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  275. Published

    Translator Generation Using ART

    Johnstone, A. & Scott, E., 2011, In: Lecture Notes in Computer Science. 6563, p. 306-315 10 p.

    Research output: Contribution to journalArticlepeer-review

  276. Published

    TransMIDI: A System for MIDI Sessions Over the Network Using Transis

    Gang, D., Chockler, G., Anker, T., Kremer, A. & Winkler, T., 1997, Proceedings of International Computer Music Conference (ICMC 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  277. Published

    Trap Hunting: Finding Personal Data Management Issues in Next Generation AAC Devices

    Reddington, J. & Coles-Kemp, L., 1 Jul 2011, Proceedings of the Second Workshop on Speech and Language Processing for Assistive Technologies. Edinburgh, Scotland, UK: Association for Computational Linguistics, p. 32-42 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  278. Published

    Traveling salesman should not be greedy: domination analysis of greedy-type heuristics for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, In: Discrete Applied Mathematics. 117, 1-3, p. 81-86

    Research output: Contribution to journalArticlepeer-review

  279. Published

    Tree Automata as Algebras: Minimisation and Determinisation

    van Heerdt, G., Kappé, T., Rot, J., Sammartino, M. & Silva, A., Jun 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-22 22 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  280. Published

    Tree polymatrix games are PPAD-hard

    Deligkas, A., Fearnley, J. & Savani, R., 29 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  281. Published

    Tree-Based Cryptographic Access Control

    Alderman, J., Farley, N. & Crampton, J., 2017, Computer Security – ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Proceedings. Springer-Verlag, Vol. 10492 . p. 47-64 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10492 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  282. Published

    Trust Strategies for ART Testbed

    Kafali, O. & Yolum, P., 2006, Ninth International Workshop on Trust in Agent Societies, AAMAS. p. 43-49 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  283. Published

    TSP tour domination and Hamilton cycle decompositions of regular digraphs.

    Gutin, G. & Yeo, A., 2001, In: Operations Research Letters. 28, 3, p. 107-111

    Research output: Contribution to journalArticlepeer-review

  284. Published

    Twenty seconds of visual behaviour on social media gives insight into personality

    Woods, C., Luo, Z., Watling, D. & Durant, S., 21 Jan 2022, In: Scientific Reports. 12, 1, p. 1-11 11 p., 1178.

    Research output: Contribution to journalArticlepeer-review

  285. Published

    Two Edge Modification Problems without Polynomial Kernels

    Kratsch, S. & Wahlström, M., 1 Sep 2009, Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009. Chen, J. & Fomin, F. V. (eds.). Denmark, Copenhagen: Springer, Vol. 5917. p. 264-275 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  286. Published

    Two Edge Modification Problems Without Polynomial Kernels

    Kratsch, S. & Wahlström, M., 2013, In: Discrete Optimization. 10, p. 193-199

    Research output: Contribution to journalArticlepeer-review

  287. Published

    Two methods for reliable classification of network traffic

    Dashevskiy, M. & Luo, Z., Sep 2012, In: Progress in Artificial Intelligence. 1, 3, p. 223-234 12 p.

    Research output: Contribution to journalArticlepeer-review

  288. Published

    Two Operators on the Lattice of Completely Regular Semigroup Varieties

    Yang, H., 1 May 2002, In: Semigroup Forum. 64, 3, p. 397-424 28 p.

    Research output: Contribution to journalArticlepeer-review

  289. Published

    Two's Company, Three's a Crowd: Consensus-Halving for a Constant Number of Agents

    Deligkas, A., Filos-Ratsikas, A. & Hollender, A., 18 Jul 2021, ACM Conference on Economics and Computation: EC '21. p. 347-368 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  290. Published

    Typed Guarded Decompositions for Constraint Satisfaction

    Cohen, D. A. & Green, M. J., 2006, p. 122-136.

    Research output: Contribution to conferencePaper

  291. Published

    Typed Operational Semantics for Dependent Record Types

    Feng, Y. & Luo, Z., 2011, Proceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  292. Published

    Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277

    Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer.

    Research output: Book/ReportBook

  293. Published

    Type-theoretic semantics for SemNet

    Shiu, S., Luo, Z. & Garigliano, R., 1996, Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  294. Published

    Type-Theoretical Semantics with Coercive Subtyping

    Luo, Z., 2010, Semantics and Linguistic Theory. Vol. 20. p. 38-56 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  295. Published

    Ubiquitous Agents for Ambient Ecologies

    Dipsis, N. & Stathis, K., Aug 2012, In: Pervasive and Mobile Computing. 8, 4, p. 562-574

    Research output: Contribution to journalArticlepeer-review

  296. Published

    Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis

    Murtagh, F., 2011, Horizons in Computer Science Research. Clary, T. (ed.). Vol. 2.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  297. Published

    Ultrametric embedding: application to data fingerprinting and to fast data clustering

    Murtagh, F., 2008, Data Mining and Mathematical Programming: CRM Proceedings & Lecture Notes Vol. 45. Pardalos, P. & Hansen, P. (eds.). American Mathematical Society, p. 199-209 (CRM Proceedings & Lecture Notes).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  298. Published

    Ultrametric Model of Mind, I Review

    Murtagh, F., 13 Jan 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticlepeer-review

  299. Published

    Ultrametric Model of Mind, II: Application to Text Content Analysis

    Murtagh, F., 13 Jan 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticlepeer-review

  300. Published

    Ultrametric Wavelet Regression of Multivariate Time Series: Application to Colombian Conflict Analysis

    Murtagh, F., Spagat, M. & A. Restrepo, J., 2011, In: IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 41, 2, p. 254-263 10 p.

    Research output: Contribution to journalArticlepeer-review

  301. Published

    Unboundedness and downward closures of higher-order pushdown automata

    Hague, M., Kochems, J. & Ong, C-H. L., 11 Jan 2016, Principles of Programming Languages: POPL '16. New York, NY: ACM, p. 151-163 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  302. Published

    Understanding Resistance to Software Reuse

    Lynex, A. & Layzell, P. J., 1997, STEP97, London, July 1997. IEEE Computer Society Press, p. 339-349 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  303. Published

    Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent

    Cohen, L. & Rowe, R., 4 Sep 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 119. p. 17:1-17:16 16 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  304. Published

    Uniform, integral and efficient proofs for the determinant identities

    Tzameret, I. & Cook, S., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, Vol. 32. p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  305. Published

    Uniform, Integral, and Feasible Proofs for the Determinant Identities

    Tzameret, I. & Cook, S., Jan 2021, In: Journal of the ACM. 68, 2, 80 p., 12.

    Research output: Contribution to journalArticlepeer-review

  306. Published

    Unifying Theories in Different Institutions

    Arrais, M. & Fiadeiro, J. L., 1996, COMPASS/ADT. Springer, Vol. 1130. p. 81-101 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  307. E-pub ahead of print

    Uniqueness of DP-Nash Subgraphs and D-sets in Weighted Graphs of Netflix Games

    Gutin, G., Neary, P. & Yeo, A., 27 Aug 2020, (E-pub ahead of print) p. 360-371. 12 p.

    Research output: Contribution to conferencePaperpeer-review

  308. Published

    Universal algorithms for multinomial logistic regression under Kullback-Leibler game

    Dzhamtyrova, R. & Kalnishkan, Y., 15 Jul 2020, In: Neurocomputing. 397, p. 369-380 12 p.

    Research output: Contribution to journalArticlepeer-review

  309. Published

    Universal Algorithms for Probability Forecasting

    Zhdanov, F. & Kalnishkan, Y., Aug 2012, In: International Journal on Artificial Intelligence Tools. 21, 4, 1240015.

    Research output: Contribution to journalArticlepeer-review

  310. Published

    Universal forecasting algorithms

    Vovk, V., 1992, In: Information and Computation. 96, p. 245-277 33 p.

    Research output: Contribution to journalArticlepeer-review

  311. Published

    Universal portfolio selection

    Vovk, V. & Watkins, C. J. H. C., 1998, Proceedings of the Eleventh Annual Conference on Computational Learning Theory. New York: ACM Press, p. 12-23 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  312. Published

    Universal predictive systems

    Vovk, V., Jun 2022, In: Pattern Recognition. 126, 12 p., 108536.

    Research output: Contribution to journalArticlepeer-review

  313. Published

    Universal Probability-Free Conformal Prediction

    Vovk, V. & Pavlovic, D., 2016, Proceedings of COPA 2016: Fifth Symposium on Conformal and Probabilistic Prediction with Applications. Springer, Vol. 9653. p. 40-47 8 p. (Lecture Notes in Computer Science; vol. 9653).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  314. Published

    Universal probability-free prediction

    Vovk, V. & Pavlovic, D., Oct 2017, In: Annals of Mathematics and Artificial Intelligence. 81, 1-2, p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

  315. Published

    Universal well-calibrated algorithm for on-line classification

    Vovk, V., 2003, Proceedings of the Sixteenth Annual Conference on Learning Theory and Seventh Kernel Workshop. Scholkopf, B. & Warmuth, M. K. (eds.). p. 358-372 15 p. (Lecture Notes in Artificial Intelligence; vol. 2777).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  316. Published
  317. Published

    Universally consistent conformal predictive distributions

    Vovk, V., 29 Aug 2019, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Smirnov, E. (eds.). Vol. 105. p. 105-122 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  318. Forthcoming

    Universes in Type-Theoretical Semantics (paper accompanying an invited talk)

    Luo, Z., 15 Jun 2022, (Accepted/In press) LACompLing 2021. (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  319. Published

    Unraveling the complexities of interdisciplinary software engineering

    Mehandjiev, N., Layzell, P. & Brereton, P., 2004, ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 214-221 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  320. Published

    Unraveling the Complexities of Interdisciplinary Software Engineering

    Mehandjiev, N., Layzell, P. & Brereton, P., 2003, Proc. IEEE/IWCASE STEP 2003, Amsterdam, September 2003. IEEE Computer Society Press, p. 214-219 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  321. Published

    Unsupervised Induction of Stochastic Context Free Grammars with Distributional Clustering

    Clark, A., 1 Jul 2001, Proc. of Conference on Computational Natural Language Learning. p. 105-112

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  322. Unpublished

    Unsupervised Language Acquisition: Theory and Practice

    Clark, A., 2001, (Unpublished)

    Research output: ThesisDoctoral Thesis

  323. Published

    Unsupervised Learning and Grammar Induction

    Clark, A. & Lappin, S., 2010, The Handbook of Computational Linguistics and Natural Language Processing. Clark, A., Fox, C. & Lappin, S. (eds.). Wiley-Blackwell, p. 197-220 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  324. Published

    Upper bounds on ATSP neighborhood size.

    Gutin, G. & Yeo, A., 2003, In: Discrete Applied Mathematics. 129, 2-3, p. 533-538

    Research output: Contribution to journalArticlepeer-review

  325. Published

    Use of Artificial Intelligence in Regulatory Decision-Making

    Jago, R., van der Gaag, A., Stathis, K., Petej, I., Lertvittayakumjorn, P., Krishnamurthy, Y., Gao, Y., Caceres Silva, J., Webster, M., Gallagher, A. & Austin, Z., 1 Oct 2021, In: Journal of Nursing Regulation. 12, 3, p. 11-19 9 p.

    Research output: Contribution to journalArticlepeer-review

  326. Published

    Using Argument-based Features to Predict and Analyse Review Helpfulness

    Liu, H., Gao, Y., Lv, P., Li, M., Geng, S., Li, M. & Wang, H., Sep 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Copenhagen, Denmark: Association for Computational Linguistics, p. 1358–1363 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  327. Published

    Using Contextual Representations to Efficiently Learn Context-Free Languages

    Clark, A., Eyraud, R. & Habrard, A., 1 Oct 2010, In: Journal of Machine Learning Research. 11, p. 2707-2744 38 p.

    Research output: Contribution to journalArticlepeer-review

  328. Published

    Using decomposition-parameters for QBF: Mind the prefix!

    Eiben, E., Ganian, R. & Ordyniak, S., Jun 2020, In: Journal of Computer and System Sciences. 110, p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

  329. Published

    Using Decomposition-Parameters for QBF: Mind the Prefix!

    Eiben, E., Ganian, R. & Ordyniak, S., 21 Feb 2016, p. 964-970. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  330. Published

    Using electrostatic potentials to predict DNA-binding sites on DNA-binding proteins

    Jones, S., Shanahan, H. P., Berman, H. M. & Thornton, J. M., 15 Dec 2003, In: Nucleic Acids Research. 31, 24, p. 7189-7198 10 p.

    Research output: Contribution to journalArticlepeer-review

  331. Published

    Using explicit state to describe architectures

    Lopes, A. & Fiadeiro, J. L., 1999, FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING. Finance, JP. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 144-160 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  332. Published

    Using LP to study the language PL0+

    Scott, E. & Norrie, K., 1993, In: Workshops in Computing. p. 227-245

    Research output: Contribution to journalArticlepeer-review

  333. Published

    Using multiple chains for Gibbs sampling in mixed graphical association models

    Brewer, M., Luo, Z. & Gammerman, A., 1994, Computational Statistics. p. 185-189

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  334. Published

    Using NLG and sensors to support personal narrative for children with complex communication needs

    Black, R., Reddington, J., Reiter, E., Tintarev, N. & Waller, A., 2010, Proceedings of the NAACL HLT 2010 Workshop on Speech and Language Processing for Assistive Technologies. p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  335. E-pub ahead of print

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z., 25 Aug 2015, (E-pub ahead of print) New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Murata, T., Mineshima, K. & Bekki, D. (eds.). Springer, p. 172-183 12 p. (Lecture Notes in Computer Science; vol. 9067).

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

  336. Published

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z., 2014, JSAI International Symposium on Artificial Intelligence. p. 172-183 12 p.

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

  337. Published

    Using Verification Technology to Specify and Detect Malware

    Holzer, A., Kinder, J. & Veith, H., Feb 2007, 11th Int. Conf. Computer Aided Systems Theory (Eurocast 2007), Revised Selected Papers. Springer, p. 497-504

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  338. Published

    Using web service technologies to create an information broker: An experience report

    Turner, M., Zhu, F. J., Kotsiopoulos, I., Russell, M., Budgen, D., Bennett, K., Brereton, P., Keane, J., Layzell, P. & Rigby, M., 2004, In: ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. p. 552-561 10 p.

    Research output: Contribution to journalArticlepeer-review

  339. Published

    Using Web Service Technologies to Create and Information Broker

    Turner, M., Zhu, F., Kotsiopoulos, I., Russell, M., Bennett, K., Brereton, P., Keane, J., Layzell, P. & Rigby, M., 2004, IEEE/ACM International Conference on Software Engineering ICSE 2004, Edinburgh, May 2004. p. 552-562 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  340. Published

    Valid prediction with confidence estimation in air pollution problem

    Ivina, O., Nouretdinov, I. & Gammerman, A., Jul 2011, p. 45. 1 p.

    Research output: Contribution to conferenceAbstract

  341. Published

    Valid predictions with confidence estimation in an air pollution problem.

    Ivina, O., Nouretdinov, I. & Gammerman, A., 17 Jun 2012, In: Progress in Artificial Intelligence. 1, p. 235-243 9 p.

    Research output: Contribution to journalArticlepeer-review

  342. Published

    Valid Probabilistic Prediction of Life Status after Percutaneous Coronary Intervention procedure

    Volkhonskiy, D., Nouretdinov, I., Gammerman, A. & Lim, P., Jun 2017, 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  343. Published

    Valid Probabilistic Predictions for Ginseng with Venn Machines Using Electronic Nose

    Wang, Y., Miao, J., Lyu, X., Liu, L., Luo, Z. & Li, G., 13 Jul 2016, In: Sensors. 16, 7, p. 1-13 13 p., 1088.

    Research output: Contribution to journalArticlepeer-review

  344. Published

    Validation of a Seven Serum Biomarker Panel in Ovarian Cancer

    Timms, J. F., Arslan-Low, E., Cubizolles, M., Lomas, L., Yip, C., Meng, X-Y., Hogdall, E., Gentry-Maharaj, A., Ford, J., Burford, B., Nouretdinov, I., Vovk, V., Luo, Z., Menon, U., Gammerman, A., Fung, E. T. & Jacobs, I., 2007, Proceedings of the 15th International Meeting of the European Society of Gynaecological Oncology.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  345. Published

    Valued Authorization Policy Existence Problem

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., May 2021, Proceedings of 26th ACM SACMAT. p. 83-94

    Research output: Chapter in Book/Report/Conference proceedingChapter

  346. E-pub ahead of print

    Valued Authorization Policy Existence Problem: Theory and Experiments

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., 21 Apr 2022, (E-pub ahead of print) In: ACM Transactions on Privacy and Security.

    Research output: Contribution to journalArticlepeer-review

  347. Published

    Valued Workflow Satisfiability Problem

    Crampton, J., Gutin, G. & Karapetyan, D., 2015, Proceedings of the 20th ACM Symposium on Access Control Models and Technologies. p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  348. Published

    Variability and rigour in Service Computing engineering

    Ter Beek, M. H., Gnesi, S., Fantechi, A. & Fiadeiro, J. L., 1 Jan 2012, Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011. p. 122-127 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  349. Published

    Variable and value elimination in binary constraint satisfaction via forbidden patterns

    Cohen, D., Cooper, M., Escamocher, G. & Zivny, S., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1127–1143 17 p.

    Research output: Contribution to journalArticlepeer-review

  350. Published

    Variable Elimination in Binary CSP via Forbidden Patterns

    Cohen, D., Cooper, M. C., Escamocher, G. & Zivný, S., 2013.

    Research output: Contribution to conferencePaperpeer-review

  351. Published

    Varying Representation Schemata vs Fact Updating in KB Management

    Carapuça, R. & Fiadeiro, J. L., 1986, DS-2. p. 71-87 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  352. Published

    Venn predictors and isotonic regression

    Vovk, V., 31 Oct 2012, 4 p.

    Research output: Working paper

  353. Published

    Venn-Abers predictors

    Vovk, V. & Petej, I., 2014, Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence. p. 829-838 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  354. Published

    Verifying Asynchronous Interactions via Communicating Session Automata

    Lange, J. & Yoshida, N., 12 Jul 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 97-117 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  355. Published

    Vers une architecture modulaire d'agent argumentatif pour la composition de services

    Morge, M., McGinnis, J., Bromuri, S., Toni, F. C., Mancarella, P. & Stathis, K., 1 Nov 2006, Proc. of the of 15th Journees Francophones sur les Systemes M ulti-Agents (JFSMA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  356. Published

    Vertex Cover Problem Parameterized Above and Below Tight Bounds

    Gutin, G., Kim, E. J., Lampis, M. & Mitsou, V., 2011, In: Theory of Computing Systems. 48, p. 402-410

    Research output: Contribution to journalArticlepeer-review

  357. Published

    Vertex heaviest paths and cycles in quasi-transitive digraphs.

    Gutin, G. & Bang-Jensen, J., 1996, In: Discrete Mathematics. 163, 1-3, p. 217-223

    Research output: Contribution to journalArticle

  358. Published

    Virtual infrastructure for collision-prone wireless networks

    Chockler, G., Gilbert, S. & Lynch, N., Aug 2008, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. Toronto, ON, Canada: ACM, p. 233-242 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  359. Published

    Vladimir Vovk’s contribution to the Discussion of ‘Testing by betting: A strategy for statistical and scientific communication’ by Glenn Shafer

    Vovk, V., 5 May 2021, In: Journal of the Royal Statistical Society: Series A (Statistics in Society). 184, 2, p. 445-446 2 p.

    Research output: Contribution to journalArticle

  360. Published

    vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems

    Roberts, J., Mastorakis, G., Lazaruk, B., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021). 1 ed. Vol. 31. p. 486-490 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  361. Published

    Wait-free regular storage from Byzantine components

    Abraham, I., Chockler, G., Keidar, I. & Malkhi, D., 31 Jan 2007, In: Information Processing Letters. 101, 2, p. 60-65 6 p.

    Research output: Contribution to journalArticlepeer-review

  362. Published

    Walrasian Equilibria in Markets with Small Demands

    Deligkas, A., Melissourgos, T. & Spirakis, P. G., May 2021, International Conference on Autonomous Agents and Multiagent Systems: AAMAS '21. p. 413-419 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  363. Forthcoming

    Ward's Hierarchical Agglomerative Clustering Method: Which Algorithms Implement Ward's Criterion?

    Murtagh, F. & Legendre, P., 2013, (Accepted/In press) In: Journal of Classification.

    Research output: Contribution to journalArticlepeer-review

  364. Published

    Ward's Hierarchical Clustering Method: Clustering Criterion and Agglomerative Algorithm

    Murtagh, F. & Legendre, P., 27 Nov 2011, In: Preprint.

    Research output: Contribution to journalArticlepeer-review

  365. Published

    Wavelet and curvelet moments for image classification: application to aggregate mixture grading

    Murtagh, F. & Starck, J-L., 15 Jul 2008, In: Pattern Recognition Letters. 29, 10, p. 1557-1564

    Research output: Contribution to journalArticlepeer-review

  366. Published

    Wavelet-based combined signal filtering and prediction

    Murtagh, F., Renaud, O. & Starck, J-L., 2005, In: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 35, 6, p. 1241-1251

    Research output: Contribution to journalArticle

  367. Published

    Weak aggregating algorithm for the distribution-free perishable inventory problem

    Levina, T., Levin, Y., McGill, J., Nediak, M. & Vovk, V., Nov 2010, In: Operations Research Letters. 38, 6, p. 516-521 6 p.

    Research output: Contribution to journalArticlepeer-review

  368. Published

    Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement

    Biely, M., Robinson, P. & Schmid, U., 2009, Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. p. 285-299 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  369. Published

    Weak Transitivity in Coercive Subtyping

    Luo, Y., Luo, Z. & Soloviev, S., 2003, Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. p. 220--239

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  370. Published

    Weakly Hamiltonian-connected ordinary multipartite tournaments.

    Gutin, G., Bang-Jensen, J. & Huang, J., 1995, In: Discrete Mathematics. 138, 1-3, p. 63-74

    Research output: Contribution to journalArticlepeer-review

  371. Published

    Weather Based Photovoltaic Energy Generation Prediction Using LSTM Networks

    Arshi, S., Zhang, L. & Strachan, B., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  372. Published

    Weighted Kernel Regression for Predicting Changing Dependencies

    Busuttil, S. & Kalnishkan, Y., 2007, Machine Learning: ECML 2007, 18th European Conference on Machine Learning: volume 4701 of Lecture Notes in Computer Science. Springer, p. 535-542 (Lecture Notes in Computer Science; vol. 4701).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  373. Published

    Weights for total division orderings on strings

    Scott, E., 1994, In: Theoretical Computer Science. 135, 2, p. 345-359

    Research output: Contribution to journalArticlepeer-review

  374. Published

    Well-calibrated predictions from online compression models

    Vovk, V., 2003, Proceedings of the Fourteenth International Conference on Algorithmic Learning Theory. Gavalda, R., Jantke, K. & Takimoto, E. (eds.). Berlin: Springer, p. 268-282 15 p. (Lecture Notes in Artificial Intelligence; vol. 2842).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  375. Published

    Well-calibrated predictions from on-line compression models

    Vovk, V., 1 Apr 2003, (On-line Compression Modelling project, http://vovk.net/kp).

    Research output: Working paper

  376. Published

    Well-calibrated predictions from on-line compression models

    Vovk, V., 2 Nov 2006, In: Theoretical Computer Science. 364, 1, p. 10-26 17 p.

    Research output: Contribution to journalArticlepeer-review

  377. Published

    Weyl's predicative classical mathematics as a logic-enriched type theory

    Adams, R. & Luo, Z., Jan 2010, In: ACM Transactions on Computational Logic. 11, 2, 31 p., 11.

    Research output: Contribution to journalArticlepeer-review

  378. Published

    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

    Adams, R. & Luo, Z., 2007, Types for Proofs and Programs. Altenkirch, T. & McBride, C. (eds.). Springer, Vol. 4502. p. 1-17 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  379. Published

    What assembly programmers get up to: control flow challenges in reverse compilation

    Johnstone, A., Scott, E. & Womack, T., 3 Mar 2000, p. 83-92. 10 p.

    Research output: Contribution to conferencePaper

  380. Published

    What do semantics matter when the meat is overcooked?

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5065 LNCS. p. 563-580 18 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  381. Published

    What happened to my commitment? Exception diagnosis among misalignment and misbehavior

    Kafali, O., Chesani, F. & Torroni, P., 2010, Computational Logic in Multi-Agent Systems (CLIMA XI). Vol. 6245. p. 82-98 17 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  382. E-pub ahead of print

    What is decidable about string constraints with the ReplaceAll function

    Chen, T., Chen, Y., Hague, M., Lin, A. & Wu, Z., 27 Dec 2017, (E-pub ahead of print) Proceedings of the ACM on Programming Languages. ACM, Vol. 2. p. 1-29 29 p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  383. Published

    What is semantic diversity and why does it facilitate visual word recognition?

    Cevoli, B., Watkins, C. & Rastle, K., 14 Jul 2020, In: Behavior Research Methods. p. 1-17 17 p.

    Research output: Contribution to journalArticlepeer-review

  384. Published

    When n-cycles in n-partite tournaments are longest cycles.

    Gutin, G. & Rafiey, A., 2004, In: Discrete Mathematics. 289, 1-3, p. 163-168

    Research output: Contribution to journalArticlepeer-review

  385. Published

    When the greedy algorithm fails

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2004, In: Discrete Optimization. 1, 2, p. 121-127

    Research output: Contribution to journalArticlepeer-review

  386. E-pub ahead of print

    White-Box Atomic Multicast

    Gotsman, A., Lefort, A. & Chockler, G., 22 Aug 2019, (E-pub ahead of print) 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019). p. 176-187 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  387. Published

    Width, Depth, and Space: Tradeoffs between Branching and Dynamic Programming

    Chen, L. H., Reidl, F., Rossmanith, P. & Villaamil, F. S., 1 Jul 2018, In: Algorithms. 11, 7, p. 1-17 17 p., 98.

    Research output: Contribution to journalArticlepeer-review

  388. Published

    Winning Regions of Higher‐Order Pushdown Games

    Carayol, A., Hague, M., Meyer, A., Ong, C-H. L. & Serre, O., 2008, LICS: Logic in Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  389. Published

    Winning Regions of Pushdown Parity Games: A Saturation Method

    Hague, M. & Ong, C-H. L., 2009, Concur: Concurrency Theory.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  390. Published

    Witnessing matrix identities and proof complexity

    Li, F. & Tzameret, I., 26 Feb 2018, In: International Journal of Algebra and Computation. 28, 2, p. 217–256 40 p.

    Research output: Contribution to journalArticlepeer-review

  391. Published

    Word Distributions for Thematic Segmentation in a Support Vector Machine Approach

    Georgescul, M., Clark, A. & Armstrong, S., 2006, p. 101-108.

    Research output: Contribution to conferencePaper

  392. Published

    Y spectrum from NRQCD with improved action

    Manke, T., Drummond, I. T., Horgan, R. R. & Shanahan, H. P., 11 Sep 1997, In: Physics Letters B. 408, 1-4, p. 308-314 7 p.

    Research output: Contribution to journalArticlepeer-review

  393. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

  394. Published

    Алгоритмическая теория случайности и проблема предсказания

    Vovk, V., 1985, Сложностные проблемы математической логики. Kanovich, M. I. (ed.). Kalinin, p. 21-24 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  395. Published

    Об одном варианте понятия случайности по Мизесу-Черчу

    Vovk, V., 1986, p. 95-97. 3 p.

    Research output: Contribution to conferenceAbstractpeer-review

  396. Published

    Об одном критерии случайности для полных последовательностей

    Vovk, V., 1986, Седьмая тематическая конференция механико-математического факультета: Алгебра, логика и теория чисел. Moscow: Moscow State University, p. 34-37 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  397. Published

    Об одном методе тестирования правильности программ на языке ассемблера

    Vovk, V., Semenov, A. L. & Soprunov, S. F., 1988, Вопросы кибернетики. Karmanov, V. G. (ed.). Moscow, Vol. 136. p. 56-78 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  398. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

  399. Published

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

    Vovk, V., 1985, Вопросы кибернетики. Mel'nikov, V. A. & Dadaev, Y. G. (eds.). Moscow, Vol. 117. p. 31-44 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 5 Next