Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Published

    Using micro electrode array for on-line EIT measurement

    Zhong, D., Siltanen, S., Tanskanen, J. M. A. & Hyttinen, J., 2007, Scharfetter & Merwa (Eds.) IFMBE Proceedings. 13th International Conference on Electrical Bioimpedance and 8th Conference on Electrical Impedance Tomography 2007. Graz, Austria, 29.08.-02.09.2007. p. 444-447

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Published

    Application of Hill-Clohessy-Wiltshire Equation in GNSS Orbit Prediction

    Zhang, X. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Nurmi, J., Ruotsalainen, L., Lohan, E-S., Salcedo, J. & Thombre, S. (eds.). Piscataway: IEEE, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Published

    Social Media, Reputation And Branding Of Innovation Hubs: A Periscope Using Content Analysis Of Twitter

    Yu, J. C., Russell, M. G., Still, K., Rubens, N., Huhtamäki, J. & Pöschko, J., 2011, Proceedings of the Triple Helix IX International Conference: Silicon Valley: Global Model or Unique Anomaly? 11-14 July, 2011, Stanford, California, USA. Stanford, CA: Stanford University, H-STAR Institute Center for Innovation and Communication, p. 1-20 20 p. (Triple Helix International Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. Published

    Vaikuttamistaidot - verkon avulla vaikuttajaksi?

    Yritys, K., 2002, ITK 2002, Yhdessä uuteen oppimisen toimintakulttuuriin, Interaktiivinen tekniikka koulutuksessa, 17.-19.4.2002, Hämeenlinna. s. 66-67, p. 1-21 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Published

    Venäjää verkossa - venäjän alkeiden opiskelua verkossa

    Yritys, K., 2000, ITK-00, Vapaus, veljeys, tasa-arvo?, Interaktiivinen tekniikka koulutuksessa -konferenssi, Aulanko, Hämeenlinna, 6.-8.4.2000, Hämeen kesäyliopiston julkaisuja, sarja B. Horila, T. (ed.). p. 93-94

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  6. Published

    Oppimispäiväkirja opiskelijan itsearvioinnin tukena - case Ympäristöverkon opetuskokeilut

    Yritys, K., 2003, Interaktiivinen tekniikka koulutuksessa -konferenssi (ITK 2003), Aulanko, Hämeenlinna 9-11.4.2003. Hämeenlinna, p. 91-91

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. Published

    Interpreting data mining quantifiers in mathematical fuzzy logic

    Ylirinne, E. & Turunen, E., 2006, Tampere: Unknown Publisher. 9 p. (Tampereen teknillinen yliopisto. Matematiikan laitos. Raportti; vol. 86)

    Research output: Book/ReportCommissioned reportProfessional

  8. Published

    Interpreting data mining quantifiers in mathematical fuzzy logic

    Ylirinne, E. & Turunen, E., 2006, FSCS 2006, Symposium on Fuzzy Systems in Computer Science 2006, September 27th and 28th, 2006, Magdeburg, Germany. Hüllermeier, E. (ed.). p. 33-41

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  9. Published

    Translating association rules into natural language

    Ylirinne, E., 2005, COST-274: Theory and Applications of Relational Structures As Knowledge Instruments WA1 and WA3 meeting, Málaga, Spain, March 31-April 1, 2005. p. 86-90

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  10. Published

    Analysis of the gene expression data with 4ft-miner

    Ylirinne, E., 2005, 16th European conference on machine learning ECML and 9th European conference on principles and practice of knowledge discovery in databases PKDD, Porto, Portugal, October 3 - 7, 2005. p. 114-119

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. Published

    Robust regulation of stable infinite-dimensional systems in the H-infinity algebra

    Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2005, Tampere: Tampere University of Technology. 24 p. (Tampere University of Technology, Research report; vol. 81)

    Research output: Book/ReportCommissioned reportProfessional

  12. Published

    Robust regulation of stable systems in the H-infinity-algebra

    Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2006, In : International Journal of Control. 79, 1, p. 24-35

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Robust regulation of stable infinite-dimensional plants in the H-infinity algebra

    Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2005, 11th IEEE International Conference on Methods and Models in Automation and Robotics, Miedzyzdroje, Puola, 29.8-1.9.2005. Domek, S. (ed.). p. 275-280

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  14. Published

    Screening Terminal Positions at a Terminal

    Wirola, L. A. J., Laine, T. A., Raitoharju, M. & Sirola, N. T., 10 Sep 2010, IPC No. H04B 7/ 00 A I, Patent No. WO2010101546, Priority date 4 Mar 2009, Priority No. WO2009US01411

    Research output: PatentScientific

  15. Published

    State-machine-based operation of a coverage-model-related process

    Wirola, L., Laine, T., Raitoharju, M. & Sirola, N., 2013, Patent No. US 8498636 B2, Priority date 30 Jul 2013

    Research output: PatentScientific

  16. Published

    Bandwidth and Storage Reduction of Radio Maps for Offline WLAN Positioning

    Wirola, L., Wirola, L. & Piche, R., 2013, International Conference on Indoor Positioning and Indoor Navigation, IPIN 2013, 28-31 Oct 2013, Montbéliard-Belfort, France. Piscataway, NJ: IEEE, p. 665-673 9 p. (International Conference on Indoor Positioning and Indoor Navigation).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  17. Published

    Teleradiology and Teledermatology in Finnish Military Medicine

    Voipio, V., Lamminen, H., Ruohonen, K., Autio, P., Ahovuo, J. & Sahi, T., 2001, In : Journal of Telemedicine and Telecare. 7, 3, p. 181-183

    Research output: Contribution to journalArticleScientific

  18. Published

    Oppimisen rajattomat mahdollisuudet

    Viteli, J. & Multisilta, J., 1993, In : Yliopisto-lehti.

    Research output: Contribution to journalArticleGeneral public

  19. Published

    Projektipankki yläkoulun matematiikkaan

    Viro, E., 26 Oct 2016, In : Dimensio. 2016, 5, p. 29-30 2 p.

    Research output: Contribution to journalArticleProfessional

  20. Published

    Projektioppiminen yläkoulun matematiikassa

    Viro, E. & Eriksson, S-L., 2015, In : Lumat. 3, 7, p. 1005-1009 5 p.

    Research output: Contribution to journalArticleProfessional

  21. Published

    Modifications of the 85/85 test and the temperature cycling test for tantalum capacitors

    Virkki, J., Sydänheimo, L. & Raumonen, P., 2011, In : Soldering and Surface Mount Technology. 23, 3, p. 168-176

    Research output: Contribution to journalArticleScientificpeer-review

  22. Published

    Spatter Tracking in Laser Machining

    Viitanen, T., Kolehmainen, J., Piche, R. & Okamoto, Y., 2012, Advances in Visual Computing. 8th International Symposium, ISVC 2012, July 16-18 2012, Rethymnon, Greece. Revised Selected Papers, Part 2. Lecture Notes in Computer Science.. Bebis, G., Boyle, R., Parvin, B., Koracin, D., Fowlkes, C., Wang, S., Choi, M-H., Mantler, S., Schulze, J., Acevedo, D., Mueller, K. & Papka, M. (eds.). Berlin Heidelberg: Springer, p. 626-635 (International Symposium on Visual Computing; vol. 7432).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Published

    VLT/SPHERE- and ALMA-based shape reconstruction of asteroid (3) Juno

    Viikinkoski, M., Kaasalainen, M., Durech, J., Carry, B., Marsset, M., Fusco, T., Dumas, C., Merline, W. J., Yang, B., Berthier, J., Kervella, P. & Vernazza, P., 1 Sep 2015, In : Astronomy and Astrophysics. 581, 5 p., L3.

    Research output: Contribution to journalArticleScientificpeer-review

  24. Published

    Shape reconstruction from images: Pixel fields and Fourier transform

    Viikinkoski, M. & Kaasalainen, M., 2014, In : Inverse Problems and Imaging. 8, 3, p. 885-900 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  25. Published

    Shape reconstruction from generalized projections

    Viikinkoski, M., 8 Jan 2016, Tampere University of Technology. 53 p. (Tampere University of Technology. Publication; vol. 1358)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  26. Published

    Reconstruction of Irregular Bodies from Multiple Data Sources

    Viikinkoski, M. & Kaasalainen, M., 17 Oct 2011, p. 1-29. 29 p.

    Research output: Other conference contributionPaper, poster or abstractScientific

  27. Published

    ADAM: A general method for using various data types in asteroid reconstruction

    Viikinkoski, M., Kaasalainen, M. & Durech, J., 1 Apr 2015, In : Astronomy and Astrophysics. 576, 11 p., A8.

    Research output: Contribution to journalArticleScientificpeer-review

  28. Published

    Vähemmistöosuudet konsernissa

    Vehmanen, L., 1988, In : Liiketaloudellinen Aikakauskirja. 1-1988, p. 55-68

    Research output: Contribution to journalArticleScientificpeer-review

  29. Published

    Significant digits

    Vehmanen, L., 1991, In : International Journal of Mathematical Education in Science and Technology. 22, 1, p. 89-95

    Research output: Contribution to journalArticleScientificpeer-review

  30. Published

    Statistical X-ray tomography using empirical Besov priors

    Vänskä, S., Lassas, M. & Siltanen, S., 2009, In : International Journal of Tomography and Statistics. 11, p. 3-32

    Research output: Contribution to journalArticleScientificpeer-review

  31. Published

    On constructibility and unconstructibility of LTS operators from other LTS operators

    Valmari, A., 2015, In : Acta Informatica. 52, 2-3, p. 207-234 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  32. Published

    A State Space Tool for Concurrent System Models Expressed In C++

    Valmari, A., 14 Dec 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (eds.). CEUR-WS.org, Vol. 1525. p. 91-105 15 p. 7. (CEUR Workshop Proceedings; vol. 1525).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  33. Published

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, In : Proceedings of the Estonian Academy of Sciences. 62, 1, p. 47-58 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. 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 journalArticleScientificpeer-review

  35. Published

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, In : Acta Cybernetica. 21, 3, p. 307-330 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  36. 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 proceedingConference contributionScientificpeer-review

  37. 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 journalArticleScientificpeer-review

  38. 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 proceedingConference contributionScientificpeer-review

  39. 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 proceedingConference contributionScientificpeer-review

  40. 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 proceedingConference contributionScientificpeer-review

  41. 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 proceedingConference contributionScientificpeer-review

  42. Published

    More stubborn set methods for process algebras

    Valmari, A., 1 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Springer International Publishing, p. 246-271 26 p. (Lecture Notes in Computer Science; vol. 10160).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  43. 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 proceedingConference contributionScientificpeer-review

  44. Published

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2014, In : Fundamenta Informaticae. 131, 1, p. 1-25 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

  45. 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 proceedingConference contributionScientificpeer-review

  46. Published

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, In : Logical Methods in Computer Science. 9, 4, p. 1-34 34 p., 11.

    Research output: Contribution to journalArticleScientificpeer-review

  47. 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 journalArticleScientificpeer-review

  48. 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 journalArticleScientificpeer-review

  49. 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 proceedingConference contributionScientificpeer-review

  50. 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/ReportDoctoral thesisCollection of Articles

  51. 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/ReportCommissioned reportProfessional

  52. 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 journalArticleScientific

  53. 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/ReportCommissioned reportProfessional

  54. 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 proceedingConference contributionScientific

  55. 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 proceedingConference contributionScientific

  56. 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 proceedingConference contributionScientific

  57. 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 proceedingConference contributionScientificpeer-review

  58. Published

    n-Fold implicative basic logic is Gödel logic

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

    Research output: Contribution to journalArticleScientificpeer-review

  59. Published

    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. (ed.). p. 247-270

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  60. Published

    A Lukasiewicz-style Many-Valued Similarity Reasoning: Review

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  61. Published

    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. (eds.). PARIS: Atlantis Press, p. 1027-1033 7 p. (Advances in Intelligent Systems Research; vol. 89).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  62. Published

    Deduction theorem in monoidal logic

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

    Research output: Contribution to journalArticleScientificpeer-review

  63. Published

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  64. Published

    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. p. 5-6

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  65. Published

    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. p. 158-162

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  66. Published

    An algebraic study of Peterson´s Intermediate Syllogisms

    Turunen, E., 2014, In : Soft Computing. p. 1-14 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  67. Published

    Local BL-algebras

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

    Research output: Contribution to journalArticleScientificpeer-review

  68. 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 proceedingConference contributionScientificpeer-review

  69. Published

    A para consistent fuzzy logic

    Turunen, E., 2009, In : Lecture Notes in Computer Science. 5378, p. 77-88

    Research output: Contribution to journalArticleScientificpeer-review

  70. Published

    Boolean deductive systems of BL-algebras

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

    Research output: Contribution to journalArticleScientificpeer-review

  71. Published

    Fuzzy Propositional Logic

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  72. 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 proceedingConference contributionScientific

  73. Published

    States on semi-divisible residuated lattices

    Turunen, E. & Mertanen, J., 2008, In : Soft Computing. 12, p. 353-357

    Research output: Contribution to journalArticleScientificpeer-review

  74. Published

    Soft Computing Methods

    Turunen, E., Raivio, K. & Mantere, T., 2016, Mathematical Modelling. Pohjolainen, S. (ed.). Springer International Publishing, p. 79-112 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  75. Published

    Hyper-Archimedean BL-algebras are MV-algebras

    Turunen, E., 2007, In : Mathematical Logic Quarterly. 53, 2, p. 170-175

    Research output: Contribution to journalArticleScientificpeer-review

  76. Published

    Semilocal BL-algebras

    Turunen, E., 2004, Tampere: Unknown Publisher. 11 p. (Tampereen teknillinen yliopisto, Matematiikan laitos, Tutkimusraportti; vol. 79)

    Research output: Book/ReportCommissioned reportProfessional

  77. Published

    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. (eds.). Heidelberg: Physica-Verlag, p. 313-337 (Advances in Soft Computing,; vol. 11).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  78. Published

    VRTUOSI: Courses Data Mining and Many-valued Similarities: Universidad Rey Juan Carlos

    Turunen, E., 2011

    Research output: Artistic and non-textual formDigital or Visual ProductsScientific

  79. Published

    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. p. p. 42

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  80. Published

    RS-BL-algebras are MV-algebras

    Turunen, E., 1 Dec 2016, In : Iranian Journal of Fuzzy Systems. 13, 6, p. 153-154 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  81. Published

    Paraconsistent semantics for Pavelka style fuzzy sentential logic

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

    Research output: Contribution to journalArticleScientificpeer-review

  82. Published

    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, p. 163-168 (Conference of the European Society for Fuzzy Logic and Technology EUSFLAT-LFA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  83. Published

    Semi-Boolean and hyper-Archimedean BL-algebras

    Turunen, E., 2007, In : Lecture Notes in Computer Science. 4529, p. 419-426

    Research output: Contribution to journalArticleScientificpeer-review

  84. 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 proceedingConference contributionScientificpeer-review

  85. Published

    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, p. 171-178 (International Conference of Rough Sets, Fuzzy Setsand Soft Computing ICRSFSSC).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  86. Published

    Two Consistent Many-Valued Logics for Paraconsistent Phenomena

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  87. Published

    Perfect Pavelka Logic

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

    Research output: Contribution to journalArticleScientificpeer-review

  88. Published

    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. p. 60-64 (ManyVal).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  89. Published

    Tiedonlouhintaa tieliikenneonnettomuussatasta

    Turunen, E., 2013, In : Liikenne. 31, 2, p. 7-8 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  90. Published

    Interpreting GUHA data mining logic in paraconsistent fuzzy logic framework

    Turunen, E., 2009, In : Lecture Notes in Computer Science. 5783, p. 284-293

    Research output: Contribution to journalArticleScientificpeer-review

  91. 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 proceedingConference contributionScientificpeer-review

  92. Published

    Commutative bounded integral residuated orthomodular lattices are Boolean algebras

    Tladlec, J. & Turunen, E., 2011, In : Soft Computing. 15, 4, p. 635-636

    Research output: Contribution to journalArticleScientificpeer-review

  93. Published

    IT-supported Knowledge Creation: The Right Tools for Right use

    Tikka, T., Hautakangas, S. & Ranta, P., 2001, Intelligent Computer and Communications Technology - Learning in On-Line Communities. PEG 2001 23rd - 26th June 2001, Tampere, Finland. p. 30-35

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  94. Published

    Drainage of pulp suspensions

    Tiihonen, T., Piche, R., Gripenberg, G. & Leppänen, T., 2004, Proceedings of the 50th European Study Group with Industry, 12.11.2004, Helsinki. Piche, R. (ed.). p. 23-32

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  95. Published

    Verkkopalvelun käyttökelpoisuuden arvioiminen -oppimateriaali: Tampereen teknillinen yliopisto

    Tervakari, A-M. & Silius, K., 2005

    Research output: Artistic and non-textual formDigital or Visual ProductsScientific

  96. Published

    Peer Learning in Social Media Enhanced Learning Environment

    Tervakari, A-M., Silius, K., Tebest, T., Marttila, J., Kailanto, M. & Huhtamäki, J., 2012, In : International Journal of Emerging Technologies in Learning. 7, 3, p. 35-42

    Research output: Contribution to journalArticleScientificpeer-review

  97. Published

    Vakuutuspalveluiden verkkosivustojen käyttökelpoisuuden arvioiminen

    Tervakari, A-M., Silius, K., Huhtamäki, J., Kaikuvuo, I. & Isännäinen, V., 2007, eInsurance. 81 p.

    Research output: Book/ReportCommissioned reportProfessional

  98. Published

    Tekijänoikeus opetuksessa ja oppimateriaalin valmistamisessa

    Tervakari, A., 2016

    Research output: Artistic and non-textual formDigital or Visual ProductsProfessional

  99. Published

    Usefulness of Information Visualizations Based on Educational Data

    Tervakari, A., Silius, K., Koro, J., Paukkeri, J. & Pirttilä, O., 2014, IEEE Global Engineering Education Conference, EDUCON 2014, April 3-5, 2014, Istanbul, Turkey. IEEE, p. 142-151 10 p. (IEEE Global Engineering Education Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  100. Published

    Peer Learning in Social Media Enhanced Learning Environment

    Tervakari, A-M., Silius, K., Tebest, T., Marttila, J., Kailanto, M. & Huhtamäki, J., 2012, Proceedings of the 2012 IEEE Global Engineering Education Conference, EDUCON, 17-20 April 2012, Marrakech, Morocco. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, p. 623-631 12746721. (IEEE Global Engineering Education Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...14 Next

ID: 22096