Department of Mathematics
Research unit: Department
- 2016
- Published
Обзор параметрических методов позиционирования на основе концепции отпечатка пальца
Müller, P., Raitoharju, M., Ali-Löytty, S., Wirola, L. & Piche, R., 2016, In : Giroskopiya I Navigatsiya. 24, 1, p. 3-35Research output: Contribution to journal › Review Article › Scientific › peer-review
- 2015
- Published
A State Space Tool for Concurrent System Models Expressed In C++
Valmari, A., 14 Dec 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (eds.). CEUR-WS.org, Vol. 1525. p. 91-105 15 p. 7. (CEUR Workshop Proceedings; vol. 1525).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Priority Queue Classes with Priority Update
Rintala, M. & Valmari, A., 14 Dec 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (eds.). CEUR-WS.org, Vol. 1525. p. 179-193 15 p. 13. (CEUR Workshop Proceedings; vol. 1525).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Integer Linear Programming-Based Scheduling for Transport Triggered Architectures
Äijö, T., Jääskeläinen, P., Elomaa, T., Kultala, H. & Takala, J., 4 Dec 2015, In : ACM Transactions on Architecture and Code Optimization. 12, 4, 22 p., 59.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Binomial Gaussian mixture filter
Raitoharju, M., Ali-Löytty, S. & Piché, R., 2 Dec 2015, In : Eurasip Journal on Advances in Signal Processing. 2015, 1, 36.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Graph-Based Map Matching for Indoor Positioning
Koivisto, M., Nurminen, H., Ali-Löytty, S. & Piche, R., 1 Dec 2015, 10th International Conference on Information, Communications and Signal Processing (ICICS). IEEE, 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Technology Trees and Tools: Constructing Development Graphs for Digital Games
Heinimäki, T. J., 27 Nov 2015, Tampere University of Technology. 100 p. (Tampere University of Technology. Publication; vol. 1349)Research output: Book/Report › Doctoral thesis › Collection of Articles
- Published
SimpleTree: An Efficient Open Source Tool to Build Tree Models from TLS Clouds
Hackenberg, J., Spiecker, H., Calders, K., Disney, M. & Raumonen, P., 23 Nov 2015, In : Forests: Open Access Journal. 6, 11, p. 4245-4294 50 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Fractional Ornstein-Uhlenbeck Processes
Kaarakka, T., 6 Nov 2015, Tampere University of Technology. 102 p. (Tampere University of Technology. Publication; vol. 1338)Research output: Book/Report › Doctoral thesis › Monograph
- Published
Electromagnetic 3D subsurface imaging with source sparsity for a synthetic object
Pursiainen, S. & Kaasalainen, M., 4 Nov 2015, In : Inverse Problems. 31, 12, 17 p., 125004.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Comparison Study for Whitney (Raviart-Thomas) Type Source Models in Finite Element Method Based EEG Forward Modeling
Pursiainen, S., Bauer, M., Vorwerk, J., Köstler, H. & Wolters, C. H., Nov 2015, In : IEEE Transactions on Biomedical Engineering. 62, 11, p. 2648-2656 9 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Moodlen työpaja: Vertaisarviointi osana opetusta matematiikan ensimmäisellä peruskurssilla
Mäkelä, A-M., Ali-Löytty, S. S., Kauhanen, J. P. & Joutsenlahti, J., 30 Oct 2015, p. 15-15. 1 p.Research output: Other conference contribution › Paper, poster or abstract › Professional
- Published
A General Definition of the O-notation for Algorithm Analysis
Rutanen, K. M., Gomez Herrero, G., Eriksson, S-L. A. & Egiazarian, K., 21 Oct 2015, In : Bulletin of EATCS. 117, 33 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Polynomial Input-Output Stability for Linear Systems
Paunonen, L. & Laakkonen, P., 1 Oct 2015, In : IEEE Transactions on Automatic Control. 60, 10, p. 2797-2802 6 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Exploring co-learning behavior of conference participants with visual network analysis of Twitter data
Aramo-Immonen, H., Jussila, J. & Huhtamäki, J., Oct 2015, In : Computers in Human Behavior. 51, Part B, p. 1154–1162 9 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
VLT/SPHERE- and ALMA-based shape reconstruction of asteroid (3) Juno
Viikinkoski, M., Kaasalainen, M., Durech, J., Carry, B., Marsset, M., Fusco, T., Dumas, C., Merline, W. J., Yang, B., Berthier, J., Kervella, P. & Vernazza, P., 1 Sep 2015, In : Astronomy and Astrophysics. 581, 5 p., L3.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Augmenting Technology Trees: Automation and Tool Support
Heinimäki, T. J. & Elomaa, T., Sep 2015, Proceedings of the Seventh International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2015). IEEE, p. 68-75 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Received Signal Strength models for WLAN and BLE-based indoor positioning in multi-floor buildings
Lohan, E-S., Talvitie, J., Figueiredo e Silva, P., Nurminen, H., Ali-Löytty, S. & Piche, R., 23 Jun 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
Stop It, and Be Stubborn!
Valmari, A., 21 Jun 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (eds.). IEEE Computer Society, p. 10-19 10 p. 2Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Visual tools to support innovation development: User experiences from the Parisian ecosystem
Russell, M. G., Still, K. & Huhtamäki, J. V., 10 Jun 2015, Proceedings of the International Forum on Knowledge Asset Dynamics, 10-12 June 2015, Bari, Italy: IKFAD 2015. Institute of Knowledge Asset Management & Arts for Business Institute, 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
ID: 22096