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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  23. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

  24. Published

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

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

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

    Research output: Contribution to conferenceAbstractpeer-review

  26. Published

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

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

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

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

  28. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

  29. 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...21 22 23 24 25 Next