TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. 2017
  2. Julkaistu

    Sähköisen matematiikan tentin toteuttaminen ja opiskelijoiden kokemukset sähköisestä tentistä

    Koskinen, S., Kela, J., Ali-Löytty, S. S. & Joutsenlahti, J., 31 lokakuuta 2017, 2017: Proceedings of the annual FMSERA symposium 2016 . s. 110-120 11 Sivumäärä (Proceedings of the FMSERA annual symposium).

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Substanssiosaamisen integroinnin vaikutus asenteisiin ja motivaatioon yliopistomatematiikassa

    Tengvall, M., Kaarakka, T., Ali-Löytty, S. S. & Nokelainen, P., 31 lokakuuta 2017, 2017: Proceedings of the annual FMSERA symposium 2016 . s. 76-87 12 Sivumäärä (Proceedings of the FMSERA annual symposium).

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

    Lin, S-W., Sun, J., Xiao, H., Liu, Y., Sanán, D. & Hansen, H., lokakuuta 2017, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering: ASE 2017. Rosu, G., Di Penta, M. & Nguyen, T. N. (toim.). IEEE Press, s. 793-803 11 Sivumäärä (IEEE/ACM International Conference on Automated Software Engineering).

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Supporting an estimation of satellite locations

    Rautalin, S., Ali-Löytty, S., Piche, R. & Ala-Luhtala, J., 21 syyskuuta 2017, IPC-nro G01S19/40, Patenttinumero US20170269221, Prioriteetin päiväys 15 maaliskuuta 2016

    Tutkimustuotos: Patentti

  6. Julkaistu

    Finite-dimensional regulators for a class of regular hyperbolic PDE systems

    Xu, X., Pohjolainen, S. & Dubljevic, S., 30 elokuuta 2017, julkaisussa : International Journal of Control. s. 1-18 18 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Semantic Labeling of User Location Context Based on Phone Usage Features

    Leppäkoski, H., Rivero-Rodriguez, A., Rautalin, S., Muñoz Martínez, D., Käppi, J., Ali-Löytty, S. & Piche, R., 24 elokuuta 2017, julkaisussa : Mobile Information Systems. 2017, s. 1-21 21 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    3D shape of asteroid (6) Hebe from VLT/SPHERE imaging: Implications for the origin of ordinary H chondrites

    Marsset, M., Carry, B., Dumas, C., Hanuš, J., Viikinkoski, M., Vernazza, P., Müller, T. G., Delbo, M., Jehin, E., Gillon, M., Grice, J., Yang, B., Fusco, T., Berthier, J., Sonnett, S., Kugel, F., Caron, J. & Behrend, R., 1 elokuuta 2017, julkaisussa : Astronomy and Astrophysics. 604, A64.

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    How management intensity and neighborhood composition affect the structure of beech (Fagus sylvatica L.) trees

    Juchheim, J., Annighöfer, P., Ammer, C., Calders, K., Raumonen, P. & Seidel, D., 14 heinäkuuta 2017, julkaisussa : TREES-STRUCTURE AND FUNCTION. 31, 5, s. 1723–1735 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Order reduction for a signaling pathway model of neuronal synaptic plasticity

    Lehtimäki, M., Paunonen, L., Pohjolainen, S. & Linne, M-L., 1 heinäkuuta 2017, 20th IFAC World Congress. IFAC, s. 7687-7692 6 Sivumäärä (IFAC-PapersOnLine; painos 50).

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Robust Regulation of MIMO systems: A Reformulation of the Internal Model Principle

    Laakkonen, P., 1 heinäkuuta 2017, 20th IFAC World Congress. IFAC, s. 693-697 5 Sivumäärä (IFAC-PapersOnLine; painos 50).

    Tutkimustuotosvertaisarvioitu