Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. A1 Journal article-refereed
  2. Published

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

    Valmari, A., 2014, In : Electronic Proceedings in Theoretical Computer Science. 151, p. 355-369 15 p., 25.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

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

    Janka, M., Saukko, E., Raumonen, P. & Lupo, D., 2014, In : Organic Electronics. 15, 12, p. 3431-3438 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    The Internal Model Principle for Systems with Unbounded Control and Observation

    Paunonen, L. & Pohjolainen, S., 2014, In : SIAM Journal on Control and Optimization. 52, 6, p. 3967-4000 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

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

    Pursiainen, S. & Kaasalainen, M., 2014, In : Planetary and Space Science. 99, p. 36-47 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    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, In : Silva Fennica. 48, 2, p. 1-11 11 p., 1125.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    Robust controller design for infinite-dimensional exosystems

    Paunonen, L. & Pohjolainen, S., 2014, In : International Journal of Robust and Nonlinear Control. 24, 5, p. 825-858 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Polynomial stability of semigroups generated by operator matrices

    Paunonen, L., 2014, In : Journal of Evolution Equations. 14, 4, p. 885-911 27 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Sparse source travel-time tomography of a laboratory target: accuracy and robustness of anomaly detection

    Pursiainen, S. & Kaasalainen, M., 2014, In : Inverse Problems. 30, 11, p. 1-19 19 p., 114016.

    Research output: Contribution to journalArticleScientificpeer-review

  10. Published

    Robustness of strong stability of semigroups

    Paunonen, L., 2014, In : Journal of Differential Equations. 257, 12, p. 4403-4436 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. Published

    The Role of Exosystems in Output Regulation

    Paunonen, L., 2014, In : IEEE Transactions on Automatic Control. 59, 8, p. 2301-2305 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1...5 6 7 8 9 10 11 12 ...135 Next

ID: 22096