Searchable List of Research Output

Filter Publications
  • Yan, J. (2023) Monotonicity in intensional contexts: Weakening and pragmatic effects under modals and attitudes.
    ILLC Dissertation Series
    Thesis, fully internal | UvA-DARE
  • Yang, F., Väänänen, J. (2016) Propositional Logics of Dependence.
    Annals of Pure and Applied Logic, Vol. 167 (pp 557–589)
  • Yang, F., Väänänen, J. (2017) Propositional team logics.
    Annals of Pure and Applied Logic, Vol. 168 (pp 1406-1441)
  • Yu, J., Amores, J., Sebe, N., Tian, Q. (2006) Ranking Metrics and Evaluation Measures.
    In Advances in Imaging and Electron Physics (pp 291) (144). Elsevier.
    Chapter | UvA-DARE
  • Yu, J., Amores, J., Sebe, N., Tian, Q. (2006) Toward Robust Distance Metric Analysis for Similarity Estimation.
    In Schmid, C. Soatto, S. Tomasi, C. (Eds.), IEEE Computer Vision and Pattern Recognition (CVPR)
    Conference contribution | UvA-DARE
  • Yu, J., Amores, J., Sebe, N., Tian, Q. (2006) A New Study on Distance Metrics as Similarity Measurement.
    In IEEE International Conference on Multimedia and Expo (ICME)
    Conference contribution | UvA-DARE
  • 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 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.
  • 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
  • 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

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