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

  2. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

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

  4. Published

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

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

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

  5. Published

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

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

    Research output: Contribution to conferenceAbstractpeer-review

  6. Published

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  48. Published

    Venn predictors and isotonic regression

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

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  78. Unpublished

    Unsupervised Language Acquisition: Theory and Practice

    Clark, A., 2001, (Unpublished)

    Research output: ThesisDoctoral Thesis

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

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

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

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

  83. Published
  84. 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

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

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

  87. E-pub ahead of print

    Universal predictive systems

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

    Research output: Contribution to journalArticlepeer-review

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

  89. Published

    Universal forecasting algorithms

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

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

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