Matematisk-naturvetenskapliga fakulteten

Publikationer

Forskningsresultat per år 1972 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 31040 Artikel
• 5918 Konferensbidrag
• 2076 Kapitel
• 1132 Doktorsavhandling
• 4706 Mer
  • 950 Konferensartikel
  • 617 Översiktsartikel
  • 604 Bok
  • 454 Antologi eller special utgåva
  • 325 Beställd rapport
  • 320 Sammanfattning
  • 175 Magisteruppsats
  • 139 Mötesabstrakt
  • 139 Övriga bidrag
  • 137 Ledare
  • 128 Poster
  • 101 Patent
  • 85 Andra artiklar
  • 77 Konferenspapper
  • 57 Programvara
  • 51 Brev
  • 45 Kommentar/debatt
  • 41 Förtryck
  • 32 Digitala eller visuella produkter
  • 32 Licentiatavhandling
  • 29 Bok/film/artikelrecension
  • 29 Arbetsdokument
  • 26 Förord / efterord
  • 26 Kandidatavhandling
  • 17 Bidrag till uppslagsverk/ordbok
  • 16 Andra konferensbidrag
  • 16 Litteraturöversikt
  • 16 Webbpublikation/-plats
  • 6 Utställning
  • 5 Komposition
  • 5 Framförande
  • 3 Artefakt
  • 3 Diskussionsartiklar

Forskningsresultat per år

Forskningsresultat per år

Sökresultat

• 2025

  A Design Framework for Cloud-HPC Integration in MLOps

  Siilasjoki, N., Raatikainen, M. & Nurminen, J. K., 2025, ACM/SIGAPP Symposium On Applied Computing (ACM SAC): Track on Cloud Continuum.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Amortized Probabilistic Conditioning for Optimization, Simulation and Inference

  Chang, P., Satrio, N. R. B., Huang, D., Remes, U., Kaski, S. & Acerbi, L., 2025, The 28th International Conference on Artificial Intelligence and Statistics (AISTATS).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Batched k-mer lookup on the Spectral Burrows-Wheeler Transform

  Alanko, J., Biagi, E., Mackenzie, J. & Puglisi, S., 7 jan. 2025, 2025 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX). Chowdhury, R., Berry, J., Hanauer, K. & Ren, B. (red.). Society for Industrial and Applied Mathematics, s. 95 - 106 12 s. ( Proceedings of the Workshop on Algorithm Engineering and Experiments).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• ContextLLM: Meaningful Context Reasoning from Multi-Sensor and Multi-Device Data Using LLMs

  Post, K., Kuchida, R., Olapade , M., Yin, Z., Nurmi, P. & Flores, H., 26 feb. 2025, HotMobile '25: Proceedings of the 26th International Workshop on Mobile Computing Systems and Applications. New York: Association for Computing Machinery (ACM), s. 13-18 6 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Democratic Moderation: Exploring the Use and Perception of Votekicking in Social Virtual Reality

  Chen, Q., Wu, Q. & Jacucci, G., 2025, CHI Conference on Human Factors in Computing Systems (CHI ’25).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Fast and Understandable Nonlinear Supervised Dimensionality Reduction

  Patron, A. A., Savvides, R., Franzon, L. J., Luu, H. P. H. & Puolamäki, K., 2025, Discovery Science: 27th International Conference, DS 2024, Pisa, Italy, October 14-16, 2024, Proceedings, Part I. Pedreschi, D., Monreale, A., Guidotti, R., Pellungrini, R. & Naretto, F. (red.). Cham: Springer, s. 385-400 15 s. (Lecture Notes in Computer Science; vol. 15243).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Finding Coherent Node Groups in Directed Graphs

  Kumpulainen, I. & Tatti, N., 2025, Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2023, Revised Selected Papers. Meo, R. & Silvestri, F. (red.). Springer Science and Business Media Deutschland GmbH, s. 486-497 12 s. (Communications in Computer and Information Science; vol. 2135 CCIS).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

• From Reinvention to Reuse: An Empirical Example Study on Technical Debt Dataset

  Rantala, L., Mantyla, M. & Sridharan, M., 2025, Product-focused Software Process Improvement, Profes 2024. Pfahl, D., Huerta, J., Klunder, J. & Anwar, H. (red.). Springer Nature, s. 108-122 15 s. (Lecture Notes In Computer Science; vol. 15452).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• HuboOPT: Automatic Query Optimization via Generative Adversarial Network

  Guo, Q. & Yan, Z., 15 jan. 2025, (!!In preparation) CIKM. s. 1-6 6 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig

• Leveraging Eduinformatics to Foster Network-Type Thinking in Early Childhood Education Through Picture Books

  Ito, H., Bannaka, K., Kozaki, R., Murakami, K., Akashi, K., Matsumoto, S. & Takamatsu, K., 18 mars 2025, Intelligent Sustainable Systems - Selected Papers of WorldS4 2024, Volume 3. Nagar, A., Jat, D. S., Mishra, D. & Joshi, A. (red.). Singapore: Springer, Vol. 3. s. 173-182 10 s. (Lecture Notes in Networks and Systems; vol. 1177).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Lingonberry Giraffe: Lexically-Sound Beam Search for Explainable Translation of Compound Words

  Salmenkivi-Friberg, T. & Hauhio, I., 31 mars 2025, (!!Accepted/In press) Proceedings of Machine Translation Summit XX. European Association for Machine Translation

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Multispecies encounters constructing homescapes

  Syrjälä, H., Kylkilahti, E., Kääntä, L. & Bäcklund, P., jan. 2025, (!!Accepted/In press) 2025 Consumer Culture Theory Conference.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Simple approximation algorithms for Polyamorous Scheduling

  Biktairov, Y., Gąsieniec, L., Jiamjitrak, W., Namrata, Smith, B. & Wild, S., 13 jan. 2025, 8th SIAM Symposium on Simplicity of Algorithms, SOSA 2025. Society for Industrial and Applied Mathematics, s. 290-314

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Understanding "Mutes" in Social Virtual Reality

  Chen, Q., Bellucci, A., Cai, J., Nelimarkka, M. & Jacucci, G., 2025, CHI2025.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Fil
• 2024

  5G MEC Computation Handoff for Mobile Augmented Reality

  Zhou, P. Y., Fu, S., Finley, B., Li, X., Tarkoma, S., Kangasharju, J., Ammar, M. & Hui, P., 2024, 2024 IEEE International Conference on Metaverse Computing, Networking, and Applications (MetaCom). IEEE, s. 129-136 8 s. (Proceedings - 2024 IEEE International Conference on Metaverse Computing, Networking, and Applications, MetaCom 2024).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• 6D Assembly Pose Estimation by Point Cloud Registration for Robotic Manipulation

  Samarawickrama, K., Sharma, G., Angleraud, A. & Pieters, R., 2024, 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE). IEEE Computer Society, s. 846-853 8 s. (IEEE International Conference on Automation Science and Engineering).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Abduction, Abstract Degree and Urgency Matrix (ABDU-M) for Flexible/Agile Higher Education Reform Based on Eduinformatics

  Takamatsu, K., Noda, I., Bannaka, K., Murakami, K., Kirimura, T., Kunisaki, T., Kozaki, R., Matsumoto, S., Kishida, A., Ito, H., Ito, A., Imai, S., Mitsunari, K., Omori, M., Mori, M. & Nakata, Y., 23 feb. 2024, Intelligent Sustainable Systems: Selected Papers of WorldS4 2023, Volume 1. Nagar, A. K., Jat, D. S., Mishra, D. & Joshi, A. (red.). Springer Singapore, s. 471-478 8 s. (Lecture Notes in Networks and Systems; vol. 812).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions

  Grigorjew, A., Dias, F. H. C., Cracco, A., Rizzi, R. & Tomescu, A. I., 2024, 22nd International Symposium on Experimental Algorithms (SEA 2024). Liberti, L. (red.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 14:1-14:19 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 301).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• A comparison principle for the distributional Levi form

  Koskenoja, M., 20 dec. 2024, Proceedings Book of the 7th Mediterranean International Conference of Pure & Applied Mathematics and Related Areas (MICOPAM 2024). Şımşek, Y., Alkan, M., Küçükoğlu, İ. & Öneş, O. (red.). First Edition red. Antalya, s. 240-242 3 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• A Dataset of Microservices-based Open-Source Projects

  d'Aragona, D. A., Bakhtin, A., Li, X., Su, R., Adams, L., Aponte, E., Boyle, F., Boyle, P., Koerner, R., Lee, J., Tian, F., Wang, Y., Nyyssölä, J. A., Quevedo, E., Rahaman, S. M., Abdelfattah, A. S., Mantyla, M., Cerny, T. & Taibi, D., 2024, 2024 IEEE/ACM 21st International Conference On Mining Software Repositories, MSR. New York: ACM, s. 504-509 6 s. (IEEE International Working Conference On Mining Software Repositories).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Advanced Polyphonic Music Pattern Matching Algorithms with Timing Invariances

  Laaksonen, A. & Lemström, K., maj 2024, Mathematics and Computation in Music. MCM 2024. Noll, T., Montiel, M., Gómez, F., Hamido, O. C., Besada, J. L. & Martins, J. O. (red.). Springer, s. 242–254 (Lecture Notes in Computer Science; vol. 14639).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• A First Peek into Preferential Logics with Team Semantics

  Sauerwald, K. & Kontinen, J., 2024, Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024. Gierasimczuk, N. & Heyninck, J. (red.). CEUR-WS.org, s. 94-100 7 s. (CEUR Workshop Proceedings; vol. 3835).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• A Model and Case Study for Searching and Reading Cross-Border Multilingual Legislation on the Semantic Web

  Hyvönen, E., Cao, H., Leal, R., Rantala, H. & Hietanen, A., 2024, Knowledge Graphs in the Age of Language Models and Neuro-Symbolic AI: Proceedings of the 20th International Conference on Semantic Systems, 17–19 September 2024, Amsterdam, The Netherlands. Salatino, A., Alam, M., Ongenae, F., Vahdati, S., Gentile, A.-L., Pellegrini, T. & Jiang, S. (red.). IOS PRESS, s. 261-278 18 s. (Studies on the Semantic Web; vol. 60).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Amortized Bayesian Experimental Design for Decision-Making

  Huang, D., Guo, Y., Acerbi, L. & Kaski, S., dec. 2024, Advances in Neural Information Processing Systems 37 (NeurIPS 2024). Curran Associates Inc., (Advances in Neural Information Processing Systems 37 (NeurIPS); vol. 37).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• An Educational Tool for Learning about Social Media Tracking, Profiling, and Recommendation

  Pope, N., Kahila, J., Laru, J., Vartiainen, H., Roos, T. & Tedre, M., 2024, Proceedings - 2024 IEEE International Conference on Advanced Learning Technologies, ICALT 2024. Altinay, Z., Chang, M., Kuo, R. & Tlili, A. (red.). Institute of Electrical and Electronics Engineers Inc., s. 110-112 3 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• An Evaluation Framework for Validating the Quality of a Data Vault 2.0 Data Model

  Helskyaho, H., Helskyaho, M., Ruotsalainen, L. & Männistö, T., 2024, Proceedings of the 35th Conference of Open Innovations Association (FRUCT). Balandin, S., Nurmi, J. & Qasim, N. H. (red.). IEEE Computer Society, s. 244-252 9 s. (Conference of Open Innovation Association, FRUCT).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations

  Antonelli, M., Durand, A. & Kontinen, J., 2024, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 10:1-10:18 18 s. 10. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 306).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• A novel 3D seismic survey over the 2.5-2.4 Ga Koillismaa Layered Intrusion Complex, Finland

  Malinowski, M., Heinonen, S., Górszczyk, A., Singh, B., Sito, L., Karinen, T. & Autio, U., 2024, NSG 2024 5th Conference on Geophysics for Mineral Exploration and Mining. European Association of Geoscientists and Engineers, EAGE, (Prooceedings/ EAGE).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• A Pilot Study Comparing ChatGPT and Google Search in Supporting Visualization Insight Discovery

  He, C., Welsch, R. & Jacucci, G., 2024, Joint Proceedings of the ACM IUI Workshops 2024, March 18-21, 2024, Greenville, South Carolina, USA. Soto, A. & Zangerle, E. (red.). Aachen: CEUR-WS.org, 11 s. (CEUR Workshop Proceedings; vol. 3660).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Applying the Safe-And-Complete Framework to Practical Genome Assembly

  Schmidt, S., Toivonen, S., Medvedev, P. & Tomescu, A. I., aug. 2024, 24th International Workshop on Algorithms in Bioinformatics, WABI 2024. Pissis, S. P. & Sung, W.-K. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 312).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• A reinforcement learning-based metaheuristic algorithm for on-demand ride-pooling

  Bochenina, K. & Ruotsalainen, L., 2024, Proceedings - 2024 International Conference on Intelligent Environments, IE 2024. Institute of Electrical and Electronics Engineers Inc., s. 117-123 7 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL

  Kontinen, J., Sandström, M. & Virtema, J., 29 mars 2024, Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024 Sheffield, UK, April 8–11, 2024 Proceedings. Meier, A. & Ortiz, M. (red.). Cham: Springer, s. 275-286 12 s. (Lecture Notes in Computer Science; nr. 14589).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Artificial Intelligence and Crowdsourced Social Media Data for Biodiversity Monitoring and Conservation

  Fox, N., Di Minin, E., Carter, N., Tomkins, S. & Van Berkel, D., 2024, Advancements in Architectural, Engineering, and Construction Research and Practice - Integrating Disruptive Technologies and Innovation for Future Excellence. Olanrewaju, A. & Bruno, S. (red.). Springer Nature, s. 43-50 8 s. (Advances in Science, Technology and Innovation).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• A Scoping Review of Idiographic Research in Education: Too Little, But Not Too Late

  Ito, H., López-Pernas, S. & Saqr, M., 2024, 2024 IEEE International Conference on Advanced Learning Technologies (ICALT) - Proceedings. Altinay, Z., Chang, M., Kuo, R. & Tlili, A. (red.). IEEE, s. 10-12 3 s. (IEEE International Conference on Advanced Learning Technologies).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• A Unifying Taxonomy of Pattern Matching in Degenerate Strings and Founder Graphs

  Ascone, R., Bernardini, G., Conte, A., Equi, M., Gabory, E., Grossi, R. & Pisanti, N., 26 aug. 2024, 24th International Workshop on Algorithms in Bioinformatics (WABI 2024). Pissis, S. P. & Sung, W.-K. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 21 s. 14. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 312).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Axiomatization of approximate exclusion

  Häggblom, M., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Ortiz, M. & Pagnucco, M. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 405-409 5 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence

  Hirvonen, M. E., 29 mars 2024, Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings. Meier, A. & Ortiz, M. (red.). Springer, Cham, s. 222-234 13 s. (Lecture Notes in Computer Science; vol. 14589).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Backward Inference in Probabilistic Regressor Chains with Distributional Constraints

  Antonenko, E., Mechenich, M., Beigaite, R., Zliobaite, I. & Read, J., dec. 2024, Advances In Intelligent Data Analysis Xxii, Pt Ii, Ida 2024. Miliou, I., Piatkowski, N. & Papapetrou, P. (red.). Springer Nature, s. 43-55 13 s. (Lecture Notes In Computer Science; vol. 14642).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Behind the Scenes: Adapting Cinematography and Editing Concepts to Navigation in Virtual Reality

  Medlar, A., Lehtikari, M. T. & Glowacka, D., 2024, Proceedings Of The 2024 Chi Conference On Human Factors In Computing Sytems (chi 2024). Mueller, F. F., Kyburz, P., Williamson, J. R., Sas, C., Wilson, M. L., Dugas, P. T. & Shklovski, I. (red.). ASSOC COMPUTING MACHINERY, 12 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Broadband mid-infrared Fourier transform photothermal spectroscopy using a quantum cascade laser frequency comb

  Huang, B., Mikkonen, T. J. O., Gomolka, G. & Wysocki, G., 8 mars 2024, Quantum Sensing and Nano Electronics and Photonics XX. Razeghi, M., Khodaparast, G. A. & Vitiello, M. S. (red.). San Francisco: SPIE - the international society for optics and photonics, Vol. 12895. s. 84-86 3 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Professionell

• Business and Ethical Concerns in Domestic Conversational Generative AI-Empowered Multi-robot Systems

  Rousi, R., Samani, H., Mäkitalo, N., Vakkuri, V., Linkola, S., Kemell, K., Daubaris, P., Fronza, I., Mikkonen, T. & Abrahamsson, P., 2024, Software Business,: 14th International Conference, ICSOB 2023 Lahti, Finland, November 27–29, 2023 Proceedings. Hyrynsalmi, S., Munch, J., Smolander, K. & Melegati, J. (red.). Cham, s. 173-189 17 s. (Lecture Notes in Business Information Processing; vol. 500).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Campus Crossroads: Insights into High School and University Resource Sharing

  Luostarinen, V. A., Jylhä, T., Nenonen, S., Hietakymi, E., Sandström, N. & Wang, C., 2024, Proceedings of the 4th Transdisciplinary Workplace Research (TWR) Conference, 4th – 7th September 2024, Edinburgh, UK. Smith, A., Reid, A., Jowkar, M. & Jaradat, S. (red.). Edinburgh: Edinburgh Napier University, s. 245-255 11 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

• Certified MaxSAT Preprocessing

  Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 1 juli 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (red.). Springer Science and Business Media Deutschland GmbH, s. 396-418 23 s. (Lecture Notes in Computer Science; vol. 14739).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Certifying Phase Abstraction

  Froleyks, N., Yu, E., Biere, A. & Heljanko, K., 2024, Automated Reasoning, IJCAR 2024, Pt I. Benzmuller, C., Heule, M. & Schmidt, R. (red.). Springer Nature, Vol. 14739. s. 284-303 20 s. (Lecture Notes In Artificial Intelligence).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability

  Berg, J., Bogaerts, B., Nordström, J., Oertel, A., Paxian, T. & Vandesande, D., aug. 2024, 30th International Conference on Principles and Practice of Constraint Programming, CP 2024. Shaw, P. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 307).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Challenges in 3D Geomodelling for Mineral Exploration: Complex Reflectivity Patterns in the Kylylahti Mining Area, Finland

  Heinonen, S., Sorjonen-Ward, P. & Leväniemi, H. K., 2024, NSG 2024 4th Conference on Airborne, Drone and Robotic Geophysics. European Association of Geoscientists and Engineers, EAGE, s. 1-5 5 s. (Prooceedings/ EAGE).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig

• Co-designing AI literacy for K-12 education

  Mannila, L., 2024, Proceedings Of The 19th Wipsce Conference In Primary And Secondary Computing Education Research, Wipsce 2024. Sentance, S., Michaeli, T. & Bergner, N. (red.). ASSOC COMPUTING MACHINERY, 3 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

• Cognition-Supervised Saliency Detection: Contrasting EEG Signals and Visual Stimuli

  Ma, J. & Ruotsalo, T., 28 okt. 2024, MM '24: Proceedings of the 32nd ACM International Conference on Multimedia. New York: ACM, s. 7744-7753 10 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• 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ång

  Fil

• Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation

  Conati, A. F., Niskanen, A., de Haan, R. & Järvisalo, M., okt. 2024, ECAI 2024 – 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). IOS PRESS, s. 3597-3604 7 s. (Frontiers in Artificial Intelligence and Applications; vol. 392).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil