Department of Mathematics
Research unit: Department
- A1 Journal article-refereed
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- Published
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, In : Eurasip Journal on Advances in Signal Processing. 2014, 10 p., UNSP 22.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Old and New Algorithms for Minimal Coverability Sets
Valmari, A. & Hansen, H., 2014, In : Fundamenta Informaticae. 131, 1, p. 1-25 25 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
An algebraic study of Peterson´s Intermediate Syllogisms
Turunen, E., 2014, In : Soft Computing. p. 1-14 14 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
The Kraft Sum as a Monotone Function of the Refinement-Ordered Set of Uniquely Decipherable Codes
Foldes, S., 2013, In : Mathematics for Applications. 2, 1, p. 1-4 4 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Reduced order internal models in robust output regulation
Paunonen, L. & Pohjolainen, S., 2013, In : IEEE Transactions on Automatic Control. 58, 9, p. 2307-2318 12 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Structure-Dynamics Relationships in Bursting Neuronal Networks Revealed Using a Prediction Framework
Mäki-Marttunen, T., Acimovic, J., Linne, M-L. & Ruohonen, K., 2013, In : PLoS ONE. 8, 7, p. 1-16 16 p., e69373.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
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, In : Journal of Global Positioning Systems. 12, 1, p. 13-27 15 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A Lyapunov approach to strong stability of semigroups
Paunonen, L. & Zwart, H., 2013, In : Systems and Control Letters. 62, 8, p. 673-678 6 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
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, In : Computers and Operations Research. 40, 5, p. 1383-1400Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A Hyperbolic Dirac Operator and its Kernels
Eriksson, S-L., 2013, In : Complex Variables and Elliptic Equations. 58, 6, p. 767-781 15 p.Research output: Contribution to journal › Article › Scientific › peer-review
ID: 22096