TUTCRIS - Tampereen teknillinen yliopisto


Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Non-classical Logics with Real Life Applications

    Turunen, E., 2011, Proceedings of International Conference of Rough Sets, Fuzzy Sets and Soft Computing ICRSFSSC-2009, November 5-7 2009, Tripura University. New Delhi: Serial Publications, s. 171-178 (International Conference of Rough Sets, Fuzzy Setsand Soft Computing ICRSFSSC).


  2. Julkaistu

    n-Fold implicative basic logic is Gödel logic

    Turunen, E., Tchikapa, N. & Lele, C., 2012, julkaisussa : Soft Computing. 16, 1, s. 177-181


  3. Julkaistu

    Some axiomatic extensions of monoidal logic - an algebraic approach

    Turunen, E., 2007, International Symposium on Recent Advances in Mathematics and Its Applications ISRAMA 2007, December 15-17, 2007, Calcutta, India. s. 5-6


  4. Julkaistu

    Semilocal BL-algebras

    Turunen, E., 2004, Tampere: Unknown Publisher. 11 Sivumäärä (Tampereen teknillinen yliopisto, Matematiikan laitos, Tutkimusraportti; painos 79)


  5. Julkaistu

    States on semi-divisible generalized residuated lattices

    Turunen, E., 2008, ManyVal'08 Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic, May 19-21, 2008, Univeristy of Milan, Milan, italy. s. p. 42


  6. Julkaistu

    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. (toim.). Berlin Heidelberg: Springer, s. 552-560 (International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems; painos 297).


  7. Julkaistu

    Short term prediction of highway travel time using GUHA data mining method

    Turunen, E. & Coufal, D., 2004, julkaisussa : Neural Network World. 3-4, s. 221-231


  8. Julkaistu

    Axiomatic Extensions of Höhle's Monoidal Logic

    Turunen, E., 2011, Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology EUSFLAT-LFA 2011, Aix-Les-Bains, France, 18 - 22 July 2011. Amsterdam: Atlantis Press, s. 163-168 (Conference of the European Society for Fuzzy Logic and Technology EUSFLAT-LFA).


  9. Julkaistu

    Survey of Theory and Applications of Lukasiewicz-Pavelka Fuzzy Logic

    Turunen, E., 2001, Lectures on Soft Computing and Fuzzy Logic. Di Nola, A. & Gerla, G. (toim.). Heidelberg: Physica-Verlag, s. 313-337 (Advances in Soft Computing,; painos 11).


  10. Julkaistu

    A para consistent fuzzy logic

    Turunen, E., 2009, julkaisussa : Lecture Notes in Computer Science. 5378, s. 77-88


  11. Julkaistu

    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. (toim.). s. 114-115


  12. Julkaistu

    Paraconsistent fuzzy logic - A review

    Turunen, E., 2010, Logic, Algebra and Truth Degrees 2010, Second Conference of the Working Group on Mathematical Fuzzy Logic, 7-11 September 2010, Prague, Czech Republic. s. 158-162


  13. Julkaistu

    Perfect Pavelka Logic

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


  14. Julkaistu

    Connecting a tenable mathematical theory to models of fuzzy phenomena

    Turunen, E., 2009, Views on Fuzzy Sets and Systems from Different Perspectives. Studies in Fuzziness and Soft Computing. Seising, R. (toim.). s. 247-270


  15. Julkaistu

    Interpreting GUHA data mining logic in paraconsistent fuzzy logic framework

    Turunen, E., 2009, julkaisussa : Lecture Notes in Computer Science. 5783, s. 284-293


  16. Julkaistu

    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. s. 304-311


  17. Julkaistu

    Local BL-algebras

    Turunen, E. & Sessa, S., 2001, julkaisussa : Multi. Val. Logic.. 6, s. 229-249


  18. Julkaistu

    Semi-Boolean and hyper-Archimedean BL-algebras

    Turunen, E., 2007, julkaisussa : Lecture Notes in Computer Science. 4529, s. 419-426


  19. Julkaistu

    Paraconsistent semantics for Pavelka style fuzzy sentential logic

    Turunen, E., Özturkb, M. & Tsoukisc, A., 2010, julkaisussa : Fuzzy Sets and Systems. 161, 14, s. 1926-1940


  20. Julkaistu

    States on semi-divisible residuated lattices

    Turunen, E. & Mertanen, J., 2008, julkaisussa : Soft Computing. 12, s. 353-357


  21. Julkaistu

    Boolean deductive systems of BL-algebras

    Turunen, E., 2001, julkaisussa : Archive for Mathematical Logic. 40, s. 467-473


  22. Julkaistu

    Hyper-Archimedean BL-algebras are MV-algebras

    Turunen, E., 2007, julkaisussa : Mathematical Logic Quarterly. 53, 2, s. 170-175


  23. Julkaistu

    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. (toim.). s. 252-256


  24. Julkaistu
  25. Julkaistu

    Tiedonlouhintaa tieliikenneonnettomuussatasta

    Turunen, E., 2013, julkaisussa : Liikenne. 31, 2, s. 7-8 2 Sivumäärä


  26. Julkaistu

    Characterizing n-Fold Positive Implicative BL-logics

    Turunen, E., Lele, C. & Tchikapa, N., 2012, ManyVal'12 In Honour of Antonio Di Nola's 65th Birthday, Salerno, Italy, s. 60-64 (ManyVal).


  27. Julkaistu

    Fuzzy Propositional Logic

    Turunen, E., 2000, Discovering the World with Fuzzy Logic, Studies in Fuzziness and Soft Computing. Novák, V. & Perfilieva, I. (toim.). Heidelberg: Physica-Verlag, s. 243-270


  28. Julkaistu

    An algebraic study of Peterson´s Intermediate Syllogisms

    Turunen, E., 2014, julkaisussa : Soft Computing. s. 1-14 14 Sivumäärä


  29. Julkaistu

    Deduction theorem in monoidal logic

    Turunen, E., 2007, julkaisussa : Journal of the Calcutta Mathematical Society. 3, 1&2, s. 63-66


  30. Julkaistu

    Infinitesimals and Pavelka logic

    Turunen, E. & Navara, M., 2015, PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY. Alonso, JM., Bustince, H. & Reformat, M. (toim.). PARIS: Atlantis Press, s. 1027-1033 7 Sivumäärä (Advances in Intelligent Systems Research; painos 89).


  31. Julkaistu

    Two Consistent Many-Valued Logics for Paraconsistent Phenomena

    Turunen, E. & Rodrigues, J. T., 9 maaliskuuta 2016, New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014. Beziau, J-Y., Chakraborty, M. & Dutta, S. (toim.). New Delhi Heidelberg New York Dordrecht London: Springer Verlag, s. 185-210 25 Sivumäärä (Springer Proceedings in Mathematics & Statistics; painos 152).


  32. Julkaistu

    A Lukasiewicz-style Many-Valued Similarity Reasoning: Review

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


  33. Julkaistu

    Soft Computing Methods

    Turunen, E., Raivio, K. & Mantere, T., 2016, Mathematical Modelling. Pohjolainen, S. (toim.). Springer International Publishing, s. 79-112 34 Sivumäärä


  34. Julkaistu

    RS-BL-algebras are MV-algebras

    Turunen, E., 1 joulukuuta 2016, julkaisussa : Iranian Journal of Fuzzy Systems. 13, 6, s. 153-154 2 Sivumäärä


  35. Julkaistu

    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. s. 36-45


  36. Julkaistu

    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. (toim.). Espoo, s. 113-122


  37. Julkaistu

    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. (toim.). Otaniemi, s. 95-116


  38. Julkaistu

    Kvantitatiivisten menetelmien soveltaminen paperin tuotantolinjan kehittämisessä

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


  39. Julkaistu

    Hakkuukonekuljettajan hiljaisen tiedon merkitys hakkuutulokseen työpistetasolla

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


  40. Julkaistu

    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 Sivumäärä


  41. Julkaistu

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

    Vainikka, E. & Huhtamäki, J., 2015, julkaisussa : Media ja Viestintä. 38, 3, s. 165-183 19 Sivumäärä


  42. Julkaistu

    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. (toim.). s. 214-231


  43. Julkaistu

    If a student takes control: facilitators' tasks and responsibilities

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


  44. Julkaistu

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

    Väljataga, T., 2011, Tampere: Tampere University of Technology. 167 Sivumäärä (Tampere University of Technology. Publication; painos 946)


  45. Julkaistu

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

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


  46. Julkaistu

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, julkaisussa : Acta Cybernetica. 21, 3, s. 307-330 24 Sivumäärä


  47. Julkaistu

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, julkaisussa : Proceedings of the Estonian Academy of Sciences. 62, 1, s. 47-58 12 Sivumäärä


  48. Julkaistu

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, julkaisussa : Logical Methods in Computer Science. 9, 4, s. 1-34 34 Sivumäärä, 11.


  49. Julkaistu

    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. (toim.). Szeged, Hungary: University of Szeged, s. 170-184 15 Sivumäärä (Symposium on Programming Languages and Software Tools).


  50. Julkaistu

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

    Valmari, A., 2014, julkaisussa : Electronic Proceedings in Theoretical Computer Science. 151, s. 355-369 15 Sivumäärä, 25.


ID: 22096