TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Semilocal BL-algebras

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

    Tutkimustuotos

  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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    A para consistent fuzzy logic

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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotos

  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

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Perfect Pavelka Logic

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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Local BL-algebras

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

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Semi-Boolean and hyper-Archimedean BL-algebras

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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    States on semi-divisible residuated lattices

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

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    Boolean deductive systems of BL-algebras

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

    Tutkimustuotosvertaisarvioitu

  22. Julkaistu

    Hyper-Archimedean BL-algebras are MV-algebras

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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu
  25. Julkaistu

    Tiedonlouhintaa tieliikenneonnettomuussatasta

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

    Tutkimustuotosvertaisarvioitu

  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, 4.7.7.2012. s. 60-64 (ManyVal).

    Tutkimustuotos

  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

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    An algebraic study of Peterson´s Intermediate Syllogisms

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

    Tutkimustuotosvertaisarvioitu

  29. Julkaistu

    Deduction theorem in monoidal logic

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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  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ä

    Tutkimustuotosvertaisarvioitu

  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ä

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotos

  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

    Tutkimustuotos

  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

    Tutkimustuotos

  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)

    Tutkimustuotos

  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ä

    Tutkimustuotos

  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ä

    Tutkimustuotos

  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

    Tutkimustuotosvertaisarvioitu

  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

    Tutkimustuotosvertaisarvioitu

  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)

    Tutkimustuotos

  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

    Tutkimustuotosvertaisarvioitu

  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ä

    Tutkimustuotosvertaisarvioitu

  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ä

    Tutkimustuotosvertaisarvioitu

  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.

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  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.

    Tutkimustuotosvertaisarvioitu

ID: 22096