Matematiikan laitos
Tutkimusyksikkö: Laitos
- 2018
- Julkaistu
On the complexity of rainbow coloring problems
Eiben, E., Ganian, R. & Lauri, J., syyskuuta 2018, julkaisussa : Discrete Applied Mathematics. 246, s. 38-48Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Asymptotic Behaviour of Coupled Systems in Discrete and Continuous Time
Paunonen, L. & Seifert, D., kesäkuuta 2018, julkaisussa : JOURNAL OF DYNAMICS AND DIFFERENTIAL EQUATIONS. 30, 2, s. 433-445 13 SivumääräTutkimustuotos › › vertaisarvioitu
- 2017
- Julkaistu
Opiskelijoiden oppimistyökalujen käyttö tietokoneavusteisessa Matematiikkajumppa -tukiopetuksessa
Myllykoski, T., Ali-Löytty, S. S. & Pohjolainen, S., 31 lokakuuta 2017, 2017: Proceedings of the annual FMSERA symposium 2016 . s. 54-65 12 Sivumäärä (Proceedings of the FMSERA annual symposium).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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 elokuuta 2017, julkaisussa : Mobile Information Systems. 2017, s. 1-21 21 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Asymptotic behaviour in the robot rendezvous problem
Paunonen, L. & Seifert, D., 1 toukokuuta 2017, julkaisussa : Automatica. 79, s. 127-130 4 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Complexity of Rainbow Vertex Connectivity Problems for Restricted Graph Classes
Lauri, J., 11 maaliskuuta 2017, julkaisussa : Discrete Applied Mathematics. 219, s. 132-146 14 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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 maaliskuuta 2017, julkaisussa : Astronomy and Astrophysics. 599, A36.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Forward and Inverse Effects of the Complete Electrode Model in Neonatal EEG
Pursiainen, S., Lew, S. & Wolters, C. H., maaliskuuta 2017, julkaisussa : Journal of Neurophysiology. 117, 3, s. 876-884Tutkimustuotos › › vertaisarvioitu
- Julkaistu
The Congruences Below Fair Testing with Initial Stability
Valmari, A., 6 helmikuuta 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, s. 25-34 10 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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 tammikuuta 2017, Proceedings of the 50th Hawaii International Conference on System Sciences. 10 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Abstractions for transition systems with applications to stubborn sets
Hansen, H., 1 tammikuuta 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. (toim.). Springer International Publishing, s. 104-123 20 Sivumäärä (Lecture Notes in Computer Science; painos 10160).Tutkimustuotos ›
- Julkaistu
More stubborn set methods for process algebras
Valmari, A., 1 tammikuuta 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. (toim.). Springer International Publishing, s. 246-271 26 Sivumäärä (Lecture Notes in Computer Science; painos 10160).Tutkimustuotos ›
- Julkaistu
Stop it, and be stubborn!
Valmari, A., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, 46.Tutkimustuotos › › 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., 1 tammikuuta 2017, julkaisussa : Technological Forecasting and Social Change. 114, s. 313-326 14 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Conclusions
Lohan, E-S., Seco-Granados, G., Wymeersch, H., Nykänen, O. & Nurmi, J., 2017, Multi-Technology Positioning. Springer, s. 331-332Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). Cham: Springer International Publishing, s. 251-267 17 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
General Integral Formulas for k-hyper-mono-genic Functions
Eriksson, S-L. & Orelma, H., 2017, julkaisussa : Advances in Applied Clifford Algebras. 27, 1, s. 99-110 12 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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. (toim.). Springer International Publishing, (Mathematics in industry; painos 26).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Introduction and Book Structure
Lohan, E-S., Wymeersch, H., Nykänen, O., Nurmi, J. & Seco-Granados, G., 2017, Multi-Technology Positioning. Springer, s. 1-4Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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, s. 323-329Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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, s. 5-11Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Multi-Technology Positioning
Nurmi, J. (toim.), Lohan, E-S. (toim.), Wymeersch, H. (toim.), Seco-Granados, G. (toim.) & Nykänen, O. (toim.), 2017, Springer.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Teollinen internet ja semanttinen mallinnus
Nykänen, O., 2017, Teollinen internet uudistaa palveluliiketoimintaa ja kunnossapitoa. Martinsuo, M. & Kärri, T. (toim.). Kerava: Kunnossapitoyhdistys ProMaint, s. 102-123 22 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Two-Sided Hypergenic Functions
Eriksson, S-L., Orelma, H. & Vieira, N., 2017, julkaisussa : Advances in Applied Clifford Algebras. 27, 1, s. 111–123 14 SivumääräTutkimustuotos › › vertaisarvioitu
- 2016
- Julkaistu
Visual decision support for business ecosystem analysis
Basole, R. C., Huhtamäki, J., Still, K. & Russell, M. G., 15 joulukuuta 2016, julkaisussa : Expert Systems with Applications. 65, s. 271-282 12 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Processing Data for Visual Network Analysis
Huhtamäki, J., Russell, M. G. & Still, K., 1 joulukuuta 2016, Visual Analytics for Management: Translational Science and Applications in Practice. Bendoly, E. & Clark, S. (toim.). 1 toim. Routledge, s. 56-71 16 Sivumäärä 5Tutkimustuotos › › vertaisarvioitu
- Julkaistu
RS-BL-algebras are MV-algebras
Turunen, E., 1 joulukuuta 2016, julkaisussa : Iranian Journal of Fuzzy Systems. 13, 6, s. 153-154 2 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Distribution of spin-axes longitudes and shape elongations of main-belt asteroids
Cibulkova, H., Durech, J., Vokrouhlicky, D., Kaasalainen, M. & Oszkiewicz, D. A., joulukuuta 2016, julkaisussa : Astronomy and Astrophysics. 596, 10 Sivumäärä, A57.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
A New Cauchy Type Integral Formula for Quaternionic k-hypermonogenic Functions
Eriksson, S-L. & Orelma, H., 23 marraskuuta 2016, Modern Trends in Hypercomplex Analysis. Bernstein, S., Kähler, U., Sabadini, I. & Sommen, F. (toim.). Springer International Publishing, s. 175-189 15 Sivumäärä (Trends in Mathematics).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Ostinato Process Model for Visual Network Analytics: Experiments in Innovation Ecosystems
Huhtamäki, J., 18 marraskuuta 2016, Tampere University of Technology. 103 Sivumäärä (Tampere University of Technology. Publication; painos 1425)Tutkimustuotos ›
- Julkaistu
Electroencephalography (EEG) forward modeling via H(div) finite element sources with focal interpolation
Pursiainen, S., Vorwerk, J. & Wolters, C. H., 15 marraskuuta 2016, julkaisussa : Physics in Medicine and Biology. 61, 24, s. 8502-8520 19 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
IoT-based interoperability framework for asset and fleet management
Backman, J., Väre, J., Främling, K., Madhikermi, M. & Nykänen, O., 7 marraskuuta 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on . IEEE, s. 1-4 4 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Chasing the Rainbow Connection: Hardness, Algorithms, and Bounds
Lauri, J., 3 marraskuuta 2016, Tampere University of Technology. 67 Sivumäärä (Tampere University of Technology. Publication; painos 1428)Tutkimustuotos ›
- Julkaistu
Large-area virtual forests from terrestrial laser scanning data
Calders, K., Burt, A., Origo, N., Disney, M., Nightingale, J., Raumonen, P. & Lewis, P., 3 marraskuuta 2016, 2016 IEEE International Geoscience and Remote Sensing Symposium (IGARSS). IEEE, s. 1765-1767 3 Sivumäärä (IEEE International Geoscience and Remote Sensing Symposium Proceedings).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Projektipankki yläkoulun matematiikkaan
Viro, E., 26 lokakuuta 2016, julkaisussa : Dimensio. 2016, 5, s. 29-30 2 SivumääräTutkimustuotos ›
- Julkaistu
O-notation in Algorithm Analysis
Rutanen, K., 22 lokakuuta 2016, Tampere University of Technology. 214 Sivumäärä (Tampere University of Technology. Publication; painos 1427)Tutkimustuotos ›
- Julkaistu
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 lokakuuta 2016, AcademicMindtrek '16 Proceedings of the 20th International Academic Mindtrek Conference. ACM, s. 11-19 9 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
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 syyskuuta 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFITutkimustuotos › › vertaisarvioitu
- Julkaistu
Developing Learning and Teaching in Engineering Mathematics with and without Technology
Joutsenlahti, J., Ali-Löytty, S. & Pohjolainen, S., 15 syyskuuta 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFITutkimustuotos › › vertaisarvioitu
- Julkaistu
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 syyskuuta 2016, julkaisussa : Fundamenta Informaticae. 146, 1, s. v-viTutkimustuotos ›
- Julkaistu
Interval decomposition lattices are balanced
Foldes, S. & Radeleczki, S., 1 syyskuuta 2016, julkaisussa : DEMONSTRATIO MATHEMATICA. 49, 3, s. 271-281 11 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
MathCheck: a tool for checking math solutions in detail
Valmari, A. & Kaarakka, T., syyskuuta 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFITutkimustuotos › › vertaisarvioitu
- Julkaistu
Optimal energy decay in a one-dimensional coupled wave–heat system
Batty, C., Paunonen, L. & Seifert, D., syyskuuta 2016, julkaisussa : Journal of Evolution Equations. 16, 3, s. 649–664 16 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Safety Property-Driven Stubborn Sets
Hansen, H. & Valmari, A., syyskuuta 2016, Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Larsen, K., Potapov, I. & Srba, J. (toim.). Springer International Publishing, s. 90-103 14 Sivumäärä (Lecture notes in computer science; painos 9899).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
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 heinäkuuta 2016, Switzerland: Springer International Publishing. 242 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Asymptotic Behaviour of Platoon Systems
Paunonen, L. & Seifert, D., heinäkuuta 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems. University of Minnesota, s. 830-836 7 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Acoustic Modelling
Pohjolainen, S. & Suutala, A., 30 kesäkuuta 2016, Mathematical Modelling. Pohjolainen, S. (toim.). Switzerland: Springer, s. 185-205 21 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
The Structure of Robust Controllers for Distributed Parameter Systems
Hämäläinen, T. & Pohjolainen, S., 29 kesäkuuta 2016, Proceedings of the European Control Conference, June 29 - July 1, 2016, Aalborg Denmark. Aalborg, Denmark: IEEE, 6 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Partitioned Update Kalman Filter
Raitoharju, M., Piché, R., Ala-Luhtala, J. & Ali-Löytty, S., kesäkuuta 2016, julkaisussa : Journal of Advances in Information Fusion. 11, 1, s. 3-14 12 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Blind sub-Nyquist GNSS signal detection
Daniel, O., Raasakka, J., Peltola, P., Fröhle, M., Rivero-Rodriguez, A., Wymeersch, H. & Nurmi, J., 18 toukokuuta 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) . IEEE, s. 6575-6579 5 SivumääräTutkimustuotos › › vertaisarvioitu
ID: 22096