Department of Mathematics
Research unit: Department
- 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-139Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- 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
- Published
A Feedforward Controller for Distributed Parameter Systems
Pohjolainen, S., 1981, In : International Journal of Control. 34, 1, p. 173-184Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- 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
- 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
- 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-213Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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-884Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- 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-2759Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- 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-141Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- 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
- 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-186Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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
- 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
- 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
- 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
- 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
- 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
- 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. 34Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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 sResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- 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-48Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- Published
Oppimisympäristöt, hakkuukoneet ja hiljainen tieto
Ranta, P., 2004, Käsillä tehty. Kupiainen, T. (ed.). p. 117-130Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional
- 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
- 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 sResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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-38Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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-309Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Published
Katsaus Beidou-satelliittijärjestelmään ja sen kellojen estimointiin
Rautalin, S., Sep 2014, 22 p.Research output: Other contribution › Scientific
- 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
- 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. 7033715Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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
- 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
- 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
- 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
- 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
- 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
- Published
Undecidability of Event Detection for ODEs
Ruohonen, K., 1993, In : Journal of Information Processing and Cybernetics EIK. 29, 2, p. 101-113Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On Equality of Multiplicity Sets of Regular Languages
Ruohonen, K., 1985, In : Theoretical Computer Science. 36, p. 113-117Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- Published
Matemaattinen kryptologia
Ruohonen, K., 2005, Tampere: Unknown Publisher. 131 p. (Tampereen teknillinen yliopisto. Opintomoniste; vol. 3)Research output: Book/Report › Book › Professional
- 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-79Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Tilastomatematiikka
Ruohonen, K., 2007, Unknown Publisher. 88 p.Research output: Book/Report › Book › Professional
- 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-401Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- 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-160Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Graafiteoria
Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 95 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 220)Research output: Book/Report › Book › Professional
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Published
Decidability and Complexity of Event Detection Problems for ODEs
Ruohonen, K., 1997, In : Complexity. 2, 6, p. 41-53Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- Published
A Note on Off-line Machines with "Brownian" Input Heads
Ruohonen, K., 1984, In : Discrete Applied Mathematics. 9, p. 69-75Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Chomskian hierarchies of families of sets of piecewise continuous functions
Ruohonen, K., 2004, In : Theory of Computing Systems. 37, p. 609-638Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- Published
Graafiteoria
Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 136)Research output: Book/Report › Commissioned report › Professional
- 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
- 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
- Published
On Machine Characterization of Nonrecursive Hierarchies
Ruohonen, K., 1984, Annales Universitatis Turkuensis, Series A. p. 87-101Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- 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
- Published
Kryptologia
Ruohonen, K., 1999, Tampere: TTKK. 116 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 211)Research output: Book/Report › Book › Professional
- Published
Graafiteoria
Ruohonen, K., 2004, Unknown Publisher. 96 p. (Tampereen teknillinen yliopisto. Opintomoniste; no. 1)Research output: Book/Report › Book › Professional
- Published
Kryptologia
Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 110 p. (TTKK, Opintomoniste; no. 230)Research output: Book/Report › Book › Professional
- Published
Formal languages
Ruohonen, K., 2009, Unknown Publisher. 97 p.Research output: Book/Report › Book › Professional
- 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-371Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
- Published
Formaalit kielet
Ruohonen, K., 2005, Unknown Publisher.Research output: Book/Report › Book › Professional
- Published
Symbolinen analyysi
Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 129 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 221)Research output: Book/Report › Book › Professional
- Published
Graph Theory
Ruohonen, K., Tamminen, J., Lee, K-C. & Piche, R., 2006, Unknown Publisher. 97 p.Research output: Book/Report › Book › Professional
- Published
Laadunvalvonta ja tarkastusotanta
Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 80 p. (TTKK, Opintomoniste; no. 229)Research output: Book/Report › Book › Professional
- Published
Algoritmimatematiikka
Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 137)Research output: Book/Report › Commissioned report › Professional
- 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
- 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
- Published
Mathematical cryptology
Ruohonen, K., Kangas, J. & Coughlan, P., 2006, Unknown Publisher. 133 p.Research output: Book/Report › Book › Professional
- Published
Tilastollinen laadunvalvonta
Ruohonen, K., 1999, Tampereen teknillinen korkeakoulu. 62 p. (TTKK:n opintomoniste; no. 214)Research output: Book/Report › Book › Professional
- Published
Symbolinen analyysi
Ruohonen, K., 1997, Tampere: Tampereen teknillinen korkeakoulu. 138 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 198)Research output: Book/Report › Book › Professional
- 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
- Published
Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation
Ruohonen, K., 1999, In : Fundamenta Informaticae. 38, p. 135-148Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- 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
ID: 22096