Matematiikan laitos
Tutkimusyksikkö: Laitos
81 - 90 / 1 341Sivun koko: 10
- A1 Alkuperäisartikkeli
- 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.Tutkimustuotos › › vertaisarvioitu
Full text:
- 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äTutkimustuotos › › vertaisarvioitu
Full text:
- 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äTutkimustuotos › › vertaisarvioitu
Full text:
- 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äTutkimustuotos › › vertaisarvioitu
Full text:
- 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.Tutkimustuotos › › vertaisarvioitu
Full text:
- 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äTutkimustuotos › › vertaisarvioitu
Full text:
- 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äTutkimustuotos › › vertaisarvioitu
Full text:
- 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.Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Robustness of strong stability of semigroups
Paunonen, L., 2014, julkaisussa : Journal of Differential Equations. 257, 12, s. 4403-4436 34 SivumääräTutkimustuotos › › vertaisarvioitu
Full text:
- 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äTutkimustuotos › › vertaisarvioitu
Full text:
ID: 22096