TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Robust Multivariable PI-Controller for Infinite-Dimensional Systems

    Pohjolainen, S. A., 1982, julkaisussa : IEEE Transactions on Automatic Control. 27, 1, s. 17-30 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    Robust Controller for Boundary Control Systems

    Pohjolainen, S. & Lätti, I., 1983, julkaisussa : International Journal of Control. 38, 6, s. 1189-1197 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Acoustic Modelling

    Pohjolainen, S. & Suutala, A., 30 kesäkuuta 2016, Mathematical Modelling. Pohjolainen, S. (toim.). Switzerland: Springer, s. 185-205 21 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    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. (toim.). s. 196-213

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Multi-stable dynamics of the non-adiabatic repressilator

    Potapov, I., Zhurov, B. & Volkov, E., 6 maaliskuuta 2015, julkaisussa : Journal of the Royal Society. Interface. 12, 104, 20141315.

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Data-based stochastic modeling of tree growth and structure formation

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

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    GNSS orbit prediction with enhanced force model

    Pukkila, A., Ala-Luhtala, J., Piche, R. & Ali-Löytty, S., 2015, 2015 International Conference on Localization and GNSS (ICL-GNSS). IEEE, 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

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

    Pursiainen, S. & Kaasalainen, M., 2013, julkaisussa : Planetary and Space Science. 82-83, s. 84-98 15 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

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

    Pursiainen, S. & Kaasalainen, M., 2014, julkaisussa : Planetary and Space Science. 99, s. 36-47 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

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

    Pursiainen, S. & Kaasalainen, M., 2014, julkaisussa : Inverse Problems. 30, 11, s. 1-19 19 Sivumäärä, 114016.

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Comparison Study for Whitney (Raviart-Thomas) Type Source Models in Finite Element Method Based EEG Forward Modeling

    Pursiainen, S., Bauer, M., Vorwerk, J., Köstler, H. & Wolters, C. H., marraskuuta 2015, julkaisussa : IEEE Transactions on Biomedical Engineering. 62, 11, s. 2648-2656 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Electromagnetic 3D subsurface imaging with source sparsity for a synthetic object

    Pursiainen, S. & Kaasalainen, M., 4 marraskuuta 2015, julkaisussa : Inverse Problems. 31, 12, 17 Sivumäärä, 125004.

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  15. 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ä

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Advances in Augmented Reality Technologies

    Pylvänäinen, T., 2011, Tampere: Tampere University of Technology. 183 Sivumäärä (Tampere University of Technology. Publication; painos 975)

    Tutkimustuotos

  18. Julkaistu

    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. s. 137-141

    Tutkimustuotos

  19. Julkaistu

    An Adaptive Derivative Free Method for Bayesian Posterior Approximation

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

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    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. s. 182-186

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    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, s. 1-6 6 Sivumäärä (International Conference on Indoor Positioning and Indoor Navigation).

    Tutkimustuotosvertaisarvioitu

  22. Julkaistu

    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. (toim.). Belmont France: European Electronic Chips & Systems Design Initiative (ECSI), s. 113-118 6 Sivumäärä (Conference on Design and Architectures for Signal and Image Processing).

    Tutkimustuotosvertaisarvioitu

  23. Julkaistu

    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, s. 576-583 12863832. (IEEE/ION Position Location and Navigation Symposium).

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu

    Binomial Gaussian mixture filter

    Raitoharju, M., Ali-Löytty, S. & Piché, R., 2 joulukuuta 2015, julkaisussa : Eurasip Journal on Advances in Signal Processing. 2015, 1, 36.

    Tutkimustuotosvertaisarvioitu

  25. 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ä

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    Hakkuukoneenkuljettajan hiljaisen tiedon näkyväksi tekeminen

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

    Tutkimustuotos

  27. Julkaistu

    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. (toim.). s. s. 34

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

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

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

    Tutkimustuotos

  29. Julkaistu

    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. (toim.). s. 39-48

    Tutkimustuotos

  30. Julkaistu

    Oppimisympäristöt, hakkuukoneet ja hiljainen tieto

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

    Tutkimustuotos

  31. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    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, s. 8 s

    Tutkimustuotosvertaisarvioitu

  33. Julkaistu

    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. (toim.). s. 37-38

    Tutkimustuotosvertaisarvioitu

  34. Julkaistu

    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. (toim.). s. 305-309

    Tutkimustuotosvertaisarvioitu

  35. Julkaistu

    Software systems for distributed computing

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

    Tutkimustuotos

  36. Julkaistu

    Dimensional Reduction of Electromagnetic Boundary Value Problems

    Raumonen, P., Suuriniemi, S. & Kettunen, L., 2011, julkaisussa : Boundary Value Problems. 2011, s. 1-25 25 Sivumäärä, 9.

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    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, julkaisussa : Remote Sensing. 5, 2, s. 491-520 30 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    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. (toim.). Vantaa: Finnish Society of Forest Science; Finnish Forest Research Institute; University of Helsinki, s. 89-91 3 Sivumäärä (International Conference on Functional-Structural Plant Models).

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    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, s. 1-6 6 Sivumäärä (ISPRS Workshop Laser Scanning; painos 38-5/W12).

    Tutkimustuotosvertaisarvioitu

  40. Julkaistu

    Massive-Scale Tree Modelling from TLS Data

    Raumonen, P., Casella, E., Calders, K., Murphy, S., Åkerblom, M. & Kaasalainen, M., 2015, ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. Stilla, U. & Heipke, C. (toim.). GOTTINGEN: COPERNICUS GESELLSCHAFT MBH, Vuosikerta II-3/W4. s. 189-196 8 Sivumäärä (International Archives of the Photogrammetry Remote Sensing and Spatial Information Sciences; painos 43).

    Tutkimustuotosvertaisarvioitu

  41. Julkaistu

    Quantitative structure tree models from terrestrial laser scanner data

    Raumonen, P. A., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 32-34 3 Sivumäärä

    Tutkimustuotos

  42. Julkaistu

    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, s. 5. 1 Sivumäärä.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  43. Julkaistu

    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. (toim.). Hong Kong: ICONCEPT PRESS, s. 1-28 28 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

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

    Rautalin, S., syyskuuta 2014, 22 Sivumäärä.

    Tutkimustuotos

  45. Julkaistu

    Priority Queue Classes with Priority Update

    Rintala, M. & Valmari, A., 14 joulukuuta 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 179-193 15 Sivumäärä 13. (CEUR Workshop Proceedings; painos 1525).

    Tutkimustuotosvertaisarvioitu

  46. Julkaistu

    Semantic Labeling of Places based on Phone Usage Features using Supervised Learning

    Rivero Rodriguez, A., Leppäkoski, H. & Piché, R., 5 helmikuuta 2015, 2014 Ubiquitous Positioning Indoor Navigation and Location Based Service, UPINLBS 2014 - Conference Proceedings. Piscataway, NJ, USA: IEEE, s. 97-102 6 Sivumäärä 7033715

    Tutkimustuotosvertaisarvioitu

  47. Julkaistu

    An Initial Homophily Indicator to Reinforce Context-Aware Semantic Computing

    Rivero-Rodriguez, A., Pileggi, P. & Nykänen, O., 2015, 7th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN). Riga: IEEE, s. 89-93 5 Sivumäärä (International Conference on Computational Intelligence, Communications and Networks).

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Social Approach for Context Analysis: Modelling and Predicting Social Network Evolution using Homophily

    Rivero-Rodriguez, A., Pileggi, P. P. & Nykänen, O. A., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, Novemer 2-6,2015. Proceedings. Springer International Publishing, s. 513-519 7 Sivumäärä (Lecture Notes in Artificial Intelligence; painos 9405).

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    Mobile Context-Aware Systems: Technologies, Resources and Applications

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

    Tutkimustuotosvertaisarvioitu

  50. 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ä

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

    Rodriguez, J. T., Turunen, E., Ruan, D. & Montero, J., 2014, julkaisussa : Fuzzy Sets and Systems. 242, s. 132-147 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  52. Julkaistu

    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, s. 606-611 (IEEE Global Engineering Education Conference EDUCON).

    Tutkimustuotosvertaisarvioitu

  53. Julkaistu

    Undecidability of Event Detection for ODEs

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

    Tutkimustuotosvertaisarvioitu

  54. Julkaistu

    On Equality of Multiplicity Sets of Regular Languages

    Ruohonen, K., 1985, julkaisussa : Theoretical Computer Science. 36, s. 113-117

    Tutkimustuotosvertaisarvioitu

  55. Julkaistu

    Luotettavuus, käytettävyys, huollettavuus

    Ruohonen, K., 1996, Tampere: Tampereen teknillinen korkeakoulu. 118 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 186)

    Tutkimustuotos

  56. Julkaistu

    Matemaattinen kryptologia

    Ruohonen, K., 2005, Tampere: Unknown Publisher. 131 Sivumäärä (Tampereen teknillinen yliopisto. Opintomoniste; painos 3)

    Tutkimustuotos

  57. Julkaistu

    Undecidable Event Detection Problems for ODEs of Dimension One and Two

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

    Tutkimustuotosvertaisarvioitu

  58. Julkaistu

    Tilastomatematiikka

    Ruohonen, K., 2007, Unknown Publisher. 88 Sivumäärä

    Tutkimustuotos

  59. Julkaistu

    Equivalence problems for regular sets of word morphisms

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

    Tutkimustuotosvertaisarvioitu

  60. Julkaistu

    An Effective Cauchy-Peano Existence Theorem for Unique Solutions

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

    Tutkimustuotosvertaisarvioitu

  61. Julkaistu

    Graafiteoria

    Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 95 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 220)

    Tutkimustuotos

  62. Julkaistu

    Undecidable Event Detection Problems for ODEs of Low Dimension

    Ruohonen, K., 1995, Tampere: Tampere University of Technology. 12 Sivumäärä (Tampere University of Technology, Department of Information Technolog Mathematics, Report; nro 67)

    Tutkimustuotos

  63. Julkaistu

    Designing Sundials by MATLAB and MAPLE

    Ruohonen, K., 1995, Tampere: Tampere University of Technology. 66 Sivumäärä (Tampere University of Technology, Department of Information Technolog Mathematics, Software Report; nro 9)

    Tutkimustuotos

  64. Julkaistu

    Stokastiset prosessit

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. 108 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 135)

    Tutkimustuotos

  65. Julkaistu

    An Effective Cauchy-Peano Existence Theorem for Unique Solutions

    Ruohonen, K., 1993, Tampere: Tampere University of Technology. 9 Sivumäärä (Tampere University of Technology, Department of Information Technology, Mathematics, Report; nro 63)

    Tutkimustuotos

  66. Julkaistu

    Tilastollinen kokeiden suunnittelu ja otanta

    Ruohonen, K., 1999, Tampereen teknillinen korkeakoulu. 96 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 215)

    Tutkimustuotos

  67. Julkaistu

    Noncommutative Recurrences

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

    Tutkimustuotos

  68. Julkaistu

    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; nro 46)

    Tutkimustuotos

  69. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1997, julkaisussa : Complexity. 2, 6, s. 41-53

    Tutkimustuotosvertaisarvioitu

  70. Julkaistu

    Otanta, laadunvalvonta ja kokeiden suunnittelu

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

    Tutkimustuotos

  71. Julkaistu

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

    Ruohonen, K., 1984, julkaisussa : Discrete Applied Mathematics. 9, s. 69-75

    Tutkimustuotosvertaisarvioitu

  72. Julkaistu

    Chomskian hierarchies of families of sets of piecewise continuous functions

    Ruohonen, K., 2004, julkaisussa : Theory of Computing Systems. 37, s. 609-638

    Tutkimustuotosvertaisarvioitu

  73. Julkaistu

    Laadunvalvonnan ja tarkastusotannan suunnittelu MAPLE-ohjelmistolla

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

    Tutkimustuotos

  74. Julkaistu

    Graafiteoria

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

    Tutkimustuotos

  75. Julkaistu

    Sundials and Mathematical Surfaces

    Ruohonen, K., 2001, julkaisussa : The Compendium. Journal of the North American Sundial Society. 8, 1, s. 1-9 9 Sivumäärä

    Tutkimustuotos

  76. Julkaistu

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

    Ruohonen, K., 1994, Tampere: Tampere University of Technology. 22 Sivumäärä (Tampere University of Technology, Department of Information Technology, Mathematics, Report; nro 65)

    Tutkimustuotos

  77. Julkaistu

    On Machine Characterization of Nonrecursive Hierarchies

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

    Tutkimustuotosvertaisarvioitu

  78. Julkaistu

    Koodaus- ja informaatioteoria

    Ruohonen, K., 1993, Tampere: Tampereen teknillinen korkeakoulu. 132 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 168)

    Tutkimustuotos

  79. Julkaistu

    Kryptologia

    Ruohonen, K., 1999, Tampere: TTKK. 116 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 211)

    Tutkimustuotos

  80. Julkaistu

    Graafiteoria

    Ruohonen, K., 2004, Unknown Publisher. 96 Sivumäärä (Tampereen teknillinen yliopisto. Opintomoniste; nro 1)

    Tutkimustuotos

  81. Julkaistu

    Kryptologia

    Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 110 Sivumäärä (TTKK, Opintomoniste; nro 230)

    Tutkimustuotos

  82. Julkaistu

    Formal languages

    Ruohonen, K., 2009, Unknown Publisher. 97 Sivumäärä

    Tutkimustuotos

  83. Julkaistu

    Event Detection for ODEs and Nonrecursive Hierarchies

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

    Tutkimustuotos

  84. Julkaistu

    Formaalit kielet

    Ruohonen, K., 2005, Unknown Publisher.

    Tutkimustuotos

  85. Julkaistu

    Symbolinen analyysi

    Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 129 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 221)

    Tutkimustuotos

  86. Julkaistu

    Graph Theory

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

    Tutkimustuotos

  87. Julkaistu

    Laadunvalvonta ja tarkastusotanta

    Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 80 Sivumäärä (TTKK, Opintomoniste; nro 229)

    Tutkimustuotos

  88. Julkaistu

    Algoritmimatematiikka

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

    Tutkimustuotos

  89. Julkaistu

    Event Detection for ODEs and Nonrecursive Hierarchies

    Ruohonen, K., 1992, Tampere: Tampereen teknillinen korkeakoulu. 15 Sivumäärä (Tampereen teknillinen korkeakoulu, Department of Electrical Engineering, Math ematics, Report; nro 61)

    Tutkimustuotos

  90. Julkaistu

    Designing Sundials by Matlab and Maple

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

    Tutkimustuotos

  91. Julkaistu

    Mathematical cryptology

    Ruohonen, K., Kangas, J. & Coughlan, P., 2006, Unknown Publisher. 133 Sivumäärä

    Tutkimustuotos

  92. Julkaistu

    Tilastollinen laadunvalvonta

    Ruohonen, K., 1999, Tampereen teknillinen korkeakoulu. 62 Sivumäärä (TTKK:n opintomoniste; nro 214)

    Tutkimustuotos

  93. Julkaistu

    Symbolinen analyysi

    Ruohonen, K., 1997, Tampere: Tampereen teknillinen korkeakoulu. 138 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 198)

    Tutkimustuotos

  94. Julkaistu

    Turing Machine Simulation by ODEs

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

    Tutkimustuotos

  95. Julkaistu

    Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation

    Ruohonen, K., 1999, julkaisussa : Fundamenta Informaticae. 38, s. 135-148

    Tutkimustuotosvertaisarvioitu

  96. Julkaistu

    Test sets for iterated morphisms

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

    Tutkimustuotos

  97. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1996, Tampere: Tampere University of Technology. 28 Sivumäärä (Tampere University of Technology, Department of Information Technology , Mathematics Report; nro 70)

    Tutkimustuotos

  98. Julkaistu

    Luotettavuus, käytettävyys, huollettavuus

    Ruohonen, K., 2001, Tampere: Tampereen teknillinen korkeakoulu. 115 Sivumäärä (Tampereen teknillinen korkeakoulu. Opintomoniste; nro 226)

    Tutkimustuotos

  99. Julkaistu

    Osittaisdifferentiaaliyhtälöt

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. 142 Sivumäärä (Tampereen teknillinen korkeakoulu, Opintomoniste; nro 140)

    Tutkimustuotos

  100. Julkaistu

    Explicit test sets for iterated morphisms in free monoids and metabelian groups

    Ruohonen, K., 2005, julkaisussa : Theoretical Computer Science. 330, s. 171-191

    Tutkimustuotosvertaisarvioitu

ID: 22096