Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Published

    Hypermedia learning environment for mathematical sciences

    Pohjolainen, S., Multisilta, J. & Antchev, K., 1998, Computer-Human Interaction in symbolic computation. Kajler, N. (ed.). Wien: Springer, p. 117-139

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  2. Published

    Computation of Transmission Zeros for Distributed Parameter Systems

    Pohjolainen, S., 1981, In : International Journal of Control. 33, 2, p. 199-212 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    A Feedforward Controller for Distributed Parameter Systems

    Pohjolainen, S., 1981, In : International Journal of Control. 34, 1, p. 173-184

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Robust Multivariable PI-Controller for Infinite-Dimensional Systems

    Pohjolainen, S. A., 1982, In : IEEE Transactions on Automatic Control. 27, 1, p. 17-30 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Robust Controller for Boundary Control Systems

    Pohjolainen, S. & Lätti, I., 1983, In : International Journal of Control. 38, 6, p. 1189-1197 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. 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 proceedingChapterScientificpeer-review

  7. Published

    Designing learning objects for social constructivist learning

    Pöldoja, H., Leinonen, T., Väljataga, T., Ellonen, A. & Priha, M., 2005, eLearning in Higher education. EUDORA intensive program ELHE during summer school in Viljandi, Estonia, 2004. Hudson, B. (ed.). p. 196-213

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. 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 journalArticleScientificpeer-review

  9. Published

    Data-based stochastic modeling of tree growth and structure formation

    Potapov, I., Järvenpää, M., Åkerblom, M., Raumonen, P. & Kaasalainen, M., 2016, In : Silva Fennica. 50, 1, 1413.

    Research output: Contribution to journalArticleScientificpeer-review

  10. 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 proceedingConference contributionScientificpeer-review

  11. Published

    Raviart-Thomas-type sources adapted to applied EEG and MEG: Implementation and results

    Pursiainen, S., 2012, In : Inverse Problems. 28, 6, 065013.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Iterative alternating sequential (IAS) method for radio tomography of asteroids in 3D

    Pursiainen, S. & Kaasalainen, M., 2013, In : Planetary and Space Science. 82-83, p. 84-98 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Detection of anomalies in radio tomography of asteroids: source count and forward errors

    Pursiainen, S. & Kaasalainen, M., 2014, In : Planetary and Space Science. 99, p. 36-47 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    Sparse source travel-time tomography of a laboratory target: accuracy and robustness of anomaly detection

    Pursiainen, S. & Kaasalainen, M., 2014, In : Inverse Problems. 30, 11, p. 1-19 19 p., 114016.

    Research output: Contribution to journalArticleScientificpeer-review

  15. 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 journalArticleScientificpeer-review

  16. 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 journalArticleScientificpeer-review

  17. 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-884

    Research output: Contribution to journalArticleScientificpeer-review

  18. 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 journalArticleScientificpeer-review

  19. Published

    Orbiter-to-orbiter tomography: a potential approach for small solar system bodies

    Pursiainen, S. & Kaasalainen, M., 2016, In : IEEE Transactions on Aerospace and Electronic Systems. 52, 6, p. 2747-2759

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    Advances in Augmented Reality Technologies

    Pylvänäinen, T., 2011, Tampere: Tampere University of Technology. 183 p. (Tampere University of Technology. Publication; vol. 975)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  21. Published

    PNaFF: A modular software platform for testing hybrid position estimation algorithms

    Raitoharju, M., Sirola, N., Ali-Löytty, S. & Piche, R., 2008, Proceedings of the 5th Workshop on Positioning, Navigation and Communication 2008 WPNC'08, 27-27 March 2008, Hannover, Germany. p. 137-141

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  22. Published

    An Adaptive Derivative Free Method for Bayesian Posterior Approximation

    Raitoharju, M. & Ali-Löytty, S., 2012, In : IEEE Signal Processing Letters. 19, 2, p. 87-90 12436433.

    Research output: Contribution to journalArticleScientificpeer-review

  23. Published

    Estimation of base station position using timing advance measurements

    Raitoharju, M., Ali-Löytty, S. & Wirola, L., 2010, 2010 International Conference on Signal and Information Processing ICSIP 2010, Changsha, China, 15.12.2010. p. 182-186

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  24. Published

    Positioning with Multilevel Coverage Area Models

    Raitoharju, M., Dashti, M., Ali-Löytty, S. & Piche, R., 2012, International Conference on Indoor Positioning and Indoor Navigation, IPIN, 13-15 November 2012, 13-15 November 2012, Sydney, Australia. Piscataway, NJ: IEEE, p. 1-6 6 p. (International Conference on Indoor Positioning and Indoor Navigation).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  25. Published

    A linear state model for PDR+WLAN positioning

    Raitoharju, M., Nurminen, H. & Piche, R., 2013, Proceedings of the 2013 Conference on Design and Architectures for Signal and Image Processing DASIP Cagliari, Italy, October 8-10, 2013. Morawiec, A. & Hinderscheit, J. (eds.). Belmont France: European Electronic Chips & Systems Design Initiative (ECSI), p. 113-118 6 p. (Conference on Design and Architectures for Signal and Image Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. Published

    Using unlocated fingerprints in generation of WLAN maps for indoor positioning

    Raitoharju, M., Fadjukoff, T., Ali-Löytty, S. & Piche, R., 2012, 2012 IEEE/ION Position Location and Navigation Symposium PLANS, 23-26 April 2012, Myrtle Beach, SC, USA. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, p. 576-583 12863832. (IEEE/ION Position Location and Navigation Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  27. 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 journalArticleScientificpeer-review

  28. 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 journalArticleScientificpeer-review

  29. Published

    Hakkuukoneenkuljettajan hiljaisen tiedon näkyväksi tekeminen

    Ranta, P., Laamanen, V., Pohjolainen, S. & Väätäinen, K., 2004, Tampere: Unknown Publisher. 90 p. (Tampereen teknillinen yliopisto, Digitaalisen median instituutti, Hypermedialaboratorio, Raportti; vol. 2004:1)

    Research output: Book/ReportCommissioned reportProfessional

  30. Published

    Koulutussimulaattorien hyödyntämisen pedagogisia näkökulmia

    Ranta, P., 2005, ITK'05. Missä Pedagogiikka? Interaktiivinen tekniikka koulutuksessa -konferenssi, Aulanko, Hämeenlinna, 20.-22.4.2005, Hämeen kesäyliopiston julkaisuja, sarja B. Muttonen, J. (ed.). p. s. 34

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  31. Published

    Näkökulmia simulaattoripohjaisten opiskelu- ja toimintaympäristöjen suunnitteluun

    Ranta, P., 2003, Oppimisympäristöjen monitieteinen tutkijakoulu, Tampere 10.-11.11.2003.. p. 22 s

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  32. Published

    Operators' tacit knowledge supports forestry machine simulator based education

    Ranta, P., 2005, Proceedings of the International Seminar on Simulator-Based Training of Forest Machine Operators. Tampere University of Technology, Digital Media Institute, Hypermedia Laboratory, Report. Ranta, P. (ed.). p. 39-48

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  33. Published

    Oppimisympäristöt, hakkuukoneet ja hiljainen tieto

    Ranta, P., 2004, Käsillä tehty. Kupiainen, T. (ed.). p. 117-130

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  34. Published

    Proceedings of the international seminar on simulator-based training of forest machine operators

    Ranta, P. (ed.), 2005, Tampere: Unknown Publisher. (Tampereen University of Technology, Digital Media Institute, Hypermedia Laboratory, Raportti; vol. 2)

    Research output: Book/ReportAnthologyScientificpeer-review

  35. Published

    Possibilities to Develop Forestmachine Simulator Based Studying

    Ranta, P., 2003, 11th International PEG Conference, Powerful ICT Tools for Learning and Teaching, 28.6-1.7.2003, St. Petersburg, Russia. St. Petersburg, p. 8 s

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Published

    Metsäkonesimulaatio-opetus kehittyy hiljaisen tiedon avulla

    Ranta, P., Laamanen, V. & Pohjolainen, S., 2004, ITK'04. Parhaat paikalla: toimivia käytäntöjä arkeen. Interaktiivinen tekniikka koulutuksessa -konferenssi, Aulanko, Hämeenlinna 21.-23.4.2004, Hämeen kesäyliopiston julkaisuja, Sarja B. Turunen, H. (ed.). p. 37-38

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  37. Published

    Added values of forestry machine simulator based training

    Ranta, P., 2005, Recent Reseach Developments in Learning Technologies (2005). 3rd International Conference on Multimedia and ICTs in Education (mICTE2005), 7-10 June, Caceres, Spain. Méndez Vilas, A. (ed.). p. 305-309

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  38. Published

    Software systems for distributed computing

    Rantala, J. & Piche, R., 2009, Tampere: Tampere University of Technology, Department of Mathematics. 63 p. (Tampereen teknillinen yliopisto. Matematiikan laitos. Tutkimusraportti; vol. 95)

    Research output: Book/ReportCommissioned reportProfessional

  39. Published

    Dimensional Reduction of Electromagnetic Boundary Value Problems

    Raumonen, P., Suuriniemi, S. & Kettunen, L., 2011, In : Boundary Value Problems. 2011, p. 1-25 25 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  40. Published

    Fast automatic precision tree models from terrestrial laser scanner data

    Raumonen, P., Kaasalainen, M., Åkerblom, M., Kaasalainen, S., Kaartinen, H., Vastaranta, M., Holopainen, M., Disney, M. & Lewis, P., 2013, In : Remote Sensing. 5, 2, p. 491-520 30 p.

    Research output: Contribution to journalArticleScientificpeer-review

  41. Published

    Fast Automatic Method for Constructing Topologically and Geometrically Precise Tree Models from TLS Data

    Raumonen, P., Casella, E., Disney, M., Åkerblom, M. & Kaasalainen, M., 2013, 7th International Conference on Functional-Structural Plant Models, FSPM2013, 9.-14.6.2013, Saariselkä, Finland. Sievänen, R., Nikinmaa, E., Godin, C., Lintunen, A. & Nygren, P. (eds.). Vantaa: Finnish Society of Forest Science; Finnish Forest Research Institute; University of Helsinki, p. 89-91 3 p. (International Conference on Functional-Structural Plant Models).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. Published

    Approximation of Volume and Branch Size Distribution of Trees from Laser Scanner Data

    Raumonen, P., Kaasalainen, S., Kaasalainen, M. & Kaartinen, H., 2011, International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, ISPRS Workshop Laser Scanning, 2011, 29.-31.8.2011, Calgary, Canada. Calgary: ISPRS, p. 1-6 6 p. (ISPRS Workshop Laser Scanning; vol. 38-5/W12).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  43. 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 proceedingConference contributionScientificpeer-review

  44. Published

    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. p. 32-34 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

  45. Published

    A comprehensive sensitivity analysis of forest tree mock-up reconstruction methods from phase-shift based tLiDAR point-cloud data

    Raumonen, P. A., Casella, E., Rombourg, R., Hetroy-Weeler, F. & McKay, H., 2016, p. 5. 1 p.

    Research output: Other conference contributionPaper, poster or abstractScientific

  46. Published

    Estimation of the Mechanical Power of a Kite Wind Generator

    Rautakorpi, P., Argatov, I. & Silvennoinen, R., 2013, Renewable Energy for Sustainable Future. Lohani, S. P. (ed.). Hong Kong: ICONCEPT PRESS, p. 1-28 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  47. Published

    Katsaus Beidou-satelliittijärjestelmään ja sen kellojen estimointiin

    Rautalin, S., Sep 2014, 22 p.

    Research output: Other contributionScientific

  48. 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 proceedingConference contributionScientificpeer-review

  49. 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. 7033715

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  50. 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 proceedingConference contributionScientificpeer-review

  51. Published

    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, p. 513-519 7 p. (Lecture Notes in Artificial Intelligence; vol. 9405).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  52. Published

    Mobile Context-Aware Systems: Technologies, Resources and Applications

    Rivero-Rodriguez, A., Pileggi, P. & Nykänen, O. A., 2016, In : International Journal of Interactive Mobile Technologies. 10, 2, p. 25-32 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  53. 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 proceedingChapterScientificpeer-review

  54. Published

    Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

    Rodriguez, J. T., Turunen, E., Ruan, D. & Montero, J., 2014, In : Fuzzy Sets and Systems. 242, p. 132-147 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  55. Published

    Alumni Network Analysis

    Rubens, N., Russell, M. G., Perez, R., Huhtamäki, J., Still, K., Kaplan, D. & Okamoto, T., 2011, 2011 IEEE 2nd Global Engineering Education Conference EDUCON, 4-6 April 2011, Amman, Jordan. Piscataway, NJ: IEEE, p. 606-611 (IEEE Global Engineering Education Conference EDUCON).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  56. Published

    Undecidability of Event Detection for ODEs

    Ruohonen, K., 1993, In : Journal of Information Processing and Cybernetics EIK. 29, 2, p. 101-113

    Research output: Contribution to journalArticleScientificpeer-review

  57. Published

    On Equality of Multiplicity Sets of Regular Languages

    Ruohonen, K., 1985, In : Theoretical Computer Science. 36, p. 113-117

    Research output: Contribution to journalArticleScientificpeer-review

  58. Published

    Luotettavuus, käytettävyys, huollettavuus

    Ruohonen, K., 1996, Tampere: Tampereen teknillinen korkeakoulu. 118 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 186)

    Research output: Book/ReportBookProfessional

  59. Published

    Matemaattinen kryptologia

    Ruohonen, K., 2005, Tampere: Unknown Publisher. 131 p. (Tampereen teknillinen yliopisto. Opintomoniste; vol. 3)

    Research output: Book/ReportBookProfessional

  60. Published

    Undecidable Event Detection Problems for ODEs of Dimension One and Two

    Ruohonen, K., 1997, In : Informatique theorique et Applications / Theoretical Informatics and Applications. 31, 1, p. 67-79

    Research output: Contribution to journalArticleScientificpeer-review

  61. Published

    Tilastomatematiikka

    Ruohonen, K., 2007, Unknown Publisher. 88 p.

    Research output: Book/ReportBookProfessional

  62. Published

    Equivalence problems for regular sets of word morphisms

    Ruohonen, K., 1986, The book of L. Rozenberg, G. & Salomaa, A. (eds.). Berlin: Springer Verlag, p. 393-401

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  63. Published

    An Effective Cauchy-Peano Existence Theorem for Unique Solutions

    Ruohonen, K., 1996, In : International Journal of Foundations of Computer Science. 7, 2, p. 151-160

    Research output: Contribution to journalArticleScientificpeer-review

  64. Published

    Graafiteoria

    Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 95 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 220)

    Research output: Book/ReportBookProfessional

  65. Published

    Undecidable Event Detection Problems for ODEs of Low Dimension

    Ruohonen, K., 1995, Tampere: Tampere University of Technology. 12 p. (Tampere University of Technology, Department of Information Technolog Mathematics, Report; no. 67)

    Research output: Book/ReportCommissioned reportProfessional

  66. Published

    Designing Sundials by MATLAB and MAPLE

    Ruohonen, K., 1995, Tampere: Tampere University of Technology. 66 p. (Tampere University of Technology, Department of Information Technolog Mathematics, Software Report; no. 9)

    Research output: Book/ReportCommissioned reportProfessional

  67. Published

    Stokastiset prosessit

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. 108 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 135)

    Research output: Book/ReportCommissioned reportProfessional

  68. Published

    An Effective Cauchy-Peano Existence Theorem for Unique Solutions

    Ruohonen, K., 1993, Tampere: Tampere University of Technology. 9 p. (Tampere University of Technology, Department of Information Technology, Mathematics, Report; no. 63)

    Research output: Book/ReportCommissioned reportProfessional

  69. Published

    Tilastollinen kokeiden suunnittelu ja otanta

    Ruohonen, K., 1999, Tampereen teknillinen korkeakoulu. 96 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 215)

    Research output: Book/ReportBookProfessional

  70. Published

    Noncommutative Recurrences

    Ruohonen, K., 1987, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka, Raportti; no. 53)

    Research output: Book/ReportCommissioned reportProfessional

  71. Published

    A Note on Permutational Variants of Post`s Correspondense Problem

    Ruohonen, K., 1984, Tampere: Tampere University of Technology. (Tampere University of Technology, Dept of Electr. Eng., Mathematics, Report; no. 46)

    Research output: Book/ReportCommissioned reportProfessional

  72. Published

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1997, In : Complexity. 2, 6, p. 41-53

    Research output: Contribution to journalArticleScientificpeer-review

  73. Published

    Otanta, laadunvalvonta ja kokeiden suunnittelu

    Ruohonen, K., 1991, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 145)

    Research output: Book/ReportCommissioned reportProfessional

  74. Published

    A Note on Off-line Machines with "Brownian" Input Heads

    Ruohonen, K., 1984, In : Discrete Applied Mathematics. 9, p. 69-75

    Research output: Contribution to journalArticleScientificpeer-review

  75. Published

    Chomskian hierarchies of families of sets of piecewise continuous functions

    Ruohonen, K., 2004, In : Theory of Computing Systems. 37, p. 609-638

    Research output: Contribution to journalArticleScientificpeer-review

  76. Published

    Laadunvalvonnan ja tarkastusotannan suunnittelu MAPLE-ohjelmistolla

    Ruohonen, K., 1992, Tampere: Tampereen teknillinen korkeakoulu. 60 p. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto. Matematiikan ohjelmistoraportti; no. 6)

    Research output: Book/ReportCommissioned reportProfessional

  77. Published

    Graafiteoria

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 136)

    Research output: Book/ReportCommissioned reportProfessional

  78. Published

    Sundials and Mathematical Surfaces

    Ruohonen, K., 2001, In : The Compendium. Journal of the North American Sundial Society. 8, 1, p. 1-9 9 p.

    Research output: Contribution to journalArticleScientific

  79. Published

    Deciding Equivalence of Recurrent Sequences in Free Monoids and Metabelian Groups by Polynomial Manipulation

    Ruohonen, K., 1994, Tampere: Tampere University of Technology. 22 p. (Tampere University of Technology, Department of Information Technology, Mathematics, Report; no. 65)

    Research output: Book/ReportCommissioned reportProfessional

  80. Published

    On Machine Characterization of Nonrecursive Hierarchies

    Ruohonen, K., 1984, Annales Universitatis Turkuensis, Series A. p. 87-101

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  81. Published

    Koodaus- ja informaatioteoria

    Ruohonen, K., 1993, Tampere: Tampereen teknillinen korkeakoulu. 132 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 168)

    Research output: Book/ReportCommissioned reportProfessional

  82. Published

    Kryptologia

    Ruohonen, K., 1999, Tampere: TTKK. 116 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 211)

    Research output: Book/ReportBookProfessional

  83. Published

    Graafiteoria

    Ruohonen, K., 2004, Unknown Publisher. 96 p. (Tampereen teknillinen yliopisto. Opintomoniste; no. 1)

    Research output: Book/ReportBookProfessional

  84. Published

    Kryptologia

    Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 110 p. (TTKK, Opintomoniste; no. 230)

    Research output: Book/ReportBookProfessional

  85. Published

    Formal languages

    Ruohonen, K., 2009, Unknown Publisher. 97 p.

    Research output: Book/ReportBookProfessional

  86. Published

    Event Detection for ODEs and Nonrecursive Hierarchies

    Ruohonen, K., 1994, Lecture Notes in C Science. Karhumäki, J., Mauer, H. & Rozenberg, G. (eds.). p. 358-371

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  87. Published

    Formaalit kielet

    Ruohonen, K., 2005, Unknown Publisher.

    Research output: Book/ReportBookProfessional

  88. Published

    Symbolinen analyysi

    Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 129 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 221)

    Research output: Book/ReportBookProfessional

  89. Published

    Graph Theory

    Ruohonen, K., Tamminen, J., Lee, K-C. & Piche, R., 2006, Unknown Publisher. 97 p.

    Research output: Book/ReportBookProfessional

  90. Published

    Laadunvalvonta ja tarkastusotanta

    Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 80 p. (TTKK, Opintomoniste; no. 229)

    Research output: Book/ReportBookProfessional

  91. Published

    Algoritmimatematiikka

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 137)

    Research output: Book/ReportCommissioned reportProfessional

  92. Published

    Event Detection for ODEs and Nonrecursive Hierarchies

    Ruohonen, K., 1992, Tampere: Tampereen teknillinen korkeakoulu. 15 p. (Tampereen teknillinen korkeakoulu, Department of Electrical Engineering, Math ematics, Report; no. 61)

    Research output: Book/ReportCommissioned reportProfessional

  93. Published

    Designing Sundials by Matlab and Maple

    Ruohonen, K., 2003, Glastonbury,Ct, USA: North American Sundial Society. 67 p. (North American Sundial Society Repository CD)

    Research output: Book/ReportBookProfessional

  94. Published

    Mathematical cryptology

    Ruohonen, K., Kangas, J. & Coughlan, P., 2006, Unknown Publisher. 133 p.

    Research output: Book/ReportBookProfessional

  95. Published

    Tilastollinen laadunvalvonta

    Ruohonen, K., 1999, Tampereen teknillinen korkeakoulu. 62 p. (TTKK:n opintomoniste; no. 214)

    Research output: Book/ReportBookProfessional

  96. Published

    Symbolinen analyysi

    Ruohonen, K., 1997, Tampere: Tampereen teknillinen korkeakoulu. 138 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 198)

    Research output: Book/ReportBookProfessional

  97. Published

    Turing Machine Simulation by ODEs

    Ruohonen, K., 1991, Tampere: Tampereen teknillinen korkeakoulu. 24 p. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka, Rapor tti; no. 59)

    Research output: Book/ReportCommissioned reportProfessional

  98. Published

    Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation

    Ruohonen, K., 1999, In : Fundamenta Informaticae. 38, p. 135-148

    Research output: Contribution to journalArticleScientificpeer-review

  99. Published

    Test sets for iterated morphisms

    Ruohonen, K., 1986, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka, Raportti; no. 49)

    Research output: Book/ReportCommissioned reportProfessional

  100. Published

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1996, Tampere: Tampere University of Technology. 28 p. (Tampere University of Technology, Department of Information Technology , Mathematics Report; no. 70)

    Research output: Book/ReportCommissioned reportProfessional

ID: 22096