Publikationer

Filter
Konferensbidrag
2020

Abstract Cores in Implicit Hitting Set MaxSat Solving

Berg, J., Bacchus, F. & Poole, AL., 2020, (!!Accepted/In press) Proceedings of the 2020 International Conference on Theory and Applications of Satisfiability Testing (SAT 2020). (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

A Comparison of Unsupervised Methods for Ad hoc Cross-Lingual Document Retrieval

Zosa, E., Granroth-Wilding, M. & Pivovarova, L., 16 maj 2020, Proceedings of the LREC 2020 Workshop on Cross-Language Search and Summarization of Text and Speech. McKeown, K., Oard, D. W., Boschee, E. & Schwartz, R. (red.). European Language Resources Association (ELRA), s. 32-37 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Action Selection in the Creative Systems Framework

Linkola, S., Guckelsberger, C. & Kantosalo, A., 7 sep 2020, Proceedings of the Eleventh International Conference on Computational Creativity. Association for Computational Creativity, s. 303-310 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

Niskanen, A. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 s. (Frontiers in Artificial Intelligence and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). AAAI Press

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

A Study of Keystroke Data in Two Contexts: Written Language and Programming Language Influence Predictability of Learning Outcomes

Edwards, J., Leinonen, J. & Hellas, A., 26 feb 2020, SIGCSE '20: Proceedings of the 51st ACM Technical Symposium on Computer Science Education. ACM, s. 413-419 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Automatic Dialect Adaptation in Finnish and its Effect on Perceived Creativity

Hämäläinen, M., Partanen, N., Alnajjar, K., Rueter, J. & Poibeau, T., 2020, Proceedings of the 11th International Conference on Computational Creativity (ICCC’20). s. 204-211

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Battery Health Estimation for IoT Devices using V-Edge Dynamics

Kumar, A., Hoque, M. A., Nurmi, P., Pecht, M. G., Tarkoma, S. & Song, J., 4 mar 2020, Proceedings of the 21st International Workshop on Mobile Computing Systems and Applications: HotMobile'2020. New York: ACM , s. 56-61 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Beyond FCI: Internationale Vergleiche mithilfe eines erweiterten FCI

Mutschler, T., Buschhüter, D., Kontro, I. & Borowski, A., 2020, Naturwissenschaftliche Kompetenzen in der Gesellschaft von morgen. Habig, S. (red.). Universität Duisburg-Essen, s. 912-915 4 s. (Gesellschaft für Didaktik der Chemie und Physik; vol. 40).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragProfessionell

Öppen tillgång

Camel: Smart, Adaptive Energy Optimization for Mobile Web Interactions

Ren, J., Yuan, L., Nurmi, P., Wang, X., Ma, M., Gao, L., Tang, Z., Zheng, J. & Wang, Z., 2020, (!!Accepted/In press) IEEE Conference on Computer Communications (INFOCOM 2020).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Capturing Evolution in Word Usage: Just Add More Clusters?

Martinc, M., Montariol, S., Zosa, E. & Pivovarova, L., 2020, WWW ’20 Companion. Taipei: ACM, s. 343-349 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Centrality Heuristics for Exact Model Counting

Bliem, B. & Järvisalo, M., 13 feb 2020, IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI 2019). IEEE Computer Society, s. 59-63

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Code Reviews, Software Inspections, and Code Walkthroughs: Systematic Mapping Study of Research Topics

Fronza, I., Hellas, A., Ihantola, P. & Mikkonen, T., 2020, International Conference on Software Quality SWQD 2020 : Software Quality: Quality Intelligence in Software and Systems Engineering. Springer, s. 121-133 12 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Computing Tight Differential Privacy Guarantees Using FFT

Koskela, A., Jälkö, J. & Honkela, A., jun 2020, Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics. AISTATS, s. 2560-2569 10 s. (Proceedings of Machine Learning Research; vol. 108).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Controllability of Control Argumentation Frameworks

Niskanen, A., Neugebauer, D. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020). Bessiere, C. (red.). International Joint Conferences on Artificial Intelligence, s. 1855-1861 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Core-Guided and Core-Boosted Search for CP

Grange, G., Berg, J., Demirovic, E. & Stuckey, P., 30 jan 2020, (!!Accepted/In press) Proceedings of the 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Springer International Publishing AG, (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Correcting Predictions for Approximate Bayesian Inference

Kusmierczyk, T., Sakaya, J. & Klami, A., feb 2020, The thirty-fourth AAAI conference on artificial intelligence. Association for the Advancement of Artificial Intelligence (AAAI), Vol. 34. s. 4511-4518 8 s. (Proceedings of the AAAI Conference on Artificial Intelligence).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

COSINE: Collaborator Selector for Cooperative Multi-Device Sensing and Computing

Flores, H., Zuniga, A., Faghihi Berenjegani, F., Li, X., Hemminki, S., Tarkoma, S., Hui, P. & Nurmi, P., 2020, (!!Accepted/In press) 2020 IEEE International Conference on Pervasive Computing and Communications (PerCom).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Fil

Counterfactuals and dependencies on causal teams: expressive power and deduction systems

Barbero, F. & Yang, F., 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (red.). College publications, Vol. 13. s. 73-93

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Crossing the boundaries of mathematics assessment through summative self-assessment

Nieminen, J. H., 2020, (!!Accepted/In press) Proceedings of the Psychology of Mathematics Education Conference 2020. 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Crowdsourcing Content Creation for SQL Practice

Leinonen, J., Pirttinen, N. & Hellas, A., jun 2020, ITiCSE '20: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education. ACM, s. 349-355 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Deciding Acceptance in Incomplete Argumentation Frameworks

Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, s. 2942-2949 8 s. (Proceedings of the AAAI Conference on Artificial Intelligence).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Descriptive complexity of real computation and probabilistic independence logic

Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., jul 2020, Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, s. 550–563 14 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

EmgAuth: An EMG-based Smartphone Unlocking System Using Siamese Network

Fan, B., Liu, X., Su, X., Niu, J. & Hui, P., mar 2020, (!!Accepted/In press) In Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2020), Austin USA. IEEE

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Evaluating Decision Makers over Selectively Labelled Data: A Causal Modelling Approach

Laine, R., Hyttinen, A. & Mathioudakis, M., 2020, (!!Accepted/In press) 23rd International Conference on Discovery Science. (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Extraction of surface-wave dispersion curves from ambient noise data in a mineral exploration site in Finland

Colombero, C., Papadopoulou, M., Da Col, F., Koivisto, E., Sito, L., Savolainen, M. & Socco, L. V., dec 2020, (Insänt) 82nd EAGE Conference & Exhibition 2020 : Extended Abstracts. EAGE

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig

Finding Most Compatible Phylogenetic Trees over Multi-State Character

Korhonen, T. & Järvisalo, M., 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2 red. AAAI Press, Vol. 34. s. 1544-1551 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Savela, J., Oikarinen, E. & Järvisalo, M., 27 maj 2020, LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Albert, E. & Kovács, L. (red.). EasyChair Publications, s. 465-482 18 s. (EPiC Series in Computing; vol. 73).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Flexible Prior Elicitation via the Prior Predictive distribution

Hartmann, M., Agiashivili, G., Bürkner, P-C. & Klami, A., 4 aug 2020, Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence. AUAI Press / Association for Uncertainty in Artificial Intelligence, 10 s. (Conference on Uncertainty in Artificial Intelligence; vol. 124).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Illumination diagnosis for retrieval of reflections from ambient-noise seismic data in the Siilinjärvi mining site, Finland

Papadopoulou, M., Draganov, D., Koivisto, E., Savolainen, M., Sito, L. & Socco, L. V., dec 2020, (!!Accepted/In press) EAGE NSG 2020 -Extended Abstracts. EAGE

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig

Is a WIMP explanation of the DAMA modulation effect still viable?

Tomar, G., Kang, S., Scopel, S. & Yoon, J-H., 2020, 16TH INTERNATIONAL CONFERENCE ON TOPICS IN ASTROPARTICLE AND UNDERGROUND PHYSICS (TAUP 2019). IOP Publishing, 4 s. (Journal of Physics Conference Series; vol. 1468).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Jointly Using Node Attributes and Laplacian Eigenmaps for Semi-Supervised Node Classification

Merchant, A. & Mathioudakis, M., 2020, (Insänt) International Conference on Data Mining .

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Learning Chordal Markov Networks via Stochastic Local Search

Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 s. (Frontiers in Artificial Intelligence and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Learning Optimal Cyclic Causal Graphs from Interventional Data

Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM 2020). Journal of Machine Learning Research, (Proceedings of Machine Learning Research).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Learning Rate Adaptation for Differentially Private Learning

Koskela, A. & Honkela, A., jun 2020, Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics. AISTATS, s. 2465-2475 10 s. (Proceedings of Machine Learning Research; vol. 108).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Lexical Networks and Lexicon Profiles in Didactical Texts for Science Education

Koponen, I. & Nousiainen, M., 2020, Complex Networks and Their Applications VIII: Volume 2 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019. Cherifi, H., GaitoJosé, S., Mendes, J. F., Moro, E. & Rocha, L. M. (red.). Cham: Springer International Publishing AG, Vol. 1. s. 15-27 13 s. (Studies in Computational Intelligence ; vol. 882).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Linear Time Construction of Indexable Founder Block Graphs

Mäkinen, V., Cazaux, B., Equi, M., Norri, T. & Tomescu, A., 25 aug 2020, 20th International Workshop on Algorithms in Bioinformatics (WABI 2020). Kingsford, C. & Pisanti, N. (red.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-18 18 s. 7. (Leibniz International Proceedings in Informatics; vol. 172).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Low-cost Air Quality Sensing Process: Validation by Indoor-Outdoor Measurements

Hossein Motlagh, N., Arbayani Zaidan, M., Fung, P. L., Li, X., Matsumi, Y., Petäjä, T., Kulmala, M., Tarkoma, S. & Hussein, T., jun 2020, (!!Accepted/In press) 15th IEEE Conference on Industrial Electronics and Applications (ICIEA2020). IEEE, 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

MegaSense: Cyber-Physical System for Real-time Urban Air Quality Monitoring

Rebeiro-Hargrave, A., Hossein Motlagh, N., Varjonen, S., Lagerspetz, E., Nurmi, P. & Tarkoma, S., jun 2020, 15th IEEE Conference on Industrial Electronics and Applications (ICIEA2020). 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Mneme: A Mobile Distributed Ledger

Chatzopoulos, D., Gujar, S., Faltings, B. & Hui, P., apr 2020, (!!Accepted/In press) In Proceedings of the 39th Annual IEEE International Conference on Computer Communications (IEEE INFOCOM 2020). IEEE

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Move it or Lose it: Derivision, the Discrete Time Derivative of a Video

Juvonen, M., Lehto, S. M., Rainio, T. & Lahdenperä, J., 2020, Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture. Yackel, C., Bosch, R., Torrence, E. & Fenyvesi, K. (red.). Phoenix, Arizona: Tessellations Publishing, s. 501-506 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Multipath Computation Offloading for Mobile Augmented Reality

Braud, T., Zhou, P., Kangasharju, J. & Hui, P., mar 2020, Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2020), Austin USA. IEEE, 10 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

MyoKey: Surface Electromyography and Inertial Motion Sensing-based Text Entry in AR

Kwon, Y., Shatilov, K. A., Lee, L-H., Kumyol, S., Lam, K. Y., Yau, Y-P. & Hui, P., mar 2020, (!!Accepted/In press) n Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2020), Austin USA, March 2020 (Work In Progress). IEEE

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Network and Application Performance Measurement Challenges on Android Devices

Hoque, M. A., Rao, A. & Tarkoma, S., 2 nov 2020, (!!Accepted/In press) 38th International Symposium on Computer Performance, Modeling, Measurements and Evaluation 2020: Performance' 20. ACM , 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

On Editing Dictionaries for Uralic Languages in an Online Environment

Alnajjar, K., Hämäläinen, M. & Rueter, J., 2020, Proceedings of the Sixth International Workshop on Computational Linguistics of Uralic Languages. Stroudsburg, PA: The Association for Computational Linguistics, s. 26–30

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

One-thumb Text Acquisition on Force-assisted Miniature Interfaces for Mobile Headsets

Lee, L-H., Yau, Y-P., Braud, T., Su, X. & Hui, P., mar 2020, (!!Accepted/In press) In Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2020), Austin USA. IEEE

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

On the Inherent Creativity of Self-Adaptive Systems

Linkola, S., Mäkitalo, N. & Männistö, T., 7 sep 2020, The Proceedings of the Eleventh International Conference on Computational Creativity. Association for Computational Creativity, s. 362-365 4 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

PENGUIN: Aquatic Plastic Pollution Sensing using AUVs

Flores, H., Zuniga Corrales, A., Hossein Motlagh, N., Liyanage, M., Passananti, M., Tarkoma, S., Youssef, M. & Nurmi, P., 2020, (!!Accepted/In press) In Proceedings of the ACM International Conference on Mobile Systems, Applications, and Services (MobiSys Workshops) 2020.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Personal Research Assistant for Online Exploration of Historical News

Pivovarova, L., Jean-Caurant, A., Avikainen, J., Alnajjar, K., Granroth-Wilding, M., Leppänen, L., Zosa, E. & Toivonen, H., 2020, Advances in Information Retrieval: 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14–17, 2020, Proceedings, Part II. Cham: Springer, (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Preprocessing in Incomplete MaxSAT Solving

Leivo, M. J., Berg, J. & Järvisalo, M., 2020, (!!Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 s. (Frontiers in Artificial Intelligence and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil