Publications 1973 2025

Filter
Conference contribution
2019

AI on the Move: From On-Device to On-Multi-Device

Flores Macario, H. R., Nurmi, P. T. & Hui, P., 2019, (Accepted/In press) Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom Workshops 2019). 6 p.

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

Open Access
File

An Exploration of Cognitive Shifting in Writing Code

Fronza, I., Hellas, A., Ihantola, P. & Mikkonen, T., 2019, Proceedings of the ACM Conference on Global Computing Education (CompEd '19). New York, NY, USA: ACM, p. 65-71 7 p.

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

Building Digital 3D Learning Environments To Support the Teaching in Geosciences

Junna, T. S., Silvennoinen, S. E. E., Karme, A. J., Koivisto, E. A-L., Åberg, A. K., Åberg, S. C., Korkka-Niemi, K. I. & Kultti, S. K., Mar 2019, Proceedings of the Geological Society of Finland, Volume 1, Abstracts of The 5th Finnish National Colloquium of Geosciences: ISSN: 1799-4632. Kalliomäki, H. (ed.). Geological Society of Finland, p. 36 1 p.

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

File

Common Mid Point (CMP) surveying for depth calibration of ground penetrating radar data

Pinola, H., Koivisto, E. A-L. & Kultti, S. K., Mar 2019, Proceedings of the Geological Society of Finland, Volume 1, Abstracts of The 5th Finnish National Colloquium of Geosciences: ISSN: 1799-4632. Kalliomäki, H. (ed.). Geological Society of Finland, p. 49 1 p.

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

File

Continuous Team Semantics

Hirvonen, Å., Kontinen, J. & Pauly, A., 2019, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer, Vol. 11436. p. 262-278 17 p. (Lecture Notes in Computer Science; vol. 11436).

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

Core-Boosted Linear Search for Incomplete MaxSAT

Berg, O. J., Demirovic, E. & Stuckey, P., 2019, (Accepted/In press) Proceedings of the The 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019) . Springer, (Lecture Notes in Computer Science ).

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

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., Jun 2019, (Accepted/In press) Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019).

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

Decoupling of respiratory components of Scots pine forest floor using stable carbon isotopes in intensely dry conditions

Ryhti, K. M., Salko, S-S. J., Rinne-Garmston, K., Biasi, C., Jokinen, S., Fung, P. L., Bäck, J. K. & Kulmala, L-M., 2019, Geophysical Research Abstracts. Vol. 21.

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

Open Access

Discourse of Otherness in a Universally Designed undergraduate mathematics course

Nieminen, J. H., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Utrecht: CERME: Freudenthal Group & Freudenthal Institute, Utrecht University, Vol. 2019.

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

Does Creating Programming Assignments with Tests Lead to Improved Performance in Writing Unit Tests?

Kangas, V., Pirttinen, N., Nygren, H., Leinonen, J. & Hellas, A., 9 May 2019, Proceedings of the ACM Conference on Global Computing Education. ACM, p. 106-112 7 p.

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

Efficient Autotuning of Hyperparameters in Approximate Nearest Neighbor Search

Jääsaari, E. B., Hyvönen, V. O. & Roos, T. T., 17 Apr 2019, Advances in Knowledge Discovery and Data Mining. PAKDD 2019. Cham: Springer, Vol. 11440. p. 590-602 13 p. (Lecture Notes in Artificial Intelligence; vol. 11440).

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

Open Access
File

Enhanced Augmented Reality Applications in Vehicle-to-Edge Networks

Zhou, P., Zhang, W., Braud, T., Hui, P. & Kangasharju, J., 19 Feb 2019, 22nd Conference on Innovation in Clouds, Internet and Networks (ICIN 2019). 8 p.

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

ERL: Edge Based Reinforcement Learning for Optimized Urban Traffic Light Control

Zhou, P., Alhilal, A., Braud, T., Hui, P. & Kangasharju, J., 15 Mar 2019, The 2019 IEEE PerCom workshop on Smart Edge Computing and Networking (SmartEdge'19) . 6 p.

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

Evaluating Energy-Efficiency using Thermal Imaging

Flores Macario, H. R., Hamberg, J. C., Li, X., Malmivirta, T. M. K., Zuniga Corrales, W. A., Lagerspetz, E. & Nurmi, P. T., 2019, Proceedings of the 20th ACM International Workshop on Mobile Computing Systems and Applications (HotMobile 2019). ACM, 6 p.

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

Open Access
File

Evaluating students' self-assessment in large classes

Häsä, J. I. A., Rämö, J. M. & Virtanen, V., 2019, (Accepted/In press) Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Utrecht: CERME: Freudenthal Group & Freudenthal Institute, Utrecht University

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

Open Access
File

ExEC: Elastic Extensible Edge Cloud

Zavodovski, A., Mohan, N., Bayhan, S., Wong, W. & Kangasharju, J., 25 Mar 2019, EdgeSys '19 Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking . p. 24-29 6 p.

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

Explicating "Implicit Interaction": An Examination of the Concept and Challenges for Research

Serim, B. & Jacucci, G., 2019, (Accepted/In press) CHI Conference on Human Factors in Computing Systems. ACM

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

File

Exploring the Applicability of Simple Syntax Writing Practice for Learning Programming

Leinonen, A., Nygren, H., Pirttinen, N., Hellas, A. & Leinonen, J., 22 Feb 2019, Proceedings of the 50th ACM Technical Symposium on Computer Science Education. ACM, p. 84-90 7 p.

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

Extending the Creative Systems Framework for the Analysis of Creative Agent Societies

Linkola, S. & Kantosalo, A., 17 Jun 2019, Proceedings of the Tenth International Conference on Computational Creativity. Charlotte, NC: Association for Computational Creativity (ACC), 8 p.

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

Facets of Distribution Identities in Probabilistic Team Semantics

Hannula, M., Hirvonen, Å., Kontinen, J., Kulikov, V. & Virtema, J., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Vol. 11468. p. 304-320 17 p. (Lecture Notes in Computer Science; vol. 11468).

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

Hot or Not? Robust and Accurate Continuous Thermal Imaging on FLIR cameras

Malmivirta, T. M. K., Hamberg, J. C., Lagerspetz, E., Li, X., Peltonen, E., Flores Macario, H. R. & Nurmi, P. T., 12 Jan 2019, Proceedings of the 17th IEEE International Conference on Pervasive Computing and Communications (PerCom 2019). IEEE, 9 p.

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

Open Access
File

I/O Is Faster Than the CPU: Let's Partition Resources and Eliminate (Most) OS Abstractions

Enberg, P., Rao, A. & Tarkoma, S., 2019, Proceedings of the Workshop on Hot Topics in Operating Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 81-87 7 p. (HotOS '19).

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

Indoor Air Quality Monitoring Using Infrastructure-Based Motion Detectors

Hossein Motlagh, N., Zaidan, M., Lagerspetz, E., Varjonen, S., Toivonen, J., Mineraud, J., Rebeiro-Hargrave, A., Siekkinen, M., Hussein, T., Nurmi, P. & Tarkoma, S., 2019, (Accepted/In press) 2019 IEEE 17th International Conference on Industrial Informatics (INDIN). IEEE

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

Open Access
File

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 Apr 2019, (Accepted/In press) Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings.

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

MegaSense: Feasibility of Low-Cost Sensors for Pollution Hot-spot Detection

Lagerspetz, E., Hossein Motlagh, N., Zaidan, M., Fung, P. L., Mineraud, J., Varjonen, S., Siekkinen, M., Nurmi, P., Matsumi, Y., Tarkoma, S. & Hussein, T., Jul 2019, 2019 IEEE 17th International Conference on Industrial Informatics (INDIN). IEEE, 9 p.

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

Open Access
File

Metal concentrations of sediments in Vanhankaupunginlahti dam basin, river Vantaa

Edasi, A., Kultti, S. K., Heikkilä, P. A., Koivisto, E. A-L. & Virkanen, J. K., Mar 2019, Proceedings of the Geological Society of Finland, Volume 1, Abstracts of The 5th Finnish National Colloquium of Geosciences: ISSN: 1799-4632. Kalliomäki, H. (ed.). Geological Society of Finland, p. 32 1 p.

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

File

Modelling Students’ Thematically Associated Knowledge: Networked Knowledge from Affinity Statistics

Koponen, I., 2019, Complex Networks X, Proceedings of the 10th Conference on Complex Networks CompleNet 2019, Springer Proceedings in Complexity. Springer International Publishing AG, p. 123-134

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

Modelling the Socialization of Creative Agents in a Master-Apprentice Setting: The Case of Movie Title Puns

Hämäläinen, M. & Alnajjar, K., 2019, Proceedings of the 10th International Conference on Computational Creativity. p. 266-273 8 p.

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

Open Access
File

Modelling widespread geological resources

Mäkelä, S., 5 Mar 2019, Proceedings of the Geological Society of Finland: Volume 1, Abstracts of The 5th Finnish National Colloquium of Geosciences. Kallioniemi, H. (ed.). Helsinki: Geological Society of Finland, p. 25 1 p.

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

Open Access

New geophysics study programs at the University of Helsinki

Whipp, D. M., Uotila, J. P., Kukkonen, I. T., Koivisto, E. A-L. & Luhta, T. O., Mar 2019, XXIX GEOFYSIIKAN PÄIVÄT, ISSN 1798-2200 . Veikkolainen, T., Holappa, L., Rasmus, S., Suomi, I., Mursula, K. & Korja, T. (eds.). Geofysiikan seura, p. 143 1 p.

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

File

On Grounding Language Games in Practicality

Hantula, O. A., Apr 2019, AISB Language Learning for Artificial Agents symposium. p. 16-20 5 p.

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

Open Access

On the role of hot water extraction as a pretreatment method in search for soft pulping methods for modern biorefineries.

Sipilä, J., Hyväkkö, U., Maltari, R., Kakko, T-A., Kontro, J., Mikkilä, J. A., Kilpeläinen, P., Enqvist, E., Tikka, P., Hilden, K. & Nousiainen, P. A., 31 Mar 2019, 257th American Chemical Society (ACS) : Chemistry for New Frontiers. Orlando, Florida, Vol. 257. p. 1 (257th American Chemical Society (ACS) National Meeting & Exposition: Chemistry for New Frontiers; vol. 257).

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

Partitioning of the forest floor CO2 fluxes reveals the belowground interaction between different plant species

Ryhti, K. M., Kulmala, L-M., Pumpanen, J. S., Pihlatie, M. K., Bäck, J. K. & Heinonsalo, E. J., 2019, Geophysical Research Abstracts. Vol. 20.

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

Open Access

Performance Evaluation of Constrained Application Protocol over TCP

Järvinen, I. J., Pesola, L. M. A., Raitahila, I. K., Cao, Z. & Kojo, M. P. I., 2019, 2018 IEEE 88th Vehicular Technology Conference: VTC-Fall. IEEE, 7 p. 8690641. (IEEE Vehicular Technology Conference).

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

Petrophysical properties of the Kylylahti Cu-Au-Zn sulphide mineralization and its host rocks

COGITO-MIN Working Group, Luhta, T. O., Mertanen, S., Koivisto, E. A-L. & Heinonen, S., Mar 2019, XXIX GEOFYSIIKAN PÄIVÄT, ISSN 1798-2200. Veikkolainen, T., Holappa, L., Rasmus, S., Suomi, I., Mursula, K. & Korja, T. (eds.). Geofysiikan seura, p. 48-49 2 p.

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

File

Preprocessing Argumentation Frameworks via Replacement Patterns

Dvorak, W., Järvisalo, M. J., Linsbichler, T., Niskanen, A. J. A. & Woltran, S., 2019, (Accepted/In press) Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Springer, (Lecture Notes in Computer Science).

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

Privacy preserving 2-party queries on bipartite graphs with private set intersection

Ramezanian, S., Meskanen, T. & Niemi, V., 8 Apr 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing.

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

Project-Based Learning (PBL) in Practise: Active Teachers' Views of Its' Advantages And Challenges

Aksela, M. K. & Haatainen, O. M., 2019, 5th International STEM in Education Conference Proceedings: Integrated Education for the Real World . Queensland University of Technology

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

File

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2019, (Accepted/In press) Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). AAAI Press

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

Seismic properties of rocks in Kylylahti Cu-Au-Zn mine

COGITO-MIN Working Group, Luhta, T. O., Mertanen, S., Koivisto, E. A-L. & Heinonen, S., Mar 2019, Proceedings of the Geological Society of Finland, Volume 1, Abstracts of The 5th Finnish National Colloquium of Geosciences: ISSN: 1799-4632. Kalliomäki, H. (ed.). Geological Society of Finland, p. 38 1 p.

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

File

Suomen ja Ruotsin kallioperän lämmöntuoton vertailua

Veikkolainen, T. H. K., Kukkonen, I. T. & Näslund, J-O., 2019, XXIX Geofysiikan Päivät. Helsinki, Vol. 29. p. 133-136 (Geofysiikan Päivät).

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

Open Access
File

Surface Wave Analysis from Mineral Exploration: a 3D Example from Eastern Finland: Poster: Near Surface - Mining A

Da Col, F., Karimpour, M., Papadopoulou, M., Socco, L. V., Koivisto, E., Salo, A., Sito, L., Malehmir, A. & Savolainen, M., Jun 2019, 81st EAGE Conference and Exhibition 2019. EarthDoc: European association of geoscientists and engineers, 4 p.

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

Temporal Discounting in Technical Debt: How do Software Practitioners Discount the Future?

Becker, C., Fagerholm, F., Mohanani, R. & Chatzigeorgiou, A., 2019, Proceedings of TechDebt 2019.

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

Tortoise or Hare? Quantifying the Effects of Performance on Mobile App Retention

Zuniga Corrales, W. A., Flores Macario, H. R., Lagerspetz, E., Tarkoma, S. A. O., Manner, J., Hui, P. & Nurmi, P. T., May 2019, (Accepted/In press) Proceedings of the 2019 World Wide Web Conference (WWW '19). International World Wide Web Conferences Steering Committee, 10 p.

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

Open Access
File

UniBench: A Benchmark for Multi-Model Database Management Systems

Zhang, C., Lu, J., Xu, P. & Chen, Y., 2019, Performance Evaluation and Benchmarking for the Era of Artificial Intelligence : 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers. Nambiar, R. & Poess, M. (eds.). Cham: Springer International Publishing , p. 7-23 16 p. (Programming and Software Engineering).

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

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability

Berg, O. J. & Järvisalo, M. J., 2019, (Accepted/In press) Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Springer, (Lecture Notes in Computer Science).

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

Unsupervised Learning of Cross-Lingual Symbol Embeddings Without Parallel Data

Granroth-Wilding, M. & Toivonen, H., 3 Jan 2019, Proceedings of the Society for Computation in Linguistics. Vol. 2. 4

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

Open Access
File
2018

3C Seismic Interferometry at the Polymetallic Kylylahti Deposit, Outokumpu District, Finland

Väkevä, L. S. O., Koivisto, E. A-L., Hillers, G., Chamarczuk, M. & Malinowski, M., Nov 2018, LITHOSPHERE 2018: TENTH SYMPOSIUM ON STRUCTURE, COMPOSITION AND EVOLUTION OF THE LITHOSPHERE, PROGRAMME AND EXTENDED ABSTRACTS . Institute of Seismology, University of Helsinki, p. 125-126 2 p.

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

File

Achievement Goals in CS1: Replication and Extension

Zingaro, D., Craig, M., Porter, L., Becker, B. A., Cao, Y., Conrad, P., Cukierman, D., Hellas, A., Loksa, D. & Thota, N., 2018, SSIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science Education. New York, NY, USA: ACM, p. 687-692 6 p.

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

A Deep Incremental Boltzmann Machine for Modeling Context in Robots

Dogan, F. I., Celikkanat, H. & Kalkan, S., 13 Sep 2018, 2018 IEEE International Conference on Robotics and Automation (ICRA). IEEE, p. 2411-2416 6 p.

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