Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. 2016
  2. Published

    Interval decomposition lattices are balanced

    Foldes, S. & Radeleczki, S., 1 Sep 2016, In : DEMONSTRATIO MATHEMATICA. 49, 3, p. 271-281 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    MathCheck: a tool for checking math solutions in detail

    Valmari, A. & Kaarakka, T., Sep 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFI

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. Published

    Optimal energy decay in a one-dimensional coupled wave–heat system

    Batty, C., Paunonen, L. & Seifert, D., Sep 2016, In : Journal of Evolution Equations. 16, 3, p. 649–664 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Safety Property-Driven Stubborn Sets

    Hansen, H. & Valmari, A., Sep 2016, Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Larsen, K., Potapov, I. & Srba, J. (eds.). Springer International Publishing, p. 90-103 14 p. (Lecture notes in computer science; vol. 9899).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. Published

    Mathematical Modelling

    Heiliö, M., Lähivaara, T., Laitinen, E., Mantere, T., Merikoski, J., Pohjolainen, S., Raivio, K., Silvennoinen, R., Suutala, A., Tarvainen, T., Tiihonen, T., Tuomela, J., Turunen, E. & Vauhkonen, M., 31 Jul 2016, Switzerland: Springer International Publishing. 242 p.

    Research output: Book/ReportAnthologyScientificpeer-review

  7. Published

    Asymptotic Behaviour of Platoon Systems

    Paunonen, L. & Seifert, D., Jul 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems. University of Minnesota, p. 830-836 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Published

    Acoustic Modelling

    Pohjolainen, S. & Suutala, A., 30 Jun 2016, Mathematical Modelling. Pohjolainen, S. (ed.). Switzerland: Springer, p. 185-205 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  9. Published

    The Structure of Robust Controllers for Distributed Parameter Systems

    Hämäläinen, T. & Pohjolainen, S., 29 Jun 2016, Proceedings of the European Control Conference, June 29 - July 1, 2016, Aalborg Denmark. Aalborg, Denmark: IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    Partitioned Update Kalman Filter

    Raitoharju, M., Piché, R., Ala-Luhtala, J. & Ali-Löytty, S., Jun 2016, In : Journal of Advances in Information Fusion. 11, 1, p. 3-14 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. Published

    Blind sub-Nyquist GNSS signal detection

    Daniel, O., Raasakka, J., Peltola, P., Fröhle, M., Rivero-Rodriguez, A., Wymeersch, H. & Nurmi, J., 18 May 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) . IEEE, p. 6575-6579 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  12. Published

    An Introduction to Twisted Particle Filters and Parameter Estimation in Non-Linear State-Space Models

    Ala-Luhtala, J., Whiteley, N., Heine, K. & Piche, R., 5 May 2016, In : IEEE Transactions on Signal Processing. 64, 18, p. 4875-4890

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    3D Measurements of Tropical Forest Structure for BIOMASS, Morphology and Calibration and Validation of Satellite Observations.

    Disney, M., Burt, A., Calders, K., Raumonen, P. A., Herold, M., Lewis, P., Boni Vicari, M., Rowland, L., Meir, P. & Mitchard, E., May 2016.

    Research output: Other conference contributionPaper, poster or abstractScientific

  14. Published

    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., Bentley, L. P., Shenkin, A. & Raumonen, P. A., May 2016.

    Research output: Other conference contributionPaper, poster or abstractScientific

  15. Published

    Quantification of Tropical Forest Biomass with Terrestrial LiDAR and 3D Tree Quantitative Structure Modelling

    Gonzalez de Tanago, J., Lau Sarmiento, A., Bartholomeus, H., Herold, M., Raumonen, P. A., Avitabile, V., Martius, C. & Joseph, S., May 2016.

    Research output: Other conference contributionPaper, poster or abstractScientific

  16. Published

    Two Consistent Many-Valued Logics for Paraconsistent Phenomena

    Turunen, E. & Rodrigues, J. T., 9 Mar 2016, New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014. Beziau, J-Y., Chakraborty, M. & Dutta, S. (eds.). New Delhi Heidelberg New York Dordrecht London: Springer Verlag, p. 185-210 25 p. (Springer Proceedings in Mathematics & Statistics; vol. 152).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  17. Published

    Exploring innovation ecosystems as networks: Four european cases

    Huhtamäki, J. & Rubens, N., 7 Mar 2016, 2016 49th Hawaii International Conference on System Sciences (HICSS) . IEEE COMPUTER SOCIETY PRESS, p. 4505-4514 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  18. Published

    Constructing Minimal Coverability Sets

    Piipponen, A. & Valmari, A., 4 Mar 2016, In : Fundamenta Informaticae. 143, 3-4, p. 393-414 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  19. Published

    On the Complexity of Rainbow Coloring Problems

    Eiben, E., Ganian, R. & Lauri, J., 20 Feb 2016, Combinatorial Algorithms: 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers. Lipták, Z. & Smyth, W. F. (eds.). Springer International Publishing, p. 209-220 12 p. (Lecture Notes in Computer Science; vol. 9538).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  20. Published

    Projekteja yläkoulun matematiikkaan

    Eriksson, S-L., Salminen, J. & Viro, E., 15 Feb 2016, In : LUMA-sanomat.

    Research output: Contribution to journalArticleProfessional

  21. Published

    On the Underlying Mathematical and Quantum Structure of Quantum Cryptography

    Gotkhindikar, A. D., Feb 2016, In : International Journal of Engineering and Computer Science. 5, 2, p. 15685-15699

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...68 Next

ID: 22096