TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. 2015
  2. Julkaistu

    Automatic verification of Dafny programs with traits

    Ahmadi, R., Leino, K. R. M. & Nummenmaa, J., 7 heinäkuuta 2015, Proceedings for the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015: co-located with ECOOP 2015. Association for Computing Machinery, Inc, a4

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    A robust AMMI model for the analysis of genotype-by-environment data

    Rodrigues, P. C., Monteiro, A. & Lourenço, V. M., 1 heinäkuuta 2015, julkaisussa : Bioinformatics. 32, 1, s. 58-66 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Multistep reactions of water with small Pdn clusters: A first principles study

    Liang, Y., Ma, L., Wang, J. & Wang, G., 1 toukokuuta 2015, julkaisussa : Journal of Theoretical and Computational Chemistry. 14, 3, 1550017.

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Antenna design considerations for far field and near field wireless body-centric systems

    Moradi, E., Koski, K., Hasani, M., Rahmat-Samii, Y. & Ukkonen, L., 2 maaliskuuta 2015, ICCEM 2015 - 2015 IEEE International Conference on Computational Electromagnetics. The Institute of Electrical and Electronics Engineers, Inc., s. 59-60 2 Sivumäärä 7052555

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Video summarization based on Subclass Support Vector Data Description

    Mygdalis, V., Iosifidis, A., Tefas, A. & Pitas, I., 15 tammikuuta 2015, IEEE SSCI 2014 - 2014 IEEE Symposium Series on Computational Intelligence - CIES 2014: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, Proceedings. The Institute of Electrical and Electronics Engineers, Inc., s. 183-187 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Estimation of GFP-tagged RNA numbers from temporal fluorescence intensity data

    Häkkinen, A. & Ribeiro, A. S., 1 tammikuuta 2015, julkaisussa : Bioinformatics. 31, 1, s. 69-75 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Uncertainty propagation of iron loss from characterization measurements to computation of electrical machines

    Belahcen, A., Rasilo, P., Nguyen, T. T. & Clénet, S., 2015, julkaisussa : COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering. 34, 3, s. 624-636 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  9. 2014
  10. Julkaistu

    Density functional theory study of transition metals doped B80 fullerene

    Wang, J., Ma, L., Liang, Y., Gao, M. & Wang, G., 22 syyskuuta 2014, julkaisussa : Journal of Theoretical and Computational Chemistry. 13, 6, 1450050.

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    NetBioV: An R package for visualizing large network data in biology and medicine

    Tripathi, S., Dehmer, M. & Emmert-Streib, F., 2 huhtikuuta 2014, julkaisussa : Bioinformatics. 30, 19, s. 2834-2836 3 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Gene Sets Net Correlations Analysis (GSNCA): A multivariate differential coexpression test for gene sets

    Rahmatallah, Y., Emmert-Streib, F. & Glazko, G., 1 helmikuuta 2014, julkaisussa : Bioinformatics. 30, 3, s. 360-368 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu