Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Published

    RSS Explorer - Web feed (RSS, Atom) aggregation and visualization system

    Salonen, J., 2010

    Research output: Artistic and non-textual formSoftwareScientific

  2. Published

    Hyviä käytänteitä wiki-työskentelyyn

    Salonen, J., 2008, ITK'08. Opi valitsemaan - olet aikaasi edellä. Interaktiivinen tekniikka koulutuksessa -konferenssi. Aulanko, Hämeenlinna 17. - 18.4.2008. Hämeen kesäyliopiston julkaisuja, sarja B. Mielty, M. (ed.). p. 57-58

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

  3. Published

    Challenges in Heterogeneous Web Data Analytics - Case Finnish Growth Companies in Social Media

    Salonen, J., Huhtamäki, J. & Nykänen, O., 2013, 17th International Academic MindTrek Conference, October 1-4, 2013, Tampere, Finland. ACM, p. 131-138 8 p. (MindTrek Conference).

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

  4. Published
  5. Published

    Kokemuksia hajautetusta sisällöntuotannosta wikeillä

    Salonen, J. & Huhtamäki, J., 2007, ITK'07. Valtateiltä tiedon poluille. Interaktiivinen tekniikka koulutuksessa -konferenssi, Aulanko, Hämeenlinna 19.-20.4.2007. Eskola, U. (ed.). p. s. 88 (Hämeen kesäyliopiston julkaisuja, sarja B).

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

  6. Published

    An implementation of a semantic, web-based virtual machine laboratory prototyping environment

    Salonen, J., Nykänen, O., Ranta, P., Nurmi, J., Helminen, M., Rokala, M., Palonen, T., Alarotu, V., Koskinen, K. & Pohjolainen, S., 2011, In : Lecture Notes in Computer Science. 7032, p. 221-236

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    NSB2011 Openconf - conference paper management system

    Salonen, J. & Tebest, T., 2010

    Research output: Artistic and non-textual formSoftwareScientific

  8. Published

    Launching context-aware visualisations

    Salonen, J. & Huhtamäki, J., 2010, Digital Eco-Systems. Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Colugnati, F. A. B., Rodrigues, L. L. C. & Barretto, S. F. A. (eds.). p. 146-160

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

  9. Published

    Clay-instituutin miljoonan dollarin ongelmat

    Saksman, E., 2002, In : Arkhimedes. 2001:6/02:1, p. 6-7

    Research output: Contribution to journalArticleProfessional

  10. Published

    A characterization of fuzzy implications generated by generalized quantifiers

    Sainio, E., Turunen, E. & Mesiar, R., 2008, In : Fuzzy Sets and Systems. 159, p. 491-499

    Research output: Contribution to journalArticleScientificpeer-review

  11. Published

    Normal Distributions Transform Occupancy Maps: Application to Large-Scale Online 3D Mapping

    Saarinen, J., Andreasson, H., Stoyanov, T., Ala-Luhtala, J. & Lilienthal, A. J., 2013, 2013 IEEE International conference on Robotics and Automation, ICRA, May 6-10, 2013, Karlsruhe, Germany. Piscataway, NJ: IEEE, p. 2233-2238 6 p. (IEEE International Conference on Robotics and Automation).

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

  12. Published

    VLSI implementation of Tausworthe random number generator for parallel processing environment

    Saarinen, J., Tomberg, J., Vehmanen, L. & Kaski, K., 1991, In : IEE Proceedings-E. 138, 3, p. 138-145

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Turbulence Energy Dissipation Rate Estimation in Stirred Vessels

    Saarenrinne, P., Piirto, M., Ihalainen, H. & Kaleva, O., 1998, Proceedings of Ninth Int. Symposium on Applications of Laser Techniques to Fluid Mechanics Lisbon, 13.-16.7.1998.

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

  14. Published

    An analysis of relevance vector machine regression

    Saarela, M., Elomaa, T. & Ruohonen, K., 2010, Advances in Machine Learning I, Studies in Computational Intelligence. Koronacki, J., Ras Zbigniew, W., Wierzchon Slawomir, T. & Kacprzyk, J. (eds.). Heidelberg: Springer, p. 227-246

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

  15. Published

    Least-Squares Transformations between Point-Sets

    Rutanen, K., Gomez-Herrero, G., Eriksson, S-L. & Egiazarian, K., 2013, Image Analysis, 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings. Kämäräinen, J-K. & Koskela, M. (eds.). Berlin: Springer, p. 501-511 11 p. (Lecture Notes in Computer Science; vol. 7944).

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

  16. Published

    A General Definition of the O-notation for Algorithm Analysis

    Rutanen, K. M., Gomez Herrero, G., Eriksson, S-L. A. & Egiazarian, K., 21 Oct 2015, In : Bulletin of EATCS. 117, 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    O-notation in Algorithm Analysis

    Rutanen, K., 22 Oct 2016, Tampere University of Technology. 214 p. (Tampere University of Technology. Publication; vol. 1427)

    Research output: Book/ReportDoctoral thesisMonograph

  18. Published

    Transforming Innovation Ecosystems through Shared Vision and Network Orchestration

    Russell, M. G., Still, K., Huhtamäki, J., Yu, J. C. & Rubens, N., 2011, Proceedings of the Triple Helix IX International Conference: Silicon Valley: Global Model or Unique Anomaly? 11-14 July, 2011, Stanford, California, USA. Stanford, CA: Stanford University, H-STAR Institute Center for Innovation and Communication, p. 1-21 21 p. (Triple Helix International Conference).

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

  19. Published

    Relational Capital for Shared Vision in Innovation Ecosystems

    Russell, M. G., Huhtamäki, J., Still, K., Rubens, N. & Basole, R. C., 2015, In : Triple Helix: A Journal of University-Industry-Government Innovation and Entrepreneurship. 2, 1, 36 p.

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    Visual tools to support innovation development: User experiences from the Parisian ecosystem

    Russell, M. G., Still, K. & Huhtamäki, J. V., 10 Jun 2015, Proceedings of the International Forum on Knowledge Asset Dynamics, 10-12 June 2015, Bari, Italy: IKFAD 2015. Institute of Knowledge Asset Management & Arts for Business Institute, 14 p.

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

  21. Published

    Simultaneous estimation of blood flow distribution and instrumentation noise from dynamic H2 15O PET study with stochastic block model

    Ruotsalainen, U., Niemi, J. & Ruohonen, K., 2005, Proceedings of the 2005 IEEE Nuclear Science Symposium Conference and Medical Imaging Conference, Puerto Rico, 23-29 October 2005. p. 2679-2682

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

  22. Published

    Pedagogical issues for the design of a Hypermedia-Based Learning Environment (HBLE)

    Ruokamo-Saari, H. & Pohjolainen, S., 1997, IFIP WG 3.3 Working Conference, Sozopol, Bulgaria, May 27th-28th 1997, Human Computer Interaction and Educational Tools. Sozopol, Bulgaria, p. 82-91

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

  23. Published

    Development of Mathematical Word Problem-Solving Skills in a Technology-based Learning Environment for Mathematical Gifted Students: A Teaching Experiment

    Ruokamo-Saari, H., 1997, Tampere: Unknown Publisher. 9 p.

    Research output: Book/ReportCommissioned reportProfessional

  24. Published

    Mathematical Giftedness and Development of Mathematical Word Problem-Solving Skills in a Technology-Based Learning Environment: a Teaching Experiment

    Ruokamo-Saari, H., 1997, Educational Multimedia/ Hypermedia and Telecommunications, 1997. ED-MEDIA/ED-TELECOM 97, World Conference on Educational Multimedia/Hypermedia, World Conference on Educational Telecommunications, Proceedings, University of Calgary, Canada, June 14-19, 1997. Muldner, T. & Reeves, T. C. (eds.). Calgary, Canada: AACE Association for the Advancement of Computing in Education, p. 923-927

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

  25. Published

    Designing a hypermedia learning environment for solving complex mathematical word problems

    Ruokamo-Saari, H., 1996, Learning in Multiple Contexts. Papers and posters presented at the First Joensuu Symposium on Learning and Instruction. University of Joensuu, Kasvatustiedeiden tiedekunnan selosteita no 62. Aho, L. (ed.). Joensuun yliopisto, p. 141-158

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

  26. Published

    Hypermedia Learning Environment for Especially Mathematically Gifted Students for Mathematical Word Problem-Solving

    Ruokamo-Saari, H., 1996, Proceedings of ED-MEDIA 96-World Conference on Educational Multimedia and Hypermedia, Boston, Mass., USA, June 17-11, 1996. Boston, Mass. USA, p. s. 804

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

  27. Published

    Matemaattinen lahjakkuus ja matemaattisten sanallisten ongelmanratkaisutaitojen kehittyminen teknologiaperustaisessa oppimisympäristössä

    Ruokamo, H., 2000, Helsinki: HELSINGIN YLIOPISTO. (Helsingin yliopiston opettajankoulutuslaitos, Tutkimuksia; no. 212)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  28. Published

    Oppiminen verkossa - mahdollisuuksia ja haasteita

    Ruokamo, H., 1998, In : Apaja Nyt. 8/1998

    Research output: Contribution to journalArticleProfessional

  29. Published

    Etäopetus multimediaverkoissa (ETÄKAMU) -tavoitetutkimushanke

    Ruokamo, H. & Pohjolainen, S., 1999, Etäopetus multimediaverkoissa - Kansallisen multimediaohjelman ETÄKAMU-hanke, Digitaalisen median raportti. Ruokamo, H. & Pohjolainen, S. (eds.). Helsinki: TEKNOLOGIAN KEHITTÄMISKESKUS TEKES, p. 1-63 63 p.

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

  30. Published

    Distance learning in a multimedia networks project: main result

    Ruokamo, H. & Pohjolainen, S., 2000, In : British Journal of Educational Technology. 31, 2, p. 117-125

    Research output: Contribution to journalArticleScientificpeer-review

  31. Published

    Mathematical Abilities and Development of Mathematical Word Problem-Solving Skills in a Technology-Based Learning Environment: Methods and Main Results

    Ruokamo, H., 2000, ED-MEDIA 2000, World Conference on Educational Multimedia, Hypermedia & Telecommunications, June 26 - July 1, 2000, Montreal, Canada. Bourdeau, J. & Heller, R. (eds.). p. 946-951

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

  32. Published

    Experiences on Educational Technology Research in Finland: "Distance Learning in Multimedia Networks Project"

    Ruokamo, H. & Pohjolainen, S., 1998, Part of the Finnish Multimedia Programme ITU-konferansen 1998. Fra tradisjon til innovasjon - IKT og utdanning ITU Conference 13.-14. October 1998, Oslo, Norway, http://www.uio.no/~vibekekl/itu/konf/progr98.htm.

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

  33. Published

    Etäopetus multimediaverkoissa - Kansallisen multimediaohjelman ETÄKAMU-hanke

    Ruokamo, H. (ed.) & Pohjolainen, S. (ed.), 1999, Helsinki: TEKNOLOGIAN KEHITTÄMISKESKUS TEKES. (Digitaalisen median raportti; vol. 1/99)

    Research output: Book/ReportAnthologyScientificpeer-review

  34. Published

    Distance learning in multimedia networks project: main results

    Ruokamo, H. & Pohjolainen, S., 1999, Intelligent Computer and Communications technology, Proceedings of the Ninth International PEG Conference, School of Education, University of Exeter, England, 10.-12.7.1999. Baggott, L. & Nichol, J. (eds.). p. 153-162

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

  35. Published

    Intelligent Computer and Communications Technology - Learning in On-Line Communities, Proceedings of the Tenth International PEG Conference, 23rd-26th June 2001, Tampere, Finland

    Ruokamo, H. (ed.), Nykänen, O. (ed.), Pohjolainen, S. (ed.) & Hietala, P. (ed.), 2001, Unknown Publisher.

    Research output: Book/ReportAnthologyScientificpeer-review

  36. Published

    Pedagogical Principles for Evaluation of Hypermedia-Based Learning Environments in Mathematics

    Ruokamo, H. & Pohjolainen, S., 1998, In : Journal of Universal Computer Science. 4(3), p. 292-307

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

  40. Published

    Matemaattinen kryptologia

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

    Research output: Book/ReportBookProfessional

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

  42. Published

    Tilastomatematiikka

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

    Research output: Book/ReportBookProfessional

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

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

  45. Published

    Graafiteoria

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

    Research output: Book/ReportBookProfessional

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

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

  48. Published

    Stokastiset prosessit

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

    Research output: Book/ReportCommissioned reportProfessional

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

  50. Published

    Tilastollinen kokeiden suunnittelu ja otanta

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

    Research output: Book/ReportBookProfessional

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

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

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

  54. Published

    Otanta, laadunvalvonta ja kokeiden suunnittelu

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

    Research output: Book/ReportCommissioned reportProfessional

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

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

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

  58. Published

    Graafiteoria

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

    Research output: Book/ReportCommissioned reportProfessional

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

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

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

  62. Published

    Koodaus- ja informaatioteoria

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

    Research output: Book/ReportCommissioned reportProfessional

  63. Published

    Kryptologia

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

    Research output: Book/ReportBookProfessional

  64. Published

    Graafiteoria

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

    Research output: Book/ReportBookProfessional

  65. Published

    Kryptologia

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

    Research output: Book/ReportBookProfessional

  66. Published

    Formal languages

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

    Research output: Book/ReportBookProfessional

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

  68. Published

    Formaalit kielet

    Ruohonen, K., 2005, Unknown Publisher.

    Research output: Book/ReportBookProfessional

  69. Published

    Symbolinen analyysi

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

    Research output: Book/ReportBookProfessional

  70. Published

    Graph Theory

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

    Research output: Book/ReportBookProfessional

  71. Published

    Laadunvalvonta ja tarkastusotanta

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

    Research output: Book/ReportBookProfessional

  72. Published

    Algoritmimatematiikka

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

    Research output: Book/ReportCommissioned reportProfessional

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

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

  75. Published

    Mathematical cryptology

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

    Research output: Book/ReportBookProfessional

  76. Published

    Tilastollinen laadunvalvonta

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

    Research output: Book/ReportBookProfessional

  77. Published

    Symbolinen analyysi

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

    Research output: Book/ReportBookProfessional

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

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

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

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

  82. Published

    Luotettavuus, käytettävyys, huollettavuus

    Ruohonen, K., 2001, Tampere: Tampereen teknillinen korkeakoulu. 115 p. (Tampereen teknillinen korkeakoulu. Opintomoniste; no. 226)

    Research output: Book/ReportBookProfessional

  83. Published

    Osittaisdifferentiaaliyhtälöt

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

    Research output: Book/ReportCommissioned reportProfessional

  84. Published

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

    Ruohonen, K., 2005, In : Theoretical Computer Science. 330, p. 171-191

    Research output: Contribution to journalArticleScientificpeer-review

  85. Published

    Undecidability of Event Detection for ODEs

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

    Research output: Book/ReportCommissioned reportProfessional

  86. Published

    D0L sequence equivalence is in P for fixed alphabets

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

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

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

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

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

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

  95. Published

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

    Rautalin, S., Sep 2014, 22 p.

    Research output: Other contributionScientific

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...14 Next

ID: 22096