Matematiikan laitos
Tutkimusyksikkö: Laitos
- 2016
- Julkaistu
Обзор параметрических методов позиционирования на основе концепции отпечатка пальца
Müller, P., Raitoharju, M., Ali-Löytty, S., Wirola, L. & Piche, R., 2016, julkaisussa : Giroskopiya I Navigatsiya. 24, 1, s. 3-35Tutkimustuotos: Katsausartikkeli › › vertaisarvioitu
- 2015
- Julkaistu
A State Space Tool for Concurrent System Models Expressed In C++
Valmari, A., 14 joulukuuta 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. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Priority Queue Classes with Priority Update
Rintala, M. & Valmari, A., 14 joulukuuta 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. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 179-193 15 Sivumäärä 13. (CEUR Workshop Proceedings; painos 1525).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Integer Linear Programming-Based Scheduling for Transport Triggered Architectures
Äijö, T., Jääskeläinen, P., Elomaa, T., Kultala, H. & Takala, J., 4 joulukuuta 2015, julkaisussa : ACM Transactions on Architecture and Code Optimization. 12, 4, 22 Sivumäärä, 59.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Binomial Gaussian mixture filter
Raitoharju, M., Ali-Löytty, S. & Piché, R., 2 joulukuuta 2015, julkaisussa : Eurasip Journal on Advances in Signal Processing. 2015, 1, 36.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Graph-Based Map Matching for Indoor Positioning
Koivisto, M., Nurminen, H., Ali-Löytty, S. & Piche, R., 1 joulukuuta 2015, 10th International Conference on Information, Communications and Signal Processing (ICICS). IEEE, 5 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Technology Trees and Tools: Constructing Development Graphs for Digital Games
Heinimäki, T. J., 27 marraskuuta 2015, Tampere University of Technology. 100 Sivumäärä (Tampere University of Technology. Publication; painos 1349)Tutkimustuotos ›
- Julkaistu
SimpleTree: An Efficient Open Source Tool to Build Tree Models from TLS Clouds
Hackenberg, J., Spiecker, H., Calders, K., Disney, M. & Raumonen, P., 23 marraskuuta 2015, julkaisussa : Forests: Open Access Journal. 6, 11, s. 4245-4294 50 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Fractional Ornstein-Uhlenbeck Processes
Kaarakka, T., 6 marraskuuta 2015, Tampere University of Technology. 102 Sivumäärä (Tampere University of Technology. Publication; painos 1338)Tutkimustuotos ›
- Julkaistu
Electromagnetic 3D subsurface imaging with source sparsity for a synthetic object
Pursiainen, S. & Kaasalainen, M., 4 marraskuuta 2015, julkaisussa : Inverse Problems. 31, 12, 17 Sivumäärä, 125004.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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., marraskuuta 2015, julkaisussa : IEEE Transactions on Biomedical Engineering. 62, 11, s. 2648-2656 9 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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 lokakuuta 2015, s. 15-15. 1 Sivumäärä.Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti ›
- Julkaistu
A General Definition of the O-notation for Algorithm Analysis
Rutanen, K. M., Gomez Herrero, G., Eriksson, S-L. A. & Egiazarian, K., 21 lokakuuta 2015, julkaisussa : Bulletin of EATCS. 117, 33 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Polynomial Input-Output Stability for Linear Systems
Paunonen, L. & Laakkonen, P., 1 lokakuuta 2015, julkaisussa : IEEE Transactions on Automatic Control. 60, 10, s. 2797-2802 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Exploring co-learning behavior of conference participants with visual network analysis of Twitter data
Aramo-Immonen, H., Jussila, J. & Huhtamäki, J., lokakuuta 2015, julkaisussa : Computers in Human Behavior. 51, Part B, s. 1154–1162 9 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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 syyskuuta 2015, julkaisussa : Astronomy and Astrophysics. 581, 5 Sivumäärä, L3.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Augmenting Technology Trees: Automation and Tool Support
Heinimäki, T. J. & Elomaa, T., syyskuuta 2015, Proceedings of the Seventh International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2015). IEEE, s. 68-75 8 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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 kesäkuuta 2015, International Conference on Localization and GNSS (ICL-GNSS). IEEE, 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Stop It, and Be Stubborn!
Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Visual tools to support innovation development: User experiences from the Parisian ecosystem
Russell, M. G., Still, K. & Huhtamäki, J. V., 10 kesäkuuta 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 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Gaussian filtering and variational approximations for Bayesian smoothing in continuous-discrete stochastic dynamic systems
Ala-Luhtala, J., Särkkä, S. & Piche, R., kesäkuuta 2015, julkaisussa : Signal Processing. 111, s. 124-136 13 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Understanding business ecosystem dynamics: A data-driven approach
Basole, R. C., Russell, M. G., Huhtamäki, J., Rubens, N., Still, K. & Park, H., 1 toukokuuta 2015, julkaisussa : ACM Transactions on Management Information Systems. 6, 2, 6.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Fundamental solution of k-hyperbolic harmonic functions in odd spaces
Eriksson, S-L. & Orelma, H., 13 huhtikuuta 2015, julkaisussa : Journal of Physics: Conference Series. 597, 1, 012034.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
ADAM: A general method for using various data types in asteroid reconstruction
Viikinkoski, M., Kaasalainen, M. & Durech, J., 1 huhtikuuta 2015, julkaisussa : Astronomy and Astrophysics. 576, 11 Sivumäärä, A8.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Projektioppiminen: lähtökohtana ympäröivä maailma
Eriksson, S-L. & Viro, E., 11 maaliskuuta 2015, julkaisussa : LUMA-sanomat.Tutkimustuotos ›
- Julkaistu
Tampereen matemaattisten aineiden aineenopettajakoulutus
Eriksson, S-L., Haukkanen, P., Hukka, T. I. & Lemmetyinen, H., 11 maaliskuuta 2015, julkaisussa : LUMAT: International Journal on Math, Science and Technology Education. 3, 6, s. 800-807 8 SivumääräTutkimustuotos ›
- Julkaistu
Generalized hyperbolic harmonic functions in the plane
Eriksson, S-L., Orelma, H. & Vuojamo, V., 10 maaliskuuta 2015, Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014). American Institute of Physics Inc., Vuosikerta 1648. 440007Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Multi-stable dynamics of the non-adiabatic repressilator
Potapov, I., Zhurov, B. & Volkov, E., 6 maaliskuuta 2015, julkaisussa : Journal of the Royal Society. Interface. 12, 104, 20141315.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Designing controllers with reduced order internal models
Paunonen, L., 1 maaliskuuta 2015, julkaisussa : IEEE Transactions on Automatic Control. 60, 3, s. 775-780 6 Sivumäärä, 6826480.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Semantic Labeling of Places based on Phone Usage Features using Supervised Learning
Rivero Rodriguez, A., Leppäkoski, H. & Piché, R., 5 helmikuuta 2015, 2014 Ubiquitous Positioning Indoor Navigation and Location Based Service, UPINLBS 2014 - Conference Proceedings. Piscataway, NJ, USA: IEEE, s. 97-102 6 Sivumäärä 7033715Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Winner-Does-Not-Take-All: Selective Attention and Local Bias in Platform-Based Markets
Huotari, P., Järvi, K., Kortelainen, S. & Huhtamäki, J., tammikuuta 2015, Academy of Management Proceedings: Meeting Abstract Supplement. Academy of Management, (Academy of Management. Annual Meeting Proceedings).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
A general framework for island systems
Foldes, S., Horváth, E. K., Radeleczki, S. & Waldhauser, T., 2015, julkaisussa : Acta Universitatis Szegediensis: Acta Scientiarum Mathematicarum. 81, 1-2, s. 3-24 22 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Analysis of geometric primitives in quantitative structure models of tree stems
Åkerblom, M., Raumonen, P., Kaasalainen, M. & Casella, E., 2015, julkaisussa : Remote Sensing. 7, 4, s. 4581-4603 23 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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, s. 89-93 5 Sivumäärä (International Conference on Computational Intelligence, Communications and Networks).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings
Devillers, R. (toim.) & Valmari, A. (toim.), 2015, Springer Verlag. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9115)Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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. s. 96-98 3 SivumääräTutkimustuotos ›
- Julkaistu
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 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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, julkaisussa : Entropy. 17, 4, s. 1958-1970 13 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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, s. 138-143 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). Tucson: UNIVERSITY OF ARIZONA PRESS, s. 183-202 20 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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). s. 104-118 15 Sivumäärä (Workshop on Algorithm Engineering and Experiments).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). 14 SivumääräTutkimustuotos ›
- Julkaistu
Frequency domain robust regulation of signals generated by an infinite-dimensional exosystem
Laakkonen, P. & Pohjolainen, S., 2015, julkaisussa : SIAM Journal on Control and Optimization. 53, 1, s. 139-166 28 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). PARIS: Atlantis Press, s. 1027-1033 7 Sivumäärä (Advances in Intelligent Systems Research; painos 89).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). GOTTINGEN: COPERNICUS GESELLSCHAFT MBH, Vuosikerta II-3/W4. s. 189-196 8 Sivumäärä (International Archives of the Photogrammetry Remote Sensing and Spatial Information Sciences; painos 43).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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, s. 646-655 10 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
New Insights for Relational Capital
Still, K., Huhtamäki, J. & Russell, M. G., 2015, julkaisussa : Electronic Journal of Knowledge Management. 13, 1, s. 167-182 16 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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, julkaisussa : Methods in Ecology and Evolution. 6, 2, s. 198-208 11 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
On constructibility and unconstructibility of LTS operators from other LTS operators
Valmari, A., 2015, julkaisussa : Acta Informatica. 52, 2-3, s. 207-234 28 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). Springer International Publishing, s. 105-121 17 Sivumäärä (Springer Proceedings in Mathematics & Statistics; painos 113).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). Springer International Publishing, s. 197-222 (Computational Social Science).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Perfect Pavelka Logic
Turunen, E. & Navara, M., 2015, julkaisussa : Fuzzy Sets and Systems.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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, Vuosikerta 9058. s. 188-203 16 Sivumäärä (Lecture Notes in Computer Science; painos 9058).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Projektioppiminen yläkoulun matematiikassa
Viro, E. & Eriksson, S-L., 2015, julkaisussa : LUMAT: International Journal on Math, Science and Technology Education. 3, 7, s. 1005-1009 5 SivumääräTutkimustuotos ›
- Julkaistu
Quality measures for improving technology trees
Heinimäki, T. J. & Elomaa, T., 2015, julkaisussa : International Journal of Computer Games Technology. 2015, 10 Sivumäärä, 975371.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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. s. 32-34 3 SivumääräTutkimustuotos ›
- Julkaistu
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. s. 197-199 3 SivumääräTutkimustuotos ›
- Julkaistu
Relational Capital for Shared Vision in Innovation Ecosystems
Russell, M. G., Huhtamäki, J., Still, K., Rubens, N. & Basole, R. C., 2015, julkaisussa : Triple Helix: A Journal of University-Industry-Government Innovation and Entrepreneurship. 2, 1, 36 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Robustness of strong stability of discrete semigroups
Paunonen, L., 2015, julkaisussa : Systems and Control Letters. 75, s. 35-40 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Robust Regulation of SISO Systems: The Fractional Ideal Approach
Laakkonen, P. & Quadrat, A., 2015, Proceedings of the SIAM Conference on Control and Its Applications (CT15). SIAM, Society for Industrial and Applied Mathematics, s. 311-318 8 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Robust Regulation Theory for Transfer Functions With a Coprime Factorization
Laakkonen, P., 2015, julkaisussa : IEEE Transactions on Automatic Control. 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Social Approach for Context Analysis: Modelling and Predicting Social Network Evolution using Homophily
Rivero-Rodriguez, A., Pileggi, P. P. & Nykänen, O. A., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, Novemer 2-6,2015. Proceedings. Springer International Publishing, s. 513-519 7 Sivumäärä (Lecture Notes in Artificial Intelligence; painos 9405).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Some Ring Theory from Jeno Szigeti
Foldes, S., 2015, julkaisussa : Miskolc Mathematical Notes. 16, 1, s. 115-121 7 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Tämä toimii! -teknologiakilpailu sopii teknologian opiskeluun alakoulussa
Eriksson, S-L. A. & Ylinen, K., 2015, julkaisussa : LUMA-sanomat.Tutkimustuotos ›
- Julkaistu
Terrestrial LiDAR and 3D tree Quantitative Structure Model for quantification of aboveground biomass loss from selective logging in a tropical rainforest of Peru
Gonzalez de Tanago, J., Bartholomeus, H., Joseph, S., Herold, M., Avitabile, V., Goodman, R., Raumonen, P. & Burt, A., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 119-121 3 SivumääräTutkimustuotos ›
- Julkaistu
Towards Traditional Simulation Models of Context Using Process Mining
Pileggi, P., Rivero-Rodriguez, A. & Nykänen, O., 2015, Computational Intelligence, Communication Systems and Networks (CICSyN), 2015 7th International Conference on. IEEE, s. 70-75 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Traceability of essential climate variables through forest stand reconstruction with terrestrial laser scanning
Calders, K., Disney, M., Nightingale, J., Origo, N., Barker, A., Raumonen, P. A., Lewis, P., Burt, A., Brennan, J. & Fox, N., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 122-124 3 SivumääräTutkimustuotos ›
- Julkaistu
Tuottavuusloikka sosiaalisen median avulla
Jussila, J. J., Kärkkäinen, H., Aramo-Immonen, H. & Huhtamäki, J., 2015, TiedeAreena 2015. Väkiparta, M. (toim.). Pori: Tampereen teknillinen yliopisto, Porin laitos, s. 26-27 2 Sivumäärä ( Laitosraportti - TUT Publication series).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Tviittien politiikkaa – poliittisen viestinnän sisäpiirit Twitterissä
Vainikka, E. & Huhtamäki, J., 2015, julkaisussa : Media ja Viestintä. 38, 3, s. 165-183 19 SivumääräTutkimustuotos ›
- Julkaistu
Using context overlays to analyse the role of a priori information with Process Mining
Pileggi, P., Rivero Rodriguez, A. & Nykänen, O., 2015, 2015 IEEE International Systems Conference (SysCon 2015) Proceedings. Vancouver, BC, Canada: IEEE, s. 639-644 6 SivumääräTutkimustuotos › › vertaisarvioitu
- 2014
- Julkaistu
Guard-based Partial Order Reduction
Laarman, A., Pater, E., Van de Pol, J. & Hansen, H., joulukuuta 2014, julkaisussa : International Journal on Software Tools for Technology Transfer. 18, 4, s. 427-448Tutkimustuotos › › vertaisarvioitu
- Julkaistu
UWB Positioning with Generalized Gaussian Mixture Filters
Muller, P., Wymeersch, H. & Piche, R., lokakuuta 2014, julkaisussa : IEEE Transactions on Mobile Computing. 13, 10, s. 2406-2414 9 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Katsaus Beidou-satelliittijärjestelmään ja sen kellojen estimointiin
Rautalin, S., syyskuuta 2014, 22 Sivumäärä.Tutkimustuotos ›
- Julkaistu
Disease state index and disease state fingerprint: supervised learning applied to clinical decision support in Alzheimer’s disease
Mattila, J., 9 toukokuuta 2014, Espoo: VTT. 96 Sivumäärä (VTT Science; painos 51)Tutkimustuotos ›
- Julkaistu
20th Inverse Days 2014, Tampere 9th-11th December 2014: Abstracts
Åkerblom, M. (toim.), 2014, Tampere University of Technology, Department of Mathematics. 38 Sivumäärä (Tampere University of Technology. Department of Mathematics. Research Report; painos 101)Tutkimustuotos ›
- Julkaistu
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Hansen, H. & Timmer, M., 2014, julkaisussa : Theoretical Computer Science. 528, s. 103-123 21 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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, julkaisussa : Eurasip Journal on Advances in Signal Processing. 2014, 10 Sivumäärä, UNSP 22.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
A field test of parametric WLAN-fingerprint-positioning methods
Muller, P., Raitoharju, M. & Piche, R., 2014, 17th International Conference on Information Fusion (FUSION), 7-10 July 2014, Salamanca, Spain. Piscataway: Institute of Electrical and Electronics Engineers, s. 1-8 8 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
A method to enforce map constraints in a particle filter's position estimate
Piche, R. & Koivisto, M., 2014, 2014 11th Workshop on Positioning, Navigation and Communication (WPNC), 12-13 March 2014, Dresden, Germany. IEEE, 4 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
An algebraic study of Peterson´s Intermediate Syllogisms
Turunen, E., 2014, julkaisussa : Soft Computing. s. 1-14 14 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
A New Controller Structure for Robust Output Regulation
Paunonen, L. & Pohjolainen, S., 2014, Proceedings of the 53rd IEEE Conference on Decision and Control, IEEE CDC 2014, 15-17 December, 2014, Los Angeles, CA, USA. IEEE, s. 4721-4726 6 Sivumäärä (IEEE Conference on Decision and Control).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic
Rodriguez, J. T., Turunen, E., Ruan, D. & Montero, J., 2014, julkaisussa : Fuzzy Sets and Systems. 242, s. 132-147 16 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Application of Hill-Clohessy-Wiltshire Equation in GNSS Orbit Prediction
Zhang, X. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Nurmi, J., Ruotsalainen, L., Lohan, E-S., Salcedo, J. & Thombre, S. (toim.). Piscataway: IEEE, s. 1-6 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN
Alasuutari, A., Nakamatsu, K. & Abe, J. M., 2014, Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014. IOS Press, s. 248 - 257 10 Sivumäärä (Frontiers in Artificial Intelligence and Applications; painos 262).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem
Valmari, A., 2014, julkaisussa : Electronic Proceedings in Theoretical Computer Science. 151, s. 355-369 15 Sivumäärä, 25.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Asymptotic Proportion of Hard Instances of the Halting Problem
Valmari, A., 2014, julkaisussa : Acta Cybernetica. 21, 3, s. 307-330 24 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
A Tool for Evaluating Social Media Enhanced Learning Environments
Silius, K., Tervakari, A., Pirttilä, O., Paukkeri, J. & Mäkelä, T., 2014, IEEE Global Engineering Education Conference, EDUCON 2014, April 3-5, 2014, Istanbul, Turkey. IEEE, s. 152-157 6 Sivumäärä (IEEE Global Engineering Education Conference).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Bagdad - matematiikkaa täältä ikuisuuteen matematiikkanäyttely
Eriksson, S-L. & Vainio, J., 2014, julkaisussa : LUMAT: International Journal on Math, Science and Technology Education. 2, 1, s. 17-46 30 SivumääräTutkimustuotos ›
- Julkaistu
Change Detection of Tree Biomass with Terrestrial Laser Scanning and Quantitative Structure Modelling
Kaasalainen, S., Krooks, A., Liski, J., Raumonen, P., Kaartinen, H., Kaasalainen, M., Puttonen, E., Anttila, K. & Mäkipää, R., 2014, julkaisussa : Remote Sensing. 6, 5, s. 3906-3922 25 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Combinational Studies of Vectors and Sequences
Major, L., 2014, Tampere: Tampere University of Technology. 73 Sivumäärä (Tampere University of Technology. Publication; painos 1220)Tutkimustuotos ›
- Julkaistu
Content analysis and visualizations - Tools for a social media-enhanced learning environment
Kuosa, K., Koro, J., Tervakari, A., Paukkeri, J. & Kailanto, M., 2014, Proceedings of the 17th International Conference on Interactive Collaborative Learning, ICL 2014, 3-6 December, 2014, Dubai, UAE. IEEE, s. 361-367 7 Sivumäärä (International Conference on Interactive Collaborative Learning).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Detection of anomalies in radio tomography of asteroids: source count and forward errors
Pursiainen, S. & Kaasalainen, M., 2014, julkaisussa : Planetary and Space Science. 99, s. 36-47 12 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K. & Sun, J., 2014, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Biere, A. & Bloem, R. (toim.). Springer International Publishing, s. 391-406 16 Sivumäärä (Lecture Notes in Computer Science; painos 8559).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Distributed Indoor Positioning System With Inertial Measurements and Map Matching
Perttula, A., Leppäkoski, H., Kirkko-Jaakkola, M., Davidson, P., Collin, J. & Takala, J., 2014, julkaisussa : IEEE Transactions on Instrumentation and Measurement. 63, 11, s. 2682-2695 14 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Ecosystemic relational capital: framework and process for measuring it
Still, K., Huhtamäki, J. & Russell, M. G., 2014, Triple Helix XII International Conference, THC 2014. The Triple Helix and Innovation-Based Economic Growth: New Frontiers and Solutions, September 11-13, 2014, Tomsk, Russia. Etzkowitz, H., Uvarov, A. F. & Galazhinsky, E. V. (toim.). Triple Helix Association, s. 1-10 10 Sivumäärä (Triple Helix International Conference).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Evaluating the Consistency of Estimation
Ivanov, P., Ali-Löytty, S. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Piscataway: IEEE, 5 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Gaussian Scale Mixture Models For Robust Linear Multivariate Regression With Missing Data
Ala-Luhtala, J. & Piche, R., 2014, julkaisussa : Communications in Statistics: Simulation and Computation.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Indirect Emissions of Forest Bioenergy: Detailed Modelling of Stump-Root Systems
Liski, J., Kaasalainen, S., Raumonen, P., Akujärvi, A., Krooks, A., Repo, A. & Kaasalainen, M., 2014, julkaisussa : Global Change Biology Bioenergy. 6, 6, s. 777-784 8 SivumääräTutkimustuotos › › vertaisarvioitu
ID: 22096