Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

1001 - 1100 out of 1,341Page size: 100
  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 proceeding › Chapter › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Chapter › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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/Report › Doctoral thesis › Collection of Articles

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific

    Full text: ExLibris SFX link
  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 proceeding › Chapter › Professional

    Full text: ExLibris SFX link
  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/Report › Anthology › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Professional

    Full text: ExLibris SFX link
  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 contribution › Paper, poster or abstract › Scientific

    Full text: ExLibris SFX link
  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 proceeding › Chapter › Scientific › peer-review

    Full text: ExLibris SFX link
  47. Published

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

    Rautalin, S., Sep 2014, 22 p.

    Research output: Other contribution › Scientific

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Chapter › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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/Report › Book › Professional

    Full text: ExLibris SFX link
  59. Published

    Matemaattinen kryptologia

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  61. Published

    Tilastomatematiikka

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  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 proceeding › Chapter › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  64. Published

    Graafiteoria

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  67. Published

    Stokastiset prosessit

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

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  69. Published

    Tilastollinen kokeiden suunnittelu ja otanta

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  73. Published

    Otanta, laadunvalvonta ja kokeiden suunnittelu

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

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  77. Published

    Graafiteoria

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

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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 journal › Article › Scientific

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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 proceeding › Chapter › Scientific › peer-review

    Full text: ExLibris SFX link
  81. Published

    Koodaus- ja informaatioteoria

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

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  82. Published

    Kryptologia

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  83. Published

    Graafiteoria

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  84. Published

    Kryptologia

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  85. Published

    Formal languages

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  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 proceeding › Chapter › Scientific

    Full text: ExLibris SFX link
  87. Published

    Formaalit kielet

    Ruohonen, K., 2005, Unknown Publisher.

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  88. Published

    Symbolinen analyysi

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  89. Published

    Graph Theory

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  90. Published

    Laadunvalvonta ja tarkastusotanta

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  91. Published

    Algoritmimatematiikka

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

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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/Report › Book › Professional

    Full text: ExLibris SFX link
  94. Published

    Mathematical cryptology

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  95. Published

    Tilastollinen laadunvalvonta

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  96. Published

    Symbolinen analyysi

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

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  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/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
Previous 1...7 8 9 10 11 12 13 14 Next

ID: 22096

Contact information

Korkeakoulunkatu 1
Tietotalo Building, floors 3 and 4
FI-33720
Tampere
Finland
PO Box 553
FI-33101
Tampere
Finland

View graph of relations

Tampere University of Technology is at the leading edge of technology development and a sought-after collaboration partner among the scientific and business communities. The University produces competent graduates who enter careers in the different sectors of society.

Quick links

Follow us

subscribe to the TUT science newsletter Interface