1. 2020
  2. Published

    Computationally efficient versions of conformal predictive distributions

    Vovk, V., Petej, I., Nouretdinov, I., Manokhin, V. & Gammerman, A., 15 Jul 2020, In : Neurocomputing. 397, p. 292-308

    Research output: Contribution to journalArticle

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

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

  5. Forthcoming

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

    Booth, K., Piacentini, C., Bernardini, S. & Beck, C., 13 Jul 2020, (Accepted/In press) In : IEEE Robotics and Automation Letters.

    Research output: Contribution to journalArticle

  6. Published

    Silent speech decoding using spectrogram features based on neuromuscular activities

    Wang, Y., Zhang, M., Wu, R., Gao, H., Yang, M., Luo, Z. & Li, G., 11 Jul 2020, In : Brain Sciences. 10, 7, p. 1-14 14 p., 442.

    Research output: Contribution to journalArticle

  7. Forthcoming

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

    Booth, K. & Bernardini, S., 2 Jul 2020, (Accepted/In press) International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, 3038

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

  8. Published

    An electronic nose-based assistive diagnostic prototype for lung cancer detection with conformal prediction

    Zhan, X., Wang, Z., Yang, M., Luo, Z., Wang, Y. & Li, G., 1 Jul 2020, In : Measurement. 158, p. 1-10 10 p., 107588.

    Research output: Contribution to journalArticle

  9. Forthcoming

    Intelligent Exploration and Autonomous Navigation in Confined Spaces

    Akbari, A. & Bernardini, S., 1 Jul 2020, (Accepted/In press) International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, 1209

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

  10. Published

    A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

    Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., Jul 2020, p. 297-303. 7 p.

    Research output: Contribution to conferencePaper

  11. Published

    On quasipolynomial multicut-mimicking networks and kernelization of multiway cut problems

    Wahlström, M., 29 Jun 2020, ICALP 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 168. p. 1-14 14 p. 101

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

  12. Forthcoming

    Feeder-Level Deep Learning-based Photovoltaic Penetration Estimation Scheme

    Zhang, X., Kuenzel, S. & Watkins, C., 28 Jun 2020, (Accepted/In press).

    Research output: Contribution to conferencePaper

  13. E-pub ahead of print

    Hamiltonicity, Pancyclicity and Full Cycle Extendability in Multipartite Tournaments

    Zhang, Z., Zhang, X., Gutin, G. & Lou, D., 27 Jun 2020, In : Journal of Graph Theory. p. 1-21 21 p.

    Research output: Contribution to journalArticle

  14. Forthcoming

    A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

    Hague, M., Wu, Z., Chen, T., Lin, A., Ruemmer, P., He, J. & Hu, D., 24 Jun 2020, (Accepted/In press).

    Research output: Contribution to conferencePaper

  15. E-pub ahead of print

    Integrating Induction and Coinduction via Closure Operators and Proof Cycles

    Cohen, L. & Rowe, R. N. S., 24 Jun 2020, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 375-394 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

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

  16. E-pub ahead of print

    Monadic Decomposition in Integer Linear Arithmetic

    Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, p. 122-140 19 p. (Lecture Notes in Computer Science; vol. 12166).

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

  17. E-pub ahead of print

    Algebras for Tree Decomposable Graphs

    Bruni, R., Montanari, U. & Sammartino, M., 23 Jun 2020, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 203-220 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12150 LNCS).

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

  18. Forthcoming

    Approximation algorithms for general cluster routing problem

    Zhang, X., Du, D., Gutin, G., Ming, Q. & Sun, J., 22 Jun 2020, (Accepted/In press) Proceedings of COCOON 2020. Springer, (Lecture Notes in Computer Science).

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

  19. Forthcoming

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

    Gutin, G., Neary, P. & Yeo, A., 22 Jun 2020, (Accepted/In press).

    Research output: Contribution to conferencePaper

  20. Published

    Privacy-Functionality Trade-off: A Privacy-Preserving Multi-Channel Smart Metering System

    Zhang, X., Kuenzel, S., Córdoba-Pachón, J-R. & Watkins, C., 21 Jun 2020, In : Energies. 13, 12, p. 1-30 30 p., 3221.

    Research output: Contribution to journalArticle

  21. Forthcoming

    Many visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 18 Jun 2020, (Accepted/In press) ESA 2020. p. 1-12 23 p. 51

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

  22. E-pub ahead of print

    k-Ary spanning trees contained in tournaments

    Ai, J., Lei, H., Shi, Y., Yao, S. & Zhang, Z. B., 13 Jun 2020, In : Discrete Applied Mathematics. 285, p. 141-146 6 p.

    Research output: Contribution to journalArticle

  23. Published

    Crystal Structure Prediction via Oblivious Local Search

    Antypov, D., Deligkas, A., Gusev, V., Rosseinsky, M. J., Spirakis, P. G. & Theofilatos, M., 12 Jun 2020, 18th International Symposium on Experimental Algorithms, SEA 2020. Faro, S. & Cantone, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 160).

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

  24. Published

    Combining p-values via averaging

    Vovk, V. & Wang, R., 11 Jun 2020, In : Biometrika. p. 1-18 18 p., asaa027.

    Research output: Contribution to journalArticle

  25. Published

    Removing connected obstacles in the plane is FPT

    Eiben, E. & Lokshtanov, D., 8 Jun 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. LIPIcs-SoCG-2020-39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

  26. E-pub ahead of print

    Competitive online quantile regression

    Dzhamtyrova, R. & Kalnishkan, Y., 5 Jun 2020, Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I. Lesot, M-J., Vieira, S., Reformat, M., Carvalho, J. P., Wilbik, A., Bouchon-Meunier, B. & Yager, R. R. (eds.). 1st ed. Springer, p. 499-512 14 p. (Communications in Computer and Information Science; vol. 1237).

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

  27. Forthcoming

    An Optimization Approach to Robust Goal Obfuscation

    Bernardini, S., 3 Jun 2020, (Accepted/In press) 17th International Conference on Principles of Knowledge Representation and Reasoning: KR 2020. International Joint Conferences on Artificial Intelligence, 206

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

  28. Forthcoming

    Reasoning about plan robustness versus plan cost for partially informed agents

    Bernardini, S., 3 Jun 2020, (Accepted/In press) 17th International Conference on Principles of Knowledge Representation and Reasoning: KR 2020. International Joint Conferences on Artificial Intelligence, 64

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

  29. Published

    Refining Process Descriptions from Execution Data in Hybrid Planning Domain Models

    Linday, A., Franco Aixela, S., Reya, R. & McCluskey, L., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. AAAI Press, Vol. 30 (2020). p. 469-477 9 p.

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

  30. Published

    Through the Lens of Sequence Submodularity

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

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

  31. Published

    Constraint Branching in Workflow Satisfiability Problem

    Gutin, G. & Karapetyan, D., Jun 2020, SACMAT 2020: Symposium on Access Control Models and Technologies. p. 93-103 11 p.

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

  32. Published

    Purely functional GLL parsing

    van Binsbergen, L. T., Scott, E. & Johnstone, A., Jun 2020, In : Journal of Computer Languages. 58, 100945.

    Research output: Contribution to journalArticle

  33. Published

    Representative sets and irrelevant vertices: New tools for kernelization

    Kratsch, S. & Wahlström, M., Jun 2020, In : Journal of the ACM. p. 1-50 50 p., 16.

    Research output: Contribution to journalArticle

  34. Published

    Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?

    Yaroslav, A., Grigoriev, D., Hirsch, E. & Tzameret, I., Jun 2020, Proceedings of the 52th Annual ACM Symposium on the Theory of Computing (STOC), 2020. Association for Computing Machinery (ACM), Vol. 52. p. 54-67 14 p.

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

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

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

  37. Published

    Anomaly Detection in Video Games

    Wilkins, B., Watkins, C. & Stathis, K., 20 May 2020, In : ArXiv.org. p. 1-4 4 p., 2005.10211.

    Research output: Contribution to journalArticle

  38. Published

    Facilitating plausible deniability for cloud providers regarding tenants' activities using trusted execution

    O'Keeffe, D., Vranaki, A., Pasquier, T. & Eyers, D., 19 May 2020, Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020. Institute of Electrical and Electronics Engineers Inc., p. 59-65 7 p. (Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020).

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

  39. Published

    A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms

    Bernardini, S., Jovan, F., Jiang, Z., Watson, S., Weightman, A., Moradi, P., Richardson, T., Sadeghian, R. & Sareh, S., May 2020, International Conference on Autonomous Agents and Multi-Agent Systems 2020 . p. 1696-1700 5 p.

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

  40. Published

    Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs

    Gutin, G. & Sun, Y., May 2020, In : Discrete Mathematics. 343, 5, p. 1-4 4 p., 111816.

    Research output: Contribution to journalArticle

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

  42. Published

    PAIGE: Towards a hybrid-edge design for privacy-preserving intelligent personal assistants

    Liang, Y., O'Keeffe, D. & Sastry, N., 27 Apr 2020, EdgeSys 2020 - Proceedings of the 3rd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2020. Association for Computing Machinery, Inc, p. 55-60 6 p. (EdgeSys 2020 - Proceedings of the 3rd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2020).

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

  43. Published

    Sparsification of SAT and CSP Problems via Tractable Extensions

    Lagerkvist, V. & Wahlstrom, M., 26 Apr 2020, In : ACM Transactions on Computation Theory (TOCT). 12, 2, p. 1-29 29 p., 13.

    Research output: Contribution to journalArticle

  44. Published

    On the Approximate Compressibility of Connected Vertex Cover

    Majumdar, D., Ramanujan, M. S. & Saurabh, S., 25 Apr 2020, In : Algorithmica. p. 1-25 25 p.

    Research output: Contribution to journalArticle

  45. E-pub ahead of print

    Proper orientation number of triangle-free bridgeless outerplanar graphs

    Ai, J., Gerke, S., Gutin, G., Shi, Y. & Taoqiu, Z., 20 Apr 2020, In : Journal of Graph Theory. p. 1-11 11 p.

    Research output: Contribution to journalArticle

  46. E-pub ahead of print

    Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions

    Bang-Jensen, J., Gutin, G. & Yeo, A., 13 Apr 2020, In : Journal of Graph Theory.

    Research output: Contribution to journalArticle

  47. E-pub ahead of print

    Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange

    Dowling, B., Hansen, T. B. & Paterson, K. G., 10 Apr 2020, Post-Quantum Cryptography - 11th International Conference, PQCrypto 2020, Proceedings. Ding, J. & Tillich, J-P. (eds.). Springer, p. 483-502 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12100 LNCS).

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

  48. Forthcoming

    Prediction with Expert Advice for Value at Risk

    Dzhamtyrova, R. & Kalnishkan, Y., 20 Mar 2020, (Accepted/In press) Proceedings of The 2020 International Joint Conference on Neural Networks (IJCNN 2020). IEEE

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

  49. E-pub ahead of print

    Inductive conformal prediction for silent speech recognition

    Zhang, M., Wang, Y., Zhang, W., Yang, M., Luo, Z. & Li, G., 2 Mar 2020, In : Journal of Neural Engineering. 12 p.

    Research output: Contribution to journalArticle

  50. Published

    Algorithms for Workflow Satisfiability Problem with User-independent Constraints

    Gutin, G. & Karapetyan, D., Mar 2020, In : International Journal of Graph Computing. 1, 1, p. 25-38 14 p.

    Research output: Contribution to journalArticle

  51. Published

    Network modeling of patients’ biomolecular profiles for clinical phenotype/outcome prediction

    Gliozzo, J., Perlasca, P., Mesiti, M., Casiraghi, E., Vallacchi, V., Vergani, E., Frasca, M., Grossi, G., Petrini, A., Re, M., Paccanaro, A. & Valentini, G., 27 Feb 2020, In : Scientific Reports. 10, p. 1-15 15 p., 3612.

    Research output: Contribution to journalArticle

  52. Published

    On Covering Segments with Unit Intervals

    Bergren, D., Eiben, E., Ganian, R. & Kanj, I., 27 Feb 2020, p. 13:1-13:17. 17 p.

    Research output: Contribution to conferencePaper

  53. Published

    Parameterized Pre-Coloring Extension and List Coloring Problems

    Gutin, G., Majumdar, D., Ordyniak, S. & Wahlström, M., 27 Feb 2020, LIPIcs, Proceedings of STACS 2020. Vol. 154. p. 1-18 18 p. 15

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

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

  55. Published

    “Ethics When You Least Expect It”: A Modular Approach to Short Course Data Ethics Instruction

    Bezuidenhout, L., Quick, R. & Shanahan, H., 17 Feb 2020, In : Science and Engineering Ethics. p. 1-25 25 p.

    Research output: Contribution to journalArticle

  56. E-pub ahead of print

    A Location-Aware Strategy for Agents Negotiating Load-balancing

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 13 Feb 2020, p. 1-8. 8 p.

    Research output: Contribution to conferencePaper

  57. Published

    LUMI-PCR: An Illumina platform ligation-mediated PCR protocol for integration site cloning, provides molecular quantitation of integration sites

    Dawes, J. C., Webster, P., Iadarola, B., Garcia-Diaz, C., Dore, M., Bolt, B. J., Dewchand, H., Dharmalingam, G., McLatchie, A. P., Kaczor, J., Caceres, J. J., Paccanaro, A., Game, L., Parrinello, S. & Uren, A. G., 4 Feb 2020, In : Mobile DNA. 11, p. 1-16 16 p., 7.

    Research output: Contribution to journalArticle

  58. E-pub ahead of print

    ErbB-3 BINDING PROTEIN 1 Regulates Translation and Counteracts RETINOBLASTOMA RELATED to Maintain the Root Meristem

    Lokdarshi, A., Papdi, C., Pettkó-Szandtner, A., Dorokhov, S., Scheres, B., Magyar, Z., von Arnim, A. G., Bogre, L. & Horvath, B., 31 Jan 2020, In : Plant physiology. 182, 2, p. 919-932 14 p.

    Research output: Contribution to journalArticle

  59. Published

    From classical proof theory to P vs. NP: a guide to bounded theories

    Tzameret, I., 14 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. .

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

  60. Published

    E2FB Interacts with RETINOBLASTOMA RELATED and Regulates Cell Proliferation during Leaf Development

    Őszi, E., Papdi, C., Mohammed, B., Petkó-Szandtner, A., Leviczky, T., Molnár, E., Galvan-Ampudia, C., Safina, K., Lopez Juez, E., Horvath, B., Bogre, L. & Magyar, Z., 6 Jan 2020, In : Plant physiology. 182, 1, p. 518-533 16 p.

    Research output: Contribution to journalArticle

  61. Unpublished

    Checking Cryptographic API Specifications in JavaScript

    Mitchell, D., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  62. Unpublished

    Competitive online algorithms for probabilistic prediction

    Dzhamtyrova, R., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  63. Unpublished
  64. 2019
  65. 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 journalArticle

  66. Published

    A Categorical Account of Replicated Data Types

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

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

  67. E-pub ahead of print

    Multi-level conformal clustering: A distribution-free technique for clustering and anomaly detection

    Nouretdinov, I., Gammerman, J., Fontana, M. & Rehal, D., 28 Nov 2019, In : Neurocomputing. p. 1-13 13 p.

    Research output: Contribution to journalArticle

  68. E-pub ahead of print

    Preference-based interactive multi-document summarisation

    Gao, Y., Meyer, C. M. & Gurevych, I., 19 Nov 2019, In : Information Retrieval Journal. p. 1-31 31 p.

    Research output: Contribution to journalArticle

  69. Published
  70. Published

    Rapid Creation of an Online Discussion Space (r/nipah) During a Serious Disease Outbreak: Observational Study

    Cole, J., Ezziane, S. & Watkins, C., 13 Nov 2019, In : Journal of medical internet research: public health and surveillance. 5, 4, p. 1-8 8 p., e13753.

    Research output: Contribution to journalArticle

  71. E-pub ahead of print

    Toward Cereceda's conjecture for planar graphs

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

    Research output: Contribution to journalArticle

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

  73. Published

    Better Rewards Yield Better Summaries: Learning to Summarise Without References

    Böhm, F., Gao, Y., Meyer, C. M., Shapira, O., Dagan, I. & Gurevych, I., Nov 2019, Proceedings of 2019 Conference on Empirical Methods in Natural Language Processing (EMNLP 2019) . p. 3101–3111 11 p.

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

  74. Published

    MoverScore: Text Generation Evaluating with Contextualized Embeddings and Earth Mover Distance

    Zhao, W., Peyrard, M., Liu, F., Gao, Y., Meyer, C. M. & Eger, S., Nov 2019, Proceedings of 2019 Conference on Empirical Methods in Natural Language Processing (EMNLP 2019). p. 563-578 16 p.

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

  75. Published

    Multiple lexicalisation (a Java based study)

    Scott, E. & Johnstone, A., 20 Oct 2019, ACM Digital Library: Proceedings of Software Language Engineering 2019. ACM, p. 71-82 12 p.

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

  76. E-pub ahead of print

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 9 Oct 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Springer, p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).

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

  77. E-pub ahead of print

    Neural Predictive Monitoring

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 1 Oct 2019, Runtime Verification. p. 129-147 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  78. Published

    Evaluating Machine Translation without Human References Using Cross-lingual Encoders

    Zhao, W., Gao, Y. & Eger, S., Oct 2019.

    Research output: Contribution to conferenceAbstract

  79. Published

    Realtime Tracking of Passengers on the London Underground Transport by Matching Smartphone Accelerometer Footprints

    Nguyen, K. A., Wang, Y., Li, G., Luo, Z. & Watkins, C., 26 Sep 2019, In : Sensors (Basel, Switzerland). 19, 19, p. 1-26 26 p., 4184.

    Research output: Contribution to journalArticle

  80. E-pub ahead of print

    Principled and Pragmatic Specification of Programming Languages

    Johnstone, A. & Scott, E., 23 Sep 2019, In : Lecture Notes in Computer Science. 11758, p. 165-180 16 p.

    Research output: Contribution to journalArticle

  81. E-pub ahead of print

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 23 Sep 2019, p. 300-316. 17 p.

    Research output: Contribution to conferencePaper

  82. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Springer, Vol. 11735. p. 341-360 20 p.

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

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

  84. E-pub ahead of print

    A RESTful middleware for AI controlled sensors, actuators and smart devices

    Dipsis, N. & Stathis, K., 12 Sep 2019, In : Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.

    Research output: Contribution to journalArticle

  85. Published

    Conformal Anomaly Detection based on Association Rules

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

    Research output: Other contribution

  86. Published

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

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

    Research output: Other contribution

  87. Published

    Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Parkes, A., Gutin, G. & Gagarin, A., 5 Sep 2019, In : Journal of Artificial Intelligence Research. 66, p. 1-38 38 p.

    Research output: Contribution to journalArticle

  88. Published

    Aggregating Algorithm for prediction of packs

    Adamskiy, D., Bellotti, T., Dzhamtyrova, R. & Kalnishkan, Y., Sep 2019, In : Machine Learning. 108, 8-9, p. 1231-1260 30 p.

    Research output: Contribution to journalArticle

  89. Published

    Competitive Online Regression under Continuous Ranked Probability Score

    Dzhamtyrova, R. & Kalnishkan, Y., Sep 2019, Conformal and Probabilistic Prediction and Applications, 9-11 September 2019, Golden Sands, Bulgaria. Proceedings of Machine Learning Research, Vol. 105. p. 178-195 18 p. (Proceedings of Machine Learning Research).

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

  90. Published

    Coreset-based Conformal Prediction for Large-scale Learning

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Sep 2019, Proceedings of Machine Learning Research: Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 105. p. 142-162 21 p.

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

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

  92. Published

    Domination Above r-Independence: Does Sparseness Help?

    Einarson, C. & Reidl, F., 30 Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 138. p. 40:1-40:13 13 p. 40. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  93. E-pub ahead of print

    Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes

    Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 29 Aug 2019, American Control Conference 2019. p. 4765-4772 8 p.

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

  94. Published

    Sorting email with natural language processing and conformal prediction

    Giovannotti, P. & Rehal, D., 29 Aug 2019.

    Research output: Contribution to conferencePoster

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

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

  97. Published

    Location Tracking Using Smartphone Accelerometer and Magnetometer Traces

    Nguyen, D. K. A., Akram, R. N., Markantonakis, K., Luo, Z. & Watkins, C., 26 Aug 2019, The First Location Privacy Workshop (LPW 2019), the 14th International Conference on Availability, Reliability and Security (ARES 2019). Association for Computing Machinery (ACM), p. 1-9 9 p. 96

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

  98. E-pub ahead of print

    Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases

    Moraru, I., Edelkamp, S., Franco Aixela, S. & Martinez, M., 24 Aug 2019, KI 2019: Advances in Artificial Intelligence. Benzmüller, C. & Stuckenschmidt, H. (eds.). Springer, p. 249-263 15 p. (Lecture Notes in Computer Science; vol. 11793).

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

  99. E-pub ahead of print

    Explaining Deep Learning Models with Constrained Adversarial Examples

    Moore, J., Hammerla, N. & Watkins, C., 23 Aug 2019, Pacific Rim International Conference on Artificial Intelligence. Springer, p. 43-56 14 p. (Lecture Notes in Computer Science; vol. 11670).

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

  100. E-pub ahead of print

    White-Box Atomic Multicast

    Gotsman, A., Lefort, A. & Chockler, G., 22 Aug 2019, 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

  101. E-pub ahead of print

    A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

    Docherty, S. & Rowe, R., 14 Aug 2019, TABLEAUX 2019: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 335-352 18 p. (Lecture Notes in Computer Science; vol. 11714).

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

  102. E-pub ahead of print

    Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

    Gaina, D. & Tutu, I., 14 Aug 2019, The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Springer, p. 277-293 17 p. (Lecture Notes in Computer Science; vol. 11714).

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

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