TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. B3 Artikkeli konferenssijulkaisussa
  2. Julkaistu

    On the optimal tuning of a robust controller. Analysis and Optimization of Systems

    Pohjolainen, S., 1986, Proceedings of the Seventh International Conference on Analysis and Optimization os Systems, Antibes, France, June 25-27, 1986. Berlin, Heidelberg, New York: Springer

    Tutkimustuotos

  3. B2 Kirjan tai muun kokoomateoksen osa
  4. Julkaistu

    Abstractions for transition systems with applications to stubborn sets

    Hansen, H., 1 tammikuuta 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (toim.). Springer International Publishing, s. 104-123 20 Sivumäärä (Lecture Notes in Computer Science; painos 10160).

    Tutkimustuotos

  5. Julkaistu

    More stubborn set methods for process algebras

    Valmari, A., 1 tammikuuta 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (toim.). Springer International Publishing, s. 246-271 26 Sivumäärä (Lecture Notes in Computer Science; painos 10160).

    Tutkimustuotos

  6. Julkaistu

    Mobile Tracking in Mixed Line-ofsight/Non-line-of-sight Conditions: Algorithms and Theoretical Lower Bound. Chapter 21

    Liang, C., Ali-Löytty, S., Piche, R. & Lenan, W., 2011, Handbook of Position Location: Theory, Practice and Advances. Zekavat, R. & Buehrer, R. M. (toim.). Hoboken, NJ: WILEY-IEEE PRESS, s. 685-708

    Tutkimustuotos

  7. Julkaistu

    Akustinen mallinnus

    Pohjolainen, S. & Suutala, A., 2010, Matemaattinen mallinnus. Pohjolainen, S. (toim.). Helsinki: WSOYpro, s. 238-259

    Tutkimustuotos

  8. Julkaistu

    Kokonaislukumallit

    Silvennoinen, R., 2010, Matemaattinen mallinnus. Pohjolainen, S. (toim.). Helsinki: WSOYpro, s. 52-76

    Tutkimustuotos

  9. Julkaistu

    Datapohjaiset mallit

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

    Tutkimustuotos

  10. Julkaistu

    Laskenta ja visualisointi

    Piche, R., 2010, Matemaattinen mallinnus. Pohjolainen, S. (toim.). Helsinki: WSOYpro, s. 211-222

    Tutkimustuotos

  11. Julkaistu

    E-learning of the city of Tampere

    Kurkipää, T., 2005, e-City Analysing Efforts to Generate local dynamism in the City of Tampere. Tampere: Tampere University Press, s. 477-499

    Tutkimustuotos

  12. Julkaistu

    Verkko-opetuksen laatu

    Silius, K., Tervakari, A-M., Kalliomäki, E. & Kaunismaa, K., 2005, Tietoyhteiskunta - Myytit ja todellisuus. Kasvio, A., Inkinen, T. & Liikala, H. (toim.). Tampere, s. 55 - 276

    Tutkimustuotos

  13. Julkaistu

    A note on fuzzy inference

    Kaleva, O., 2004, On the Edge of Fuzziness, Studies in Honor of Jorma K. Mattila on His Sixtieth Birthday, Acta Unversitatis Lappeenrantaensis. Niskanen, V. A. & Kortelainen, J. (toim.). Lappeenranta: Lappeenranta University of Technology, s. 55-60

    Tutkimustuotos

  14. Julkaistu

    Value Added on Web-based Learning Environments

    Forsblom, N. & Silius, K., 2002, Perspectives on the age of the information society.. Pantzar, E. (toim.). s. 103-113 11 Sivumäärä (Reports on the Information Research Programme of the Academy of Finland; nro 6).

    Tutkimustuotos

  15. Julkaistu

    Perspectives on the Evaluation of Web-based Learning Environments

    Hautakangas, S., Ranta, P. & Nykänen, O., 2002, Perspectives on the age of the information society. Pantzar, E. (toim.). s. 115-123 (Reports on the Information Research Programme of the; nro 6).

    Tutkimustuotos

  16. Julkaistu

    WWW Based Learning Environment for Mathematics

    Antchev, K., Luhtalahti, M., Multisilta, J., Pohjolainen, S. & Suomela, K., 1995, Theoretical Foundations and Applications of Modern Learning Environments, Eero Pantzar, Seppo Pohjolainen, Heli Ruokamo-Saari, Jarmo Viteli (eds). Tampere: University of Tampere, Computer Centre, s. 1-14 14 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

    A distributed parameter systems simulator

    Aaltonen, M., Tanttu, J. & Pohjolainen, S., 1986, Simulation. Tampere, s. 145-151

    Tutkimustuotos

  19. B1 Kirjoitus tieteellisessä aikakauslehdessä
  20. Julkaistu

    Application and theory of Petri nets and other models of concurrency: Special issue of selected papers from Petri Nets 2015

    Devillers, R., Valmari, A. & Penczek, W., 13 syyskuuta 2016, julkaisussa : Fundamenta Informaticae. 146, 1, s. v-vi

    Tutkimustuotos

  21. Julkaistu

    Tviittien politiikkaa – poliittisen viestinnän sisäpiirit Twitterissä

    Vainikka, E. & Huhtamäki, J., 2015, julkaisussa : Media ja Viestintä. 38, 3, s. 165-183 19 Sivumäärä

    Tutkimustuotos

  22. Julkaistu

    M1-teknologialla voidaan rakentaa virtuaalisia oppimisympäristöjä ja konelaboratorioita

    Koskinen, K. T., Leino, T., Palonen, T. & Ranta, P., 2010, julkaisussa : Fluid Finland. 2/2010, s. 18-20

    Tutkimustuotos

  23. Julkaistu

    Miten minusta tuli matematiikan professori?

    Eriksson, S-L., 2006, julkaisussa : Naistutkimus. 3, s. 30-33

    Tutkimustuotos

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

  25. Julkaistu

    Teleradiology and Teledermatology in Finnish Military Medicine

    Voipio, V., Lamminen, H., Ruohonen, K., Autio, P., Ahovuo, J. & Sahi, T., 2001, julkaisussa : Journal of Telemedicine and Telecare. 7, 3, s. 181-183

    Tutkimustuotos

  26. A4 Artikkeli konferenssijulkaisussa
  27. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ID: 22096