TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Tietotekniikka

Tutkimusyksikkö: Laitos

  1. Julkaistu

    DISCO Toolset - The New Generation

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000. Schellhorn, G. (toim.). s. 11-15

    Tutkimustuotos

  2. Julkaistu

    DisCo Toolset - The New Generation

    Aaltonen, T., Katara, M. & Pitkänen, R., 2001, julkaisussa : Journal of Universal Computer Science. 7, 1, s. 3-18

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Defining Observation Objectives for Reactive and Distributed Systems

    Aaltonen, T., 2003, Formal Approaches to Testing of Software. Proceedings of FATES 2003. A Satellite Workshop of the International Conference on Automated Software Engineering 2003, Montreal, Quebec, Canada, October 6, 2003. Petrenko, A. & Ulrich, A. (toim.). s. 156-163

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Rolling Out a Mission Critical System in an Agilish Way: Reflections on Building a Large-Scale Dependable Information System for Public Sector

    Aapo, K. & Mikkonen, T., 2015, 2015 IEEE/ACM 2nd International Workshop on Rapid Continuous Software Engineering (RCoSE). IEEE, s. 41-44 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Real-time vibration-based structural damage detection using one-dimensional convolutional neural networks

    Abdeljaber, O., Avci, O., Kiranyaz, S., Gabbouj, M. & Inman, D. J., helmikuuta 2017, julkaisussa : Journal of Sound and Vibration. 388, s. 154-170 17 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    A Region-Dependent Image Matching Method for Image and Video Annotation

    Abdollahian, G., Diaz-de-Maria, F., Gabbouj, M., Birinci, M. & Delp, E. J., 2011, 9th International Workshop on Content-Based Multimedia Indexing (CBMI), 13-15 June 2011, Madrid, Spain. Piscataway, NJ: IEEE, s. 121-126 (International Workshop on Content-Based MultimediaIndexing CBMI; painos 28).

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Local adaptive wiener filtering for class averaging in single particle reconstruction

    Abdollahzadeh, A., Acar, E., Peltonen, S. & Ruotsalainen, U., 2017, Image Analysis - 20th Scandinavian Conference, SCIA 2017, Proceedings. Springer Verlag, s. 233-244 12 Sivumäärä (Lecture Notes in Computer Science; painos 10270).

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    LSST Science Book Version 2.0: arXiv.org

    Abell, P. A., Allison, J., Anderson, S. F., Andrew, J. R., Angel, J. R. P., Armus, L., Arnett, D., Asztalos, S. J., Axelrod, T. S., Bailey, S., Ballantyne, D. R., Bankert, J. R., Barkhouse, W. A., Barr, J. D., Barrientos, L. F., Barth, A. J., Bartlett, J. G., Becker, A. C., Becla, J. & Kaasalainen, M., 2009

    Tutkimustuotos

  9. Julkaistu

    Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

    Abrahamsson, P. (toim.), Jedlitschka, A. (toim.), Nguyen-Duc, A. (toim.), Felderer, M. (toim.), Amasaki, S. (toim.) & Mikkonen, T. (toim.), 2016, Springer International Publishing. 777 Sivumäärä (Lecture Notes in Computer Science; painos 10027)

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Influence on multiplicative noise variance evaluation accuracy on mm-band slar image filtering efficiency

    Abramov, S. K., Lukin, W., Ponomarenko, N. N., Egiazarian, K. O. & Pogrebnyak, O. B., 2004, Proceedings of the Fifth International Kharkov Symposium on Physics and Engineering of Microwaves, Millimeter, and Submillimeter Waves, MSMW'04, Kharkov, Ukraine, 21-26 June 2004. s. 250-252

    Tutkimustuotosvertaisarvioitu

ID: 18403956