uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Rohrbach, M., Qiu, W., Titov, I., Thater, S., Pinkal, M., Schiele, B. (2013) Translating Video Content to Natural Language Descriptions.
    In 2013 IEEE International Conference on Computer Vision: ICCV 2013 : proceedings: 1-8 December 2013, Sydney, NSW, Australia (pp 433-440). IEEE Computer Society.
    Conference contribution | https://doi.org/10.1109/ICCV.2013.61 | UvA-DARE
  • Röhrig, H.P. (2004) Quantum query complexity and distributed computing.
    Institute for Logic, Language and Computation.
    Thesis, externally prepared | UvA-DARE
  • Rohrmeier, M., Rebuschat, P., Honing, H., Loui, P., Wiggins, G., Pearce, M.T., Müllensiefen, D. (2009) Music cognition: Learning and processing.
    In Taatgen, N.A. van Rijn, H. (Eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society (pp 41-42). Cognitive Science Society.
  • Rohrmeier, M., Zuidema, W., Wiggins, G.A., Scharff, C. (2015) Principles of structure building in music, language and animal song.
    Philosophical Transactions of the Royal Society B: Biological Sciences, Vol. 370
  • Romano, S., Beraldo, D., Rama, Ilir (2023) The Impact of TikTok Policies on Information Flows during Times of War: Evidence of ‘Splinternet’ and ‘Shadow-Promotion’ in Russia.
    Abstract | UvA-DARE
  • Romano, S., Kerby, N.G., Schüler, M.M., Beraldo, D., Rama, Ilir (2023) The Impact of TikTok Policies on Information Flows during Times of War: Evidence of ‘Splinternet’ and ‘Shadow-Promotion’ in Russia.
    In AoIR2023: Research from the Annual Conference of the Association of Internet Researchers (Selected Papers in Internet Research, Vol. 2023). Association of Internet Researchers.
  • Romijn, L., Ó Nualláin, B.S., Torenvliet, L. (2015) Discovering motifs in real-world social networks.
    In Italiano, G.F. Margaria-Steffen, T. Pokorný, J. Quisquater, J.-J. Wattenhofer, R. (Eds.), SOFSEM 2015: Theory and Practice of Computer Science: 41th International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015: proceedings (pp 463-474) (Lecture Notes in Computer Science, Vol. 8939). Springer.
  • Romijn-Wixley, J., de Vries, A., Kamps, J. (2010) Archival access from the user’s perspective.
    In Eighth European Conference on Digital Archiving (ECA 2010)
    Conference contribution | UvA-DARE
  • Roncaglia-Denissen, M.P., Bouwer, F., Honing, H. (2018) Decision Making Strategy and the Simultaneous Processing of Syntactic Dependencies in Language and Music.
    Frontiers in Psychology, Vol. 9
  • Roncaglia-Denissen, M.P., Kotz, S.A. (2015) What does neuroimaging tell us about morphosyntactic processing in the brain of second language learners?.
    Bilingualism : Language and Cognition, Vol. 19 (pp 665-673)
  • Roncaglia-Denissen, M.P., Roor, D.A., Chen, A., Sadakata, M. (2016) The enhanced musical rhythmic perception in second language learners.
    Frontiers in Human Neuroscience, Vol. 10
  • Roncaglia-Denissen, M.P., Schmidt-Kassow, M., Heine, A., Kotz, S.A. (2015) On the impact of L2 speech rhythm on syntactic ambiguity resolution.
    Second Language Research, Vol. 31 (pp 157-178)
  • Roncaglia-Denissen, M.P., Schmidt-Kassow, M., Heine, A., Vuust, P., Kotz, S.A. (2013) Enhanced musical rhythmic perception in Turkish early and late learners of German.
    Frontiers in Psychology, Vol. 4
  • Roncaglia-Denissen, M.P., Schmidt-Kassow, M., Kotz, S.A. (2013) Speech rhythm facilitates syntactic ambiguity resolution: ERP evidence.
    PLoS ONE, Vol. 8
  • Rooduijn, J., Venema, Y. (2021) Filtration and canonical completeness for continuous modal µ-calculi.
    Electronic Proceedings in Theoretical Computer Science, Vol. 346 (pp 211-226)
  • Rooduijn, J., Venema, Y. (2023) Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus.
    In Hansen, H.H. Scedrov, A. de Queiroz, R.J.G.B. (Eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings (pp 318-335) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 13923). Springer.
  • Rooduijn, J. (2021) Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality.
    In Das, A. Negri, S. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp 354-370) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 12842). Springer.
  • Rooduijn, J. (2024) Fragments and frame classes: Towards a uniform proof theory for modal fixed point logics.
    ILLC Dissertation series
    Thesis, fully internal | UvA-DARE
  • Roorda, D., Kalkman, G., Naaijer, M., van Cranenburgh, A. (2014) LAF-Fabric: a data analysis tool for Linguistic Annotation Framework with an application to the Hebrew Bible.
    Computational Linguistics in the Netherlands Journal, Vol. 4 (pp 105-120)
  • Rosen, ERIC (1995) Modal Logic over Finite Structures.
    onbekend (FdL).
    Report | UvA-DARE
1 ... 209 210 211 212 213 214 215 216 217 ... 308

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact