Department of Computer Science

  • Postal addressShow on map

    Konemiehentie 2, Computer Science building

    Finland

Filter
Conference article in proceedings

Search results

  • 2015

    Shift Design with Answer Set Programming

    Abseher, M., Gebser, M., Musliu, N., Schaub, T. & Woltran, S., 2015, 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015. Springer, p. 32-39

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Situation Awareness in Crowdsensing for Disease Surveillance in Crisis Situations

    Haddawy, P., Frommberger, L., Kauppinen, T., Felice, G. D., Charkratpahu, P., Saengpao, S. & Kanchanakitsakul, P., 2015, The Seventh International Conference on Information and Communication Technologies and Development (ICTD), Singapore, May 15-18 2015. ACM, p. Article No. 38

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    6 Citations (Scopus)

  • Smart and Secure Cross-Device Apps for the Internet of Advanced Things

    Busold, C., Heuser, S., Rios, J., Sadeghi, A.-R. & Asokan, N., 2015, 19th International Conference on Financial Cryptography and Data Security, Puerto Rico, USA, January 26-30, 2015. Springer, p. 272-290

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    9 Citations (Scopus)

  • Social inequality: From data to statistical physics modeling

    Chatterjee, A., Ghosh, A., Inoue, J. I. & Chakrabarti, B. K., 3 Sept 2015, StatPhys-Kolkata VIII. Institute of Physics Publishing, Vol. 638. 9 p. 012014. (IOP Conference Series - Journal of Physics: Conference Series; vol. 638).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Open Access
    11 Citations (Scopus)

  • Sound event detection in real life recordings using coupled matrix factorization of spectral representations and class activity annotations

    Mesaros, A., Heittola, T., Dikmen, O. & Virtanen, T., 4 Aug 2015, 2015 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2015 - Proceedings. IEEE, Vol. 2015-August. p. 151-155 5 p. 7177950

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    85 Citations (Scopus)

  • Sound field visualization using the finite-difference time-domain method and measured spatial room impulse responses

    Saarelma, J. & Greco, G., 2015, Ninth International Conference On Auditorium Acoustics, Paris, France, October 29-31. Institute of Acoustics

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

  • Spatial analysis of the acoustics of rock clubs and nightclubs

    Tervo, S., Saarelma, J., Pätynen, J., Huhtakallio, I. & Laukkanen, P., 2015, Ninth International Conference On Auditorium Acoustics, Paris, France, October 29-31. Institute of Acoustics

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

  • Square-Density Increasing Mappings

    Manea, F. & Seki, S., 2015, 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015. Springer, p. 160-169

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    11 Citations (Scopus)

  • Stakeholder Perceptions of the Adoption of Continuous Integration A Case Study

    Laukkanen, E., Paasivaara, M. & Arvonen, T., 2015, Agile Alliance Annual Conference, Washington DC, USA, August 2015. National Harbor, MD, USA: IEEE, p. 11-20

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    32 Citations (Scopus)

  • Standardized framework for integrating domain-specific applications into the IoT

    Shrestha, N., Kubler, S. & Främling, K., 2015, 2nd International Conference on Future Internet of Things and Cloud, Barcelona (Spain), August 2014. Barcelona, p. 124-131

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    11 Citations (Scopus)

  • STEM plus: Allocating Bandwidth Fairly To Tasks

    Nikolaevskiy, I., Lukyanenko, A. & Gurtov, A., 2015, 2015 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). IEEE, p. 67-68 2 p. (IEEE Conference on Computer Communications Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    1 Citation (Scopus)

  • Stochastic Discriminant Analysis

    Juuti, M., Corona, F. & Karhunen, J., 2015, International Joint Conference on Neural Networks (IJCNN), Killarney, Ireland, July 12-17, 2015. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Study on thermomechanical reliability of power modules and thermal grease pump-out mechanism

    Li, J., Myllykoski, P. & Paulasto-Kröckel, M., 2015, 16th EuroSimE 2015, Budapest, Hungary, April 20-22, 2015. Zhang, G. Q., Van Driel, W. D., Rodgers, P., Bailey, C. & de Saint Leger, O. (eds.). France: IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    12 Citations (Scopus)

  • Subjective impact of concert hall acoustics

    Pätynen, J., Tervo, S. & Lokki, T., 2015, Ninth International Conference On Auditorium Acoustics, Paris, France, October 29-31. Institute of Acoustics

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

  • Subsequence Search in Event-Interval Sequences

    Kostakis, O. & Gionis, A., 2015, 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, Santiago, Chile, 9-13 August 2015. New York, NY, USA, p. 851-854

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    8 Citations (Scopus)

  • Subset Sum in the Absence of Concentration

    Austrin, P., Kaski, P., Koivisto, M. & Nederlof, J., 2015, 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany. Mayr, E. W. & Ollinger, N. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 48-61

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Open Access
    File
    22 Citations (Scopus)
    25 Downloads (Pure)

  • Synthesizing Finite-state Protocols from Scenarios and Requirements

    Alur, R., Martin, M. M. K., Raghothaman, M., Stergiou, C., Tripakis, S. & Udupa, A., 2015, Haifa Verification Conference 2014: Haifa, Israel. Yahav, E. (ed.). p. 75-91

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    30 Citations (Scopus)

  • Tailoring animations of example programs

    Sirkiä, T. & Sorva, J., 2015, 15th Koli Calling Conference on Computing Education Research, Koli, Finland, November 19-22, 2015. Kinnunen, P. & Sheard, J. (eds.). New York, NY: ACM, p. 147-151

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    7 Citations (Scopus)

  • Teaching Git on the Side Version Control System as a Course Platform

    Haaranen, L. & Lehtinen, T., 2015, Innovation and Technology in Computer Science Education (ITiCSE)Vilnius, Lithuania, July 04-08, 2015. p. 87-92

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Open Access
    52 Citations (Scopus)

  • Teaching spatial thinking from interdisciplinary perspectives workshop

    Burte, H., Kauppinen, T. & Hegarty, M., 2015, Proceedings of the Workshop on Teaching Spatial Thinking from Interdisciplinary Perspectives co-located with Conference on Spatial Information Theory XII (COSIT 2015). CEUR, p. 1-5 5 p. (CEUR Workshop Proceedings; no. 1557).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Open Access
    File
    28 Downloads (Pure)

  • Techniques for Learning Binary Stochastic Feedforward Neural Networks

    Raiko, P., Berglund, M., Alain, G. & Dinh, L., 7 May 2015, International Conference on Learning Representations (ICLR 2015). OpenReview.net, p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Professional

  • Test Case Generation for Concurrent Systems Using Event Structures

    Athanasiou, K., Ponce de León, H. & Schwoon, S., 2015, International Conference on Tests & Proofs, L'Aquila, 2224 July 2015. Christian Blanchette, J. & Kosmatov, N. (eds.). L'Aquila, Italy: Springer, p. 19-37

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • The blind leading the blind: Network-based location estimation under uncertainty

    Malmi, E., Solin, A. & Gionis, A., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Appice, A., Rodrigues, P. P., Costa, V. S., Gama, J., Jorge, A. & Soares, C. (eds.). Springer, Vol. 9285. p. 406-421 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9285).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • The challenges and opportunities of designing national digital services for cross-border use

    Schwartz, M. & Kautonen, H., 2015, Proceedings of the 4th International Conference of Design, User Experience and Usability: Interactive Experience Design, DUXU 2015. Springer, Vol. 9188. p. 104-115 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9188).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    1 Citation (Scopus)

  • The Design of the Sixth Answer Set Programming Competition

    Gebser, M., Maratea, M. & Ricca, F., 2015, 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015. Springer, p. 531-544

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

    37 Citations (Scopus)

  • The evolving role of expectations in long-term user experience

    Kujala, S. & Miron-Shatz, T., 2015, International Academic Mindtrek, Tampere, Finland, September 23-24, 2015. ACM, p. 167-174

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    20 Citations (Scopus)

  • The funcanny valley: a study of positive emotional reactions to strangeness

    Mäkäräinen, M., Kätsyri, J., Förger, K. & Takala, T., 2015, Academic Mindtrek Conference, Tampere, Finland, September 22-24, 2015. New York: ACM, p. 175-181

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    8 Citations (Scopus)

  • The great expectations of smartphone traffic scheduling

    Looga, V., Ou, Z., Xiao, Y. & Ylä-Jääski, A., 2015, Proceedings - IEEE Symposium on Computers and Communications. IEEE, Vol. 2016-February. p. 828-834 7 p. 7405616

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • There is more to intelligent business than business intelligence

    Korhonen, J. J. & Page, I., 2015, The Fifth International Conference on Business Intelligence and Technology (BUSTECH), Nice, France, March 22-27, 2015. Kaindl, H. & Korhonen, J. J. (eds.). International Academy, Research, and Industry Association (IARIA), p. 80-87

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • The secret of the Musikverein and other shoebox concert halls

    Lokki, T., Pätynen, J., Tervo, S., Kuusinen, A., Tahvanainen, H. & Haapaniemi, A., 2015, Ninth International Conference On Auditorium Acoustics, Paris, France, October 29-31. Institute of Acoustics

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

  • The Ventriloquist Effect in Augmented Reality

    Kytö, M., Kusumoto, K. & Oittinen, P., 2015, IEEE International Symposium on Mixed and Augmented Reality (ISMAR), Fukuoka, September, 2015. IEEE, p. 49-53

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    12 Citations (Scopus)

  • Three methods for exchanging status information of building elements

    Törmä, S., Backman, J., Kiviniemi, M., Aro, J. & Nissila, J., 2015, eWork and eBusiness in Architecture, Engineering and Construction: ECPPM 2014. Mahdavi, A., Martens, B. & Scherer, R. (eds.). CRC Press, p. 173-180 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Time-domain simulations of sound propagation in a simplified forest: A parametric study based on the transmission line matrix (TLM) method

    Chobeau, P., Guillaume, G., Picaut, J., Ecotière, D. & Dutilleux, G., 2015, Proceedings of the 44th International Congress and Exposition on Noise Control Engineering, INTER-NOISE 2015. Burroughs, C. (ed.). Institute of Noise Control Engineering, p. 5632-5643

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Timestamp Accuracy in Healthcare Business Process Improvement

    Laine, S., Soikkeli, J., Ruohonen, T. & Nieminen, M., 24 Jul 2015, Proceedings of the 20th International Conference on Information Quality, ICIQ 2015. MIT Press, p. 150-164 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

    Pinisetty, S., Falcone, Y., Jéron, T. & Marchand, H., 2015, Runtime Verification, Vienna, September 2015. Bartocci, E. & Majumdar, R. (eds.). Springer, p. 306-320

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    11 Citations (Scopus)

  • TourRDF: Representing, enriching, and publishing curated tours based on linked data

    Ikkala, E., Mäkelä, E. & Hyvönen, E., 2015, Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Revised Selected Papers. Springer, p. 145-149 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8982).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    1 Citation (Scopus)

  • Towards a Comprehensive Service Business Management Environment for Equipment Manufacturers

    Tiihonen, J., Borgman, J. & Nieminen, M., 2015, 7th World Congress on Engineering Asset Management, Daejeon City, South Korea, 8-9 October 2012. Lee, W. B., Choi, B., Ma, L. & Mathew, J. (eds.). Springer, p. 559-571

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Towards a tomographic index of systemic risk measures

    Björk, K. M., Kouontchou, P., Lendasse, A., Miche, Y. & Maillet, B., 2015, 23rd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2015 - Proceedings. i6doc.com, p. 543-548 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Towards Disruption Tolerant ICN

    Islam, H., Lukyanenko, A., Tarkoma, S. & Yla-Jaaski, A., 2015, 20th IEEE Symposium on Computers and Communication (ISCC), Larnaca, July 6-9, 2015. IEEE-ISCC, p. 1013-1020

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Towards energy-efficient HealthCare: An Internet-of-Things architecture using intelligent gateways

    Granados, J., Rahmani, A. M., Nikander, P., Liljeberg, P. & Tenhunen, H., 20 Jan 2015, Proceedings of the 2014 4th International Conference on Wireless Mobile Communication and Healthcare - "Transforming Healthcare Through Innovations in Mobile and Wireless Technologies", MOBIHEALTH 2014. IEEE, p. 279-282 4 p. 7015965

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Towards Optimal Synchronous Counting

    Lenzen, C., Rybicki, J. & Suomela, J., 2015, ACM Symposium on Principles of Distributed Computing (PODC), Donostia-San Sebastián, Spain, July 21 - 23, 2015. p. 441-450

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    8 Citations (Scopus)

  • Towards Reliable Automatic Multimodal Content Analysis

    Lautenbacher, O.-P., Tiittula, L., Hirvonen, M., Laaksonen, J. & Kurimo, M., 2015, Conference on Empirical Methods for Natural Language Processing, Fourth Workshop on Vision and Language. Lisbon, Portugal: Association for Computational Linguistics, p. 6-7

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Towards Software Defined Cognitive Networking

    Ahmad, I., Namal, S., Ylianttila, M. & Gurtov, A., 2015, 7th International Conference on New Technologies, Mobility and Security NTMS 2015 27-29 July 2015 Paris, France. p. 1-5

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    18 Citations (Scopus)

  • Towards systemic evaluation of the business value of IT

    Töhönen, H., Itälä, T., Kauppinen, M. & Männistö, T., 2015, Fifth International Symposium on Business Modeling and Software Design (BMSD 2015), Milan, Italy, July 6-8, 2015. Shishkov, B. (ed.). p. 163-170

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Tractable Bayesian Network Structure Learning with Bounded Vertex Cover Number

    Korhonen, J. H. & Parviainen, P., 2015, The Twenty-ninth Annual Conference on Neural Information Processing Systems (NIPS), Montreal, 6.-12.12.2015. Cortes, C., Lawrence, N. D., Lee, D. D., Sugiyama, M. & Garnett, R. (eds.). p. 622-630 (Advances in neural information processing systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Open Access
    16 Citations (Scopus)

  • Transparent Data Supply for Open Information Production Processes

    Laine, S., Lee, C. & Nieminen, M., 2015, 23rd European Conference on Information Systems (ECIS), Münster, Germany, 26-29 May, 2015. Becker, J., vom Brocke, J. & de Marco, M. (eds.). Association for Information Systems, p. Paper 115

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    8 Citations (Scopus)

  • Tuning Algorithms for Jumbled Matching

    Chhabra, T., Ghuman, S. S. & Tarhio, J., 2015, Prague Stringology Conference 2015, August 24-26, 2015Prague, Czech Republic,. Holub, J. & Zdarek, J. (eds.). p. 57-66

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    2 Citations (Scopus)

  • Tuning Phrase-Based Segmented Translation for a Morphologically Complex Target Language

    Grönroos, S.-A., Virpioja, S. & Kurimo, M., 2015, The Tenth Workshop on Statistical Machine Translation (WMT15); Lisbon, Portugal, 17-18 September. Association for Computational Linguistics, p. 105-111

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

  • Unblocking stolen mobile devices using SS7-MAP vulnerabilities: Exploiting the relationship between IMEI and IMSI for EIR access

    Rao, S. P., Holtmanns, S., Oliver, I. & Aura, T., 2 Dec 2015, Proceedings - 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015. IEEE, Vol. 1. p. 1171-1176 6 p. 7345408

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    21 Citations (Scopus)

  • Unfolding based Minimal Test Suites for Testing Multithreaded Programs

    Ponce-de-León, H., Saarikivi, O., Kähkönen, K., Heljanko, K. & Esparza, J., 2015, International Conference on Application of Concurrency to System Design, Brussels, June 2426, 2015. Stefan Haar, R. M. (ed.). Brussels: IEEE, p. 40-49

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    7 Citations (Scopus)