TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. A basin-free spherical shape as an outcome of a giant impact on asteroid Hygiea

    Vernazza, P., Jorda, L., Ševeček, P., Brož, M., Viikinkoski, M., Hanuš, J., Carry, B., Drouard, A., Ferrais, M., Marsset, M., Marchis, F., Birlan, M., Podlewska-Gaca, E., Jehin, E., Bartczak, P., Dudzinski, G., Berthier, J., Castillo-Rogez, J., Cipriani, F., Colas, F., DeMeo, F., Dumas, C., Durech, J., Fetick, R., Fusco, T., Grice, J., Kaasalainen, M., Kryszczynska, A., Lamy, P., Le Coroller, H., Marciniak, A., Michalowski, T., Michel, P., Rambaux, N., Santana-Ros, T., Tanga, P., Vachier, F., Vigan, A., Witasse, O., Yang, B., Gillon, M., Benkhaldoun, Z., Szakats, R., Hirsch, R., Duffard, R., Chapman, A. & Maestre, J. L., 2019, julkaisussa : Nature Astronomy. 33 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    User experience evaluation methods: Current state and development needs

    Vermeeren, A. P. O. S., Lai-Chong Law, E., Roto, V., Obrist, M., Hoonhout, J. & Väänänen-Vainio-Mattila, K., 2010, 6th Nordic Conference on Human Computer Interaction NordiCHI 2010, October 15-19, 2010, Reykjavik, Iceland. s. 1-10 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Design-inclusive UX research: design as a part of doing user experience research

    Vermeeren, A. P. O. S., Roto, V. & Väänänen, K., 2 tammikuuta 2016, julkaisussa : Behaviour and Information Technology. 35, 1, s. 21-37 17 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Arkkitehtuurinäkymät turvallisuuteen liittyvien järjestelmien kehityksessä

    Vepsäläinen, T. & Kuikka, S., 2013, Proceedings of Automaatio XX-seminaari, Automation and systems without borders - beyond future, 21.-22.5.2013, Helsinki. Vilkko, M. (toim.). Suomen Automaatioseura ry, s. 1-6 6 Sivumäärä (SAS julkaisusarja; nro 42).

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Design Pattern Support for Model-Driven Development

    Vepsäläinen, T. & Kuikka, S., 2014, 9th International Conference on Software Engineering and Applications, ICSOFT-EA 2014, 29-31, August 2014, Vienna, Austria. Holzinger, A., Libourel, T., Maciaszek, L. & Mellor, S. (toim.). SCITEPRESS - Science and Technology Publications, s. 277-286 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Safety Patterns in Model-Driven Development

    Vepsäläinen, T. & Kuikka, S., 2014, ICSEA 2014, The Ninth International Conference on Software Engineering Advances, October 12-16, 2014, Nice, France. Mannaert, H., Lavazza, L., Oberhauser, R., Kajko-Mattsson, M. & Gebhart, M. (toim.). IARIA, s. 233-239 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Software Architecture Knowledge Management for Safety Systems

    Vepsäläinen, T., Eloranta, V-P. & Kuikka, S., 2012, Proceedings of ETFA 2012, 17th IEEE International Conference on Emerging Technology & Factory Automation, 17-21 September, 2012, Krakow, Poland. Piscataway, NJ: IEEE, s. 1-8 8 Sivumäärä (IEEE International Conference on Emerging Technology and Factory Automation).

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Integrated model-in-the-loop simulations to model-driven development in industrial control

    Vepsäläinen, T. & Kuikka, S., 2014, julkaisussa : Simulation: Transactions of the Society for Modeling and Simulation International. 90, 12, s. 1295-1311 17 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    Design Patterns for Model-Driven Development

    Vepsäläinen, T. & Kuikka, S., 2015, julkaisussa : Communications in Computer and Information Science. 555, s. 21-38 18 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Emotional Reactions to Point-Light Display Animations

    Venesvirta, H., Surakka, V., Gizatdinova, Y., Lylykangas, J., Špakov, O., Verho, J., Vetek, A. & Lekkala, J., 16 kesäkuuta 2016, julkaisussa : Interacting with Computers. 28, 4, s. 521-531 11 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    A computationally feasible optimization approach to inverse SAR translational motion compensation

    Vehmas, R., Jylhä, J., Väilä, M. & Kylmälä, J., 2015, Proceedings of the 12th European Radar Conference (EuRAD 2015). IEEE, s. 17-20 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    ISAR imaging of non-cooperative objects with non-uniform rotational motion

    Vehmas, R., Jylhä, J., Väilä, M. & Visa, A., toukokuuta 2016, 2016 IEEE Radar Conference (RadarConf) . IEEE

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Liikekompensaatio- ja autofokusmenetelmät SAR- ja ISAR-tutkien signaalinkäsittelyssä

    Vehmas, R., 2016, Ylöjärvi: Puolustusvoimien Tutkimuslaitos. 112 Sivumäärä (Puolustusvoimien tutkimuslaitoksen julkaisuja)

    Tutkimustuotos

  14. Julkaistu

    Analysis and comparison of multichannel SAR imaging algorithms

    Vehmas, R., Jylhä, J., Väilä, M. & Visa, A., toukokuuta 2017, 2017 IEEE Radar Conference (RadarConf). IEEE, s. 340-345

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Improving the Estimation Accuracy and Computational Efficiency of ISAR Range Alignment

    Vehmas, R. & Jylhä, J., 11 lokakuuta 2017, The 14th European Radar Conference (EuRAD 2017). IEEE

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Data-driven motion compensation techniques for noncooperative ISAR imaging

    Vehmas, R., Jylhä, J., Väilä, M., Vihonen, J. & Visa, A., helmikuuta 2018, julkaisussa : IEEE Transactions on Aerospace and Electronic Systems.

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    A Contrast Optimization Algorithm for Back-Projection Image Reconstruction in Noncooperative ISAR Imaging

    Vehmas, R. & Jylhä, J., kesäkuuta 2018, 12th European Conference on Synthetic Aperture Radar. VDE, s. 464-469 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Algorithms for target ISAR signature reconstruction

    Vehmas, R., Jylhä, J., Perälä, H., Väilä, M. & Ruotsalainen, M., 9 toukokuuta 2018. 11 Sivumäärä.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  19. Julkaistu

    Computational Algorithms for Improved Synthetic Aperture Radar Image Focusing

    Vehmas, R., 26 lokakuuta 2018, Tampere University of Technology. 65 Sivumäärä (Tampere University of Technology. Publication; painos 1586)

    Tutkimustuotos

  20. Julkaistu

    The rSPA process realization: The creation of river heavy metal evaluation index (rHMEI) by using dimensional subspace of heavy metal

    Veesommai, C., Kiyoki, Y., Sillberg, P., Soini, J., Jaakkola, H. & Chawakitchareon, P., 2016, julkaisussa : International Transaction Journal of Engineering, Management, & Applied Sciences & Technologies. 7, 3

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    Yhteiselle tiedolle on tarvetta työpaikoilla

    Väyrynen, H., maaliskuuta 2015, julkaisussa : Insinööri. 2/2015, s. 36-37 2 Sivumäärä

    Tutkimustuotos

  22. Julkaistu

    Data-Driven Approach for Analysis of Performance Indices in Mobile Work Machines

    Väyrynen, T., Peltokangas, S., Anttila, E. & Vilkko, M., 19 heinäkuuta 2015, DATA ANALYTICS 2015, The Fourth International Conference on Data Analytics. Klemas, T. & Chan, S. (toim.). s. 81-86 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  23. Julkaisematon

    Knowledge Management operationalization – how it differs in large enterprises and SMEs in Finland

    Väyrynen, H. & Helander, N., elokuuta 2015, (Julkaisematon) 23rd Nordic Academy of Management Conference: NFF 2015. Nordic Academy of Management, s. 1-27 27 Sivumäärä

    Tutkimustuotos

  24. Julkaistu

    Knowledge management and digitalization in large enterprises versus SMEs in Finland

    Väyrynen, H. & Helander, N., 10 kesäkuuta 2015.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  25. Julkaistu

    Quantum Biology on the Edge of Quantum Chaos

    Vattay, G., Kauffman, S. & Niiranen, S., 2014, julkaisussa : PLoS ONE. 9, 3, s. 1-6 6 Sivumäärä, e89107.

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    Using quality farms in multi-objective genetic software architecture synthesis

    Vathsavayi, S., Räihä, O. & Koskimies, K., 2012, Proceedings of the 2012 IEEE World Congress on Computational Intelligence IEEE WCCI 2012, June, 10-15, 2012, Brisbane, Australia. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, s. 1-8 8 Sivumäärä 12910443. (IEEE Congress on Evolutionary Computation).

    Tutkimustuotosvertaisarvioitu

  27. Julkaistu

    Interleaving Human and Search-based Software Architecture Design

    Vathsavayi, S., Hadaytullah, H. & Koskimies, K., 2011, SPLST'11 12th Symposium on Programming Languages and Software Tools, Tallinn, Estonia, October 5-7, 2011. Penjam, J. (toim.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, s. 114-125 (Symposium on Programming Languages and Software Tools SPLST).

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    Applying Genetic Algorithms for Software Design and Project Planning

    Vathsavayi, S. H., 2 joulukuuta 2016, Tampere University of Technology. 122 Sivumäärä (Tampere University of Technology. Publication; painos 1437)

    Tutkimustuotos

  29. Julkaistu

    Technical Debt Management with Genetic Algorithms

    Vathsavayi, S. H. & Systä, K., 31 elokuuta 2016, 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, s. 50-53

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    Real-time Implementation Of Dice Unloading Algorithm

    Vassilyev, A., Parviainen, J., Collin, J. & Takala, J., 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics SMC 2016 . IEEE, s. 3275-3280

    Tutkimustuotosvertaisarvioitu

  31. Julkaistu

    User experience of mobile photo sharing in the cloud

    Vartiainen, E. & Väänänen-Vainio-Mattila, K., 2010, MUM '10 Proceedings of the 9th International Conference on Mobile and Ubiquitous Multimedia, Limassol, Cyprus, December 01 - 03, 2010. s. 10 p

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    DrawUX: Web-Based Research Tool for Long-Term User Experience Evaluation

    Varsaluoma, J. & Kentta, V., 2012, Proceedings of the 7th Nordic Conference on Human-Computer Interaction, NordiCHI 2012, October 14-17, 2012, Copenhagen, Denmark. New York, NY: ACM, s. 769-770 (Nordic Conference on Human-Computer Interaction).

    Tutkimustuotosvertaisarvioitu

  33. Julkaistu

    The Fuzzy Front End of Experience Design: Eliciting and Communicating Experience Goals

    Varsaluoma, J., Väätäjä, H., Kaasinen, E., Karvonen, H. & Lu, Y., 2015, OzCHI '15 - Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction . ACM, s. 324-332 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  34. Julkaistu

    Getting started with the experience design process

    Varsaluoma, J., Väätäjä, H., Kaasinen, E., Karvonen, H. & Lu, Y., 2015, User Experience and Usability in Complex Systems - UXUS: FIMECC Publications Series No. 8, 2010-2015. s. 125-127 (FIMECC Publication series; painos 8).

    Tutkimustuotos

  35. Julkaistu

    Exploring motivational aspects and user experience of mobile mathematics learning service in south africa

    Varsaluoma, J., Väätäjä, H. & Walsh, T., 17 lokakuuta 2016, Exploring Motivational Aspects and User Experience of Mobile Mathematics Learning Service in South Africa. ACM, s. 159-168 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  36. Julkaistu

    Usage Data Analytics for Human-Machine Interactions with Flexible Manufacturing Systems: Opportunities and Challenges

    Varsaluoma, J., Väätäjä, H., Heimonen, T., Tiitinen, K., Hakulinen, J., Turunen, M. & Nieminen, H., 1 heinäkuuta 2017, 2017 21st International Conference Information Visualisation (IV). IEEE, s. 427-434 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    Approaches to Improve User Experience in Product Development: UX Goals, Long-Term Evaluations and Usage Data Logging

    Varsaluoma, J., 2 marraskuuta 2018, Tampere University of Technology. 92 Sivumäärä (Tampere University of Technology. Publication; painos 1585)

    Tutkimustuotos

  38. Julkaistu

    Guidelines for development and evaluation of usage data analytics tools for human-machine interactions with industrial manufacturing systems

    Varsaluoma, J., Väätäjä, H., Heimonen, T., Tiitinen, K., Hakulinen, J., Turunen, M. & Nieminen, H., 10 lokakuuta 2018, Mindtrek 2018 - Proceedings of the 22nd International Academic Mindtrek Conference. ACM, s. 172-181 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    Interim report of EN 1064 SCP-ECG revision work within CEN/TC215/WGIV

    Värri, A., Rubel, P. & Schllögl, A., 2014, Japan: Unknown Publisher. 2 Sivumäärä

    Tutkimustuotos

  40. Julkaistu

    Lääkintälaitteiden tietoturvariskit huomioitava

    Värri, A., 2013, julkaisussa : PODIUM. 4, s. 50-50 1 Sivumäärä

    Tutkimustuotos

  41. Julkaistu

    Requirements for Successful Self-care Technology Products for the Elderly

    Värri, A., 2014, RCITD 2014, Proceedings in research conference in technical disciplines, November 17-21, 2014, Zilina, Slovakia. Mokrys, M. & Badura, S. (toim.). EDIS - Publishing Institution of the University of Zilina, s. 86-90 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  42. Julkaistu

    e-Health ohjelmistot ja uuden lääkelaitedirektiivin vaikutukset

    Värri, A., 2010, The 15th Finnish National conference on Telemedicine and eHealth, MS Viking Mariella, Helsinki - Stockholm, 8-10 April 2010. s. 65-66

    Tutkimustuotos

  43. Julkaistu

    Balancing Expectations to the Health Software Production Process Standard

    Värri, A., 2015, The 3rd International Virtual Research Conference In Technical Disciplines. (RCITD - Proceedings in Research Conference in Technical Disciplines).

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Transatlantic collection of health informatics competencies

    Värri, A., Blake, R., Roberts, J., Fenton, S., Cleary, M., Zacks, S., Datta, G., Kaye, R., Parker, J., Nguyen, C., Dougherty, M., Barry, N. & Cunningham, F., 23 toukokuuta 2016, julkaisussa : Finnish Journal of eHealth and eWelfare. 8, 2-3, s. 127-136 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  45. Julkaistu

    IEC 62304 Ed. 2: Software Life Cycle Standard for Health Software

    Värri, A., Kranz-Zuppan, P. & de la Cruz, R., 23 elokuuta 2019, Medinfo 2019: Proceedings of the 17th World Congress on Medical and Health Informatics. Ohno-Machado, L. & Séroussi, B. (toim.). IOP Press, s. 868-872 5 Sivumäärä (Studies in Health Technology and Informatics; painos 264).

    Tutkimustuotosvertaisarvioitu

  46. Julkaistu

    Process assessment in very small entities

    Varkoi, T., 2010, Proceedings, Seventh International Conference on the Quality of Information and Communications Technology QUATIC, 29 September - 2 October 2010, Porto, Portugal. Abreu, F. B. E. & de Faria, J. P. (toim.). s. 436-440

    Tutkimustuotosvertaisarvioitu

  47. Julkaistu

    Toward nuclear SPICE - integrating IEC 61508, IEC 60880 and SPICE

    Varkoi, T., Nevalainen, R. & Mäkinen, T., 2013, julkaisussa : Journal of Software: Evolution and Process. 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    A process assessment model for very small software entities

    Varkoi, T. & Mäkinen, T., 2010, Process Improvement and Capability Determination in Software, Systems Engineering and Service Management, Proceedings of: 10th International SPICE Conference 2010, Pisa, Italy 18-20 May, 2010. Rout, T., Lami, G. & Fabbrini, F. (toim.). s. 105-113 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    Towards systematic compliance evaluation using safety-oriented process lines and evidence mapping

    Varkoi, T., Mäkinen, T., Gallina, B., Cameron, F. & Nevalainen, R., 2017, Systems, Software and Services Process Improvement - 24th European Conference, EuroSPI 2017, Proceedings. Springer Verlag, s. 83-95 13 Sivumäärä (Communications in Computer and Information Science; painos 748).

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    Validating Effectiveness of Compliance Evaluation in Safety-Critical Process Assessment

    Varkoi, T., Mäkinen, T., Cameron, F. & Nevalainen, R., 2018, Systems, Software and Services Process Improvement - 25th European Conference, EuroSPI 2018, Proceedings. Springer Verlag, s. 181-192 12 Sivumäärä (Communications in Computer and Information Science; painos 896).

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Ripple thermostat: Affecting the emotional experience through interactive force feedback and shape change

    Van Oosterhout, A., Alonso, M. B. & Jumisko-Pyykkö, S., 20 huhtikuuta 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems . ACM, 655

    Tutkimustuotosvertaisarvioitu

  52. Julkaistu

    Counteract or Assist?: Influence of Dynamic Force-feedback on Emotions

    van Oosterhout, A., Jumisko-Pyykkö, S. & Alonso, M. B., joulukuuta 2016, Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia. New York, NY, USA: ACM, s. 241-247 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  53. Julkaistu

    Business Model of Long-term Browser-based Games - Income without Game Packages

    Vanhatupa, J-M., 2011, 7th International Conference on Next Generation Web Services Practices NWeSP 2011, 19-21, October 2011, Salamanca, Spain. Piscataway, NJ: IEEE, s. 369-372 (International Conference on Next Generation Web Services Practices NWeSP).

    Tutkimustuotosvertaisarvioitu

  54. Julkaistu

    Browser games: The new frontier of social gaming

    Vanhatupa, J-M., 2010, Recent Trends in Wireless and Mobile Networks, Second International Networks, WiMo 2010, Ankara, Turkey, June 2010. Communications in Computer and Information Science. Özcan, A., Chaki, N. & Nagalamai, D. (toim.). s. 349-355

    Tutkimustuotosvertaisarvioitu

  55. Julkaistu

    On the Development of Browser Games - Technologies of an Emerging Genre

    Vanhatupa, J-M., 2011, 7th International Conference on Next Generation Web Services Practices NWeSP 2011, 19-21, October 2011, Salamanca, Spain. Piscataway, NJ: IEEE, s. 363-368 (International Conference on Next Generation Web Services Practices NWeSP).

    Tutkimustuotosvertaisarvioitu

  56. Julkaistu

    Organizing and evaluating course on embedded programming

    Vanhatupa, J-M., Salminen, A. & Järvinen, H-M., 2010, Koli Calling '10, Proceedings of the 10th Koli Calling International Conference on Computing Education Research, October 28th to 31st, 2010, Koli National Park, Finland. s. 1-6 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  57. Julkaistu

    On the Development of Browser Games - Current Technologies and the Future

    Vanhatupa, J-M., 2012, julkaisussa : International Journal of Computer Information Systems and Industrial Management Applications. 5, s. 60-68

    Tutkimustuotosvertaisarvioitu

  58. Julkaistu

    Towards extensible and personalized computer role-playing game fantasy worlds

    Vanhatupa, J-M., 2012, 4th Computer science and Electronic Engineering Conference, CEEC 2012, 12th-13th September 2012, Colchester, Essex, UK. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, s. 187-190 (Computer Science and Electronic Engineering Conference).

    Tutkimustuotosvertaisarvioitu

  59. Julkaistu

    Game Engines in Game Programming Education – Experiences from Use of the CAGE Game Engine

    Vanhatupa, J-M., 2011, 11th Koli Calling International Conference on Computing Education Research, November 17th to 20th, 2011, Koli National Park, Finland. ACM, s. 118-119 (Koli Calling International Conference on Computing Education Research).

    Tutkimustuotosvertaisarvioitu

  60. Julkaistu

    Browser games for online communities

    Vanhatupa, J-M., 2010, julkaisussa : International Journal of Wireless and Mobile Networks. 2, 3, s. 39-47

    Tutkimustuotosvertaisarvioitu

  61. Julkaistu

    Personalized Side-Quest Generation for Computer Role-Playing Games

    Vanhatupa, J-M., 2011, SPLST'11 12th Symposium on Programming Languages and Software Tools, Tallinn, Estonia, October 5-7, 2011. Penjam, J. (toim.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, s. 196-206 (Symposium on Programming Languages and Software Tools SPLST).

    Tutkimustuotosvertaisarvioitu

  62. Julkaistu

    Business Model of Long-term Browser-based Games - Income without Game Packages

    Vanhatupa, J-M., 2012, julkaisussa : International Journal of Computer Information Systems and Industrial Management Applications. 5, s. 195-202

    Tutkimustuotosvertaisarvioitu

  63. Julkaistu

    Guidelines for Personalizing the Player Experience in Computer Role-Playing Games

    Vanhatupa, J-M., 2011, Proceedings of the 6th International Conference on the Foundations of Digital Games FDG'11, Bordeaux, France, June 29th-July 1st, 2011. ACM International Conference Proceedings Series. New York, NY: ACM, s. 46-52 (International Conference on the Foundations of Digital Games FDG).

    Tutkimustuotosvertaisarvioitu

  64. Julkaistu

    Tool support for computer role-playing game programming : foundations, guidelines and applications

    Vanhatupa, J-M., 17 lokakuuta 2014, Tampere: Tampere University of Technology. 76 Sivumäärä (Tampere University of Techology. Publication; painos 1237)

    Tutkimustuotos

  65. Julkaistu

    Utilizing knowledge networks in virtual or augmented reality solution creation

    Vanhalakka, J., Ilvonen, I. & Väätäjä, H., 2017, Proceedings of the 18th European Conference on knowledge Management ECKM 2017: 7-8 September 2017, Barcelona, Spain. Marimon, F., Mas-Machuca, M., Berbegal-Mirabent, J. & Bastida, R. (toim.). Academic Conferences and Publishing International, s. 1008-1014 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  66. Julkaistu

    All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs

    Valmari, A., 2012, CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, s. 162-176 (International Conference on Concurrency Theory; painos 7454).

    Tutkimustuotosvertaisarvioitu

  67. Julkaistu

    Can stubborn sets be optimal?

    Valmari, A. & Hansen, H., 2010, julkaisussa : Lecture Notes in Computer Science. 6128, s. 43-62

    Tutkimustuotosvertaisarvioitu

  68. Julkaistu

    Simple O (m log n) time Markov chain lumping

    Valmari, A. & Franceschinis, G., 2010, julkaisussa : Lecture Notes in Computer Science. 6015, s. 38-52

    Tutkimustuotosvertaisarvioitu

  69. Julkaistu

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, julkaisussa : Acta Cybernetica. 21, 3, s. 307-330 24 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  70. Julkaistu

    Simple bisimilarity minimization in O(m log n) time

    Valmari, A., 2011, julkaisussa : Fundamenta Informaticae. 105, 3, s. 319-339

    Tutkimustuotosvertaisarvioitu

  71. Julkaistu

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, julkaisussa : Proceedings of the Estonian Academy of Sciences. 62, 1, s. 47-58 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  72. Julkaistu

    Opiskelijan myyttiset 1 600 tuntia

    Valmari, A., 2005, julkaisussa : Tietojenkäsittelytiede. 24, s. 4-7

    Tutkimustuotosvertaisarvioitu

  73. Julkaistu

    Sizes of Up-To-n Halting Testers

    Valmari, A., 2012, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes. Halava, V., Karhumäki, J. & Matiyasevich, Y. (toim.). Turku, Finland: TURKU CENTRE FOR COMPUTER SCIENCE, s. 176-183 (Russian Finnish Symposium on Discrete Mathematics; painos 17).

    Tutkimustuotosvertaisarvioitu

  74. Julkaistu

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, julkaisussa : Logical Methods in Computer Science. 9, 4, s. 1-34 34 Sivumäärä, 11.

    Tutkimustuotosvertaisarvioitu

  75. Julkaistu

    All Linear-Time Congruences for Finite LTSs and Familiar Operators

    Valmari, A., 2012, Proceedings of the 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany. Los Alamitos, CA: IEEE Computer Society, s. 12-21 12909180. (Application of Concurrency to System Design).

    Tutkimustuotosvertaisarvioitu

  76. Julkaistu

    Does the Shannon Bound Really Apply to Data Structures?

    Valmari, A., 2011, SPLST'11 12th Symposium on Programming Languages and Software Tools, Tallinn, Estonia, October 5-7, 2011. Penjam, J. (toim.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, s. 174-184 (Symposium on Programming Languages and Software Tools SPLST).

    Tutkimustuotosvertaisarvioitu

  77. Julkaistu

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2012, Application and Theory of Petri Nets. 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, s. 208-227 (International Conference on Application and Theory of Petri Nets and Concurrency; painos 7347).

    Tutkimustuotosvertaisarvioitu

  78. Julkaistu

    Kuinka kiltti mutta tarpeeton pikku algoritmi sai tärkeän tehtävän

    Valmari, A., 2010, julkaisussa : Tietojenkäsittelytiede. 30, s. 33-55

    Tutkimustuotosvertaisarvioitu

  79. Julkaistu

    Fast brief practical DFA minimization

    Valmari, A., 2012, julkaisussa : Information Processing Letters. 112, 6, s. 213-217

    Tutkimustuotosvertaisarvioitu

  80. Julkaistu

    The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2013, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Kiss, A. (toim.). Szeged, Hungary: University of Szeged, s. 170-184 15 Sivumäärä (Symposium on Programming Languages and Software Tools).

    Tutkimustuotosvertaisarvioitu

  81. Julkaistu

    Ovatko kaikki lottorivit satunnaisia?

    Valmari, A., 2012, julkaisussa : Liaani. 5, s. 6-7

    Tutkimustuotos

  82. Julkaistu

    A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

    Valmari, A., 2014, julkaisussa : Electronic Proceedings in Theoretical Computer Science. 151, s. 355-369 15 Sivumäärä, 25.

    Tutkimustuotosvertaisarvioitu

  83. Julkaistu

    Can Stubborn Sets be Optimal?

    Valmari, A. & Hansen, H., 2011, julkaisussa : Fundamenta Informaticae. 113, 3-4, s. 377-397

    Tutkimustuotosvertaisarvioitu

  84. Julkaistu

    External Behaviour of Systems of State Machines with Variables

    Valmari, A., 2013, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Jensen, K., van der Aalst, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (toim.). Berlin, Heidelberg: Springer, s. 255-299 45 Sivumäärä (Lecture Notes in Computer Science; painos 7480).

    Tutkimustuotosvertaisarvioitu

  85. Julkaistu

    Stop It, and Be Stubborn!

    Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2

    Tutkimustuotosvertaisarvioitu

  86. Julkaistu

    A State Space Tool for Concurrent System Models Expressed In C++

    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. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).

    Tutkimustuotosvertaisarvioitu

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

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

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

  90. Julkaistu

    Stubborn sets with frozen actions

    Valmari, A., 2017, Reachability Problems - 11th International Workshop, RP 2017, Proceedings. Springer Verlag, s. 160-175 16 Sivumäärä (Lecture Notes in Computer Science; painos 10506).

    Tutkimustuotosvertaisarvioitu

  91. Julkaistu

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2018, julkaisussa : International Journal on Software Tools for Technology Transfer. s. 589-610 22 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  92. Julkaistu

    Progress Checking for Dummies

    Valmari, A. & Hansen, H., 2018, Formal Methods for Industrial Critical Systems. Howar, F. & Barnat, J. (toim.). Springer International Publishing, Vuosikerta 11119. s. 115-130 (Lecture Notes in Computer Science).

    Tutkimustuotosvertaisarvioitu

  93. Julkaistu

    Analysis of spatial heterogeneity in normal epithelium and preneoplastic alterations in mouse prostate tumor models

    Valkonen, M., Ruusuvuori, P., Kartasalo, K., Nykter, M., Visakorpi, T. & Latonen, L., 20 maaliskuuta 2017, julkaisussa : Scientific Reports. 7, 44831.

    Tutkimustuotosvertaisarvioitu

  94. Julkaistu

    Metastasis detection from whole slide images using local features and random forests

    Valkonen, M., Kartasalo, K., Liimatainen, K., Nykter, M., Latonen, L. & Ruusuvuori, P., 2017, julkaisussa : Cytometry Part A. 91, 6, s. 555-565

    Tutkimustuotosvertaisarvioitu

  95. Julkaistu

    Dual Structured Convolutional Neural Network with Feature Augmentation for Quantitative Characterization of Tissue Histology

    Valkonen, M., Kartasalo, K., Liimatainen, K., Nykter, M., Latonen, L. & Ruusuvuori, P., 19 tammikuuta 2018, 2017 IEEE International Conference on Computer Vision Workshops, ICCVW 2017. IEEE, s. 27-35 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  96. Julkaistu

    Network-wide adaptive burst detection depicts neuronal activity with improved accuracy

    Välkki, I. A., Lenk, K., Mikkonen, J. E., Kapucu, F. E. & Hyttinen, J. A. K., 31 toukokuuta 2017, julkaisussa : Frontiers in Computational Neuroscience. 11, 40.

    Tutkimustuotosvertaisarvioitu

  97. Julkaistu

    Optimizing gaze direction in a visual navigation task

    Välimäki, T. & Ritala, R., 8 kesäkuuta 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, s. 1427-1432 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  98. Julkaistu

    DCASE 2016 Acoustic Scene Classification Using Convolutional Neural Networks

    Valenti, M., Diment, A., Parascandolo, G., Squartini, S. & Virtanen, T., 1 syyskuuta 2016, Proceedings of the Detection and Classification of Acoustic Scenes and Events 2016 Workshop (DCASE2016). Tampere University of Technology. Department of Signal Processing

    Tutkimustuotosvertaisarvioitu

  99. Julkaistu

    A convolutional neural network approach for acoustic scene classification

    Valenti, M., Squartini, S., Diment, A., Parascandolo, G. & Virtanen, T., 30 kesäkuuta 2017, 2017 International Joint Conference on Neural Networks, IJCNN 2017. IEEE, s. 1547-1554 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  100. Julkaistu

    Implementation Experiences and Design Challenges for Resilient SDN Based Secure WAN Overlays

    Vajaranta, M., Kannisto, J. & Harju, J., 4 elokuuta 2016, 2016 11th Asia Joint Conference on Information Security (AsiaJCIS). IEEE, s. 17-23 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

Lataa lista Rajaa hakutulokset 1 000 tai pienemmäksi jotta voit ladata.