Department of Mathematics
Research unit: Department
- 2018
- Published
On the complexity of rainbow coloring problems
Eiben, E., Ganian, R. & Lauri, J., Sep 2018, In : Discrete Applied Mathematics. 246, p. 38-48Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Asymptotic Behaviour of Coupled Systems in Discrete and Continuous Time
Paunonen, L. & Seifert, D., Jun 2018, In : JOURNAL OF DYNAMICS AND DIFFERENTIAL EQUATIONS. 30, 2, p. 433-445 13 p.Research output: Contribution to journal › Article › Scientific › peer-review
- 2017
- Published
Opiskelijoiden oppimistyökalujen käyttö tietokoneavusteisessa Matematiikkajumppa -tukiopetuksessa
Myllykoski, T., Ali-Löytty, S. S. & Pohjolainen, S., 31 Oct 2017, 2017: Proceedings of the annual FMSERA symposium 2016 . p. 54-65 12 p. (Proceedings of the FMSERA annual symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Semantic Labeling of User Location Context Based on Phone Usage Features
Leppäkoski, H., Rivero-Rodriguez, A., Rautalin, S., Muñoz Martínez, D., Käppi, J., Ali-Löytty, S. & Piche, R., 24 Aug 2017, In : Mobile Information Systems. 2017, p. 1-21 21 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Asymptotic behaviour in the robot rendezvous problem
Paunonen, L. & Seifert, D., 1 May 2017, In : Automatica. 79, p. 127-130 4 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Complexity of Rainbow Vertex Connectivity Problems for Restricted Graph Classes
Lauri, J., 11 Mar 2017, In : Discrete Applied Mathematics. 219, p. 132-146 14 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Shape model of asteroid (130) Elektra from optical photometry and disk-resolved images from VLT/SPHERE and Nirc2/Keck
Hanuš, J., Marchis, F., Viikinkoski, M., Yang, B. & Kaasalainen, M., 1 Mar 2017, In : Astronomy and Astrophysics. 599, A36.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Forward and Inverse Effects of the Complete Electrode Model in Neonatal EEG
Pursiainen, S., Lew, S. & Wolters, C. H., Mar 2017, In : Journal of Neurophysiology. 117, 3, p. 876-884Research output: Contribution to journal › Article › Scientific › peer-review
- Published
The Congruences Below Fair Testing with Initial Stability
Valmari, A., 6 Feb 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, p. 25-34 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Visualizing the Geography of Platform Boundary Resources: The Case of the Global API Ecosystem
Huhtamäki, J., Basole, R. C., Still, K., Russell, M. G. & Seppänen, M., 4 Jan 2017, Proceedings of the 50th Hawaii International Conference on System Sciences. 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Abstractions for transition systems with applications to stubborn sets
Hansen, H., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 104-123 20 p. (Lecture Notes in Computer Science; vol. 10160).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
- Published
More stubborn set methods for process algebras
Valmari, A., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 246-271 26 p. (Lecture Notes in Computer Science; vol. 10160).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
- Published
Stop it, and be stubborn!
Valmari, A., 1 Jan 2017, In : ACM Transactions on Embedded Computing Systems. 16, 2, 46.Research output: Contribution to journal › Article › 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., 1 Jan 2017, In : Technological Forecasting and Social Change. 114, p. 313-326 14 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Conclusions
Lohan, E-S., Seco-Granados, G., Wymeersch, H., Nykänen, O. & Nurmi, J., 2017, Multi-Technology Positioning. Springer, p. 331-332Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
Context Awareness for Semantic Mobile Computing
Rivero-Rodriguez, A. & Nykänen, O., 2017, Multi-Technology Positioning. Nurmi, J., Lohan, E-S., Wymeersch, H., Seco-Granados, G. & Nykänen, O. (eds.). Cham: Springer International Publishing, p. 251-267 17 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
General Integral Formulas for k-hyper-mono-genic Functions
Eriksson, S-L. & Orelma, H., 2017, In : Advances in Applied Clifford Algebras. 27, 1, p. 99-110 12 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Independent Loops Search in Flow Networks Aiming for Well-Conditioned System of Equations
Humaloja, J-P., Ali-Löytty, S., Pohjolainen, S. & Hämäläinen, T., 2017, Progress in Industrial Mathematics at ECMI 2016. Quintela, P., Barral, P., Gómez, D., Pena, F. J., Rodríguez, J., Salgado, P. & Vázquez-Mendéz, M. E. (eds.). Springer International Publishing, (Mathematics in industry; vol. 26).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Introduction and Book Structure
Lohan, E-S., Wymeersch, H., Nykänen, O., Nurmi, J. & Seco-Granados, G., 2017, Multi-Technology Positioning. Springer, p. 1-4Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
MULTI-POS: Lessons Learnt from Fellows and Supervisors
Lohan, E-S., Nurmi, J., Seco-Granados, G., Wymeersch, H. & Nykänen, O., 2017, Multi-Technology Positioning. Springer, p. 323-329Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
MULTI-POS: Multi-Technology Positioning Professionals Training Network
Lohan, E-S., Nurmi, J., Wymeersch, H., Nykänen, O. & Seco-Granados, G., 2017, Multi-Technology Positioning. Springer, p. 5-11Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
Multi-Technology Positioning
Nurmi, J. (ed.), Lohan, E-S. (ed.), Wymeersch, H. (ed.), Seco-Granados, G. (ed.) & Nykänen, O. (ed.), 2017, Springer.Research output: Book/Report › Anthology › Scientific › peer-review
- Published
Teollinen internet ja semanttinen mallinnus
Nykänen, O., 2017, Teollinen internet uudistaa palveluliiketoimintaa ja kunnossapitoa. Martinsuo, M. & Kärri, T. (eds.). Kerava: Kunnossapitoyhdistys ProMaint, p. 102-123 22 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
Two-Sided Hypergenic Functions
Eriksson, S-L., Orelma, H. & Vieira, N., 2017, In : Advances in Applied Clifford Algebras. 27, 1, p. 111–123 14 p.Research output: Contribution to journal › Article › Scientific › peer-review
- 2016
- Published
Visual decision support for business ecosystem analysis
Basole, R. C., Huhtamäki, J., Still, K. & Russell, M. G., 15 Dec 2016, In : Expert Systems with Applications. 65, p. 271-282 12 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Processing Data for Visual Network Analysis
Huhtamäki, J., Russell, M. G. & Still, K., 1 Dec 2016, Visual Analytics for Management: Translational Science and Applications in Practice. Bendoly, E. & Clark, S. (eds.). 1 ed. Routledge, p. 56-71 16 p. 5Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- Published
RS-BL-algebras are MV-algebras
Turunen, E., 1 Dec 2016, In : Iranian Journal of Fuzzy Systems. 13, 6, p. 153-154 2 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Distribution of spin-axes longitudes and shape elongations of main-belt asteroids
Cibulkova, H., Durech, J., Vokrouhlicky, D., Kaasalainen, M. & Oszkiewicz, D. A., Dec 2016, In : Astronomy and Astrophysics. 596, 10 p., A57.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A New Cauchy Type Integral Formula for Quaternionic k-hypermonogenic Functions
Eriksson, S-L. & Orelma, H., 23 Nov 2016, Modern Trends in Hypercomplex Analysis. Bernstein, S., Kähler, U., Sabadini, I. & Sommen, F. (eds.). Springer International Publishing, p. 175-189 15 p. (Trends in Mathematics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Ostinato Process Model for Visual Network Analytics: Experiments in Innovation Ecosystems
Huhtamäki, J., 18 Nov 2016, Tampere University of Technology. 103 p. (Tampere University of Technology. Publication; vol. 1425)Research output: Book/Report › Doctoral thesis › Collection of Articles
- Published
Electroencephalography (EEG) forward modeling via H(div) finite element sources with focal interpolation
Pursiainen, S., Vorwerk, J. & Wolters, C. H., 15 Nov 2016, In : Physics in Medicine and Biology. 61, 24, p. 8502-8520 19 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
IoT-based interoperability framework for asset and fleet management
Backman, J., Väre, J., Främling, K., Madhikermi, M. & Nykänen, O., 7 Nov 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on . IEEE, p. 1-4 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Chasing the Rainbow Connection: Hardness, Algorithms, and Bounds
Lauri, J., 3 Nov 2016, Tampere University of Technology. 67 p. (Tampere University of Technology. Publication; vol. 1428)Research output: Book/Report › Doctoral thesis › Collection of Articles
- Published
Large-area virtual forests from terrestrial laser scanning data
Calders, K., Burt, A., Origo, N., Disney, M., Nightingale, J., Raumonen, P. & Lewis, P., 3 Nov 2016, 2016 IEEE International Geoscience and Remote Sensing Symposium (IGARSS). IEEE, p. 1765-1767 3 p. (IEEE International Geoscience and Remote Sensing Symposium Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Projektipankki yläkoulun matematiikkaan
Viro, E., 26 Oct 2016, In : Dimensio. 2016, 5, p. 29-30 2 p.Research output: Contribution to journal › Article › Professional
- Published
O-notation in Algorithm Analysis
Rutanen, K., 22 Oct 2016, Tampere University of Technology. 214 p. (Tampere University of Technology. Publication; vol. 1427)Research output: Book/Report › Doctoral thesis › Monograph
- Published
Identifying weak ties from publicly available social media data in an event
Gupta, J. P., Menon, K., Kärkkäinen, H., Huhtamäki, J., Mukkamala, R. R., Hussain, A., Vatrapu, R., Jussila, J. & Pirkkalainen, H., 17 Oct 2016, AcademicMindtrek '16 Proceedings of the 20th International Academic Mindtrek Conference. ACM, p. 11-19 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Students’ Use of Learning Tools and Tool Types: Solving Self-Study Assignments on an Online Platform
Myllykoski, T., Pohjolainen, S. & Ali-Löytty, S., 16 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
Developing Learning and Teaching in Engineering Mathematics with and without Technology
Joutsenlahti, J., Ali-Löytty, S. & Pohjolainen, S., 15 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
Application and theory of Petri nets and other models of concurrency: Special issue of selected papers from Petri Nets 2015
Devillers, R., Valmari, A. & Penczek, W., 13 Sep 2016, In : Fundamenta Informaticae. 146, 1, p. v-viResearch output: Contribution to journal › Editorial › Scientific
- 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
ID: 22096