TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. 2016
  2. Julkaistu

    Обзор параметрических методов позиционирования на основе концепции отпечатка пальца

    Müller, P., Raitoharju, M., Ali-Löytty, S., Wirola, L. & Piche, R., 2016, julkaisussa : Giroskopiya I Navigatsiya. 24, 1, s. 3-35

    Tutkimustuotos: Katsausartikkelivertaisarvioitu

  3. 2015
  4. 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

  5. Julkaistu

    Priority Queue Classes with Priority Update

    Rintala, M. & 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. 179-193 15 Sivumäärä 13. (CEUR Workshop Proceedings; painos 1525).

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Integer Linear Programming-Based Scheduling for Transport Triggered Architectures

    Äijö, T., Jääskeläinen, P., Elomaa, T., Kultala, H. & Takala, J., 4 joulukuuta 2015, julkaisussa : ACM Transactions on Architecture and Code Optimization. 12, 4, 22 Sivumäärä, 59.

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Binomial Gaussian mixture filter

    Raitoharju, M., Ali-Löytty, S. & Piché, R., 2 joulukuuta 2015, julkaisussa : Eurasip Journal on Advances in Signal Processing. 2015, 1, 36.

    Tutkimustuotosvertaisarvioitu

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

  9. Julkaistu

    Technology Trees and Tools: Constructing Development Graphs for Digital Games

    Heinimäki, T. J., 27 marraskuuta 2015, Tampere University of Technology. 100 Sivumäärä (Tampere University of Technology. Publication; painos 1349)

    Tutkimustuotos

  10. Julkaistu

    SimpleTree: An Efficient Open Source Tool to Build Tree Models from TLS Clouds

    Hackenberg, J., Spiecker, H., Calders, K., Disney, M. & Raumonen, P., 23 marraskuuta 2015, julkaisussa : Forests: Open Access Journal. 6, 11, s. 4245-4294 50 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Fractional Ornstein-Uhlenbeck Processes

    Kaarakka, T., 6 marraskuuta 2015, Tampere University of Technology. 102 Sivumäärä (Tampere University of Technology. Publication; painos 1338)

    Tutkimustuotos

  12. Julkaistu

    Electromagnetic 3D subsurface imaging with source sparsity for a synthetic object

    Pursiainen, S. & Kaasalainen, M., 4 marraskuuta 2015, julkaisussa : Inverse Problems. 31, 12, 17 Sivumäärä, 125004.

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Comparison Study for Whitney (Raviart-Thomas) Type Source Models in Finite Element Method Based EEG Forward Modeling

    Pursiainen, S., Bauer, M., Vorwerk, J., Köstler, H. & Wolters, C. H., marraskuuta 2015, julkaisussa : IEEE Transactions on Biomedical Engineering. 62, 11, s. 2648-2656 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Moodlen työpaja: Vertaisarviointi osana opetusta matematiikan ensimmäisellä peruskurssilla

    Mäkelä, A-M., Ali-Löytty, S. S., Kauhanen, J. P. & Joutsenlahti, J., 30 lokakuuta 2015, s. 15-15. 1 Sivumäärä.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  15. Julkaistu

    A General Definition of the O-notation for Algorithm Analysis

    Rutanen, K. M., Gomez Herrero, G., Eriksson, S-L. A. & Egiazarian, K., 21 lokakuuta 2015, julkaisussa : Bulletin of EATCS. 117, 33 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Polynomial Input-Output Stability for Linear Systems

    Paunonen, L. & Laakkonen, P., 1 lokakuuta 2015, julkaisussa : IEEE Transactions on Automatic Control. 60, 10, s. 2797-2802 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Exploring co-learning behavior of conference participants with visual network analysis of Twitter data

    Aramo-Immonen, H., Jussila, J. & Huhtamäki, J., lokakuuta 2015, julkaisussa : Computers in Human Behavior. 51, Part B, s. 1154–1162 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    VLT/SPHERE- and ALMA-based shape reconstruction of asteroid (3) Juno

    Viikinkoski, M., Kaasalainen, M., Durech, J., Carry, B., Marsset, M., Fusco, T., Dumas, C., Merline, W. J., Yang, B., Berthier, J., Kervella, P. & Vernazza, P., 1 syyskuuta 2015, julkaisussa : Astronomy and Astrophysics. 581, 5 Sivumäärä, L3.

    Tutkimustuotosvertaisarvioitu

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

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

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

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

  23. Julkaistu

    Gaussian filtering and variational approximations for Bayesian smoothing in continuous-discrete stochastic dynamic systems

    Ala-Luhtala, J., Särkkä, S. & Piche, R., kesäkuuta 2015, julkaisussa : Signal Processing. 111, s. 124-136 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu

    Understanding business ecosystem dynamics: A data-driven approach

    Basole, R. C., Russell, M. G., Huhtamäki, J., Rubens, N., Still, K. & Park, H., 1 toukokuuta 2015, julkaisussa : ACM Transactions on Management Information Systems. 6, 2, 6.

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Fundamental solution of k-hyperbolic harmonic functions in odd spaces

    Eriksson, S-L. & Orelma, H., 13 huhtikuuta 2015, julkaisussa : Journal of Physics: Conference Series. 597, 1, 012034.

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    ADAM: A general method for using various data types in asteroid reconstruction

    Viikinkoski, M., Kaasalainen, M. & Durech, J., 1 huhtikuuta 2015, julkaisussa : Astronomy and Astrophysics. 576, 11 Sivumäärä, A8.

    Tutkimustuotosvertaisarvioitu

  27. Julkaistu

    Projektioppiminen: lähtökohtana ympäröivä maailma

    Eriksson, S-L. & Viro, E., 11 maaliskuuta 2015, julkaisussa : LUMA-sanomat.

    Tutkimustuotos

  28. Julkaistu

    Tampereen matemaattisten aineiden aineenopettajakoulutus

    Eriksson, S-L., Haukkanen, P., Hukka, T. I. & Lemmetyinen, H., 11 maaliskuuta 2015, julkaisussa : Lumat. 3, 6, s. 800-807 8 Sivumäärä

    Tutkimustuotos

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

  30. Julkaistu

    Multi-stable dynamics of the non-adiabatic repressilator

    Potapov, I., Zhurov, B. & Volkov, E., 6 maaliskuuta 2015, julkaisussa : Journal of the Royal Society. Interface. 12, 104, 20141315.

    Tutkimustuotosvertaisarvioitu

  31. Julkaistu

    Designing controllers with reduced order internal models

    Paunonen, L., 1 maaliskuuta 2015, julkaisussa : IEEE Transactions on Automatic Control. 60, 3, s. 775-780 6 Sivumäärä, 6826480.

    Tutkimustuotosvertaisarvioitu

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

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

  34. Julkaistu

    A general framework for island systems

    Foldes, S., Horváth, E. K., Radeleczki, S. & Waldhauser, T., 2015, julkaisussa : Acta Universitatis Szegediensis: Acta Scientiarum Mathematicarum. 81, 1-2, s. 3-24 22 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  35. Julkaistu

    Analysis of geometric primitives in quantitative structure models of tree stems

    Åkerblom, M., Raumonen, P., Kaasalainen, M. & Casella, E., 2015, julkaisussa : Remote Sensing. 7, 4, s. 4581-4603 23 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  37. Julkaistu

    Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings

    Devillers, R. (toim.) & Valmari, A. (toim.), 2015, Springer Verlag. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9115)

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    Application of terrestrial LiDAR and modelling of tree branching structure for plant- scaling models in tropical forest trees

    Lau Sarmiento, A., Bartholomeus, H., Herold, M., Martius, C., Malhi, Y., Patrick Bentley, L., Shenkin, A. & Raumonen, P., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 96-98 3 Sivumäärä

    Tutkimustuotos

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

  40. Julkaistu

    Assessing coupling dynamics from an ensemble of time series

    Gómez-Herrero, G., Wu, W., Rutanen, K., Soriano, M. C., Pipa, G. & Vicente, R., 2015, julkaisussa : Entropy. 17, 4, s. 1958-1970 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  42. Julkaistu

    Asteroid Models from Multiple Data Sources

    Ďurech, J., Carry, B., Delbo, M., Kaasalainen, M. & Viikinkoski, M., 2015, Asteroids IV. Michel, P., DeMeo, F. E. & Bottke Jr., W. F. (toim.). Tucson: UNIVERSITY OF ARIZONA PRESS, s. 183-202 20 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  44. Julkaistu

    Equal Opportunities in Education of Science, Mathematics and Technology

    Eriksson, S-L. A., 2015, The Proceedings of International Symposium Justice and Solidarity: The European Utopia in a Globalising Era, Kuopio 2.-3. September 2014. Laurinkari, J. & Tarvanen, M. (toim.). 14 Sivumäärä

    Tutkimustuotos

  45. Julkaistu

    Frequency domain robust regulation of signals generated by an infinite-dimensional exosystem

    Laakkonen, P. & Pohjolainen, S., 2015, julkaisussa : SIAM Journal on Control and Optimization. 53, 1, s. 139-166 28 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

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

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

  50. Julkaistu

    New Insights for Relational Capital

    Still, K., Huhtamäki, J. & Russell, M. G., 2015, julkaisussa : Electronic Journal of Knowledge Management. 13, 1, s. 167-182 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Nondestructive estimates of above-ground biomass using terrestrial laser scanning

    Calders, K., Newnhamn, G., Burt, A., Murphy, S., Raumonen, P., Herold, M., Culvenor, D., Avitable, V., Disney, M., Armston, J. & Kaasalainen, M., 2015, julkaisussa : Methods in Ecology and Evolution. 6, 2, s. 198-208 11 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  52. Julkaistu

    On constructibility and unconstructibility of LTS operators from other LTS operators

    Valmari, A., 2015, julkaisussa : Acta Informatica. 52, 2-3, s. 207-234 28 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  53. Julkaistu

    On Robustness of Strongly Stable Semigroups with Spectrum on iR

    Paunonen, L., 2015, Semigroups of Operators -Theory and Applications: Będlewo, Poland, October 2013. Banasiak, J., Bobrowski, A. & Lachowicz, M. (toim.). Springer International Publishing, s. 105-121 17 Sivumäärä (Springer Proceedings in Mathematics & Statistics; painos 113).

    Tutkimustuotosvertaisarvioitu

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

  55. Julkaistu

    Ostinato: The Exploration-Automation Cycle of User-Centric, Process-Automated Data-Driven Visual Network Analytics

    Huhtamäki, J., Russell, M. G., Rubens, N. & Still, K., 2015, Transparency in Social Media: Tools, Methods and Algorithms for Mediating Online Interactions. Matei, S. A., Russell, M. G. & Bertino, E. (toim.). Springer International Publishing, s. 197-222 (Computational Social Science).

    Tutkimustuotosvertaisarvioitu

  56. Julkaistu

    Perfect Pavelka Logic

    Turunen, E. & Navara, M., 2015, julkaisussa : Fuzzy Sets and Systems.

    Tutkimustuotosvertaisarvioitu

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

  58. Julkaistu

    Projektioppiminen yläkoulun matematiikassa

    Viro, E. & Eriksson, S-L., 2015, julkaisussa : Lumat. 3, 7, s. 1005-1009 5 Sivumäärä

    Tutkimustuotos

  59. Julkaistu

    Quality measures for improving technology trees

    Heinimäki, T. J. & Elomaa, T., 2015, julkaisussa : International Journal of Computer Games Technology. 2015, 10 Sivumäärä, 975371.

    Tutkimustuotosvertaisarvioitu

  60. Julkaistu

    Quantitative structure tree models from terrestrial laser scanner data

    Raumonen, P. A., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 32-34 3 Sivumäärä

    Tutkimustuotos

  61. Julkaistu

    Reducing uncertainties in above-ground biomass estimates using terrestrial laser scanning

    Calders, K., Burt, A., Newnham, G., Disney, M., Murphy, S., Raumonen, P., Herold, M., Culvenor, D., Armston, J., Avitabile, V. & Kaasalainen, M., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 197-199 3 Sivumäärä

    Tutkimustuotos

  62. Julkaistu

    Relational Capital for Shared Vision in Innovation Ecosystems

    Russell, M. G., Huhtamäki, J., Still, K., Rubens, N. & Basole, R. C., 2015, julkaisussa : Triple Helix: A Journal of University-Industry-Government Innovation and Entrepreneurship. 2, 1, 36 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  63. Julkaistu

    Robustness of strong stability of discrete semigroups

    Paunonen, L., 2015, julkaisussa : Systems and Control Letters. 75, s. 35-40 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  65. Julkaistu

    Robust Regulation Theory for Transfer Functions With a Coprime Factorization

    Laakkonen, P., 2015, julkaisussa : IEEE Transactions on Automatic Control. 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  67. Julkaistu

    Some Ring Theory from Jeno Szigeti

    Foldes, S., 2015, julkaisussa : Miskolc Mathematical Notes. 16, 1, s. 115-121 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  68. Julkaistu

    Tämä toimii! -teknologiakilpailu sopii teknologian opiskeluun alakoulussa

    Eriksson, S-L. A. & Ylinen, K., 2015, julkaisussa : LUMA-sanomat.

    Tutkimustuotos

  69. Julkaistu

    Terrestrial LiDAR and 3D tree Quantitative Structure Model for quantification of aboveground biomass loss from selective logging in a tropical rainforest of Peru

    Gonzalez de Tanago, J., Bartholomeus, H., Joseph, S., Herold, M., Avitabile, V., Goodman, R., Raumonen, P. & Burt, A., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 119-121 3 Sivumäärä

    Tutkimustuotos

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

  71. Julkaistu

    Traceability of essential climate variables through forest stand reconstruction with terrestrial laser scanning

    Calders, K., Disney, M., Nightingale, J., Origo, N., Barker, A., Raumonen, P. A., Lewis, P., Burt, A., Brennan, J. & Fox, N., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 122-124 3 Sivumäärä

    Tutkimustuotos

  72. Julkaistu

    Tuottavuusloikka sosiaalisen median avulla

    Jussila, J. J., Kärkkäinen, H., Aramo-Immonen, H. & Huhtamäki, J., 2015, TiedeAreena 2015. Väkiparta, M. (toim.). Pori: Tampereen teknillinen yliopisto, Porin laitos, s. 26-27 2 Sivumäärä ( Laitosraportti - TUT Publication series).

    Tutkimustuotosvertaisarvioitu

  73. Julkaistu

    Tviittien politiikkaa – poliittisen viestinnän sisäpiirit Twitterissä

    Vainikka, E. & Huhtamäki, J., 2015, julkaisussa : Media ja Viestintä. 38, 3, s. 165-183 19 Sivumäärä

    Tutkimustuotos

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

  75. 2014
  76. Julkaistu

    Guard-based Partial Order Reduction

    Laarman, A., Pater, E., Van de Pol, J. & Hansen, H., joulukuuta 2014, julkaisussa : International Journal on Software Tools for Technology Transfer. 18, 4, s. 427-448

    Tutkimustuotosvertaisarvioitu

  77. Julkaistu

    UWB Positioning with Generalized Gaussian Mixture Filters

    Muller, P., Wymeersch, H. & Piche, R., lokakuuta 2014, julkaisussa : IEEE Transactions on Mobile Computing. 13, 10, s. 2406-2414 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  78. Julkaistu

    Katsaus Beidou-satelliittijärjestelmään ja sen kellojen estimointiin

    Rautalin, S., syyskuuta 2014, 22 Sivumäärä.

    Tutkimustuotos

  79. Julkaistu

    Disease state index and disease state fingerprint: supervised learning applied to clinical decision support in Alzheimer’s disease

    Mattila, J., 9 toukokuuta 2014, Espoo: VTT. 96 Sivumäärä (VTT Science; painos 51)

    Tutkimustuotos

  80. Julkaistu

    20th Inverse Days 2014, Tampere 9th-11th December 2014: Abstracts

    Åkerblom, M. (toim.), 2014, Tampere University of Technology, Department of Mathematics. 38 Sivumäärä (Tampere University of Technology. Department of Mathematics. Research Report; painos 101)

    Tutkimustuotos

  81. Julkaistu

    A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

    Hansen, H. & Timmer, M., 2014, julkaisussa : Theoretical Computer Science. 528, s. 103-123 21 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  82. Julkaistu

    Adaptive mobile tracking in unknown non-line-of-sight conditions with application to digital TV networks

    Chen, L., Piche, R., Kuusniemi, H. & Chen, R., 2014, julkaisussa : Eurasip Journal on Advances in Signal Processing. 2014, 10 Sivumäärä, UNSP 22.

    Tutkimustuotosvertaisarvioitu

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

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

  85. Julkaistu

    An algebraic study of Peterson´s Intermediate Syllogisms

    Turunen, E., 2014, julkaisussa : Soft Computing. s. 1-14 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  87. Julkaistu

    Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

    Rodriguez, J. T., Turunen, E., Ruan, D. & Montero, J., 2014, julkaisussa : Fuzzy Sets and Systems. 242, s. 132-147 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

  90. Julkaistu

    A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

    Valmari, A., 2014, julkaisussa : Electronic Proceedings in Theoretical Computer Science. 151, s. 355-369 15 Sivumäärä, 25.

    Tutkimustuotosvertaisarvioitu

  91. Julkaistu

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, julkaisussa : Acta Cybernetica. 21, 3, s. 307-330 24 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  93. Julkaistu

    Bagdad - matematiikkaa täältä ikuisuuteen matematiikkanäyttely

    Eriksson, S-L. & Vainio, J., 2014, julkaisussa : Lumat. 2, 1, s. 17-46 30 Sivumäärä

    Tutkimustuotos

  94. Julkaistu

    Change Detection of Tree Biomass with Terrestrial Laser Scanning and Quantitative Structure Modelling

    Kaasalainen, S., Krooks, A., Liski, J., Raumonen, P., Kaartinen, H., Kaasalainen, M., Puttonen, E., Anttila, K. & Mäkipää, R., 2014, julkaisussa : Remote Sensing. 6, 5, s. 3906-3922 25 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  95. Julkaistu

    Combinational Studies of Vectors and Sequences

    Major, L., 2014, Tampere: Tampere University of Technology. 73 Sivumäärä (Tampere University of Technology. Publication; painos 1220)

    Tutkimustuotos

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

  97. Julkaistu

    Detection of anomalies in radio tomography of asteroids: source count and forward errors

    Pursiainen, S. & Kaasalainen, M., 2014, julkaisussa : Planetary and Space Science. 99, s. 36-47 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  99. Julkaistu

    Distributed Indoor Positioning System With Inertial Measurements and Map Matching

    Perttula, A., Leppäkoski, H., Kirkko-Jaakkola, M., Davidson, P., Collin, J. & Takala, J., 2014, julkaisussa : IEEE Transactions on Instrumentation and Measurement. 63, 11, s. 2682-2695 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

  102. Julkaistu

    Gaussian Scale Mixture Models For Robust Linear Multivariate Regression With Missing Data

    Ala-Luhtala, J. & Piche, R., 2014, julkaisussa : Communications in Statistics: Simulation and Computation.

    Tutkimustuotosvertaisarvioitu

  103. Julkaistu

    Indirect Emissions of Forest Bioenergy: Detailed Modelling of Stump-Root Systems

    Liski, J., Kaasalainen, S., Raumonen, P., Akujärvi, A., Krooks, A., Repo, A. & Kaasalainen, M., 2014, julkaisussa : Global Change Biology Bioenergy. 6, 6, s. 777-784 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

ID: 22096