Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Published

    Tviittien politiikkaa – poliittisen viestinnän sisäpiirit Twitterissä

    Vainikka, E. & Huhtamäki, J., 2015, In : Media ja Viestintä. 38, 3, p. 165-183 19 p.

    Research output: Contribution to journalArticleScientific

  2. Published

    Design and evaluation of problem-based learning objects for environmental education in Estonian secondary school

    Väljataga, T., 2005, eLearning in Higher education. EUDORA intensive program ELHE during summer school in Viljandi, Estonia, 2004. Hudson, B. (ed.). p. 214-231

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

  3. Published

    If a student takes control: facilitators' tasks and responsibilities

    Väljataga, T., 2009, In : Lecture Notes in Computer Science. 5686, p. 390-399

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Learner Control and Responsibility: Expanding the Concept of Self-direction in Hihger Education

    Väljataga, T., 2011, Tampere: Tampere University of Technology. 167 p. (Tampere University of Technology. Publication; vol. 946)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  5. Published

    Learner control and personal learning environment: a challenge for instructional design

    Väljataga, T. & Laanpere, M., 2010, In : Interactive Learning Environments. 18, 3, p. 277-291

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, In : Acta Cybernetica. 21, 3, p. 307-330 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, In : Proceedings of the Estonian Academy of Sciences. 62, 1, p. 47-58 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. 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

  9. Published

    The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2013, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Kiss, A. (ed.). Szeged, Hungary: University of Szeged, p. 170-184 15 p. (Symposium on Programming Languages and Software Tools).

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

  10. Published

    A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

    Valmari, A., 2014, In : Electronic Proceedings in Theoretical Computer Science. 151, p. 355-369 15 p., 25.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 22096