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
- Published
Gaussian filtering and variational approximations for Bayesian smoothing in continuous-discrete stochastic dynamic systems
Ala-Luhtala, J., Särkkä, S. & Piche, R., Jun 2015, In : Signal Processing. 111, p. 124-136 13 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Understanding business ecosystem dynamics: A data-driven approach
Basole, R. C., Russell, M. G., Huhtamäki, J., Rubens, N., Still, K. & Park, H., 1 May 2015, In : ACM Transactions on Management Information Systems. 6, 2, 6.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Fundamental solution of k-hyperbolic harmonic functions in odd spaces
Eriksson, S-L. & Orelma, H., 13 Apr 2015, In : Journal of Physics: Conference Series. 597, 1, 012034.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
ADAM: A general method for using various data types in asteroid reconstruction
Viikinkoski, M., Kaasalainen, M. & Durech, J., 1 Apr 2015, In : Astronomy and Astrophysics. 576, 11 p., A8.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Projektioppiminen: lähtökohtana ympäröivä maailma
Eriksson, S-L. & Viro, E., 11 Mar 2015, In : LUMA-sanomat.Research output: Contribution to journal › Article › Professional
- Published
Tampereen matemaattisten aineiden aineenopettajakoulutus
Eriksson, S-L., Haukkanen, P., Hukka, T. I. & Lemmetyinen, H., 11 Mar 2015, In : LUMAT: International Journal on Math, Science and Technology Education. 3, 6, p. 800-807 8 p.Research output: Contribution to journal › Article › Professional
- Published
Generalized hyperbolic harmonic functions in the plane
Eriksson, S-L., Orelma, H. & Vuojamo, V., 10 Mar 2015, Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014). American Institute of Physics Inc., Vol. 1648. 440007Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Multi-stable dynamics of the non-adiabatic repressilator
Potapov, I., Zhurov, B. & Volkov, E., 6 Mar 2015, In : Journal of the Royal Society. Interface. 12, 104, 20141315.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Designing controllers with reduced order internal models
Paunonen, L., 1 Mar 2015, In : IEEE Transactions on Automatic Control. 60, 3, p. 775-780 6 p., 6826480.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Semantic Labeling of Places based on Phone Usage Features using Supervised Learning
Rivero Rodriguez, A., Leppäkoski, H. & Piché, R., 5 Feb 2015, 2014 Ubiquitous Positioning Indoor Navigation and Location Based Service, UPINLBS 2014 - Conference Proceedings. Piscataway, NJ, USA: IEEE, p. 97-102 6 p. 7033715Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Winner-Does-Not-Take-All: Selective Attention and Local Bias in Platform-Based Markets
Huotari, P., Järvi, K., Kortelainen, S. & Huhtamäki, J., Jan 2015, Academy of Management Proceedings: Meeting Abstract Supplement. Academy of Management, (Academy of Management. Annual Meeting Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
A general framework for island systems
Foldes, S., Horváth, E. K., Radeleczki, S. & Waldhauser, T., 2015, In : Acta Universitatis Szegediensis: Acta Scientiarum Mathematicarum. 81, 1-2, p. 3-24 22 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Analysis of geometric primitives in quantitative structure models of tree stems
Åkerblom, M., Raumonen, P., Kaasalainen, M. & Casella, E., 2015, In : Remote Sensing. 7, 4, p. 4581-4603 23 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
An Initial Homophily Indicator to Reinforce Context-Aware Semantic Computing
Rivero-Rodriguez, A., Pileggi, P. & Nykänen, O., 2015, 7th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN). Riga: IEEE, p. 89-93 5 p. (International Conference on Computational Intelligence, Communications and Networks).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings
Devillers, R. (ed.) & Valmari, A. (ed.), 2015, Springer Verlag. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9115)Research output: Book/Report › Anthology › Scientific › peer-review
- 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., Patrick Bentley, L., Shenkin, A. & Raumonen, P., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. p. 96-98 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional
- Published
Approach for Investigating Crowdfunding Campaigns with Platform Data: Case Indiegogo
Huhtamäki, J., Lasrado, L., Menon, K., Kärkkäinen, H. & Jussila, J., 2015, Academic MindTrek’15: September 22-24, 2015, Tampere, Finland. ACM, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Assessing coupling dynamics from an ensemble of time series
Gómez-Herrero, G., Wu, W., Rutanen, K., Soriano, M. C., Pipa, G. & Vicente, R., 2015, In : Entropy. 17, 4, p. 1958-1970 13 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Associating Event Logs with Ontologies for Semantic Process Mining and Analysis
Nykänen, O., Rivero-Rodriguez, A., Pileggi, P., Ranta, P. A., Kailanto, M. & Koro, J., 2015, Proceedings of the 19th International Academic Mindtrek Conference: AcademicMindTrek '15. New York, NY, USA: ACM, p. 138-143 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Asteroid Models from Multiple Data Sources
Ďurech, J., Carry, B., Delbo, M., Kaasalainen, M. & Viikinkoski, M., 2015, Asteroids IV. Michel, P., DeMeo, F. E. & Bottke Jr., W. F. (eds.). Tucson: UNIVERSITY OF ARIZONA PRESS, p. 183-202 20 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- 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
ID: 22096