Department of Mathematics
Research unit: Department
- 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
- 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. 2Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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 SEFIResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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
- 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
- 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
- Published
If a student takes control: facilitators' tasks and responsibilities
Väljataga, T., 2009, In : Lecture Notes in Computer Science. 5686, p. 390-399Research output: Contribution to journal › Article › Scientific › peer-review
- 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-291Research output: Contribution to journal › Article › Scientific › peer-review
- 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
- 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-231Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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
- 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
- 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
- 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 sResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- 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-116Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- 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-122Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- 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-45Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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-256Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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-115Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- Published
Perfect Pavelka Logic
Turunen, E. & Navara, M., 2015, In : Fuzzy Sets and Systems.Research output: Contribution to journal › Article › Scientific › peer-review
ID: 22096