TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. 2013
  2. Julkaistu

    Unimodality and log-concavity of f-vectors for cyclic and ordinary polytopes

    Major, L., 2013, julkaisussa : Discrete Applied Mathematics. 161, 10-11, s. 1669-1672 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Verkostoanalyysi sosiaalisen median tutkimuksessa

    Huhtamäki, J. & Parviainen, O., 2013, Otteita verkosta - verkon ja sosiaalisen median tutkimusmenetelmät. Laaksonen, S-M., Matikainen, J. & Tikka, M. (toim.). 1 toim. Tampere: Vastapaino, s. 245-273 29 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Virtuaalinen konelaboratorio ja semanttinen mallinnus konejärjestelmän suunnittelun tukena, Loppuraportti, Semogen II -hanke

    Nykänen, O., Koskinen, K. T., Ranta, P., Salonen, J., Aaltonen, J., Nurmi, J., Helminen, M., Alarotu, V., Salomaa, T. & Pohjolainen, S., 2013, Tampere: Tampereen teknillinen yliopisto, Smart Simulators -tutkimusryhmä. 50 Sivumäärä

    Tutkimustuotos

  5. Julkaistu

    Visualizations of user data in a social media enhanced web-based environment in higher education

    Silius, K., Tervakari, A-M. & Kailanto, M., 2013, Proceedings of the 2013 IEEE Global Engineering Education Conference, EDUCON, 13-15 March 2013, Berlin, Germany. Institute of Electrical and Electronics Engineers IEEE, s. 893-899 7 Sivumäärä (IEEE Global Engineering Education Conference).

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Visualizations of User Data in a Social Media Enhanced Web-based Environment in Higher Education

    Silius, K., Tervakari, A-M. & Kailanto, M., 2013, julkaisussa : International Journal of Emerging Technologies in Learning. 8, 2, s. 13-19 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    What’s out there? Asteroid models for target selection and mission planning

    Kaasalainen, M. & Durech, J., 2013, Asteroids: prospective energy and material resources. Badescu, V. (toim.). Heidelberg: Springer, s. 131-150 20 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Bayesian Estimation and Quality Monitoring for Personal Positioning Systems

    Pesonen, H., 8 helmikuuta 2013, Tampere University of Technology. 121 Sivumäärä (Tampere University of Technology. Publication; painos 1112)

    Tutkimustuotos

  9. Julkaistu

    Robust Regulation for Infinite-Dimensional Systems and Signals in the Frequency Domain

    Laakkonen, P., 25 lokakuuta 2013, Tampere: Tampere University of Technology. 146 Sivumäärä (Tampere University of Technology. Publication; painos 1166)

    Tutkimustuotos

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

  11. Julkaistu

    Modelling Structure and Dynamics of Complex Systems: Applications to Neuronal Networks

    Mäki-Marttunen, T., 13 joulukuuta 2013, Tampere University of Technology. 49 Sivumäärä (Tampere University of Technology. Publication; painos 1183)

    Tutkimustuotos

  12. 2014
  13. 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

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

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

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

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

  18. Julkaistu

    An algebraic study of Peterson´s Intermediate Syllogisms

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

    Tutkimustuotosvertaisarvioitu

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  37. Julkaistu

    Insights for orchestrating innovation ecosystems: the case of EIT ICT Labs and data-driven network visualisations

    Still, K., Huhtamäki, J., Russell, M. G. & Rubens, N., 2014, julkaisussa : International Journal of Technology Management. 66, 2/3, s. 243-265 23 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    Integral Formulas for k-hypermonogenic Functions in R3

    Eriksson, S-L., Orelma, H. & Nelson, V., 2014, Hypercomplex Analysis: New Perspectives and Applications. Springer, s. 119-132 14 Sivumäärä (Trends in Mathematics).

    Tutkimustuotosvertaisarvioitu

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

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

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

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

  43. Julkaistu

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2014, julkaisussa : Fundamenta Informaticae. 131, 1, s. 1-25 25 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

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

  47. Julkaistu

    On Vekua Systems and Their Connections to Hyperbolic Function Theory in the Plane

    Eriksson, S-L. & Orelma, H., 2014, julkaisussa : Advances in Applied Clifford Algebras. 24, 4, s. 1027-1038 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Optimization of large-area OLED current distribution grids with self-aligned passivation

    Janka, M., Saukko, E., Raumonen, P. & Lupo, D., 2014, julkaisussa : Organic Electronics. 15, 12, s. 3431-3438 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    Polynomial stability of semigroups generated by operator matrices

    Paunonen, L., 2014, julkaisussa : Journal of Evolution Equations. 14, 4, s. 885-911 27 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    Predicting tree structure from tree height using terrestrial laser scanning and quantitative structure models

    Krooks, A., Kaasalainen, S., Kankare, V., Joensuu, M., Raumonen, P. & Kaasalainen, M., 2014, julkaisussa : Silva Fennica. 48, 2, s. 1-11 11 Sivumäärä, 1125.

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Problems in Context-Aware Semantic Computing

    Nykänen, O. & Rivero Rodriguez, A., 2014, julkaisussa : International Journal of Interactive Mobile Technologies. 8, 3, s. 32-39 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

ID: 22096