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 2024

• 28219 Artikel
• 5565 Konferensbidrag
• 2093 Kapitel
• 992 Doktorsavhandling
• 4377 Mer
  • 908 Konferensartikel
  • 578 Bok
  • 545 Översiktsartikel
  • 455 Antologi eller special utgåva
  • 312 Beställd rapport
  • 271 Sammanfattning
  • 171 Magisteruppsats
  • 162 Övriga bidrag
  • 130 Ledare
  • 104 Mötesabstrakt
  • 100 Patent
  • 91 Poster
  • 65 Andra artiklar
  • 64 Konferenspapper
  • 55 Programvara
  • 44 Brev
  • 40 Bok/film/artikelrecension
  • 33 Kommentar/debatt
  • 32 Licentiatavhandling
  • 30 Digitala eller visuella produkter
  • 28 Arbetsdokument
  • 27 Litteraturöversikt
  • 26 Kandidatavhandling
  • 25 Förord / efterord
  • 18 Webbpublikation/-plats
  • 15 Bidrag till uppslagsverk/ordbok
  • 15 Andra konferensbidrag
  • 15 Förtryck
  • 5 Komposition
  • 5 Framförande
  • 3 Artefakt
  • 3 Utställning
  • 2 Diskussionsartiklar

Forskningsresultat per år

Forskningsresultat per år

Sökresultat

• 2023

  Agile Enterprise Transformations: Surveying the Many Facets of Agility for the Hybrid Era

  Kettunen, P., Gustavsson, T., Laanti, M., Tjernsten, A., Mikkonen, T. & Männistö, T., 16 jan. 2023, 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE

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

• Anomaly Localization in Audio via Feature Pyramid Matching

  Valjakka, J. H., Mylläri, J., Myllyaho, L., Kivimäki, J. I. & Nurminen, J. K., 2023, (!!Accepted/In press) IEEE Computer Society Signature Conference on Computers, Software, and Applications. (COMPSAC 2023). 6 s.

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

• Certified Core-Guided MaxSAT Solving

  Berg, J., Bogaerts, B., Nordström, J., Oertel, A. & Vandesande, D., juli 2023, Proceedings of the 29th International Conference on Automated Deduction .

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

  Öppen tillgång

  Fil

• Cut paths and their remainder structure, with applications

  Cairo, M., Khan, S., Rizzi, R., Schmidt, S. S., Tomescu, A. & Zirondelli, E. C., 2023, 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 17:1-17:17 17 s. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 254).

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

  Öppen tillgång

  Fil

• Discrepancy Scaling for Fast Unsupervised Anomaly Localization

  Mylläri, J. & Nurminen, J. K., 2023, (!!Accepted/In press) IEEE Computer Society Signature Conference on Computers, Software, and Applications. (COMPSAC 2023). 6 s.

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

• Diversity of split Ga vacancies in β-Ga2O3

  Tuomisto, F., Zhelezova, I. & Makkonen, I., 2023, Oxide-based Materials and Devices XIV. Rogers, D. J. & Teherani, F. H. (red.). Washington SPIE , 1242201. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12422).

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

• Experiences from Learnersourcing SQL Exercises: Do They Cover Course Topics and Do Students Use Them?

  Pirttinen, N., Hellas, A. & Leinonen, J., 30 jan. 2023, ACE 2023 - Proceedings of the 25th Australasian Computing Education Conference, Held in conjunction with Australasian Computer Science Week. Association for Computing Machinery, s. 123-131 9 s. (ACM International Conference Proceeding Series).

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

  Öppen tillgång

  Fil

• Experiences on a Frameworkless Micro-Frontend Architecture in a Small Organization

  Männistö, J., Tuovinen, A-P. & Raatikainen, M., 2023, 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C). IEEE

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

  Öppen tillgång

  Fil

• Failure Prediction in 2D Document Information Extraction with Calibrated Confidence Scores

  Kivimäki, J. I., Lebedev, A. & Nurminen, J. K., 2023, (!!Accepted/In press) 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC). 10 s.

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

• Grammatical Error Correction for Sentence-level Assessment in Language Learning

  Katinskaia, A. & Yangarber, R., 2023, (!!Accepted/In press) Proceedings of the 18th Workshop on Innovative Use of NLP for Building Educational Applications.

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

• Graph Summarization via Node Grouping: A Spectral Algorithm

  Merchant, A., Mathioudakis, M. & Wang, Y., feb. 2023, Proceedings of the Sixteenth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery

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

  Öppen tillgång

  Fil

• Hedgehog: Detecting Drink Spiking on Wearables

  Yin, Z., Liyanage, M., Zuniga, A., Nurmi, P. & Flores, H., 2023, HotMobile '23: Proceedings of the 24th International Workshop on Mobile Computing Systems and Applications. New York: ACM, 6 s.

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

  Öppen tillgång

  Fil

• Learning the Structure of Commands by Detecting Random Tokens Using Markov Model

  Hussain, Z., Nurminen, J. K. & Ranta-aho, P., 11 mars 2023, 8th International Conference on Machine Learning Technologies. Stockholm, Sweden: ACM , 12 s.

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

  Öppen tillgång

  Fil

• Linguistic Constructs Represent the Domain Model in Intelligent Language Tutoring

  Katinskaia, A., Hou, J., Vu Anh, D. & Yangarber, R., maj 2023, Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations. Stroudsburg: Association for Computational Linguistics (ACL), s. 136-144 9 s.

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

  Öppen tillgång

  Fil

• Location Privacy, 5G AKA, and Enhancements

  Damir, M. T. & Niemi, V., 1 jan. 2023, Secure IT Systems. NordSec 2022. Reiser, H. P. & Kyas, M. (red.). Cham: Springer, s. 40–57 (Lecture Notes in Computer Science; vol. 13700).

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

• Max-Min Diversification with Fairness Constraints: Exact and Approximation Algorithms

  Wang, Y., Mathioudakis, M., Li, J. & Fabbri, F., 5 jan. 2023, (!!E-pub ahead of print) SIAM nternational Conference on Data Mining (SDM23).

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

• Node ranking in labeled networks

  Wickrama Arachchi, W. A. C. N. & Tatti, N., 14 apr. 2023, Proceedings of the 2023 SIAM International Conference on Data Mining (SDM). Society for Industrial and Applied Mathematics, s. 415-423

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

• NorQuAD: Norwegian Question Answering Dataset

  Ivanova, S., Andreassen, F., Jentoft, M., Wold, S. & Øvrelid, L., maj 2023, Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa). Tórshavn, Faroe Islands: University of Tartu Library, s. 159-168 10 s.

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

• Population Differences in National Finnish Grid Scales

  Van der Lijn, C. & Muukkonen, P., 19 apr. 2023, 31st Annual Geographical Information Science Research UK Conference (GISRUK), Glasgow, Scotland.

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

  Öppen tillgång

  Fil

• Quantum Machine Learning: Foundation, New Techniques, and Opportunities for Database Research

  Winker, T., Groppe, S., Uotila, V. J. E., Yan, Z., Lu, J., Franz, M. & Mauerer, W., 1 feb. 2023, (!!Accepted/In press) 2023 ACM Conference on Management of Data (SIGMOD 2023). ACM, 8 s.

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

• SLISEMAP: Combining Supervised Dimensionality Reduction with Local Explanations

  Björklund, A., Mäkelä, J. S. & Puolamäki, K., 2023, Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2022. Springer, s. 612–616 (Lecture Notes in Computer Science; vol. 13718).

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

  Öppen tillgång

  Fil

• Software startup within a university - producing industry-ready graduates

  Tenhunen, S. M., Männistö, T., Ihantola, P., Kousa, J. & Luukkainen, M., maj 2023, (!!Accepted/In press) IEEE/ACM International Conference on Software Engineering, Software Engineering Education and Training track (ICSE SEET 2023).

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

• Systematic Mapping Study on Use of Pre-Trained Open Machine Learning Models

  Alho, R., Raatikainen, M., Nurminen, J. K., Myllyaho, L. & Lwakatare, L. E., 2023, (!!Accepted/In press) Annual Symposium for Computer Science (TKTP'23).

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

• Testing Cluster Properties of Signed Graphs

  Adriaens, F. & Apers, S., 30 apr. 2023, WWW '23: Proceedings of the ACM Web Conference 2023. New York: ACM , s. 49-59 11 s.

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

  Öppen tillgång

  Fil

• The complex evolution of supermassive black holes in cosmological simulations

  Johansson, P., Mannerkoski, M., Rantala, A., Liao, S., Rawlings, A., Irodotou, D. & Rizzuto, F. P., 20 jan. 2023, Neutron Star Astrophysics at the Crossroads: Magnetars and the Multimessenger Revolution. Troja, E. & Baring, M. G. (red.). Cambridge: Cambridge University Press, s. 33-38 6 s. (Proceedings of the International Astronomical Union; vol. 16, nr. S362).

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

  Öppen tillgång

  Fil

• Thinking skills and knowledge dimensions in Finnish environmental studies at grades 3-6

  Pellikka, A., Virranmäki, E. & Valta-Hulkkonen, K., 9 maj 2023, (!!In preparation) Thinking skills and knowledge dimensions in Finnish environmental studies at grades 3-6.

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

  3DeformR: Freehand 3D Model Editing in Virtual Environments Considering Head Movements on Mobile Headsets

  Lam, K. Y., Lee, L. H. & Hui, P., 14 juni 2022, MMSys '22 : Proceedings of the 13th ACM Multimedia Systems Conference. ACM, s. 52-61 10 s. (MMSys 2022 - Proceedings of the 13th ACM Multimedia Systems Conference).

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

• 4D Dual-Tree Complex Wavelets for Time-Dependent Data

  Bubba, T., Heikkilä, T. & Siltanen, S., 16 mars 2022, 2021 21st International Conference on Computational Science and Its Applications (ICCSA): Workshop Computational and Applied Mathematics (CAM 2021). IEEE, s. 146-156 11 s.

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

  Öppen tillgång

  Fil

• 4D Scanning Acoustic Microscopy

  Sundblad, F. A., Hyvönen, J. T. J., Holmström, A., Salmi, A. & Haeggström, E., okt. 2022, 2022 IEEE International Ultrasonics Symposium (IUS). IEEE, s. 1-4 4 s.

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

  Fil

• A Beyond-5G Authentication and Key Agreement Protocol

  Damir, M. T., Meskanen, T., Ramezanian, S. & Niemi, V., 9 dec. 2022, Network and System Security. Cham: Springer, s. 249–264 (Lecture Notes in Computer Science; vol. 13787).

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

• A CNN Approach for 5G mmWave Positioning Using Beamformed CSI Measurements

  Kia, G., Ruotsalainen, L. & Talvitie, J., 2022, 2022 INTERNATIONAL CONFERENCE ON LOCALIZATION AND GNSS (ICL-GNSS). Nurmi, J., Lohan, ES., Sospedra, JT., Kuusniemi, H. & Ometov, A. (red.). IEEE, 7 s. (International Conference on Localization and GNSS).

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

  Öppen tillgång

  Fil

• A Comparison Between Uwb and Laser-based Pedestrian Tracking

  Masiero, A., Dabove, P., Di Pietra, V., Piragnolo, M., Vettore, A., Guarnieri, A., Toth, C., Gikas, V., Perakis, H., Chiang, K-W., Ruotsalainen, L. M., Goel, S. & Gabela, J., 30 maj 2022, XXIV ISPRS Congress (2022 edition). ISPRS, Vol. 43-B2. s. 839-844 6 s. (The international archives of the photogrammetry, remote sensing and spatial information sciences).

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

  Öppen tillgång

  Fil

• A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys

  Hannula, M. & Wijsen, J., juni 2022, PODS '22: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, s. 437-449 13 s. (Proceedings of the 41st Acm Sigmod-sigact-sigai Symposium on Principles of Database Systems (pods '22)).

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

• Adorned in Memes: Exploring the Adoption of Social Wearables in Nordic Student Culture

  Epp, F. A., Kantosalo, A., Jain, N., Lucero, A. & Mekler, E. D., apr. 2022, CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 18 s. 364

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

  Öppen tillgång

  Fil

• Advances in model-based reinforcement learning for Adaptive Optics control

  Nousiainen, J., Engler, B., Kasper, M., Helin, T., Heritier, C. T. & Rajani, C., 29 aug. 2022, Adaptive Optics Systems VIII . Schreiber, L., Schmidt, D. & Vernet, E. (red.). Washington, USA: SPIE, Vol. 12185. 10 s. (Proceedings of SPIE, the International Society for Optical Engineering).

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

• Affordable and Wireless Transducer Network to Detect Fouling in Pipes

  Salminen, P. M., Korsimaa, J. E., Ihalainen, P. S., Iablonskyi, D., Klami, A., Salmi, A. & Haeggström, E., 2022, 2022 IEEE International Ultrasonics Symposium (IUS). IEEE, 4 s.

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

  Fil

• A Free/Open-Source Morphological Analyser and Generator for Sakha

  Ivanova, S., Washington, J. & Tyers, F. M., juni 2022, LREC 2022, THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION: LREC 2022 Conference Proceedings. European Languages Resources Association (ELRA) , s. 5137-5142 6 s.

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

  Öppen tillgång

  Fil

• AI Governance in the System Development Life Cycle: Insights on Responsible Machine Learning Engineering

  Laato, S., Birkstedt, T., Mäntymaki, M., Minkkinen, M. & Mikkonen, T., okt. 2022, Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI. ACM, s. 113-123 11 s.

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

• AIR CARBON RECYCLING FOR AVIATION FUEL TECHNOLOGY

  Gil, V., Tadanaga, K., Gröger, H., Wuttke, S., Gurauskis, J., Camargo, P., Giudici, R., Bonino, F. & Hadermann, J., 2022, Proceedings of WHEC 2022 - 23rd World Hydrogen Energy Conference: Bridging Continents by H2. Dincer, I., Colpan, C. O. & Ezan, M. A. (red.). International Association for Hydrogen Energy, IAHE, s. 1286-1288 3 s. (Proceedings of WHEC 2022 - 23rd World Hydrogen Energy Conference: Bridging Continents by H2).

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

• AKMA for Secure Multi-access Edge Computing Mobility in 5G

  Akman, G., Ginzboorg, P. & Niemi, V., 23 juli 2022, Computational Science and Its Applications – ICCSA 2022 Workshops. Gervasi, O., Murgante, B., Misra, S., Rocha, A. M. A. C. & Garau, C. (red.). Springer, Cham, s. 432–449 (Lecture Notes in Computer Science; vol. 13380).

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

• Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (red.). IOS PRESS, s. 236-247 12 s. (Frontiers in Artificial Intelligence and Applications; vol. 353).

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

  Öppen tillgång

  Fil

• A Multilabel Classification Framework for Approximate Nearest Neighbor Search

  Hyvönen, V., Jääsaari, E. & Roos, T., 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K. & Oh, A. (red.). NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), s. 35741–35754 13 s. ( Advances in Neural Information Processing Systems ; vol. 35).

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

  Öppen tillgång

  Fil

• Analog Cancellation of Unwanted Reflections for Enhanced Ultrasound Microscopy

  Weber, M., Hyvönen, J. T. J., Meriläinen, A., Sundblad, F. A., Salmi, A. & Haeggström, E., 1 dec. 2022, 2022 IEEE International Ultrasonics Symposium (IUS). IEEE, s. 1-4 4 s.

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

  Fil

• Analyzing the Lives of Finnish Academic People 1640–1899 in Nordic and Baltic Countries: AcademySampo Data Service and Portal

  Leskinen, P., Rantala, H. & Hyvönen, E., mars 2022, Proceedings of the 6th Digital Humanities in the Nordic and Baltic Countries Conference (DHNB 2022). Berglund, K., La Mela, M. & Zwart, I. (red.). Aachen: CEUR-WS.org, s. 94-108 15 s. (CEUR Workshop Proceedings; vol. 3232).

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

  Öppen tillgång

  Fil

• An Anonymization Tool for Open Data Publication of Legal Documents

  Oksanen, A., Hyvönen, E., Tamper, M., Tuominen, J., Ylimaa, H., Löytynoja, K., Kokkonen, M. & Hietanen, A., 2022, Joint Proceedings of ISWC2022 Workshops: the International Workshop on Artificial Intelligence Technologies for Legal Documents (AI4LEGAL) and the International Workshop on Knowledge Graph Summarization (KGSum) (2022). Navas-Loro, M., Badenes-Olmedo, C., Koubarakis, M., Redondo-García, J. L., Kirrane, S., Mihindukulasooriya, N., Satoh, K. & Acosta, M. (red.). Aachen: CEUR-WS.org, s. 12-21 10 s. (CEUR Workshop Proceedings; vol. 3257).

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

  Öppen tillgång

  Fil

• An Architectural Approach for Enabling and Developing Cooperative Behaviour in Diverse Autonomous Robots

  Linkola, S., Mäkitalo, N., Laurinen, T., Kantosalo, A. & Männistö, T., 19 aug. 2022, Software Architecture. ECSA 2021. Scandurra, P., Galster, M., Mirandola, R. & Weyns, D. (red.). Springer , s. 181-204 24 s. (Lecture Notes in Computer Science; vol. 13365).

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

  Öppen tillgång

  Fil

• A Parameterized View on the Complexity of Dependence Logic

  Kontinen, J., Meier, A. & Mahmood, Y., 2022, Logical Foundations of Computer Science: International Symposium, LFCS 2022, Proceedings. Artemov, S. & Nerode, A. (red.). Cham: Springer International Publishing, s. 125-142 18 s. ( Lecture Notes in Computer Science; vol. 13137).

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

  Öppen tillgång

  Fil

• Applying gamification incentives in the Revita language-learning system

  Hou, J., Kylliäinen, I. P., Katinskaia, A., Furlan, G. & Yangarber, R., 2022, Proceedings of the 9th Games and Natural Language Processing Workshop . Madge, C. (red.). Paris: European Language Resources Association (ELRA), s. 7-16 10 s.

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

  Öppen tillgång

  Fil

• Array-derived peak ground rotation rate vs. peak ground acceleration: scaling relations from seismicity induced by the Espoo/Helsinki geothermal stimulation

  Hillers, G., Sadeghi-Bagherabadi, A., Vuorinen, T. & Taylor, G., 2022, EGU General Assembly 2022. 2 s.

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

  Öppen tillgång

  Fil

• A Single-Exponential Time 2-Approximation Algorithm for Treewidth

  Korhonen, T., 2022, 2021 IEEE 62ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2021). IEEE Computer Society, s. 184-192 9 s. (Annual IEEE Symposium on Foundations of Computer Science).

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