Department of Mathematics
Research unit: Department
- 2016
- 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 journal › Article › Scientific › peer-review
- 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 SEFIResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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/Report › Anthology › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 proceeding › Chapter › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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-4890Research output: Contribution to journal › Article › Scientific › peer-review
- 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 contribution › Paper, poster or abstract › Scientific
- 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 contribution › Paper, poster or abstract › Scientific
- 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 contribution › Paper, poster or abstract › Scientific
- 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 proceeding › Chapter › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- Published
Projekteja yläkoulun matematiikkaan
Eriksson, S-L., Salminen, J. & Viro, E., 15 Feb 2016, In : LUMA-sanomat.Research output: Contribution to journal › Article › Professional
- 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-15699Research output: Contribution to journal › Article › Scientific › peer-review
ID: 22096