Mohamed, A., Bilgin, A., Liret, A., Owusu, G. (2017) Fuzzy Logic Based Personalized Task Recommendation System for Field Services.

In Bramer, M. Petridis, M. (Eds.), Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017 : proceedings (pp 300-312) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 10630). Springer.

Mohan, A., Liu, Y., Foster, N., Kappé, T., Kozen, D. (2023) Formal Abstractions for Packet Scheduling.

Proceedings of the ACM on Programming Languages, Vol. 7

Article | https://doi.org/10.48550/arXiv.2211.11659 | UvA-DARE

Mohan, A., Liu, Y., Foster, N., Kappé, T., Kozen, D. (2023) Formal Abstractions for Packet Scheduling (reference implementation).

Software | https://doi.org/10.5281/zenodo.8329703 | UvA-DARE

Mohebbi, H., Chrupała, G., Zuidema, W., Alishahi, A. (2023) Homophone Disambiguation Reveals Patterns of Context Mixing in Speech Transformers.

In Bouamar, H. Pino, J. Bali, K. (Eds.), The 2023 Conference on Empirical Methods in Natural Language Processing: EMNLP 2023 : Proceedings of the Conference : December 6-10, 2023 (pp 8249-8260). Association for Computational Linguistics.

Mohebbi, H., Zuidema, W., Chrupała, G., Alishahi, A. (2023) Quantifying Context Mixing in Transformers.

In Vlachos, A. Augenstein, I. (Eds.), The 17th Conference of the European Chapter of the Association for Computational Linguistics: EACL 2023 : proceedings of the conference : May 2-6, 2023 (pp 3378-3400). Association for Computational Linguistics.

Mojet, E. (2017) Early Modern Mathematics in a Letter: Adriaen Verwer to David Gregory on mathematics and natural philosophy.

LIAS. Sources and Documents relating to the Early History of Ideas, Vol. 44 (pp 117-142)

Article | https://doi.org/10.2143/LIAS.44.2.3275323 | UvA-DARE

Mojet, E. (2022) Observing disciplines: Data practices in and between disciplines in the 19th and early 20th centuries.

Thesis, fully internal | UvA-DARE

Mokken, R.J., Caarls, N.B. (2003) HORUS. A Platform for Spatial Feature Detection in Multispectral Images from Remote Sensing. Final Technical Report.

University of Amsterdam.

Report | UvA-DARE

Mokken, R.J., Caarls, N.B. (2003) Adaptive Spectral Sampling for Remote Sensing Images.

University of Amsterdam.

Report | UvA-DARE

Mokken, R.J. (2001) Comparative density measures in bipartite graphs.

Technical report, NIAS Technical paper. Institute for Logic, Language and Computation.

Report | UvA-DARE

Mokken, R.J. (2001) Massive graphs and small worlds.

In Paper Workshop Network Analysis: New Perspectives, February 2001

Mokken, R.J. (2003) Splitting the Image: Nonparametric Feature Detection in Remote Sensing Imagery, Invited Opening Keynote Lecture IMVIP 2003.

In Morrow, J. Philip, J. Scotney, B.W. (Eds.), IMVIP2003. Proceedings of the Irish Machine Vision and Image Processing Conference 2003

Molnar, A., Jumelet, J., Giulianelli, M., Sinclair, A. (2023) Attribution and Alignment: Effects of Local Context Repetition on Utterance Production and Comprehension in Dialogue.

In Jiang, J. Reitter, D. Deng, S. (Eds.), The 27th Conference on Computational Natural Language Learning: CoNLL 2023 : proceedings of the conference : December 6-7, 2023 (pp 254–273). Association for Computational Linguistics.

Montanari, A., de Rijke, M. (1997) Two-sorted metric temporal logic.

Theoretical Computer Science, Vol. 183 (pp 187-214)

Article | https://doi.org/10.1016/S0304-3975(96)00324-6 | UvA-DARE

Montanari, A. (1996) Metric and Layered Temporal Logic for Time Granularity.

ILLC.

Thesis, externally prepared | UvA-DARE

Montanaro, A., de Wolf, R. (2016) A Survey of Quantum Property Testing.

Theory of Computing, Vol. Theory of Computing Library, Graduate Surveys (pp 1-81)

Article | https://doi.org/10.4086/toc.gs.2016.007 | UvA-DARE

Monz, C., de Rijke, M. (1998) Labeled resolution for discourse semantics.

In Proceedings of labeled deduction '98

Monz, C., de Rijke, M. (1998) A resolution calculus for dynamic reasoning.

In Logics in artificial intelligence. Springer.

Monz, C., de Rijke, M. (1998) A tableaux calculus for ambiguous quantification.

In Proceedings tableaux '98. Springer.

Monz, C., de Rijke, M. (1998) inference and Natural language semantics.

In Proceedings LACL-98