TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. A1 Alkuperäisartikkeli
  2. 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

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

  4. Julkaistu

    The Internal Model Principle for Systems with Unbounded Control and Observation

    Paunonen, L. & Pohjolainen, S., 2014, julkaisussa : SIAM Journal on Control and Optimization. 52, 6, s. 3967-4000 34 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

  7. Julkaistu

    Robust controller design for infinite-dimensional exosystems

    Paunonen, L. & Pohjolainen, S., 2014, julkaisussa : International Journal of Robust and Nonlinear Control. 24, 5, s. 825-858 34 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

  9. Julkaistu

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

    Pursiainen, S. & Kaasalainen, M., 2014, julkaisussa : Inverse Problems. 30, 11, s. 1-19 19 Sivumäärä, 114016.

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Robustness of strong stability of semigroups

    Paunonen, L., 2014, julkaisussa : Journal of Differential Equations. 257, 12, s. 4403-4436 34 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    The Role of Exosystems in Output Regulation

    Paunonen, L., 2014, julkaisussa : IEEE Transactions on Automatic Control. 59, 8, s. 2301-2305 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

  14. Julkaistu

    An algebraic study of Peterson´s Intermediate Syllogisms

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

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    The Kraft Sum as a Monotone Function of the Refinement-Ordered Set of Uniquely Decipherable Codes

    Foldes, S., 2013, julkaisussa : Mathematics for Applications. 2, 1, s. 1-4 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Reduced order internal models in robust output regulation

    Paunonen, L. & Pohjolainen, S., 2013, julkaisussa : IEEE Transactions on Automatic Control. 58, 9, s. 2307-2318 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Structure-Dynamics Relationships in Bursting Neuronal Networks Revealed Using a Prediction Framework

    Mäki-Marttunen, T., Acimovic, J., Linne, M-L. & Ruohonen, K., 2013, julkaisussa : PLoS ONE. 8, 7, s. 1-16 16 Sivumäärä, e69373.

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Statistical Path Loss Parameter Estimation and Positioning using RSS Measurements

    Nurminen, H., Talvitie, J., Ali-Löytty, S., Muller, P., Lohan, E-S., Piche, R. & Renfors, M., 2013, julkaisussa : Journal of Global Positioning Systems. 12, 1, s. 13-27 15 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    A Lyapunov approach to strong stability of semigroups

    Paunonen, L. & Zwart, H., 2013, julkaisussa : Systems and Control Letters. 62, 8, s. 673-678 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    SO-MI: A surrogate model algorithm for computationally expensive nonlinear mixed-integer black-box global optimization problems

    Müller, J., Shoemaker, C. & Piche, R., 2013, julkaisussa : Computers and Operations Research. 40, 5, s. 1383-1400

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    A Hyperbolic Dirac Operator and its Kernels

    Eriksson, S-L., 2013, julkaisussa : Complex Variables and Elliptic Equations. 58, 6, s. 767-781 15 Sivumäärä

    Tutkimustuotosvertaisarvioitu

ID: 22096