Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

41 - 60 out of 1,341Page size: 20
  1. 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
  2. Published

    Stop It, and Be Stubborn!

    Valmari, A., 21 Jun 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (eds.). IEEE Computer Society, p. 10-19 10 p. 2

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

    Full text: ExLibris SFX link
  3. Published

    MathCheck: a tool for checking math solutions in detail

    Valmari, A. & Kaarakka, T., Sep 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFI

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

    Full text: ExLibris SFX link
  4. 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
  5. 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
  6. Published

    Stubborn Set Intuition Explained

    Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (eds.). CEUR-WS, p. 213-232 20 p. (CEUR Workshop Proceedings; vol. 1591).

    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 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
  9. 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
  10. 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
  11. 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
  12. 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
  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

    Semilocal BL-algebras

    Turunen, E., 2005, Fuzzy logic, soft computing and computational intelligence, Eleventh international fuzzy systems association world congress, XI IFSA world Congress, July 28-31, 2005, Beijing, China. Liu, Y. (ed.). p. 252-256

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

    Full text: ExLibris SFX link
  19. Published

    A note on states on generalized residuated lattices

    Turunen, E. & Mertanen, J., 2007, 28th Linz Seminar on Fuzzy Set Theory, Fuzzy Sets, Probability, and Statistics - Gaps and Bridges, Linz, Austria, February 6-10, 2007. Dubois, D. (ed.). p. 114-115

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

    Full text: ExLibris SFX link
  20. Published

    Perfect Pavelka Logic

    Turunen, E. & Navara, M., 2015, In : Fuzzy Sets and Systems.

    Research output: Contribution to journal › Article › 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