TUTCRIS - Tampereen teknillinen yliopisto


Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Context-Driven Social Network Visualisation: Case Wiki Co-Creation

    Huhtamäki, J., Salonen, J., Marttila, J. & Nykänen, O., 2010, Proceedings of the Knowledge Federation 2010: Self-Organizing Collective Mind, October 3-6, 2010, Dubrovnik, Croatia. Karabeg, D. & Park, J. (toim.). s. 1-13 13 Sivumäärä


  2. Julkaistu

    Continuous extension of Belnap values and MV algebras

    Turunen, E., Ozturk, M. & Tsoukias, A., 2008, LFA 2008 Symposium Rencontres francophones sur la Logique Floue et ses Applications, Lens, France, 16.-17.10.2008. s. 304-311


  3. Julkaistu

    Contributions to the theory of hypermonogenic functions

    Eriksson, S-L. & Leutwiler, H., 2006, julkaisussa : Complex Variables and Elliptic Equations. 51, 5-6, s. 547-561


  4. Julkaistu

    Controller Design for Robust Output Regulation of Regular Linear Systems

    Paunonen, L., 2016, julkaisussa : IEEE Transactions on Automatic Control. 61, 10, s. 2974-2986


  5. Julkaistu

    Converting GNSS satellite orbit segments to GPS-compatible format

    Kosola, H., Ali-Löytty, S. & Piche, R., 2012, The second International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Services, UPINLBS, 3-4 October 2012, Helsinki. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, (Ubiquitous Positioning, Indoor Navigation and Location-Based Services).


  6. Julkaistu

    Converting Machine Tool Measurements into a CAD Model

    Piche, R., Kadioglu, S., Zhou, L., Han, Y., Vassilev, T., Burden, T. & Deng, X., 2004, Proceedings of the Sixth PIMS-IMA Graduate Industrial Math Modelling Camp, May 17-22, 2003, Banff International Research Station, Alberta. Kuske, R. (toim.). Pacific Institute for the Mathematical Sciences, s. 75-80


  7. Julkaistu

    COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures

    Iturrioz, L. (toim.), Orlowska, E. (toim.) & Turunen, E. (toim.), 2000, Tampere: Tampere University of Technology. (Tampere University of Technology, Department of Information Technology, Mathematics, Report; nro 75)


  8. Julkaistu

    Course Material Model in A&O Learning Environment

    Levasma, J. & Nykänen, O., 2001, Proceedings of ED-MEDIA 2001 World Conference on Educational Multimedia, Hypermedia & Telecommunications, June 25-30, 2001, Tampere, Finland. Montgomerie, C. & Viteli, J. (toim.). s. 1112-1117


  9. Julkaistu

    Crowdfunding in the development of social media fanbase – case study of two competing ecosystems

    Jussila, J., Menon, K., Mukkamala, R. R., Lasrado, L. A., Hussain, A., Vatrapu, R., Kärkkäinen, H. & Huhtamäki, J., 5 tammikuuta 2016, 2016 49th Hawaii International Conference on System Sciences (HICSS) . Hawaii, USA: IEEE Computer Society, s. 4495-4504 495. (HICSS 2016; painos 16).


  10. Julkaistu

    Cubature-based Kalman filters for positioning

    Pesonen, H. & Piche, R., 2010, Proceedings of the 7th Workshop on Positioning, Navigation and Communication 2010 WPNC'10, 11-12 March 2010, Dresden, Germany. s. 45-49


  11. Julkaistu

    D0L sequence equivalence is in P for fixed alphabets

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


  12. Julkaistu

    DAMIT: a database of asteroid models

    Durech, J., Sidorin, V. & Kaasalainen, M., 2010, julkaisussa : Astronomy and Astrophysics. 513, A46, s. 1-13 13 Sivumäärä


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


  14. Julkaistu
  15. Julkaistu

    Datamap Visualization Technique for Interactively Visualizing Large Datasets

    Nykänen, O., 2013, 17th International Academic MindTrek Conference, October 1-4, 2013, Tampere, Finland. Lugmayr, A., Franssila, H., Kärkkäinen, H. & Paavilainen, J. (toim.). ACM, s. 52-58 7 Sivumäärä (MindTrek Conference).


  16. Julkaistu

    Datapohjaiset mallit

    Merikoski, J., Turunen, E., Raivio, K. & Mantere, T., 2010, Matemaattinen mallinnus. Pohjolainen, S. (toim.). Helsinki: WSOYpro, s. 77-146


  17. Julkaistu

    D-bar method for electrial impedance tomography with discontinuous conductives

    Knudsen, K., Lassas, M., Jennifer, I. & Siltanen, S., 2007, julkaisussa : SIAM Journal on Applied Mathematics. 67, 893, s. 893-913


  18. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

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


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


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


  21. Julkaistu

    Decompositions of planar motions into reflections and rotations with distance constraints

    Foldes, S., 2004, 16th Canadian Conference on Computational Geometry, Montreal, Canada 9.-11.8.2004. s. 33-35


  22. Julkaistu

    Deduction theorem in monoidal logic

    Turunen, E., 2007, julkaisussa : Journal of the Calcutta Mathematical Society. 3, 1&2, s. 63-66


  23. Julkaistu

    Definability of Boolean function classes by linear equations over GF(2)

    Couceiro, M. & Foldes, S., 2004, julkaisussa : Discrete Applied Mathematics. 142, s. 29-34


  24. Julkaistu

    Definability Of Boolean Function Classes By Linear Equations Over GF(2)

    Couceiro, M. & Foldes, S., 2002, Unknown Publisher.


  25. Julkaistu

    Derivates and Degrees of Set Functions: A Pseudo-Boolean Approach

    Foldes, S. & Hammer, P. L., 2002, Unknown Publisher.


  26. Julkaistu

    Descending chains and antichains of the unary, linear, and monotone subfunction relations

    Lehtonen, E., 2006, julkaisussa : Order. 23, 2-3, s. 129-142


  27. Julkaistu

    Design and evaluation of problem-based learning objects for environmental education in Estonian secondary school

    Väljataga, T., 2005, eLearning in Higher education. EUDORA intensive program ELHE during summer school in Viljandi, Estonia, 2004. Hudson, B. (toim.). s. 214-231


  28. Julkaistu

    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. (toim.). Joensuun yliopisto, s. 141-158


  29. Julkaistu

    Designing controllers with reduced order internal models

    Paunonen, L., 1 maaliskuuta 2015, julkaisussa : IEEE Transactions on Automatic Control. 60, 3, s. 775-780 6 Sivumäärä, 6826480.


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


  31. Julkaistu

    Designing powerful tools, learning envinronments and systems

    Chan, T-W., Hietala, P., Tanimoto, S. & Multisilta, J., 1996, IFIP Window to the Future. A report from Professional Group DG08 at 6th World Conference on Computers in Education, WCCE '95. Tinsley, J. D. & van Weert, T. (toim.). Birminghamn, s. 1-6 6 Sivumäärä


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


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


  34. Julkaistu

    Design of a Reference Listening Room - a Case Study

    Järvinen, A., Savioja, L., Möller, H., Ikonen, V. & Ruusuvuori, A., 1997, Presented at the 103rd AES Convention, 1997 September 26-29 New York. An Audio Engineering Society, s. 1-20 20 Sivumäärä


  35. Julkaistu

    Design of a Robust Controller for a Hydraulic Servo Using H-infinity Theory

    Piche, R., Pohjolainen, S. & Virvalo, T., 1991, Tampereen teknillinen korkeakoulu. 34 Sivumäärä (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka; nro 56)


  36. Julkaistu

    Design of Performance-Robust Controllers for Hydraulic and Pneumatic Servos

    Piche, R., Pohjolainen, S. & Virvalo, T., 1991, First International Symposium on Fluid Power Transmission and Control, Beijing, China. s. 188-192


  37. Julkaistu

    Design of robust controllers for position servos using H∞-theory

    Piche, R., Pohjolainen, S. & Virvalo, T., 1991, julkaisussa : Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering. 205, 4, s. 299-306


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


  39. Julkaistu

    Determination of distance from a 2D picture

    Gravesen, J., Lassen, B., Melnik, R., Picasso, B., Piche, R., Radulovic, N. & Wang, L. X., 2006, Mathematics for Industry in Denmark: The ESGI47 and Mathematics for Industry Workshop, 24-29 August 2003, Univeristy of Southern Denmark. Journal of Physics: Conference Series. s. 46-57


  40. Julkaistu

    Determining the position of a receiver and/or the system time of a positioning system

    Sirola, N. & Syrjärinne, J., 2005, Patenttinumero Pat. US 6865478, Prioriteetin päiväys 8 maaliskuuta 2005, Prioriteettinumero (21) 10/440430

    Tutkimustuotos: Patentti

  41. Julkaistu

    Developing an Online Publication - Collaborating among Students in Different Disciplines

    Silius, K., Tervakari, A-M., Kailanto, M., Huhtamäki, J., Marttila, J., Tebest, T. & Miilumäki, T., 2012, Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science. Advances in Intelligent and Soft Computing.. Lumban Gaol, F. & Vinh Nguyen, Q. (toim.). Berlin Heidelberg: Springer Verlag, s. 361-368 (International Congress on Computer Applications and Computational Science; painos 144).


  42. Julkaistu

    Developing Ito stochastic differential equation models for neuronal signal transduction pathways

    Manninen, T., Linne, M-L. & Ruohonen, K., 2006, julkaisussa : Computational Biology and Chemistry. 30, 4, s. 280-291


  43. Julkaistu

    Developing learning analytics for TUT Circle

    Tervakari, A-M., Marttila, J., Kailanto, M., Huhtamäki, J., Koro, J. & Silius, K., 2013, Open and Social Technologies for Networked Learning. IFIP WG 3.4 International Conference, OST 2012, Tallinn, Estonia, July 30-August 3, 2012, Revised Selected Papers.. Ley, T., Ruohonen, M., Laanpere, M. & Tatnall, A. (toim.). Springer Berlin Heidelberg, s. 101-110 10 Sivumäärä (IFIP Advances in Information and Communication Technology; painos 395).


  44. Julkaistu

    Developing Learning and Teaching in Engineering Mathematics with and without Technology

    Joutsenlahti, J., Ali-Löytty, S. & Pohjolainen, S., 15 syyskuuta 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFI


  45. Julkaistu

    Developing mathematical tools for inference and simulation of biological systems

    Niemi, J., 2003, Digest of TISE Seminar 2003, Nokia, Finland, 5 June 2003. Koivisto, P. (toim.). s. 40-41


  46. Julkaistu
  47. Julkaistu

    Device Signal Strength Self-Calibration using Histograms

    Laoudias, C., Piche, R. & Panayiotou, C., 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-8 8 Sivumäärä (International Conference on Indoor Positioning and Indoor Navigation).


  48. Julkaistu

    Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

    Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K. & Sun, J., 2014, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Biere, A. & Bloem, R. (toim.). Springer International Publishing, s. 391-406 16 Sivumäärä (Lecture Notes in Computer Science; painos 8559).


  49. Julkaistu

    Digital Hypermedia Technologies

    Nykänen, O., 1997


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


ID: 22096