1. 2019
  2. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Proceedings of IJCNN 2019. IEEE, p. 1-8 8 p.

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

  3. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Competitive Online Generalised Linear Regression with Multidimensional Outputs. Proceedings of IJCNN 2019. IEEE, p. 1-8

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

  4. Unpublished
  5. Published

    Conformal predictor combination using Neyman–Pearson Lemma

    Toccaceli, P., 2019, Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Proceedings of Machine Learning Research, Vol. 105. p. 66-88 23 p.

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

  6. Published

    Cyclisation of Cell-Penetrating PDZ-Binding Peptides Directed to PSD95

    Dabhi, S., Duberly, K., Alnasir, J., Wijesiriwardana, N. & Austen, B., 2019, In: American Research Journal of Chemistry. 3, 1, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  7. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

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

    Research output: ThesisDoctoral Thesis

  8. Unpublished

    Going Beyond Homology for Predicting Protein Function for Newly Sequenced Organisms

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

    Research output: ThesisDoctoral Thesis

  9. Published

    Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation

    Franco, S., Vallati, M., Lindsay, A. & McCluskey, T. L., 2019, Computational Science - ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V. Rodrigues, J. M. F., Cardoso, P. J. S., Monteiro, J. M., Lam, R., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer, Vol. 11540. p. 491-498 8 p. (Lecture Notes in Computer Science; vol. 11540).

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

  10. Forthcoming

    Learning interpretable disease self-representations for drug repositioning

    Galeano Galeano, D., Frasca, F., Gonzalez, G., Lapanogov, I., Veselkov, K., Paccanaro, A. & Bronstein, M. M., 2019, (Accepted/In press) Conference on Neural Information Processing Systems (NeurIPS) 2019: Graph representation Learning Workshop .

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

  11. Unpublished
  12. Unpublished

    Towards a Question Answering View of Natural Language Processing

    Zukov Gregoric, A., 2019, (Unpublished)

    Research output: ThesisDoctoral Thesis

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

  15. Published

    Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills

    Porayska-Pomsta, K., Alcorn, A., Avramides, K., Beale, S., Bernardini, S., Foster, M. E., Frauenberger, C., Good, J., Guldberg, K., Keay-Bright, W., Kossyvaki, L., Lemon, O., Mademtzi, M., Menzies, R., Pain, H., Rajendran, G., Waller, A., Wass, S. & Smith, T. J., 20 Dec 2018, In: ACM Transactions on Computer-Human Interaction (TOCHI). 25, 6, p. 1-35 35 p., 35.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Bayesian semi-supervised learning with graph Gaussian processes

    Ng, Y. C., Colombo, N. & Silva, R., 3 Dec 2018, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 1690-1701 12 p.

    Research output: Contribution to journalConference articlepeer-review

  17. Published

    Robustness Against Unknown Noise for Raw Data Fusing Neural Networks

    Bijelic, M., Muench, C., Ritter, W., Kalnishkan, Y. & Dietmayer, K., Dec 2018, 21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2018). IEEE Xplore, p. 1-8 8 p.

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

  18. Published

    Decidable models of integer-manipulating programs with recursive parallelism

    Hague, M. & Lin, A., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 24-37 14 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  22. Published

    GLL syntax analysers for EBNF grammars

    Scott, E. & Johnstone, A., 15 Nov 2018, In: Science of Computer Programming. 166, p. 120-145 26 p.

    Research output: Contribution to journalArticlepeer-review

  23. Forthcoming

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

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

    Research output: ThesisDoctoral Thesis

  24. Published

    Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming

    van Binsbergen, L. T., 5 Nov 2018, p. 168-174. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  25. Published

    Online conformal prediction for classifying different types of herbal medicines with electronic nose

    Zhan, X., Guan, X., Wu, R., Wang, Z., Wang, Y., Luo, Z. & Li, G., 4 Nov 2018, IET Doctoral Forum on Biomedical Engineering, Healthcare, Robotics and Artificial Intelligence 2018: BRAIN 2018. IET Conference Publications, Vol. 2018. p. 1-8 8 p.

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

  26. Published

    On Subtyping in Type Theories with Canonical Objects

    Lungu, G. & Luo, Z., Nov 2018, Types for Proofs and Programs: Post-proceedings of the 22nd Int. Conf. on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics, Vol. 97. p. 13:1-13:31 31 p. 13

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

  27. Published

    APRIL: Interactively Learning to Summarise by Combining Active Preference Learning and Reinforcement Learning

    Gao, Y., Meyer, C. M. & Gurevych, I., 31 Oct 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Brussels, Belgium: Association for Computational Linguistics, p. 4120-4130 11 p.

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

  28. Published

    Enabling Fair ML Evaluations for Security

    Pendlebury, F., Pierazzi, F., Jordaney, R., Kinder, J. & Cavallaro, L., 8 Oct 2018, p. 2264-2266. 3 p.

    Research output: Contribution to conferencePosterpeer-review

  29. Published

    Multi-Shot Distributed Transaction Commit

    Chockler, G. & Gotsman, A., 4 Oct 2018, 32nd International Symposium on Distributed Computing (DISC 2018). Springer-Verlag, p. 1-18 18 p. (LIPIcs–Leibniz International Proceedings in Informatics ; vol. 121).

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

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

  31. Published

    GLL parsing with flexible combinators

    van Binsbergen, L. T., Scott, E. & Johnstone, A., Oct 2018, p. 16-28. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  32. Published

    Inapproximability results for constrained approximate Nash equilibria

    Deligkas, A., Fearnley, J. & Savani, R., Oct 2018, In: Information and Computation. 262, Part 1, p. 40-56 17 p.

    Research output: Contribution to journalArticlepeer-review

  33. E-pub ahead of print

    Neural State Classification for Hybrid Systems

    Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A. & Stoller, S. D., 30 Sep 2018, (E-pub ahead of print) 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Lahiri, S. K. & Wang, C. (eds.). Springer, p. 422-440 19 p. (Lecture Notes in Computer Science; vol. 11138).

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

  34. Published

    Fast Distributed Algorithms for Connectivity and MST in Large Graphs

    Pandurangan, G., Robinson, P. & Scquizzato, M., 19 Sep 2018, In: Transactions on Parallel Computing. 5, 1, p. 1-22 22 p.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

    Paoletti, N., Patanè, A. & Kwiatkowska, M., 18 Sep 2018, In: ACM Transactions on Cyber-Physical Systems. 2, 4, p. 1-31 31 p., 33.

    Research output: Contribution to journalArticlepeer-review

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

  37. Published

    Efficient synthesis of robust models for stochastic systems

    Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Sep 2018, In: Journal of Systems and Software. 143, p. 140-158 19 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  40. E-pub ahead of print

    Conformal Predictive Distributions with Kernels

    Vovk, V., Nouretdinov, I., Manokhin, V. & Gammerman, A., 23 Aug 2018, (E-pub ahead of print) Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman’s Decease, Invited Talks. Springer-Verlag, Vol. 11100 . p. 103-121 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11100 LNAI).

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

  41. E-pub ahead of print

    Domain Reduction for Valued Constraints by Generalising Methods from CSP

    Cohen, D., Cooper, M. & Jguirim1, W., 23 Aug 2018, (E-pub ahead of print) p. 64-80. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  42. Published

    Optimal Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A., 20 Aug 2018, International Symposium on Mathematical Foundations of Computer Science. p. 1-14 14 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

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

  43. Published

    Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

    Hague, M., Meyer, R., Muskalla, S. & Zimmermann, M., 20 Aug 2018, International Symposium of Mathematical Foundations of Computer Science. p. 1-15 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

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

  44. Published

    Anomaly-based exploratory analysis and detection of exploits in android mediaserver

    Suárez-Tangil, G., Dash, S. K., García-Teodoro, P., Camacho, J. & Cavallaro, L., 16 Aug 2018, In: IET Information Security. 12, 5, p. 404-413 10 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Concurrent bilateral negotiation for open e-markets: the Conan strategy

    Alrayes, B., Kafali, O. & Stathis, K., Aug 2018, In: Knowledge and Information Systems. 56, p. 463–501 39 p.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Designing deterministic polynomial-space algorithms by color-coding multivariate polynomials

    Gutin, G., Reidl, F., Wahlstrom, M. & Zehavi, M., Aug 2018, In: Journal of Computer and System Sciences. 95, p. 69-85 17 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    k-distinct in- and out-branchings in digraphs

    Gutin, G., Reidl, F. & Wahlstrom, M., Aug 2018, In: Journal of Computer and System Sciences. 95, p. 86-97 13 p.

    Research output: Contribution to journalArticlepeer-review

  48. E-pub ahead of print

    Recurrent Auto-Encoder Model for Large-Scale Industrial Sensor Signal Analysis

    Wong, T. & Luo, Z., 27 Jul 2018, (E-pub ahead of print) International Conference on Engineering Applications of Neural Networks: EANN 2018. Pimenidis, E. & Jayne, C. (eds.). Springer, p. 203-216 14 p. (Communications in Computer and Information Science; vol. 893).

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

  49. E-pub ahead of print

    Characterizing Propositional Proofs as Non-commutative Formulas

    Li, F., Tzameret, I. & Wang, Z., 19 Jul 2018, (E-pub ahead of print) In: SIAM Journal on Computing. 47, 4, p. 1424-1462 39 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    Systems Metagenomics

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

    Research output: Contribution to conferencePosterpeer-review

  51. Published

    SDN-Actors: Modeling and Verification of SDN Programs

    Albert, E., Gómez-Zamalloa, M., Rubio, A., Sammartino, M. & Silva, A., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Springer-Verlag, p. 550-567 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

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

Previous 1...4 5 6 7 8 9 10 11 ...48 Next