Department of Mathematics
Research unit: Department
- 2015
- Published
Engineering motif search for large graphs
Björklund, A., Kaski, P., Kowalik, Ł. & Lauri, J., 2015, 2015 Proceedings of the Seventeenth Workshop on Algorithm Engineering and Experiments (ALENEX). p. 104-118 15 p. (Workshop on Algorithm Engineering and Experiments).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Equal Opportunities in Education of Science, Mathematics and Technology
Eriksson, S-L. A., 2015, The Proceedings of International Symposium Justice and Solidarity: The European Utopia in a Globalising Era, Kuopio 2.-3. September 2014. Laurinkari, J. & Tarvanen, M. (eds.). 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional
- Published
Frequency domain robust regulation of signals generated by an infinite-dimensional exosystem
Laakkonen, P. & Pohjolainen, S., 2015, In : SIAM Journal on Control and Optimization. 53, 1, p. 139-166 28 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
GNSS orbit prediction with enhanced force model
Pukkila, A., Ala-Luhtala, J., Piche, R. & Ali-Löytty, S., 2015, 2015 International Conference on Localization and GNSS (ICL-GNSS). IEEE, 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Infinitesimals and Pavelka logic
Turunen, E. & Navara, M., 2015, PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY. Alonso, JM., Bustince, H. & Reformat, M. (eds.). PARIS: Atlantis Press, p. 1027-1033 7 p. (Advances in Intelligent Systems Research; vol. 89).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Massive-Scale Tree Modelling from TLS Data
Raumonen, P., Casella, E., Calders, K., Murphy, S., Åkerblom, M. & Kaasalainen, M., 2015, ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. Stilla, U. & Heipke, C. (eds.). GOTTINGEN: COPERNICUS GESELLSCHAFT MBH, Vol. II-3/W4. p. 189-196 8 p. (International Archives of the Photogrammetry Remote Sensing and Spatial Information Sciences; vol. 43).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Motion Model for Positioning with Graph-Based Indoor Map
Nurminen, H., Koivisto, M., Ali-Löytty, S. & Piche, R., 2015, 2014 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 27-30 Oct. 2014, Busan, South Korea. Piscataway, NJ: IEEE, p. 646-655 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
New Insights for Relational Capital
Still, K., Huhtamäki, J. & Russell, M. G., 2015, In : Electronic Journal of Knowledge Management. 13, 1, p. 167-182 16 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Nondestructive estimates of above-ground biomass using terrestrial laser scanning
Calders, K., Newnhamn, G., Burt, A., Murphy, S., Raumonen, P., Herold, M., Culvenor, D., Avitable, V., Disney, M., Armston, J. & Kaasalainen, M., 2015, In : Methods in Ecology and Evolution. 6, 2, p. 198-208 11 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On constructibility and unconstructibility of LTS operators from other LTS operators
Valmari, A., 2015, In : Acta Informatica. 52, 2-3, p. 207-234 28 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On Robustness of Strongly Stable Semigroups with Spectrum on iR
Paunonen, L., 2015, Semigroups of Operators -Theory and Applications: Będlewo, Poland, October 2013. Banasiak, J., Bobrowski, A. & Lachowicz, M. (eds.). Springer International Publishing, p. 105-121 17 p. (Springer Proceedings in Mathematics & Statistics; vol. 113).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
On Robust Output Regulation for Continuous-Time Periodic Systems
Paunonen, L., 2015, 2015 Proceedings of the SIAM Conference on Control and its Applications. SIAM, Society for Industrial and Applied Mathematics, 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Ostinato: The Exploration-Automation Cycle of User-Centric, Process-Automated Data-Driven Visual Network Analytics
Huhtamäki, J., Russell, M. G., Rubens, N. & Still, K., 2015, Transparency in Social Media: Tools, Methods and Algorithms for Mediating Online Interactions. Matei, S. A., Russell, M. G. & Bertino, E. (eds.). Springer International Publishing, p. 197-222 (Computational Social Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
Perfect Pavelka Logic
Turunen, E. & Navara, M., 2015, In : Fuzzy Sets and Systems.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Practical Partial Order Reduction for CSP
Gibson-Robinson, T., Hansen, H., Roscoe, A. W. & Wang, X., 2015, Nasa Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer International Publishing, Vol. 9058. p. 188-203 16 p. (Lecture Notes in Computer Science; vol. 9058).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Projektioppiminen yläkoulun matematiikassa
Viro, E. & Eriksson, S-L., 2015, In : LUMAT: International Journal on Math, Science and Technology Education. 3, 7, p. 1005-1009 5 p.Research output: Contribution to journal › Article › Professional
- Published
Quality measures for improving technology trees
Heinimäki, T. J. & Elomaa, T., 2015, In : International Journal of Computer Games Technology. 2015, 10 p., 975371.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Quantitative structure tree models from terrestrial laser scanner data
Raumonen, P. A., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. p. 32-34 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional
- Published
Reducing uncertainties in above-ground biomass estimates using terrestrial laser scanning
Calders, K., Burt, A., Newnham, G., Disney, M., Murphy, S., Raumonen, P., Herold, M., Culvenor, D., Armston, J., Avitabile, V. & Kaasalainen, M., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. p. 197-199 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional
- Published
Relational Capital for Shared Vision in Innovation Ecosystems
Russell, M. G., Huhtamäki, J., Still, K., Rubens, N. & Basole, R. C., 2015, In : Triple Helix: A Journal of University-Industry-Government Innovation and Entrepreneurship. 2, 1, 36 p.Research output: Contribution to journal › Article › Scientific › peer-review
ID: 22096