TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

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

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

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

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

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

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

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

  8. Julkaistu

    Stop it, and be stubborn!

    Valmari, A., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, 46.

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    Statistical X-ray tomography using empirical Besov priors

    Vänskä, S., Lassas, M. & Siltanen, S., 2009, julkaisussa : International Journal of Tomography and Statistics. 11, s. 3-32

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Significant digits

    Vehmanen, L., 1991, julkaisussa : International Journal of Mathematical Education in Science and Technology. 22, 1, s. 89-95

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Vähemmistöosuudet konsernissa

    Vehmanen, L., 1988, julkaisussa : Liiketaloudellinen Aikakauskirja. 1-1988, s. 55-68

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Shape reconstruction from images: Pixel fields and Fourier transform

    Viikinkoski, M. & Kaasalainen, M., 2014, julkaisussa : Inverse Problems and Imaging. 8, 3, s. 885-900 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    ADAM: A general method for using various data types in asteroid reconstruction

    Viikinkoski, M., Kaasalainen, M. & Durech, J., 1 huhtikuuta 2015, julkaisussa : Astronomy and Astrophysics. 576, 11 Sivumäärä, A8.

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    VLT/SPHERE- and ALMA-based shape reconstruction of asteroid (3) Juno

    Viikinkoski, M., Kaasalainen, M., Durech, J., Carry, B., Marsset, M., Fusco, T., Dumas, C., Merline, W. J., Yang, B., Berthier, J., Kervella, P. & Vernazza, P., 1 syyskuuta 2015, julkaisussa : Astronomy and Astrophysics. 581, 5 Sivumäärä, L3.

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Shape reconstruction from generalized projections

    Viikinkoski, M., 8 tammikuuta 2016, Tampere University of Technology. 53 Sivumäärä (Tampere University of Technology. Publication; painos 1358)

    Tutkimustuotos

  16. Julkaistu

    Reconstruction of Irregular Bodies from Multiple Data Sources

    Viikinkoski, M. & Kaasalainen, M., 17 lokakuuta 2011, s. 1-29. 29 Sivumäärä.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  17. Julkaistu

    Spatter Tracking in Laser Machining

    Viitanen, T., Kolehmainen, J., Piche, R. & Okamoto, Y., 2012, Advances in Visual Computing. 8th International Symposium, ISVC 2012, July 16-18 2012, Rethymnon, Greece. Revised Selected Papers, Part 2. Lecture Notes in Computer Science.. Bebis, G., Boyle, R., Parvin, B., Koracin, D., Fowlkes, C., Wang, S., Choi, M-H., Mantler, S., Schulze, J., Acevedo, D., Mueller, K. & Papka, M. (toim.). Berlin Heidelberg: Springer, s. 626-635 (International Symposium on Visual Computing; painos 7432).

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Modifications of the 85/85 test and the temperature cycling test for tantalum capacitors

    Virkki, J., Sydänheimo, L. & Raumonen, P., 2011, julkaisussa : Soldering and Surface Mount Technology. 23, 3, s. 168-176

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    Projektioppiminen yläkoulun matematiikassa

    Viro, E. & Eriksson, S-L., 2015, julkaisussa : Lumat. 3, 7, s. 1005-1009 5 Sivumäärä

    Tutkimustuotos

  20. Julkaistu

    Projektipankki yläkoulun matematiikkaan

    Viro, E., 26 lokakuuta 2016, julkaisussa : Dimensio. 2016, 5, s. 29-30 2 Sivumäärä

    Tutkimustuotos

  21. Julkaistu

    Oppimisen rajattomat mahdollisuudet

    Viteli, J. & Multisilta, J., 1993, julkaisussa : Yliopisto-lehti.

    Tutkimustuotos

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

  23. Julkaistu

    State-machine-based operation of a coverage-model-related process

    Wirola, L., Laine, T., Raitoharju, M. & Sirola, N., 2013, Patenttinumero US 8498636 B2, Prioriteetin päiväys 30 heinäkuuta 2013

    Tutkimustuotos: Patentti

  24. Julkaistu

    Bandwidth and Storage Reduction of Radio Maps for Offline WLAN Positioning

    Wirola, L., Wirola, L. & Piche, R., 2013, International Conference on Indoor Positioning and Indoor Navigation, IPIN 2013, 28-31 Oct 2013, Montbéliard-Belfort, France. Piscataway, NJ: IEEE, s. 665-673 9 Sivumäärä (International Conference on Indoor Positioning and Indoor Navigation).

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Screening Terminal Positions at a Terminal

    Wirola, L. A. J., Laine, T. A., Raitoharju, M. & Sirola, N. T., 10 syyskuuta 2010, IPC-nro H04B 7/ 00 A I, Patenttinumero WO2010101546, Prioriteetin päiväys 4 maaliskuuta 2009, Prioriteettinumero WO2009US01411

    Tutkimustuotos: Patentti

  26. Julkaistu

    Robust regulation of stable infinite-dimensional systems in the H-infinity algebra

    Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2005, Tampere: Tampere University of Technology. 24 Sivumäärä (Tampere University of Technology, Research report; painos 81)

    Tutkimustuotos

  27. Julkaistu

    Robust regulation of stable infinite-dimensional plants in the H-infinity algebra

    Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2005, 11th IEEE International Conference on Methods and Models in Automation and Robotics, Miedzyzdroje, Puola, 29.8-1.9.2005. Domek, S. (toim.). s. 275-280

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    Robust regulation of stable systems in the H-infinity-algebra

    Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2006, julkaisussa : International Journal of Control. 79, 1, s. 24-35

    Tutkimustuotosvertaisarvioitu

  29. Julkaistu

    Analysis of the gene expression data with 4ft-miner

    Ylirinne, E., 2005, 16th European conference on machine learning ECML and 9th European conference on principles and practice of knowledge discovery in databases PKDD, Porto, Portugal, October 3 - 7, 2005. s. 114-119

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    Translating association rules into natural language

    Ylirinne, E., 2005, COST-274: Theory and Applications of Relational Structures As Knowledge Instruments WA1 and WA3 meeting, Málaga, Spain, March 31-April 1, 2005. s. 86-90

    Tutkimustuotos

  31. Julkaistu

    Interpreting data mining quantifiers in mathematical fuzzy logic

    Ylirinne, E. & Turunen, E., 2006, FSCS 2006, Symposium on Fuzzy Systems in Computer Science 2006, September 27th and 28th, 2006, Magdeburg, Germany. Hüllermeier, E. (toim.). s. 33-41

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    Interpreting data mining quantifiers in mathematical fuzzy logic

    Ylirinne, E. & Turunen, E., 2006, Tampere: Unknown Publisher. 9 Sivumäärä (Tampereen teknillinen yliopisto. Matematiikan laitos. Raportti; painos 86)

    Tutkimustuotos

  33. Julkaistu

    Vaikuttamistaidot - verkon avulla vaikuttajaksi?

    Yritys, K., 2002, ITK 2002, Yhdessä uuteen oppimisen toimintakulttuuriin, Interaktiivinen tekniikka koulutuksessa, 17.-19.4.2002, Hämeenlinna. s. 66-67, s. 1-21 21 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  34. Julkaistu

    Venäjää verkossa - venäjän alkeiden opiskelua verkossa

    Yritys, K., 2000, ITK-00, Vapaus, veljeys, tasa-arvo?, Interaktiivinen tekniikka koulutuksessa -konferenssi, Aulanko, Hämeenlinna, 6.-8.4.2000, Hämeen kesäyliopiston julkaisuja, sarja B. Horila, T. (toim.). s. 93-94

    Tutkimustuotos

  35. Julkaistu

    Oppimispäiväkirja opiskelijan itsearvioinnin tukena - case Ympäristöverkon opetuskokeilut

    Yritys, K., 2003, Interaktiivinen tekniikka koulutuksessa -konferenssi (ITK 2003), Aulanko, Hämeenlinna 9-11.4.2003. Hämeenlinna, s. 91-91

    Tutkimustuotosvertaisarvioitu

  36. Julkaistu

    Social Media, Reputation And Branding Of Innovation Hubs: A Periscope Using Content Analysis Of Twitter

    Yu, J. C., Russell, M. G., Still, K., Rubens, N., Huhtamäki, J. & Pöschko, J., 2011, Proceedings of the Triple Helix IX International Conference: Silicon Valley: Global Model or Unique Anomaly? 11-14 July, 2011, Stanford, California, USA. Stanford, CA: Stanford University, H-STAR Institute Center for Innovation and Communication, s. 1-20 20 Sivumäärä (Triple Helix International Conference).

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    Application of Hill-Clohessy-Wiltshire Equation in GNSS Orbit Prediction

    Zhang, X. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Nurmi, J., Ruotsalainen, L., Lohan, E-S., Salcedo, J. & Thombre, S. (toim.). Piscataway: IEEE, s. 1-6 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    Using micro electrode array for on-line EIT measurement

    Zhong, D., Siltanen, S., Tanskanen, J. M. A. & Hyttinen, J., 2007, Scharfetter & Merwa (Eds.) IFMBE Proceedings. 13th International Conference on Electrical Bioimpedance and 8th Conference on Electrical Impedance Tomography 2007. Graz, Austria, 29.08.-02.09.2007. s. 444-447

    Tutkimustuotosvertaisarvioitu

Edellinen 1...10 11 12 13 14 Seuraava

ID: 22096