Home > Research > Publications & Outputs
  1. 2022
  2. Published

    Local is Best: Efficient Reductions to Modal Logic K

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    Machines Reading Maps: Finding and Understanding Text on Maps

    Chiang, Y.-Y., Li, Z., Kim, J., McDonough, K., Simon, R., Vitale, V. & Holmes-Wong, D., 23/05/2022.

    Research output: Contribution to conference - Without ISBN/ISSN Posterpeer-review

  4. Published

    Nanoformulated Bumetanide Ameliorates Social Deficiency in BTBR Mice Model of Autism Spectrum Disorder

    Lv, H., Gu, X., Shan, X., Zhu, T., Ma, B., Zhang, H.-T., Bambini-Junior, V., Zhang, T., Li, W.-G., Gao, X. & Li, F., 23/05/2022, In: Frontiers in Immunology. 13, 13 p., 870577.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    Phenotypic variation in photosynthetic traits in wheat grown under field versus glasshouse conditions: Mismatch between field versus glasshouse-grown plants

    Sales, C., Molero, G., Evans, J., Taylor, S., Joynson, R., Furbank, R., Hall, A. & Carmo-Silva, E., 23/05/2022, In: Journal of Experimental Botany. 73, 10, p. 3221-3237 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Potential of Rapid Tooling in Rapid Heat Cycle Molding: A Review

    Huzaim, N. H. M., Rahim, S., Musa, L., Abdellah, A. E.-H., Abdullah, M. M. A. B., Rennie, A., Rahman, R., Garus, S., Błoch, K., Sandu, A. V., Vizureanu, P. & Nabiałek, M., 23/05/2022, In: Materials. 15, 10, 39 p., 3725.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    Schwa deletion and perceived tempo in English

    Plug, L., Lennon, R. & Smith, R., 23/05/2022, Proceedings of the International Conference on Speech Prosody 2022. Lisbon, Portugal, Vol. 2022-May. p. 470-474 5 p. (Proceedings of the International Conference on Speech Prosody).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    The murky world of NFTs

    Ryder, M. (Speaker) & Hughes, J. (Speaker), 23/05/2022

    Research output: Exhibits, objects and web-based outputsPodcast

  9. Published

    Thought Insertion and the Minimal Self

    Maung, H., 23/05/2022, In: Dialogues in Philosophy, Mental and Neuro Sciences. 14, 2, p. 32-41

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Transient dynamics in the outflow of energy from a system in a nonequilibrium stationary state

    Żuk, P. J., Makuch, K., Hołyst, R. & Maciołek, A., 23/05/2022, In: Physical Review E. 105, 5, 12 p., 054133.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  11. Published

    Victims of the diswelfare state: Listening for pertinent silences

    Lambert, M. (Artist), 23/05/2022

    Research output: Exhibits, objects and web-based outputsBlog

Back to top