Publications

Filter
Conference contribution
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).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

Zosa, E., Pivovarova, L. & Granroth-Wilding, M., 16 May 2020, Proceedings of the LREC 2020 Workshop on Cross-Language Search and Summarization of Text and Speech.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Action Selection in the Creative Systems Framework

Linkola, S., Guckelsberger, C. & Kantosalo, A., 12 May 2020, (Accepted/In press) Proceedings of the Eleventh International Conference on Computational Creativity. Association for Computational Creativity, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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, p. 413-419 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Battery Health Estimation for IoT Devices using V-edge Dynamics

Kumar, A., Hoque, M. A., Nurmi, P., Tarkoma, S., Pecht, M. G. & Song, J., Mar 2020, (Accepted/In press) Proceedings of the 21st International Workshop on Mobile Computing Systems and Applications: HotMobile'2020. New York: ACM , 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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. (ed.). Universität Duisburg-Essen, p. 912-915 4 p. (Gesellschaft für Didaktik der Chemie und Physik; vol. 40).

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Open Access

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).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Capturing Evolution in Word Usage: Just Add More Clusters?

Martinc, M., Montariol, S., Zosa, E. & Pivovarova, L., 2020, WWW ’20 Companion. Taipei

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File

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, p. 59-63

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Controllability of Control Argumentation Frameworks

Niskanen, A., Neugebauer, D. & Järvisalo, M., 2020, (Accepted/In press) Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020). International Joint Conferences on Artificial Intelligence

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File

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 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Dataset for Temporal Analysis of English-French Cognates

Frossard, E., Coustaty, M., Doucet, A., Jatowt, A. & Hengchen, S., 13 May 2020, TWELFTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION : May 11-16, 2020 PALAIS DU PHARO Marseille, France : CONFERENCE PROCEEDINGS. Calzolari ... [et al.], N. (ed.). Paris: European Language Resources Association (ELRA), p. 855–859 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Deciding Acceptance in Incomplete Argumentation Frameworks

Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, (Accepted/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Descriptive complexity of real computation and probabilistic independence logic

Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., 2020, (Accepted/In press) Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Differentially private Markov chain Monte Carlo

Heikkilä, M., Jälkö, J., Dikmen, O. & Honkela, A., 9 Jan 2020, Advances in Neural Information Processing Systems. Wallach, H., Larochelle, H., Beygelzimer, A., d'Alché-Buc, F., Fox, E. & Garnett, R. (eds.). NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), Vol. 32. 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Finding Most Compatible Phylogenetic Trees over Multi-State Character

Korhonen, T. & Järvisalo, M., 2020, (Accepted/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Savela, J., Oikarinen, E. & Järvisalo, M., 27 May 2020, LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. p. 465-482

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access

FlexState: Enabling Innovation in Network Function State Management

Pozza, M., Rao, A., Lugones, D. & Tarkoma, S., 24 Mar 2020, arXiv.org.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Open Access

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 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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. (eds.). Cham: Springer International Publishing AG, Vol. 1. p. 15-27 13 p. (Studies in Computational Intelligence ; vol. 882).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Multipath Computation Offloading for Mobile Augmented Reality

Braud, T., Zhou, P., Kangasharju, J. & Hui, P., Mar 2020, (Accepted/In press) In Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2020), Austin USA.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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. The Association for Computational Linguistics, p. 26–30

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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, 42nd European Conference on IR Research, ECIR 2020. Springer , (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Prongle: Lightweight Communication over Unassociated Wi-Fi

Waltari, O. & Kangasharju, J., 2020, (Accepted/In press) SAC 2020, MCA - Mobile Computing and Applications. ACM

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Publishing and Using Legislation and Case Law as Linked Open Data on the Semantic Web

Hyvönen, E., Tamper, M., Ikkala, E., Sarsa, S., Oksanen, A., Tuominen, J. & Hietanen, A., 2020, Proceedings of ESWC 2020, Posters and Demos. Springer

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Regular Languages meet Prefix Sorting

Alanko, J., Prezza, N., Policriti, A. & D’Agostino, G., 2020, (Accepted/In press) Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, 2020.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Sensing Multimedia Contexts on Mobile Devices

Hoque, M. A., Rao, A., Kumar, A., Ammar, M., Hui, P. & Tarkoma, S., 2020, 30th Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV'20), co-located with ACM MMSys. ACM

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File

Strong Refinements for Hard Problems in Argumentation Dynamics

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Supervised Human-Guided Data Exploration

Oikarinen, E., Puolamäki, K., Khoshrou, S. & Pechenizkiy, M., 2020, Machine Learning and Knowledge Discovery in Databases. ECML PKDD 2019.. Springer, Cham, p. 88-101 (Communications in Computer and Information Science; vol. 1167).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

The Bits of Silence: Redundant Traffic in VoIP

Hoque, M. A., Nurmi, P., Siekkinen, M., Hui, P. & Tarkoma, S., 2020, (Accepted/In press) The ACM Multimedia Systems Conference 2020. ACM

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File

Trustworthy AI in the Age of Pervasive Computing and Big Data

Kumar, A., Braud, T., Tarkoma, S. & Hui, P., 2020, IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE, 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Understanding WiFi Cross-Technology Interference Detection in the Real World

Pulkkinen, T., Nurminen, J. K. & Nurmi, P., 2020, (Accepted/In press) Proceedings of the 40th International Conference on Distributed Computing Systems (ICDCS). IEEE Computer Society Conference Publishing Services

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File

"What Apps Did You Use?": Understanding the Long-term Evolution of Mobile App Usage

Li, T., Zhang, M., Cao, H., Li, Y., Tarkoma, S. & Hui, P., Apr 2020, (Accepted/In press) In Proceedings of the ACM International World Wide Web Conference (WWW 2020). International World Wide Web Conferences Steering Committee

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2019

3D Acoustic Jet

Kekkonen, T., Mäkinen, J. M. K., Hyvönen, J. T. J., Kuronen, A., Kotiaho, T., Salmi, A. & Haeggström, E., 2019, 2019 IEEE International Ultrasonics Symposium (IUS). IEEE, p. 586-589 4 p. (IEEE International Ultrasonics Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

5G Testbed Development for Network Slicing Evaluation

Shorov, A., 2019, PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS). New York: IEEE, p. 39-44 6 p. (IEEE NW Russia Young Researchers in Electrical and Electronic Engineering Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Access Time Improvement Framework for Standardized IoT Gateways

Javed, A., Yousefnezhad, N., Robert, J., Heljanko, K. & Främling, K., 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). New York: IEEE, p. 220-226 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

A Creative Dialog Generator for Fallout 4

Alnajjar, K. & Hämäläinen, M., 2019, Proceedings of the 14th International Conference on the Foundations of Digital Games. New York: ACM, 4 p. 48

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

A decomposition approach for urban anomaly detection across spatiotemporal data

Zhang, M., Li, T., Shi, H., Li, Y. & Hui, P., 2019, IJCAI International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 6043-6049 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review