Searchable List of Research Output

Filter Publications
  • Zadorozhny, K., Thoral, P.J., Elbers, P., Cina, G. (2023) Out-of-Distribution Detection for Medical Applications: Guidelines for Practical Evaluation.
    In Shaban-Nejad, A. Michalowski, M. Bianco, S. (Eds.), Multimodal AI in Healthcare: A Paradigm Shift in Health Intelligence (pp 137-153) (Studies in Computational Intelligence, Vol. 1060). Springer.
  • Zajenkowski, M., Styla, R., Szymanik, J. (2011) A computational approach to quantifiers as an explanation for some language impairments in schizophrenia.
    Journal of Communication Disorder, Vol. 44 (pp 595-600)
  • Zajenkowski, M., Szymanik, J., Garraffa, M. (2014) Working Memory Mechanism in Proportional Quantifier Verification.
    Journal of Psycholinguistic Research, Vol. 43 (pp 839-853)
  • Zajenkowski, M., Szymanik, J. (2013) MOST intelligent people are accurate and SOME fast people are intelligent: Intelligence, working memory, and semantic processing of quantifiers from a computational perspective.
    Intelligence, Vol. 41 (pp 456-466)
  • Zakharyaschev, M., Segerberg, K., de Rijke, M., Wansing, H. (2001) The Roots of Modality.
    In Rijke, de Zakharyaschev, M. Wansing Segerberg, K. (Eds.), Advances in Modal Logic, Vol. 2. CSLI Publications.
    Chapter | UvA-DARE
  • Zakharyaschev, M., Segerberg, K., de Rijke, M., Wansing, H. (2001) Advances in Modal Logic, Vol. 2.
    CSLI lecture notes. CSLI Publications.
  • Zamani, H., Dehghani, M., Croft, W.B., Learned-Miller, E., Kamps, J. (2018) From Neural Re-Ranking to Neural Ranking: Learning a Sparse Representation for Inverted Indexing.
  • Zamani, H., Dehghani, M., Croft, W.B., Learned-Miller, E., Kamps, J. (2018) From Neural Re-Ranking to Neural Ranking: Learning a Sparse Representation for Inverted Indexing.
    In Atzmueller, M. Duivesteijn, W. (Eds.), 30th Benelux Conference on Artificial Intelligence: BNAIC 2018 Preproceedings : November 8-9, 2018, Jheronimus Academy of Data Science (JADS), 's-Hertogenbosch, The Netherlands (pp 43-44) (BNAIC, Vol. 30). Jheronimus Academy of Data Science.
    Conference contribution | UvA-DARE
  • Zamani, H., Dehghani, M., Croft, W.B., Learned-Miller, E., Kamps, J. (2018) From Neural Re-Ranking to Neural Ranking: Learning a Sparse Representation for Inverted Indexing.
    In CIKM'18: proceedings of the 2018 ACM International Conference on Information and Knowledge Management : October 22-26, 2018, Torino, Italy (pp 497-506). The Association for Computing Machinery.
  • Zambella, D. (1994) Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing I\Delta_0+ exp.
    Notre Dame Journal of Formal Logic, Vol. 35 (pp 147-157)
    Article | UvA-DARE
  • Zambella, D. (1994) Chapters on bounded arithmetic & on provability logic.
    Thesis, fully internal | UvA-DARE
  • Zambella, D. (1995) Algebraic methods and bounded formulas.
    Research report ftp site. onbekend (FdL).
    Report | UvA-DARE
  • Zambella, D. (1995) End extensions of models of linearly bounded arithmetic.
    Research report ftp site. onbekend (FdL).
    Report | UvA-DARE
  • Zambella, D. (1995) Notes on polynomially bounded arithmetic.
    Research report ftp site. onbekend (FdL).
    Report | UvA-DARE
  • Zambella, D. (1996) Notes on polynomially bounded arithmetic.
    Journal of Symbolic Logic, Vol. 61 (pp 942-966)
  • Zambella, D. (1997) Algebraic methods and bounded formulas.
    Notre Dame Journal of Formal Logic, Vol. 38 (pp 37-48)
    Article | UvA-DARE
  • Zambella, D. (1997) Forcing in finite structures.
    Mathematical Logic Quarterly, Vol. 43 (pp 401-412)
  • Zambella, D. (1998) Foundation versus induction in Kripke-Platek set theory.
    Journal of Symbolic Logic, Vol. 63 (pp 1399-1403)
  • Zambella, D. (2001) Computational randomness and lowness.
    Journal of Symbolic Logic, Vol. 66 (pp 1199-1205)
  • Zamborlini, V., Betti, A., van den Heuvel, C. (2017) Toward a Core Conceptual Model for (Im)material Cultural Heritage in the Golden Agents project: Storyfying data.
    In Fensel, A. Daniele, L. (Eds.), Joint Proceedings of SEMANTiCS 2017 Workshops: co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017) : Amsterdam, Netherlands, September 11 and 14, 2017 (CEUR Workshop Proceedings, Vol. 2063). CEUR-WS.

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