Personlig profil
Vetenskapsgrenar
- 111 Matematik
- 113 Data- och informationsvetenskap
Samarbeten och ledande forskningsområden under de senaste fem åren
Aktuellt externt samarbete på lands-/territoriumsnivå. Visa detaljer genom att klicka på punkterna eller
-
Independence Under Incomplete Information
Hannula, M., Hirvonen, M., Kontinen, J. & Link, S., 2026, (!!Accepted/In press) Proceedings of the 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2026). Springer (LNCS)Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Logics with probabilistic team semantics and the Boolean negation
Hannula, M., Hirvonen, M. E., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., apr. 2025, I: Journal of Logic and Computation. 35, 3, 27 s., exaf021.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
Hankala, T., Hannula, M., Kontinen, J. & Virtema, J., 2024, Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (red.). AAAI Press, Vol. 38(11). s. 12278-12285 8 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Conditional Independence on Semiring Relations
Hannula, M., mars 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 20:1–20:20 20 s. 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Information Inequality Problem over Set Functions
Hannula, M., 2024, 27th International Conference On Database Theory (ICDT 2024). Cormode, G. & Shekelyan, M. (red.). Schloss Dagstuhl Leibniz Center for Informatics, 20 s. 19. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 290).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil