TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

1301 - 1341 / 1 341Sivun koko: 50
Järjestys:: Tekijän sukunimi
  1. 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).

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  2. Julkaistu

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2014, julkaisussa : Fundamenta Informaticae. 131, 1, s. 1-25 25 Sivumäärä

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  3. Julkaistu

    On constructibility and unconstructibility of LTS operators from other LTS operators

    Valmari, A., 2015, julkaisussa : Acta Informatica. 52, 2-3, s. 207-234 28 Sivumäärä

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  4. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  5. 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).

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  6. 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).

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  7. 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).

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  8. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  9. 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 ›

    Full text: ExLibris SFX -linkki
  10. 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ä

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  11. Julkaistu

    Stop it, and be stubborn!

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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  12. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  13. Julkaistu

    Significant digits

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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  14. Julkaistu

    Vähemmistöosuudet konsernissa

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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  15. 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ä

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  16. 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.

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  17. 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.

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  18. 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 ›

    Full text: ExLibris SFX -linkki
  19. 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 ›

    Full text: ExLibris SFX -linkki
  20. 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).

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  21. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  22. Julkaistu

    Projektioppiminen yläkoulun matematiikassa

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

    Tutkimustuotos ›

    Full text: ExLibris SFX -linkki
  23. Julkaistu

    Projektipankki yläkoulun matematiikkaan

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

    Tutkimustuotos ›

    Full text: ExLibris SFX -linkki
  24. Julkaistu

    Oppimisen rajattomat mahdollisuudet

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

    Tutkimustuotos ›

    Full text: ExLibris SFX -linkki
  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 ›

    Full text: ExLibris SFX -linkki
  26. 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 ›

    Full text: ExLibris SFX -linkki
  27. 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).

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  28. 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 ›

    Full text: ExLibris SFX -linkki
  29. 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 ›

    Full text: ExLibris SFX -linkki
  30. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  31. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  32. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  33. 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 ›

    Full text: ExLibris SFX -linkki
  34. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  35. 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 ›

    Full text: ExLibris SFX -linkki
  36. 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ä

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  37. 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 ›

    Full text: ExLibris SFX -linkki
  38. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  39. 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).

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  40. 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ä

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
  41. 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

    Tutkimustuotos › › vertaisarvioitu

    Full text: ExLibris SFX -linkki
Edellinen 1...23 24 25 26 27 Seuraava

ID: 22096

Yhteystiedot

Korkeakoulunkatu 1
Tietotalo Building, floors 3 and 4
FI-33720
Tampere
Suomi
PO Box 553
FI-33101
Tampere
Suomi

Näytä verkostonäkymä

Tampereen teknillinen yliopisto on teknologisen kehityksen tiennäyttäjä sekä tutkimusmaailman ja elinkeinoelämän yhteistyökumppani. Yliopistosta valmistuu haluttuja osaajia yhteiskunnan eri aloille.

Pikalinkit

Seuraa meitä

Tilaa Rajapinnan uutiskirje