Search

Search Funnelback University

Search powered by Funnelback
1 - 8 of 8 search results for scholarships 2022 |u:www.cst.cam.ac.uk where 1 match all words and 7 match some words.
  1. Fully-matching results

  2. DAN ANDREI ILIESCUE-mail: iliescudanandrei@gmail.com Website:…

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/profile/dai24/cv_andrei_iliescu.pdf
    8 May 2024: Mantiuk. Training a task-specific image reconstruction loss. In Proceedings of the IEEE/CVF Winter Conference on Applications ofComputer Vision (WACV), 2022. ... Disentangling Domain andContent. Arxiv Preprint, 2022. 5. Andrew Webb, Charles Reynolds,
  3. Results that match 1 of 2 words

  4. SmP_subdiag-4.xopp

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/diana_kessler.pdf
    8 Sep 2023: ACT 2022, arXiv: 2209.09509.Traversal algorithm for solving the isomorphism problem for regularmolecules, running in time O.
  5. Profinite -terms and parametricity - Vincent Moreau, joint work with…

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/vincent_moreau.pdf
    8 Sep 2023: This is the language side of the story presented at SmP 2022!
  6. On Conway's proof of undecidability in elementary arithmetic

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/peter_hines.pdf
    8 Sep 2023: Talk based on a series of papers (2022-23). On Strict Extensional Reflexivity in Compact Closed Categories(in Samson Abramsky on Logic & Structure in C.S. ... The Inverse Semigroup Theory of Elementary Arithmetic (submitted
  7. Structure Meets Power Workshop (Abstracts) 7 July 2024…

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/book-of-abstracts_0.pdf
    3 Jul 2024: Log. Methods Comput.Sci., 18(2), 2022. 5. Bob Coecke and Aleks Kissinger. ... Springer, 2022. 15. Marta Z. Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu.
  8. Finitely accessible arboreal adjunctions and Hintikka formulae

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/colin_riba.pdf
    8 Sep 2023: Other examplesI Modal fragment, Hybrid fragment, Guarded fragments,. (Abramsky & Shah (2018, 2021), Abrasmky & Marsden 2022, Abrasmky & Marsden 2021,. ).
  9. Concrete, Abstract, Axiomatic: - A (personal) Journey Through Game…

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/luca_reggio_concrete_abstract_axiomatic_a_personal_journey_through_game_comonads.pdf
    25 Jul 2023: Pebble-relation comonad(Montacute & Shah, 2022). • Hybrid comonad(Abramsky & Marsden, 2022).
  10. Finitely accessible arboreal adjunctions and Hintikka formulae

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/colin_riba_finitely_accessible_arboreal_adjunctions_and_hintikka_formulae.pdf
    25 Jul 2023: Other examplesI Modal fragment, Hybrid fragment, Guarded fragments,. (Abramsky & Shah (2018, 2021), Abrasmky & Marsden 2022, Abrasmky & Marsden 2021,. ).

Refine your results

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.