Searchable List of Research Output

Filter Publications
  • Hinzen, W. (2005) Eine Rekonstruktion und Verteidigung von Descartes' Argument für die Existenz Gottes in Principia §§13-20.
    Conceptus, Vol. 86-88 (pp 243-261)
    Article | UvA-DARE
  • Hinzen, W. (2005) Der natürliche Mensch.
    In Westermann, H. Löhrer, G. (Eds.), Philosophische Anthropologie und Lebenskunst (pp 53-80). Fink-Verlag.
    Chapter | UvA-DARE
  • Hinzen, W. (2006) The mind we do not change [Review of: E. Olsson (2006) Knowledge and Inquiry: Essays on the Pragmatism of Isaac Levi].
    Cambridge studies in probability, induction, and decision theory
    Book/Film/Article/Exhibition review | UvA-DARE
  • Hinzen, W. (2006) Spencerism and the Causal Theory of Reference.
    Biology and Philosophy, Vol. 21 (pp 71-94)
  • Hinzen, W. (2006) Mind Design and Minimal Syntax.
    Oxford University Press.
    Book | UvA-DARE
  • Hinzen, W. (2006) Context and Logical Form.
    In Bouquet, P. Serafini, L. (Eds.), Perspectives on Context (pp 141-168). CSLI Publications.
    Chapter | UvA-DARE
  • Hirsch, D., Yankelich, D., Felder, M., Areces, C.E. (1997) Modal logic as a software engineering tool.
    In Proceedings Workshop in Formal Methods for the Design of Real-Time Systems
    Chapter | UvA-DARE
  • Hirschfeldt, D.R., Terwijn, S.A. (2008) Limit computability and constructive measure.
    In Chong, C. Feng, Q. Slaman, T.A. Woodin, W.H. Yang, Y. (Eds.), Computational Prospects of Infinity. - Part II: Presented talks (pp 131-142) (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol. 15). World Scientific.
    Conference contribution | https://doi.org/10.1142/6786 | UvA-DARE
  • Hoàng, C. (2017) Latent domain models for statistical machine translation.
    Thesis, fully internal | UvA-DARE
  • Hodkinson, I., Mikulás, Sz., Venema, Y. (2000) Axiomating complex algebras by games.
    Technical Report. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • Hodkinson, I., Mikulás, Sz., Venema, Y. (2001) Axiomatizing complex algebras by games.
    Algebra Universalis, Vol. 46 (pp 455-478)
  • Hodkinson, I., Venema, Y. (2003) Canonical varieties with no canonical axiomatisation.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Hodkinson, I., Venema, Y. (2005) Canonical varieties with no canonical axiomatisation.
    Transactions of the Americal Mathematical Society, Vol. 357 (pp 4579-4605)
  • Hoeks, M., Roelofsen, F. (2019) Coordinating questions: The scope puzzle.
    Proceedings from Semantics and Linguistic Theory, Vol. 29 (pp 562-581)
  • Hoepman, J.H. (1996) Communication, Synchronization & Fault Tolerance.
    UvA.
    Thesis, externally prepared | UvA-DARE
  • Hogenboom, S.A.M., Hermans, F.F.J., van der Maas, H. (2022) Computerized adaptive assessment of understanding of programming concepts in primary school children.
    Computer Science Education, Vol. 32 (pp 418-448)
  • Hol, M., Bilgin, A. (2016) A Fuzzy Logic Approach for Anomaly Detection in Energy Consumption Data.
    In Bosse, T. Bredeweg, B. (Eds.), BNAIC 2016 : Benelux Conference on Artificial Intelligence: proceedings of the Twenty-Eight Benelux Conference on Artificial Intelligence : Amsterdam, November 10-11, 2016 (pp 210-211) (BNAIC, Vol. 28). Vrije Universiteit, Department of Computer Sciences.
  • Hol, M., Bilgin, A. (2017) Design of a Fuzzy Logic based Framework for Comprehensive Anomaly Detection in Real-World Energy Consumption Data.
    In Bosse, T. Bredeweg, B. (Eds.), BNAIC 2016: Artificial Intelligence: 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016 : revised selected papers (pp 121-136) (Communications in Computer and Information Science, Vol. 765). Springer.
  • Holla, N., Mishra, P., Yannakoudakis, H., Shutova, E. (2020) Learning to Learn to Disambiguate: Meta-Learning for Few-Shot Word Sense Disambiguation.
    In Cohn, T. He, Y. Liu, Y. (Eds.), Findings of the Association for Computational Linguistics : Findings of ACL: EMNLP 2020: 16-20 November, 2020 (pp 4517-4533). The Association for Computational Linguistics.
  • Hollain, N., Larson, M., Roelofsen, F. (2023) Distractor-Based Evaluation of Sign Spotting.
    In IEEE ICASSPW 2023 Workshop Proceedings (ICASSP 2023): 4-10 June, Rhodes Island, Greece . IEEE.

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