Julkaisut

Lisää hakuvaihtoehtoja

Yksikkö

Aseta uudelleen

Tyyppi

Kieli

Julkaisuvuosi

Julkaisukategoria

Onko vertaisarvioitu

Kokoteksti

41 - 50 / 76Sivun koko: 10

Järjestys:: Julkaisuvuosi

2015
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
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
Julkaistu
Multistep reactions of water with small Pd_n 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.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
2014
Julkaistu
Density functional theory study of transition metals doped B₈₀ fullerene
Wang, J., Ma, L., Liang, Y., Gao, M. & Wang, G., 22 syyskuuta 2014, julkaisussa : Journal of Theoretical and Computational Chemistry. 13, 6, 1450050.
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti:
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ä
Tutkimustuotos › › vertaisarvioitu

Kokoteksti: