TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

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

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

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

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

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

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

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

  8. Julkaistu

    Vähemmistöosuudet konsernissa

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

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    Significant digits

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

    Tutkimustuotosvertaisarvioitu

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

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

    Tutkimustuotosvertaisarvioitu

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

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

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

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

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

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

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

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

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

ID: 22096