Uemura, T. (2021) Abstract and concrete type theories.

ILLC dissertation series. Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Uijlings, J.R.R. Smeulders, A.W.M. Scha, R.J.H. (2009) Real-time bag of words, approximately.

In Marchand-Maillet, S. Kompatsiaris, I. (Eds.), Proceedings of the ACM International Conference on Image and Video Retrieval, ACM-CIVR 2009: July 8-10, 2009 - Santorini Island, Greece (pp 6). Association for Computing Machinery (ACM).

Uijlings, J.R.R. Smeulders, A.W.M. Scha, R.J.H. (2009) What is the spatial extent of an object?.

In 2009 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2009: Miami, Florida, USA, 20-25 June 2009 (pp 770-777). IEEE.

Uijlings, J.R.R. Smeulders, A.W.M. Scha, R.J.H. (2010) Real-time visual concept classification.

IEEE Transactions on Multimedia, Vol. 12 (pp 665-681)

Article | https://doi.org/10.1109/TMM.2010.2052027 | UvA-DARE

Ulmer, D. Hupkes, D. Bruni, E. (2019) Assessing incrementality in sequence-to-sequence models.

In Augenstein, I. Gella, S. Ruder, S. Kann, K. Can, B. Welbl, J. Conneau, A. Ren, X. Rei, M. (Eds.), The 4th Workshop on Representation Learning for NLP (RepL4NLP-2019): ACL 2019 : proceedings of the workshop : August 2, 2019, Florence, Italy (pp 209–217). The Association for Computational Linguistics.

Ulmer, Dennis Cinà, Giovanni (2021) Know Your Limits: Uncertainty Estimation with ReLU Classifiers Fails at Reliable OOD Detection.

Paper | UvA-DARE

Umanski, D. Schiller, N.O. Sangati, F. (2010) How spoken language corpora can refine current speech motor training methodologies.

In Proceedings of the ACL 2010 Student Research Workshop, Uppsala, Sweden (pp 37-42). Association for Computational Linguistics (ACL).

Unger, F. (2008) Noise threshold for universality of two-input gates.

IEEE Transactions on Information Theory, Vol. 54 (pp 3693-3698)

Article | https://doi.org/10.1109/TIT.2008.926459 | UvA-DARE

Unger, F.P. (2006) On Small Hard Leaf Languages.

In 30th International Symposium on Mathematical Foundations of Computer Science (pp 781-792)

Unger, F.P. (2008) Noise in quantum and classical computation & non-locality.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Urbański, M. van Lambalgen, M. Koszowy, M. (2017) An introduction to the special issue on question processing.

Logic and Logical Philosophy, Vol. 26 (pp 285-288)

Editorial | https://doi.org/10.12775/LLP.2017.025 | UvA-DARE

v. Gool, S.J. Reggio, L. (2018) An open mapping theorem for finitely copresented Esakia spaces.

Topology and its Applications, Vol. 240 (pp 69-77)

Article | https://doi.org/10.1016/j.topol.2018.03.006 | UvA-DARE

v. Gool, S.J. Steinberg, B. (2017) Pro-aperiodic monoids via saturated models.

In Vollmer, H. Vallée, B. (Eds.), 34th Symposium on Theoretical Aspects of Computer Science: STACS 2017, March 8-11, 2017, Hannover, Germany (Leibniz International Proceedings in Informatics, Vol. 66). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Väänänen, J. de Queiroz, R. Osorio Galindo, M. Zepeda Cortés, C. Arrazola Ramírez, J.R. (2017) 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016): co-sponsored by the Association for Symbolic Logic : Puebla, Mexico, August 16–19, 2016.

Bulletin of Symbolic Logic, Vol. 23 (pp 270-271)

Editorial | https://doi.org/10.1017/bsl.2017.17 | UvA-DARE

Väänänen, J. Hirvonen, Å. de Queiroz, R. (2016) Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings.

Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 9803. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-662-52921-8 | UvA-DARE

Väänänen, J. Hodges, W. (2010) Dependence of variables construed as an atomic formula.

Annals of Pure and Applied Logic, Vol. 161 (pp 817-828)

Article | https://doi.org/10.1016/j.apal.2009.06.009 | UvA-DARE

Väänänen, J. Wang, T. (2013) An Ehrenfeucht-Fraïssé game for Lω1ω.

Mathematical Logic Quarterly, Vol. 59 (pp 357-370)

Article | https://doi.org/10.1002/malq.201200104 | UvA-DARE

Väänänen, J. Wang, T. (2015) Internal Categoricity in Arithmetic and Set Theory.

Notre Dame Journal of Formal Logic, Vol. 56 (pp 121-134)

Article | https://doi.org/10.1215/00294527-2835038 | UvA-DARE

Väänänen, J. Welch, P.D. (2023) When cardinals determine the power set: inner models and Härtig quantifier logic.

Mathematical Logic Quarterly, Vol. 69 (pp 460-471)

Article | https://doi.org/10.1002/MALQ.202200030 | UvA-DARE

Väänänen, J. Westerståhl, D. (2010) In memoriam: Per Lindström.

Theoria, Vol. 76 (pp 100-107)

Article | https://doi.org/10.1111/j.1755-2567.2010.01069.x | UvA-DARE