Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

41 - 60 out of 1,341Page size: 20
  1. 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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  2. Published

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer Verlag, p. 225-243 19 p. (Lecture Notes in Computer Science; vol. 9641).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  3. 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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  4. Published

    External Behaviour of Systems of State Machines with Variables

    Valmari, A., 2013, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Jensen, K., van der Aalst, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin, Heidelberg: Springer, p. 255-299 45 p. (Lecture Notes in Computer Science; vol. 7480).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  5. Published

    Stop it, and be stubborn!

    Valmari, A., 1 Jan 2017, In : ACM Transactions on Embedded Computing Systems. 16, 2, 46.

    Research output: Contribution to journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  6. Published

    The Congruences Below Fair Testing with Initial Stability

    Valmari, A., 6 Feb 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, p. 25-34 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  7. 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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  8. 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/Report › Doctoral thesis › Collection of Articles

    Full text: ExLibris SFX link
  9. 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 proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  10. 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 journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  11. Published

    Twiiteryhmiä ja uutispäivittelyä - toimittajana sosiaalisessa mediassa

    Vainikka, E., Noppari, E., Heinonen, A. & Huhtamäki, J., 2013, Tampereen yliopisto. Viestinnän, median ja teatterin yksikkö. Journalismin, viestinnän ja median tutkimuskeskus, COMET. 113 p.

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  12. 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 journal › Article › Scientific

    Full text: ExLibris SFX link
  13. Published

    Hakkuukonekuljettajan hiljaisen tiedon merkitys hakkuutulokseen työpistetasolla

    Väätäinen, K., Ovaskainen, H., Ranta, P. & Ala-Fossi, A., 2005, Joensuu: Metla, Joensuun tutkimuskeskus. 90 p. (Metsäntutkimuslaitoksen tiedonantoja; vol. 937)

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  14. Published

    Kvantitatiivisten menetelmien soveltaminen paperin tuotantolinjan kehittämisessä

    Väänänen, M. & Ikonen, V., 2003, Kunnossapitokongressi, Kunnossapitopäivät 2003, 29.10.2003, Tampere. Tampere, p. 12 s

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

    Full text: ExLibris SFX link
  15. Published

    Akustisen tilan siirtofunktion kertaluvun pienentäminen Hessenbergin muunnoksella

    Uusitalo, P., 1997, Akustiikan laskennallinen mallintaminen, Akustiikan seminaari 1997. Teknillinen korkeakoulu, Sähkö- ja tietoliikennetekniikan osasto, Akustiikan ja äänenkäsittelytekniikan laboratorio, Report. Karjalainen, M., Backman, J. & Savioja, L. (eds.). Otaniemi, p. 95-116

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

    Full text: ExLibris SFX link
  16. Published

    Change detection of sensor signals; Application to binary distillation process

    Uusitalo, P. & Häyhä, P., 1997, VTT Symposium, COMADEM '97, 10th International Congress and Monitoring and Diagnostic Engineering Management, Espoo, Finland, 9-11 June, 1997. Vol. 1. Jantunen, E. (ed.). Espoo, p. 113-122

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

    Full text: ExLibris SFX link
  17. Published

    Prediction of rotating stall within an impeller of a centrifugal pump based on spectral analysis of pressure and velocity data

    Ullum, U., Wright, J., Dayi, O., Ecder, A., Soulaimani, A., Piche, R. & Kamath, H., 2006, Mathematics for Industry in Denmark: The ESGI47 and Mathematics for Industry Workshop, 24-29 August 2003, Univeristy of Southern Denmark. Journal of Physics: Conference Series. p. 36-45

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  18. Published

    Continuous extension of Belnap values and MV algebras

    Turunen, E., Ozturk, M. & Tsoukias, A., 2008, LFA 2008 Symposium Rencontres francophones sur la Logique Floue et ses Applications, Lens, France, 16.-17.10.2008. p. 304-311

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  19. Published

    Boolean deductive systems of BL-algebras

    Turunen, E., 2001, In : Archive for Mathematical Logic. 40, p. 467-473

    Research output: Contribution to journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  20. Published

    A New Characterization for n-Fold Positive Implicative BL-logics

    Turunen, E., Tchikapa, N. & Lele, C., 2012, Advances on Computational Intelligence 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I. Communications in Computer and Information Science. Greco, S., Bouchon-Meunier, B., Coletti, G., Fedrizzi, M., Matarazzo, B. & Yager, R. R. (eds.). Berlin Heidelberg: Springer, p. 552-560 (International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems; vol. 297).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
Previous 1 2 3 4 5 6 7 8 ...68 Next

ID: 22096

Contact information

Korkeakoulunkatu 1
Tietotalo Building, floors 3 and 4
FI-33720
Tampere
Finland
PO Box 553
FI-33101
Tampere
Finland

View graph of relations

Tampere University of Technology is at the leading edge of technology development and a sought-after collaboration partner among the scientific and business communities. The University produces competent graduates who enter careers in the different sectors of society.

Quick links

Follow us

subscribe to the TUT science newsletter Interface