TUTCRIS - Tampereen teknillinen yliopisto


Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. 2015
  2. 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).


  3. 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ä


  4. 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).


  5. Julkaistu

    Perfect Pavelka Logic

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


  6. 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).


  7. Julkaistu

    Projektioppiminen yläkoulun matematiikassa

    Viro, E. & Eriksson, S-L., 2015, julkaisussa : LUMAT: International Journal on Math, Science and Technology Education. 3, 7, s. 1005-1009 5 Sivumäärä


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


  9. 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ä


  10. 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ä


  11. 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ä


  12. Julkaistu

    Robustness of strong stability of discrete semigroups

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


  13. 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ä


  14. Julkaistu

    Robust Regulation Theory for Transfer Functions With a Coprime Factorization

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


  15. 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).


  16. Julkaistu

    Some Ring Theory from Jeno Szigeti

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


  17. Julkaistu

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

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


  18. 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ä


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


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


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


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


  23. 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ä


  24. 2014
  25. 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


  26. 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ä


  27. Julkaistu

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

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


  28. 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)


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


  30. 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ä


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


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


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


  34. Julkaistu

    An algebraic study of Peterson´s Intermediate Syllogisms

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


  35. 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).


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


  37. 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ä


  38. 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).


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


  40. Julkaistu

    Asymptotic Proportion of Hard Instances of the Halting Problem

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


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


  42. Julkaistu

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

    Eriksson, S-L. & Vainio, J., 2014, julkaisussa : LUMAT: International Journal on Math, Science and Technology Education. 2, 1, s. 17-46 30 Sivumäärä


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


  44. 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)


  45. 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).


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


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


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


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


  50. 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ä


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


  52. 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ä


ID: 22096