Browse Publications

  1. 2020
  2. Publications content icon
    Published

    Vertex Ramsey properties of randomly perturbed graphs

    Andrew Treglown, 1 Dec 2020, In: Random Structures and Algorithms. 57, 4, p. 983-1006 24 p.

    Research output: Contribution to journalArticlepeer-review

  3. Publications content icon
    Published

    Existence thresholds and Ramsey properties of random posets

    Andrew Treglown, Dec 2020, In: Random Structures and Algorithms. 57, 4, p. 1097-1133

    Research output: Contribution to journalArticlepeer-review

  4. Publications content icon
    Published

    From QBFs to MALL and back via focussing

    Anupam Das, Oct 2020, In: Journal of Automated Reasoning. 64, 7, p. 1221-1245 25 p.

    Research output: Contribution to journalArticlepeer-review

  5. Publications content icon
    E-pub ahead of print

    Tablet for Two: How do Children Collaborate around Single Player Tablet Games?

    Rowanne Fleck, 16 Sep 2020, In: International Journal of Human Computer Studies. 145, 16 p., 102539.

    Research output: Contribution to journalArticlepeer-review

  6. Publications content icon
    Published

    Automatic accent identification as an analytical tool for accent robust automatic speech recognition

    Martin Russell, Sep 2020, In: Speech Communication. 122, p. 44-55 12 p.

    Research output: Contribution to journalArticlepeer-review

  7. Publications content icon
    Published

    Parallel design of sparse deep belief network with multi-objective optimization

    Naresh Marturi, Sep 2020, In: Information Sciences. 533, p. 24-42 19 p.

    Research output: Contribution to journalArticlepeer-review

  8. Publications content icon
    Published

    Spatially-adaptive filter units for compact and efficient deep neural networks

    Ales Leonardis, Sep 2020, In: International Journal of Computer Vision. 128, 8-9, p. 2049-2067 19 p.

    Research output: Contribution to journalArticlepeer-review

  9. Publications content icon
    E-pub ahead of print
  10. Publications content icon
    Published

    The Impact of Adaptation Based on Students’ Dyslexia Type: An Empirical Evaluation of Students’ Satisfaction

    Robert Hendley, Jul 2020, UMAP 2020 Adjunct - Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization: djunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery (ACM), p. 41-46 6 p. (UMAP 2020 Adjunct - Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization).

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

  11. Publications content icon
    E-pub ahead of print

    Decomposition of arrow type positive semidefinite matrices with application to topology optimization

    Michal Kocvara, 11 Jun 2020, In: Mathematical Programming. 30 p.

    Research output: Contribution to journalArticlepeer-review

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