TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. A3 Kirjan tai muun kokoomateoksen osa
  2. Julkaistu

    Web accessibility

    Nykänen, O., 2010, International Encyclopedia of Rehabilitation. Center for International Rehabilitation Research Information and Exchange (CIRRIE), University at Buffalo, State University of New York, s. 1-15 15 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    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. (toim.). Heidelberg: Springer, s. 227-246

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Robust Kalman-type filtering in positioning applications

    Perälä, T., 2010, Kalman Filter. Kordic, V. (toim.). Croatia: InTech, s. 271-288

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Hypermonogenic functions and their dual functions

    Eriksson, S-L., 2009, Hypercomplex Analysis. Trends in Mathematics. Sabadini, I. (toim.). s. 137-149

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Connecting a tenable mathematical theory to models of fuzzy phenomena

    Turunen, E., 2009, Views on Fuzzy Sets and Systems from Different Perspectives. Studies in Fuzziness and Soft Computing. Seising, R. (toim.). s. 247-270

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Restrictive information and Kalman-type filters for hybrid positioning

    Ali-Löytty, S., 2008, Suomen tilastoseuran vuosikirja 2007. s. 42-56

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Hypermonogenic functions and their Cauchy-type theorems

    Eriksson, S. & Leutwiler, H., 2004, Qian, T. et al. (eds). In advances in analysis and geometry: New developments using Clifford algebras. Berlin: BIRKHÄUSER VERLAG, s. 97-112 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    A Lukasiewicz-style Many-Valued Similarity Reasoning: Review

    Turunen, E., 2003, Beyond Two: Theory and Applications of Multiple-Valued Logic. Fitting, M. & Orlowska, E. (toim.). Heidelberg: Physica-Verlag, s. 315- 348 34 Sivumäärä (Studies in Fuzziness and Soft Computing).

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Survey of Theory and Applications of Lukasiewicz-Pavelka Fuzzy Logic

    Turunen, E., 2001, Lectures on Soft Computing and Fuzzy Logic. Di Nola, A. & Gerla, G. (toim.). Heidelberg: Physica-Verlag, s. 313-337 (Advances in Soft Computing,; painos 11).

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Fuzzy Propositional Logic

    Turunen, E., 2000, Discovering the World with Fuzzy Logic, Studies in Fuzziness and Soft Computing. Novák, V. & Perfilieva, I. (toim.). Heidelberg: Physica-Verlag, s. 243-270

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Hypermedia learning environment for mathematical sciences

    Pohjolainen, S., Multisilta, J. & Antchev, K., 1998, Computer-Human Interaction in symbolic computation. Kajler, N. (toim.). Wien: Springer, s. 117-139

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    A Standard Hydraulic Fluid Transmission Line Model for use with ODE Simulators

    Piche, R. & Ellman, A., 1996, Innovations in Fluid Power. Burrows, C. R. & Edge, K. A. (toim.). Somerset, England: Research Studies Press, s. 221-236

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Conservative bounds for buckling load, deflection, slope, and curvature of beam-column with nonuniform axial load

    Piche, R., 1993, Recent development in stability, vibration, and control of structural systems, A. Guran (ed.). Virginia: ASME Applied Mechanics Division

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    An approach to nonlinear control problems under incomplete state information

    Lebedev, A. & Piche, R., 1991, Ispol'zovanie matem. metodov i EVM v sistemakh upravleniya. Kiev, Ukraine: Institut kibernetik imeni V.M. Glyshkova A.N Ukraini, s. 4-18

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    System Performance: Fuzzy Methods

    Kaleva, O., 1988, In: Systems & Control Encyclopedia Theory, Technology Applications. Ed. Madan G. Singh. PERGAMON PRESS

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Multicriterion Plate Optimization

    Koski, J., Silvennoinen, R. & Lawo, M., 1988, Structural Optimization. Rozvany, G. I. N. & Karihaloo, B. L. (toim.). Kluwer Academic Publishers, s. 159-167

    Tutkimustuotosvertaisarvioitu

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

  19. Julkaistu

    Bounds for Perfect Lee-Codes over Small Alphabets

    Lepistö, T., 1984, Annales Universitatis Turkuensis, Series A. s. 59-63

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    On Machine Characterization of Nonrecursive Hierarchies

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

    Tutkimustuotosvertaisarvioitu

  21. A4 Artikkeli konferenssijulkaisussa
  22. Julkaistu

    Opiskelijoiden oppimistyökalujen käyttö tietokoneavusteisessa Matematiikkajumppa -tukiopetuksessa

    Myllykoski, T., Ali-Löytty, S. S. & Pohjolainen, S., 31 lokakuuta 2017, 2017: Proceedings of the annual FMSERA symposium 2016 . s. 54-65 12 Sivumäärä (Proceedings of the FMSERA annual symposium).

    Tutkimustuotosvertaisarvioitu

  23. Julkaistu

    The Congruences Below Fair Testing with Initial Stability

    Valmari, A., 6 helmikuuta 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, s. 25-34 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu

    Visualizing the Geography of Platform Boundary Resources: The Case of the Global API Ecosystem

    Huhtamäki, J., Basole, R. C., Still, K., Russell, M. G. & Seppänen, M., 4 tammikuuta 2017, Proceedings of the 50th Hawaii International Conference on System Sciences. 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Independent Loops Search in Flow Networks Aiming for Well-Conditioned System of Equations

    Humaloja, J-P., Ali-Löytty, S., Pohjolainen, S. & Hämäläinen, T., 2017, Progress in Industrial Mathematics at ECMI 2016. Quintela, P., Barral, P., Gómez, D., Pena, F. J., Rodríguez, J., Salgado, P. & Vázquez-Mendéz, M. E. (toim.). Springer International Publishing, (Mathematics in industry; painos 26).

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    A New Cauchy Type Integral Formula for Quaternionic k-hypermonogenic Functions

    Eriksson, S-L. & Orelma, H., 23 marraskuuta 2016, Modern Trends in Hypercomplex Analysis. Bernstein, S., Kähler, U., Sabadini, I. & Sommen, F. (toim.). Springer International Publishing, s. 175-189 15 Sivumäärä (Trends in Mathematics).

    Tutkimustuotosvertaisarvioitu

  27. Julkaistu

    IoT-based interoperability framework for asset and fleet management

    Backman, J., Väre, J., Främling, K., Madhikermi, M. & Nykänen, O., 7 marraskuuta 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on . IEEE, s. 1-4 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    Large-area virtual forests from terrestrial laser scanning data

    Calders, K., Burt, A., Origo, N., Disney, M., Nightingale, J., Raumonen, P. & Lewis, P., 3 marraskuuta 2016, 2016 IEEE International Geoscience and Remote Sensing Symposium (IGARSS). IEEE, s. 1765-1767 3 Sivumäärä (IEEE International Geoscience and Remote Sensing Symposium Proceedings).

    Tutkimustuotosvertaisarvioitu

  29. Julkaistu

    Identifying weak ties from publicly available social media data in an event

    Gupta, J. P., Menon, K., Kärkkäinen, H., Huhtamäki, J., Mukkamala, R. R., Hussain, A., Vatrapu, R., Jussila, J. & Pirkkalainen, H., 17 lokakuuta 2016, AcademicMindtrek '16 Proceedings of the 20th International Academic Mindtrek Conference. ACM, s. 11-19 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    Students’ Use of Learning Tools and Tool Types: Solving Self-Study Assignments on an Online Platform

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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    Safety Property-Driven Stubborn Sets

    Hansen, H. & Valmari, A., syyskuuta 2016, Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Larsen, K., Potapov, I. & Srba, J. (toim.). Springer International Publishing, s. 90-103 14 Sivumäärä (Lecture notes in computer science; painos 9899).

    Tutkimustuotosvertaisarvioitu

  33. Julkaistu

    MathCheck: a tool for checking math solutions in detail

    Valmari, A. & Kaarakka, T., syyskuuta 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFI

    Tutkimustuotosvertaisarvioitu

  34. Julkaistu

    Asymptotic Behaviour of Platoon Systems

    Paunonen, L. & Seifert, D., heinäkuuta 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems. University of Minnesota, s. 830-836 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  35. Julkaistu

    The Structure of Robust Controllers for Distributed Parameter Systems

    Hämäläinen, T. & Pohjolainen, S., 29 kesäkuuta 2016, Proceedings of the European Control Conference, June 29 - July 1, 2016, Aalborg Denmark. Aalborg, Denmark: IEEE, 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  36. Julkaistu

    Blind sub-Nyquist GNSS signal detection

    Daniel, O., Raasakka, J., Peltola, P., Fröhle, M., Rivero-Rodriguez, A., Wymeersch, H. & Nurmi, J., 18 toukokuuta 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) . IEEE, s. 6575-6579 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    Exploring innovation ecosystems as networks: Four european cases

    Huhtamäki, J. & Rubens, N., 7 maaliskuuta 2016, 2016 49th Hawaii International Conference on System Sciences (HICSS) . IEEE COMPUTER SOCIETY PRESS, s. 4505-4514 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    On the Complexity of Rainbow Coloring Problems

    Eiben, E., Ganian, R. & Lauri, J., 20 helmikuuta 2016, Combinatorial Algorithms: 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers. Lipták, Z. & Smyth, W. F. (toim.). Springer International Publishing, s. 209-220 12 Sivumäärä (Lecture Notes in Computer Science; painos 9538).

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  40. Julkaistu

    On Detecting the Shape of an Unknown Object in an Electric Field

    Humaloja, J-P., Hämäläinen, T. & Pohjolainen, S., 2016, Progress in Industrial Mathematics at ECMI 2014. Russo, G., Capasso, V., Nicosia, G. & Romano, V. (toim.). Springer International Publishing, (Mathematics in Industry; painos 22).

    Tutkimustuotosvertaisarvioitu

  41. Julkaistu

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer Verlag, s. 225-243 19 Sivumäärä (Lecture Notes in Computer Science; painos 9641).

    Tutkimustuotosvertaisarvioitu

  42. Julkaistu

    Stubborn Set Intuition Explained

    Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (toim.). CEUR-WS, s. 213-232 20 Sivumäärä (CEUR Workshop Proceedings; painos 1591).

    Tutkimustuotosvertaisarvioitu

  43. Julkaistu

    Extended prediction of QZSS orbit and clock

    Leppäkoski, H., Rautalin, S., Zhang, X., Ali-Löytty, S. & Piché, R., 2016, 2016 International Conference on Localization and GNSS (ICL-GNSS): Barcelona, Spain. IEEE, s. 1-7 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Asteroid models from photometry and complementary data sources

    Kaasalainen, M., 2016, Graduate School In Astronomy: Xvi Special Courses At The National Observatory Of Rio De Janeiro: Xvi Cce. Chavero, C., Cunha, K., Carvano, J., Fernandes, MB. & Dupke, R. (toim.). AMER INST PHYSICS, 26 Sivumäärä (AIP Conference Proceedings; painos 1732).

    Tutkimustuotosvertaisarvioitu

  45. Julkaistu

    On the Fine-Grained Complexity of Rainbow Coloring

    Kowalik, L., Lauri, J. & Socala, A., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (toim.). Vuosikerta 57. (Leibniz International Proceedings in Informatics (LIPIcs); painos 57).

    Tutkimustuotosvertaisarvioitu

  46. Julkaistu

    Visualizing co-authorship networks for actionable insights: action design research experiment

    Huhtamäki, J., 2016, Proceedings of the 20th International Academic Mindtrek Conference. New York, NY, USA: ACM, s. 208-215 8 Sivumäärä (AcademicMindtrek '16).

    Tutkimustuotosvertaisarvioitu

  47. Julkaistu

    Robust Regulation for First-Order Port-Hamiltonian Systems

    Humaloja, J-P., Paunonen, L. & Pohjolainen, S., 2016, Proceedings of the 15th European Control Conference, Aalborg, Denmark, June 29th - July 1st, 2016. IEEE, 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Robust Regulation for Port-Hamiltonian Systems of Even Order

    Humaloja, J-P., Paunonen, L. & Pohjolainen, S., 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems, Minneapolis, MN, USA, July 12-15, 2016. University of Minnesota, s. 152-156 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    STACK assignments in university mathematics education

    Mäkelä, A-M., Ali-Löytty, S., Humaloja, J-P., Joutsenlahti, J., Kauhanen, J. & Kaarakka, T., 2016, Proceedings of the 44th SEFI Conference, 12 - 15 September 2016, Tampere, Finland. European Society for Engineering Education SEFI, 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    A Simple Controller with a Reduced Order Internal Model in the Frequency Domain

    Laakkonen, A. & Paunonen, L., 2016, Proceedings of European Control Conference 2016. IEEE, s. 1988-1992 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Moodlen työpaja: Vertaisarviointi osana opetusta yliopistomatematiikan ensimmäisellä peruskurssilla

    Mäkelä, A-M., Ali-Löytty, S., Joutsenlahti, J. & Kauhanen, J., 2016, Matematiikan ja luonnontieteiden opetuksen tutkimusseuran tutkimuspäivät 2015. Silfvenberg, H. & Hästö, P. (toim.). Matematiikan ja luonnontiteiden opetuksen tutkimusseura r.y., s. 90-99 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

ID: 22096