Forskningsinstitutet för informationsteknologi

  • Finland

Publikationer

2020

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 SDN Perspective on Multi-connectivity and Seamless Flow Migration

Hätönen, S., Huque, T. I. U., Rao, A., Jourjon, G., Gramoli, V. & Tarkoma, S., 2020, I : IEEE Networking Letters.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Fil

Capturing Evolution in Word Usage: Just Add More Clusters?

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

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

Computational Generation of Slogans

Alnajjar, K. & Toivonen, H., 2020, (!!Accepted/In press) I : Natural Language Engineering.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer 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

Data Analysis of Low-cost Air Quality Sensors in Helsinki

Zaidan, M., Hossein Motlagh, N., Fung, P. L., Timonen, H., Tarkoma, S., Hussein, T., Petäjä, T. & Kulmala, M., jun 2020, (!!Accepted/In press) 1 s. Denmark : Nordic Society for Aerosol Research (NOSA).

Forskningsoutput: Övriga bidrag

Öppen tillgång
Fil

Dataset for Temporal Analysis of English-French Cognates

Frossard, E., Coustaty, M., Doucet, A., Jatowt, A. & Hengchen, S., 13 maj 2020, Proceedings of the Twelfth International Conference on Language Resources and Evaluation (LREC'20). European Language Resources Association (ELRA)

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, (!!Accepted/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Designing ecologically optimized pneumococcal vaccines using population genomics

Colijn, C., Corander, J. & Croucher, N. J., 3 feb 2020, I : Nature Microbiology. 5, s. 473–485 13 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer 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. (red.). NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), Vol. 32. 11 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Engaging Users in the Behavior Change Process With Digitalized Motivational Interviewing and Gamification: Development and Feasibility Testing of the Precious App

Nurmi, J., Knittle, K., Ginchev, T., Khattak, F., Helf, C., Zwickl, P., Castellano-Tejedor, C., Lusilla-Palacios, P., Costa-Requena, J., Ravaja, N. & Haukkala, A., 30 jan 2020, I : JMIR mhealth and uhealth. 8, 1, 30 s., 12884.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Fast and accurate correction of optical mapping data via spaced seeds

Salmela, L., Mukherjee, K., Puglisi, S. J., Muggli, M. D. & Boucher, C., 1 feb 2020, I : Bioinformatics. 36, 3, s. 682-689 8 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Fast Indexes for Gapped Pattern Matching

Cáceres, M., Puglisi, S. & Zhukova, B., 17 jan 2020, s. 493-504. 12 s.

Forskningsoutput: KonferensbidragKonferenspapper

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Flexible Prior Elicitation via the Prior Predictive distribution

Hartmann, M., Agiashvili, G., Klami, A. & Bürkner, P-C., 23 feb 2020, I : arXiv.org .

Forskningsoutput: TidskriftsbidragArtikelVetenskaplig

Genome-wide association meta-analysis of nicotine metabolism and cigarette consumption measures in smokers of European descent

Buchwald, J., Chenoweth, M. J., Palviainen, T., Zhu, G., Benner, C., Gordon, S., Korhonen, T., Ripatti, S., Madden, P. A. F., Lehtimaki, T., Raitakari, O. T., Salomaa, V., Rose, R. J., George, T. P., Lerman, C., Pirinen, M., Martin, N. G., Kaprio, J., Loukola, A. & Tyndale, R. F., 10 mar 2020, I : Molecular Psychiatry. 12 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

High-dimensional structure learning of binary pairwise Markov networks: A comparative numerical study

Pensar, J., Xu, Y., Puranen, S., Pesonen, M., Kabashima, Y. & Corander, J., jan 2020, I : Computational Statistics & Data Analysis. 141, s. 62-76 15 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Öppen tillgång
Fil
Öppen tillgång
Fil

IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications

Javed, A., Robert, J., Heljanko, K. & Främling, K., 10 jan 2020, I : Journal of Grid Computing. 24 s., 1572-9184.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång

IoT-KEEPER: Detecting Malicious IoT Network Activity using Online Traffic Analysis at the Edge

Hafeez, I., Antikainen, M., Ding, A. Y. & Tarkoma, S., 15 jan 2020, I : IEEE Transactions on Network and Service Management. s. 1 15 s., 10.1109/TNSM.2020.2966951.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer 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

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

Marketplace for AI Models

Kumar, A., Finley, B. J., Braud, T., Tarkoma, S. & Hui, P., 2020, (Insänt) 8 s.

Forskningsoutput: ArbetsdokumentVetenskaplig

Maximum Satisfiability

Bacchus, F., Järvisalo, M. & Martins, R., 2020, (!!Accepted/In press) Handbook of Satisfiability. Biere, A., Heule, M., van Maaren, H. & Walsh, T. (red.). 2 red. IOS PRESS, (Frontiers in Artificial Intelligence and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

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

Modelling of killer T-cell and cancer cell subpopulation dynamics under immuno- and chemotherapies

Halkola, A. S., Parvinen, K., Kasanen, H., Mustjoki, S. & Aittokallio, T., 7 mar 2020, I : Journal of Theoretical Biology. 488, 16 s., 110136.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

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.

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Platformed Interactions: How Social Media Platforms Relate to Candidate--Constituent Interaction During Finnish 2015 Election Campaigning

Nelimarkka, M., Laaksonen, S-M., Tuokko, M. & Valkonen, T., 3 apr 2020, I : Social Media + Society. 6, 2, s. 1-17 17 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer 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

Reinstated p53 response and high anti-T-cell leukemia activity by the novel alkylating deacetylase inhibitor tinostamustine

Puetzer, S., Varghese, L., von Jan, J., Braun, T., Giri, A. K., Mayer, P., Riet, N., Timonen, S., Oberbeck, S., Kuusanmäki, H., Mustjoki, S., Stern, M. -H., Aittokallio, T., Newrzela, S., Schrader, A. & Herling, M., 25 feb 2020, I : Leukemia. 6 s.

Forskningsoutput: TidskriftsbidragBrevVetenskaplig

Öppen tillgång

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

SynToxProfiler: An interactive analysis of drug combination synergy, toxicity and efficacy

Ianevski, A., Timonen, S., Kononov, A., Aittokallio, T. & Giri, A. K., 3 feb 2020, I : PLoS Computational Biology. 16, 2, e1007604.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Fil

The impact of treewidth on ASP grounding and solving of Answer Set Programs

Bliem, B., Morak, M., Moldovan, M. & Woltran, S., 2020, I : Journal of Artificial Intelligence Research. 67, s. 35-80

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Tight Upper and Lower Bounds on Suffix Tree Breadth

Badkobeh, G., Gawrychowski, P., Kärkkäinen, J., Puglisi, S. & Zhukova, B., 23 jan 2020, (!!Accepted/In press) I : Theoretical Computer Science.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Towards Massive Scale Air Quality Monitoring

Hossein Motlagh, N., Lagerspetz, E., Nurmi, P., Li, X., Varjonen, S., Mineraud, J., Siekkinen, M., Rebeiro-Hargrave, A., Hussein, T., Petäjä, T., Kulmala, M. & Tarkoma, S., feb 2020, I : IEEE Communications Magazine. 58, 2, s. 54 - 59 7 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

"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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

2019

µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks

Niskanen, A. & Järvisalo, M., 19 dec 2019

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

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, s. 220-226 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

A Constrained Randomization Approach to Interactive Visual Data Exploration with Subjective Feedback

Kang, B., Puolamäki, K., Lijffijt, J. & Bie, T. D., 18 apr 2019, I : IEEE Transactions on Knowledge and Data Engineering. 14 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

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 s. 48

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Adaptive Approximate Bayesian Computation Tolerance Selection

Simola, U., Cisewski-Kehe, J. & Corander, J., 2019, I : Bayesian analysis.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil