TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. A4 Artikkeli konferenssijulkaisussa
  2. Julkaistu

    A State Space Tool for Concurrent System Models Expressed In C++

    Valmari, A., 14 joulukuuta 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Graph-Based Map Matching for Indoor Positioning

    Koivisto, M., Nurminen, H., Ali-Löytty, S. & Piche, R., 1 joulukuuta 2015, 10th International Conference on Information, Communications and Signal Processing (ICICS). IEEE, 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Augmenting Technology Trees: Automation and Tool Support

    Heinimäki, T. J. & Elomaa, T., syyskuuta 2015, Proceedings of the Seventh International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2015). IEEE, s. 68-75 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Received Signal Strength models for WLAN and BLE-based indoor positioning in multi-floor buildings

    Lohan, E-S., Talvitie, J., Figueiredo e Silva, P., Nurminen, H., Ali-Löytty, S. & Piche, R., 23 kesäkuuta 2015, International Conference on Localization and GNSS (ICL-GNSS). IEEE, 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Stop It, and Be Stubborn!

    Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Visual tools to support innovation development: User experiences from the Parisian ecosystem

    Russell, M. G., Still, K. & Huhtamäki, J. V., 10 kesäkuuta 2015, Proceedings of the International Forum on Knowledge Asset Dynamics, 10-12 June 2015, Bari, Italy: IKFAD 2015. Institute of Knowledge Asset Management & Arts for Business Institute, 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Generalized hyperbolic harmonic functions in the plane

    Eriksson, S-L., Orelma, H. & Vuojamo, V., 10 maaliskuuta 2015, Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014). American Institute of Physics Inc., Vuosikerta 1648. 440007

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    Semantic Labeling of Places based on Phone Usage Features using Supervised Learning

    Rivero Rodriguez, A., Leppäkoski, H. & Piché, R., 5 helmikuuta 2015, 2014 Ubiquitous Positioning Indoor Navigation and Location Based Service, UPINLBS 2014 - Conference Proceedings. Piscataway, NJ, USA: IEEE, s. 97-102 6 Sivumäärä 7033715

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Winner-Does-Not-Take-All: Selective Attention and Local Bias in Platform-Based Markets

    Huotari, P., Järvi, K., Kortelainen, S. & Huhtamäki, J., tammikuuta 2015, Academy of Management Proceedings: Meeting Abstract Supplement. Academy of Management, (Academy of Management. Annual Meeting Proceedings).

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Motion Model for Positioning with Graph-Based Indoor Map

    Nurminen, H., Koivisto, M., Ali-Löytty, S. & Piche, R., 2015, 2014 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 27-30 Oct. 2014, Busan, South Korea. Piscataway, NJ: IEEE, s. 646-655 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Using context overlays to analyse the role of a priori information with Process Mining

    Pileggi, P., Rivero Rodriguez, A. & Nykänen, O., 2015, 2015 IEEE International Systems Conference (SysCon 2015) Proceedings. Vancouver, BC, Canada: IEEE, s. 639-644 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Engineering motif search for large graphs

    Björklund, A., Kaski, P., Kowalik, Ł. & Lauri, J., 2015, 2015 Proceedings of the Seventeenth Workshop on Algorithm Engineering and Experiments (ALENEX). s. 104-118 15 Sivumäärä (Workshop on Algorithm Engineering and Experiments).

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Infinitesimals and Pavelka logic

    Turunen, E. & Navara, M., 2015, PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY. Alonso, JM., Bustince, H. & Reformat, M. (toim.). PARIS: Atlantis Press, s. 1027-1033 7 Sivumäärä (Advances in Intelligent Systems Research; painos 89).

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Massive-Scale Tree Modelling from TLS Data

    Raumonen, P., Casella, E., Calders, K., Murphy, S., Åkerblom, M. & Kaasalainen, M., 2015, ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. Stilla, U. & Heipke, C. (toim.). GOTTINGEN: COPERNICUS GESELLSCHAFT MBH, Vuosikerta II-3/W4. s. 189-196 8 Sivumäärä (International Archives of the Photogrammetry Remote Sensing and Spatial Information Sciences; painos 43).

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Approach for Investigating Crowdfunding Campaigns with Platform Data: Case Indiegogo

    Huhtamäki, J., Lasrado, L., Menon, K., Kärkkäinen, H. & Jussila, J., 2015, Academic MindTrek’15: September 22-24, 2015, Tampere, Finland. ACM, 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    GNSS orbit prediction with enhanced force model

    Pukkila, A., Ala-Luhtala, J., Piche, R. & Ali-Löytty, S., 2015, 2015 International Conference on Localization and GNSS (ICL-GNSS). IEEE, 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Practical Partial Order Reduction for CSP

    Gibson-Robinson, T., Hansen, H., Roscoe, A. W. & Wang, X., 2015, Nasa Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer International Publishing, Vuosikerta 9058. s. 188-203 16 Sivumäärä (Lecture Notes in Computer Science; painos 9058).

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    On Robust Output Regulation for Continuous-Time Periodic Systems

    Paunonen, L., 2015, 2015 Proceedings of the SIAM Conference on Control and its Applications. SIAM, Society for Industrial and Applied Mathematics, 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    An Initial Homophily Indicator to Reinforce Context-Aware Semantic Computing

    Rivero-Rodriguez, A., Pileggi, P. & Nykänen, O., 2015, 7th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN). Riga: IEEE, s. 89-93 5 Sivumäärä (International Conference on Computational Intelligence, Communications and Networks).

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    Towards Traditional Simulation Models of Context Using Process Mining

    Pileggi, P., Rivero-Rodriguez, A. & Nykänen, O., 2015, Computational Intelligence, Communication Systems and Networks (CICSyN), 2015 7th International Conference on. IEEE, s. 70-75 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  22. Julkaistu

    Robust Regulation of SISO Systems: The Fractional Ideal Approach

    Laakkonen, P. & Quadrat, A., 2015, Proceedings of the SIAM Conference on Control and Its Applications (CT15). SIAM, Society for Industrial and Applied Mathematics, s. 311-318 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  23. Julkaistu

    Associating Event Logs with Ontologies for Semantic Process Mining and Analysis

    Nykänen, O., Rivero-Rodriguez, A., Pileggi, P., Ranta, P. A., Kailanto, M. & Koro, J., 2015, Proceedings of the 19th International Academic Mindtrek Conference: AcademicMindTrek '15. New York, NY, USA: ACM, s. 138-143 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu

    Social Approach for Context Analysis: Modelling and Predicting Social Network Evolution using Homophily

    Rivero-Rodriguez, A., Pileggi, P. P. & Nykänen, O. A., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, Novemer 2-6,2015. Proceedings. Springer International Publishing, s. 513-519 7 Sivumäärä (Lecture Notes in Artificial Intelligence; painos 9405).

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Minimal Solutions of Fuzzy Relation Equations with General Operators on the Unit Interval

    Medina, J., Turunen, E., Bartl, E. & Diaz-Moreno, J. C., 2014, Information Processing and Management of Uncertainty in Knowledge-Based Systems. 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III. Communications in Computer and Information Science. Springer International Publishing, s. 81-90 10 Sivumäärä (Communications in Computer and Information Science; painos 444).

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    Ecosystemic relational capital: framework and process for measuring it

    Still, K., Huhtamäki, J. & Russell, M. G., 2014, Triple Helix XII International Conference, THC 2014. The Triple Helix and Innovation-Based Economic Growth: New Frontiers and Solutions, September 11-13, 2014, Tomsk, Russia. Etzkowitz, H., Uvarov, A. F. & Galazhinsky, E. V. (toim.). Triple Helix Association, s. 1-10 10 Sivumäärä (Triple Helix International Conference).

    Tutkimustuotosvertaisarvioitu

  27. Julkaistu

    On polynomial stability of linear systems

    Paunonen, L. & Laakkonen, P., 2014, 21st International Symposium on Mathematical Theory of Networks and Systems, MTNS 2014, July 7-11, 2014, Groningen, the Netherlands. Groningen, the Netherlands: University of Groningen, s. 233-238 6 Sivumäärä (International Symposium on Mathematical Theory of Networks and Systems).

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    Evaluating the Consistency of Estimation

    Ivanov, P., Ali-Löytty, S. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Piscataway: IEEE, 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  29. Julkaistu

    Visual network analysis of Twitter data for co-organizing conferences: case CMAD 2013

    Jussila, J., Huhtamäki, J., Henttonen, K., Kärkkäinen, H. & Still, K., 2014, 47th Hawaii International Conference on System Sciences, HICSS 2014, 6.-9.1.2014, Waikoloa, HI. Computer Society Press, s. 1474-1483 10 Sivumäärä (Annual Hawaii International Conference on System Sciences).

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    Teachers’ learning analytics tools in a social media enhanced learning environment

    Tervakari, A., Kuosa, K., Koro, J., Paukkeri, J. & Kailanto, M., 2014, Proceedings of the 17th International Conference on Interactive Collaborative Learning, ICL 2014, 3-6 December, 2014, Dubai, UAE. IEEE, s. 355-360 6 Sivumäärä (International Conference on Interactive Collaborative Learning).

    Tutkimustuotosvertaisarvioitu

  31. Julkaistu

    A method to enforce map constraints in a particle filter's position estimate

    Piche, R. & Koivisto, M., 2014, 2014 11th Workshop on Positioning, Navigation and Communication (WPNC), 12-13 March 2014, Dresden, Germany. IEEE, 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    New era of Business Analytics - Making sense of business ecosystems

    Jussila, J., Kärkkäinen, H., Kortelainen, S., Huhtamäki, J., Aho, T. & Tebest, T., 2014, Academic MindTrek Conference 2014, Tampere, Finland, November 4-6, 2014. Lugmayr, A., Franssila, H. & Paavilainen, J. (toim.). New York, NY: ACM, s. 276-278 3 Sivumäärä (MindTrek Conference).

    Tutkimustuotosvertaisarvioitu

  33. Julkaistu

    Robustness of Controllers for SISO-Plants and Signals Generated by an Infinite-Dimensional Exosystem

    Laakkonen, P. & Pohjolainen, S., 2014, 19th International Conference on Methods and Models in Automation and Robotics, MMAR 2014, Miedzyzdroje, Poland, September 2-5, 2014. IEEE, s. 538-543 6 Sivumäärä (International conference on methods and models in automation and robotics).

    Tutkimustuotosvertaisarvioitu

  34. Julkaistu

    Visualizing informal learning behavior from conference participants Twitter data

    Aramo-Immonen, H., Jussila, J. & Huhtamäki, J., 2014, Second International Conference on Technological Ecosystems for Enhancing Multiculturality, TEEM 2014, Salamanca, Spain, October 1-3, 2014. Francisco Jose, G-P. (toim.). New York, NY: ACM, s. 603-610 8 Sivumäärä (International Conference on Technological Ecosystems for Enhancing Multiculturality).

    Tutkimustuotosvertaisarvioitu

  35. Julkaistu

    Content analysis and visualizations - Tools for a social media-enhanced learning environment

    Kuosa, K., Koro, J., Tervakari, A., Paukkeri, J. & Kailanto, M., 2014, Proceedings of the 17th International Conference on Interactive Collaborative Learning, ICL 2014, 3-6 December, 2014, Dubai, UAE. IEEE, s. 361-367 7 Sivumäärä (International Conference on Interactive Collaborative Learning).

    Tutkimustuotosvertaisarvioitu

  36. Julkaistu

    New Insights for Relational Capital

    Still, K., Huhtamäki, J. & Russell, M., 2014, 11th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning, ICICKM 2014, November 6-7, 2014, Sydney, Australia. Reading, UK: Academic Conferences and Publishing International Limited, s. 384-392 10 Sivumäärä (International Conference on Intellectual Capital, Knowledge Management and Organisational Learning).

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    A New Controller Structure for Robust Output Regulation

    Paunonen, L. & Pohjolainen, S., 2014, Proceedings of the 53rd IEEE Conference on Decision and Control, IEEE CDC 2014, 15-17 December, 2014, Los Angeles, CA, USA. IEEE, s. 4721-4726 6 Sivumäärä (IEEE Conference on Decision and Control).

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    A field test of parametric WLAN-fingerprint-positioning methods

    Muller, P., Raitoharju, M. & Piche, R., 2014, 17th International Conference on Information Fusion (FUSION), 7-10 July 2014, Salamanca, Spain. Piscataway: Institute of Electrical and Electronics Engineers, s. 1-8 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN

    Alasuutari, A., Nakamatsu, K. & Abe, J. M., 2014, Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014. IOS Press, s. 248 - 257 10 Sivumäärä (Frontiers in Artificial Intelligence and Applications; painos 262).

    Tutkimustuotosvertaisarvioitu

  40. Julkaistu

    Productification for Collaborative Semantic Modeling

    Nykänen, O., 2014, Proceedings of the 18th Academic MindTrek Conference 2014: "Media Business, Management, Content & Services", 4-6 November, 2014, Tampere, Finland. Lugmayr, A., Franssila, H. & Paavilainen, J. (toim.). New York, NY: The Association for Computing Machinery, ACM, s. 1-6 6 Sivumäärä (MindTrek Conference).

    Tutkimustuotosvertaisarvioitu

  41. Julkaistu

    A Tool for Evaluating Social Media Enhanced Learning Environments

    Silius, K., Tervakari, A., Pirttilä, O., Paukkeri, J. & Mäkelä, T., 2014, IEEE Global Engineering Education Conference, EDUCON 2014, April 3-5, 2014, Istanbul, Turkey. IEEE, s. 152-157 6 Sivumäärä (IEEE Global Engineering Education Conference).

    Tutkimustuotosvertaisarvioitu

  42. Julkaistu

    Modelling of Joule heating based self-alignment method for metal grid line passivation

    Janka, M., Raumonen, P., Tuukkanen, S. & Lupo, D., 2014, 2013 MRS Fall Meeting - Symposium M - Large-Area Processing and Patterning for Active Optical and Electronic Devices. MATERIALS RESEARCH SOCIETY, 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  43. Julkaistu

    Usefulness of Information Visualizations Based on Educational Data

    Tervakari, A., Silius, K., Koro, J., Paukkeri, J. & Pirttilä, O., 2014, IEEE Global Engineering Education Conference, EDUCON 2014, April 3-5, 2014, Istanbul, Turkey. IEEE, s. 142-151 10 Sivumäärä (IEEE Global Engineering Education Conference).

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Application of Hill-Clohessy-Wiltshire Equation in GNSS Orbit Prediction

    Zhang, X. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Nurmi, J., Ruotsalainen, L., Lohan, E-S., Salcedo, J. & Thombre, S. (toim.). Piscataway: IEEE, s. 1-6 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  45. Julkaistu

    On the Structure of Robust Controllers for Infinite-Dimensional Systems

    Hämäläinen, T. & Pohjolainen, S., 2014, 21st International Symposium on Mathematical Theory of Networks and Systems, MTNS 2014, July 7-11, 2014, Groningen, The Netherlands. Groningen, the Netherlands: University of Groningen, s. 938-941 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  46. Julkaistu

    Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

    Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K. & Sun, J., 2014, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Biere, A. & Bloem, R. (toim.). Springer International Publishing, s. 391-406 16 Sivumäärä (Lecture Notes in Computer Science; painos 8559).

    Tutkimustuotosvertaisarvioitu

  47. Julkaistu

    On Convergence and Accuracy of State-Space Approximations of Squared Exponential Covariance Functions

    Särkkä, S. & Piche, R., 2014, 2014 IEEE International Workshop on Machine Learning for Signal Processing (MLSP), September 21-24, 2014, Reims, France. Piscataway: Institute of Electrical and Electronics Engineers, s. 1-6 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Modeling of superbursts in neuronal cultures: Which synaptic and cellular mechanisms are required?

    Mäki-Marttunen, T. M., Acimovic, J., Ruohonen, K. P. & Linne, M-L., 9 marraskuuta 2013, Neuroscience 2013; 43rd Annual Meeting, New Orleans, USA, November, 9-13, 2013. 678.06/MMM17

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    Information visualization of Twitter data for co-organizing conferences

    Jussila, J., Huhtamäki, J., Kärkkäinen, H. & Still, K., 2013, 17th International Academic MindTrek Conference, October 1-4, 2013, Tampere, Finland. New York, NY: ACM, s. 139-145 7 Sivumäärä (MindTrek Conference).

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    Solvability of the output regulation problem with a feedforward controller

    Laakkonen, P. & Pohjolainen, S., 2013, 12th European Control Conference, ECC 2013, Zürich, Switzerland, 17.-19.7.2013. Zürich, Sveitsi: European Control Association EUCA, s. 560-565 6 Sivumäärä (European Control Conference).

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Developing learning analytics for TUT Circle

    Tervakari, A-M., Marttila, J., Kailanto, M., Huhtamäki, J., Koro, J. & Silius, K., 2013, Open and Social Technologies for Networked Learning. IFIP WG 3.4 International Conference, OST 2012, Tallinn, Estonia, July 30-August 3, 2012, Revised Selected Papers.. Ley, T., Ruohonen, M., Laanpere, M. & Tatnall, A. (toim.). Springer Berlin Heidelberg, s. 101-110 10 Sivumäärä (IFIP Advances in Information and Communication Technology; painos 395).

    Tutkimustuotosvertaisarvioitu

ID: 22096