-
Uckelman, S.L. (2011) The ontological argument.In Bruce, M. Barbone, S. (Eds.), Just the arguments: 100 of the most important arguments in western philosophy (pp 25-27). Wiley-Blackwell.Chapter | https://doi.org/10.1002/9781444344431.ch4 | UvA-DAREUckelman, S.L. (2011) [Review of: M.J. Fitzgerald (2010) Albert of Saxony. Quaestiones circa logicam (twenty-five disputed questions on logic): introducation, translation, and notes].Speculum, Vol. 86 (pp 719-720)Book/Film/Article/Exhibition review | https://doi.org/10.1017/S0038713411001564 | UvA-DAREUckelman, S.L. (2012) Arthur Prior and medieval logic.Synthese, Vol. 188 (pp 349-366)Article | https://doi.org/10.1007/s11229-011-9943-3 | UvA-DAREUddén, J., Dias Martins, M.J., Zuidema, W., Fitch, W.T. (2020) Hierarchical Structure in Sequence Processing: How to Measure It and Determine Its Neural Implementation.Topics in Cognitive Science, Vol. 12 (pp 910-924)Article | https://doi.org/10.1111/tops.12442 | UvA-DAREUegaki, W., Roelofsen, F. (2018) Do modals take propositions or sets of propositions? Evidence from Japanese darou.Proceedings from Semantics and Linguistic Theory, Vol. 28 (pp 809-829)Article | https://doi.org/10.3765/salt.v28i0.4427 | UvA-DAREUemura, T., Nguyen, Hoang Kim (2020) ∞-type theories.Abstract | UvA-DAREUemura, T. (2018) Cubical Assemblies and the Independence of the Propositional Resizing Axiom.Abstract | UvA-DAREUemura, T. (2018) Cubical Assemblies and the Independence of the Propositional Resizing Axiom.Abstract | UvA-DAREUemura, T. (2019) Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing.In Dybjer, P. Espírito Santo, J. Pinto, L. (Eds.), 24th International Conference on Types for Proofs and Programs: TYPES 2018, June 18-21, 2018, Braga, Portugal (Leibniz International Proceedings in Informatics, Vol. 130). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.Conference contribution | https://doi.org/10.4230/LIPIcs.TYPES.2018.7 | UvA-DAREUemura, T. (2019) Cubical Assembly Models of Homotopy Type Theory.Abstract | UvA-DAREUemura, T. (2019) A General Framework for the Semantics of Type Theory.Abstract | UvA-DAREUemura, T. (2019) A General Framework for Categorical Semantics of Type Theory.Abstract | UvA-DAREUemura, T. (2019) A General Framework for the Semantics of Type Theory.Abstract | UvA-DAREUemura, T. (2020) Abstract type theories.Abstract | UvA-DAREUemura, T. (2020) The Universal Exponentiable Arrow.Journal of Pure and Applied AlgebraArticle | UvA-DAREUemura, T. (2021) Abstract and concrete type theories.ILLC dissertation series. Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREUijlings, 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).Conference contribution | http://doi.acm.org/10.1145/1646396.1646405 | UvA-DAREUijlings, 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.Conference contribution | https://doi.org/10.1109/CVPR.2009.5206663 | UvA-DAREUijlings, 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-DAREUlmer, D., Cina, G. (2021) Know Your Limits: Uncertainty Estimation with ReLU Classifiers Fails at Reliable OOD Detection.Proceedings of Machine Learning Research, Vol. 161 (pp 1766-1776)Article | https://doi.org/10.48550/arXiv.2012.05329 | UvA-DARE
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 illc at uva.nl