Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Published

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, In : Logical Methods in Computer Science. 9, 4, p. 1-34 34 p., 11.

    Research output: Contribution to journalArticleScientificpeer-review

  2. Published

    Alueellinen yhteistyö e-oppimisen tutkimuksessa ja käytännön verkko-opetuksessa

    Pohjolainen, S., 2002, ITK 2002, Yhdessä uuteen oppimisen toimintakulttuuriin, Interaktiivinen tekniikka koulutuksessa, 17.-19.4.2002, Hämeenlinna. p. s. 54

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Published

    A Lukasiewicz-style Many-Valued Similarity Reasoning: Review

    Turunen, E., 2003, Beyond Two: Theory and Applications of Multiple-Valued Logic. Fitting, M. & Orlowska, E. (eds.). Heidelberg: Physica-Verlag, p. 315- 348 34 p. (Studies in Fuzziness and Soft Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  4. Published

    Alumni Network Analysis

    Rubens, N., Russell, M. G., Perez, R., Huhtamäki, J., Still, K., Kaplan, D. & Okamoto, T., 2011, 2011 IEEE 2nd Global Engineering Education Conference EDUCON, 4-6 April 2011, Amman, Jordan. Piscataway, NJ: IEEE, p. 606-611 (IEEE Global Engineering Education Conference EDUCON).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Published

    Alumni Stories and Students' Commitment to Studies

    Kailanto, M., Silius, K., Tervakari, A-M., Marttila, J., Tebest, T. & Huhtamäki, J., 2012, Proceedings of the 2012 IEEE Global Engineering Education Conference, EDUCON, 17-20 April 2012, Marrakech, Morocco. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, p. 1021-1028 (IEEE Global Engineering Education Conference; no. 12746778).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. Published

    A Lyapunov approach to strong stability of semigroups

    Paunonen, L. & Zwart, H., 2013, In : Systems and Control Letters. 62, 8, p. 673-678 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    A mathematical model for a single crossflow heat exchanger

    Piche, R., 2003, In : ECMI Newsletter. 33, p. 21-22

    Research output: Contribution to journalArticleProfessional

  8. Published

    A Mean-Value Theorem for Some Eigenfunctions of the Laplace -Beltrami Operator on the Upper-Half Space

    Eriksson, S-L. & Orelma, H., 2011, In : Annales Academiae Scientiarum Fennicae-Mathematica. 36, p. 101-110 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    A method to enforce map constraints in a particle filter's position estimate

    Piche, R. & Koivisto, M., 2014, 2014 11th Workshop on Positioning, Navigation and Communication (WPNC), 12-13 March 2014, Dresden, Germany. IEEE, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    A modified Kalman filter for hybrid positioning

    Ali-Löytty, S. & Sirola, N., 2006, Proceedings of the 19th International Technical Meeting of the Satellite Division of The Institute of Navigation ION GNSS 2006, Fort Worth, Texas, 26.-29.9.2006. p. 1679-1686

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Previous 1...3 4 5 6 7 8 9 10 ...135 Next

ID: 22096