TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Noncommutative Recurrences

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

    Tutkimustuotos

  2. 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

  3. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

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

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Otanta, laadunvalvonta ja kokeiden suunnittelu

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

    Tutkimustuotos

  5. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Chomskian hierarchies of families of sets of piecewise continuous functions

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

    Tutkimustuotosvertaisarvioitu

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

  8. Julkaistu

    Graafiteoria

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

    Tutkimustuotos

  9. 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

  10. 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

  11. Julkaistu

    On Machine Characterization of Nonrecursive Hierarchies

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

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Koodaus- ja informaatioteoria

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

    Tutkimustuotos

  13. Julkaistu

    Kryptologia

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

    Tutkimustuotos

  14. Julkaistu

    Graafiteoria

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

    Tutkimustuotos

  15. Julkaistu

    Kryptologia

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

    Tutkimustuotos

  16. Julkaistu

    Formal languages

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

    Tutkimustuotos

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

  18. Julkaistu

    Formaalit kielet

    Ruohonen, K., 2005, Unknown Publisher.

    Tutkimustuotos

  19. Julkaistu

    Symbolinen analyysi

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

    Tutkimustuotos

  20. Julkaistu

    Graph Theory

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

    Tutkimustuotos

  21. Julkaistu

    Laadunvalvonta ja tarkastusotanta

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

    Tutkimustuotos

  22. Julkaistu

    Algoritmimatematiikka

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

    Tutkimustuotos

  23. 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

  24. 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

  25. Julkaistu

    Mathematical cryptology

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

    Tutkimustuotos

  26. Julkaistu

    Tilastollinen laadunvalvonta

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

    Tutkimustuotos

  27. Julkaistu

    Symbolinen analyysi

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

    Tutkimustuotos

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

  29. Julkaistu

    Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation

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

    Tutkimustuotosvertaisarvioitu

  30. 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

  31. 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

  32. Julkaistu

    Luotettavuus, käytettävyys, huollettavuus

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

    Tutkimustuotos

  33. Julkaistu

    Osittaisdifferentiaaliyhtälöt

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

    Tutkimustuotos

  34. 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

  35. Julkaistu

    Undecidability of Event Detection for ODEs

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

    Tutkimustuotos

  36. Julkaistu

    D0L sequence equivalence is in P for fixed alphabets

    Ruohonen, K., 2008, julkaisussa : RAIRO: Theoretical Informatics and Applications. 42, 2, s. 361-374

    Tutkimustuotosvertaisarvioitu

  37. 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

  38. 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

  39. 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

  40. 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

  41. 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

  42. 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

  43. 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

  44. 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

  45. Julkaistu

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

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

    Tutkimustuotos

  46. 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

  47. 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

  48. 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

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

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

ID: 22096