TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    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. s. 444-447

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    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. (toim.). Piscataway: IEEE, s. 1-6 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    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, s. 1-20 20 Sivumäärä (Triple Helix International Conference).

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    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, s. 1-21 21 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    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. (toim.). s. 93-94

    Tutkimustuotos

  6. Julkaistu

    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, s. 91-91

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Interpreting data mining quantifiers in mathematical fuzzy logic

    Ylirinne, E. & Turunen, E., 2006, Tampere: Unknown Publisher. 9 Sivumäärä (Tampereen teknillinen yliopisto. Matematiikan laitos. Raportti; painos 86)

    Tutkimustuotos

  8. Julkaistu

    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. (toim.). s. 33-41

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    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. s. 86-90

    Tutkimustuotos

  10. Julkaistu

    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. s. 114-119

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    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 Sivumäärä (Tampere University of Technology, Research report; painos 81)

    Tutkimustuotos

  12. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    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. (toim.). s. 275-280

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Screening Terminal Positions at a Terminal

    Wirola, L. A. J., Laine, T. A., Raitoharju, M. & Sirola, N. T., 10 syyskuuta 2010, IPC-nro H04B 7/ 00 A I, Patenttinumero WO2010101546, Prioriteetin päiväys 4 maaliskuuta 2009, Prioriteettinumero WO2009US01411

    Tutkimustuotos: Patentti

  15. Julkaistu

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

    Wirola, L., Laine, T., Raitoharju, M. & Sirola, N., 2013, Patenttinumero US 8498636 B2, Prioriteetin päiväys 30 heinäkuuta 2013

    Tutkimustuotos: Patentti

  16. Julkaistu

    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, s. 665-673 9 Sivumäärä (International Conference on Indoor Positioning and Indoor Navigation).

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Teleradiology and Teledermatology in Finnish Military Medicine

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

    Tutkimustuotos

  18. Julkaistu

    Oppimisen rajattomat mahdollisuudet

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

    Tutkimustuotos

  19. Julkaistu

    Projektipankki yläkoulun matematiikkaan

    Viro, E., 26 lokakuuta 2016, julkaisussa : Dimensio. 2016, 5, s. 29-30 2 Sivumäärä

    Tutkimustuotos

  20. Julkaistu

    Projektioppiminen yläkoulun matematiikassa

    Viro, E. & Eriksson, S-L., 2015, julkaisussa : Lumat. 3, 7, s. 1005-1009 5 Sivumäärä

    Tutkimustuotos

  21. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  22. Julkaistu

    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. (toim.). Berlin Heidelberg: Springer, s. 626-635 (International Symposium on Visual Computing; painos 7432).

    Tutkimustuotosvertaisarvioitu

  23. Julkaistu

    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 syyskuuta 2015, julkaisussa : Astronomy and Astrophysics. 581, 5 Sivumäärä, L3.

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu

    Shape reconstruction from images: Pixel fields and Fourier transform

    Viikinkoski, M. & Kaasalainen, M., 2014, julkaisussa : Inverse Problems and Imaging. 8, 3, s. 885-900 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Shape reconstruction from generalized projections

    Viikinkoski, M., 8 tammikuuta 2016, Tampere University of Technology. 53 Sivumäärä (Tampere University of Technology. Publication; painos 1358)

    Tutkimustuotos

  26. Julkaistu

    Reconstruction of Irregular Bodies from Multiple Data Sources

    Viikinkoski, M. & Kaasalainen, M., 17 lokakuuta 2011, s. 1-29. 29 Sivumäärä.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  27. Julkaistu

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

    Viikinkoski, M., Kaasalainen, M. & Durech, J., 1 huhtikuuta 2015, julkaisussa : Astronomy and Astrophysics. 576, 11 Sivumäärä, A8.

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    Vähemmistöosuudet konsernissa

    Vehmanen, L., 1988, julkaisussa : Liiketaloudellinen Aikakauskirja. 1-1988, s. 55-68

    Tutkimustuotosvertaisarvioitu

  29. Julkaistu

    Significant digits

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

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    Statistical X-ray tomography using empirical Besov priors

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

    Tutkimustuotosvertaisarvioitu

  31. Julkaistu

    On constructibility and unconstructibility of LTS operators from other LTS operators

    Valmari, A., 2015, julkaisussa : Acta Informatica. 52, 2-3, s. 207-234 28 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

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

    Valmari, A., 14 joulukuuta 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. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).

    Tutkimustuotosvertaisarvioitu

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

  34. Julkaistu

    Stop it, and be stubborn!

    Valmari, A., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, 46.

    Tutkimustuotosvertaisarvioitu

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

  36. Julkaistu

    Stop It, and Be Stubborn!

    Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2

    Tutkimustuotosvertaisarvioitu

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

  38. Julkaistu

    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. (toim.). Berlin, Heidelberg: Springer, s. 255-299 45 Sivumäärä (Lecture Notes in Computer Science; painos 7480).

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    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, s. 225-243 19 Sivumäärä (Lecture Notes in Computer Science; painos 9641).

    Tutkimustuotosvertaisarvioitu

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

  41. Julkaistu

    MathCheck: a tool for checking math solutions in detail

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

    Tutkimustuotosvertaisarvioitu

  42. Julkaistu

    More stubborn set methods for process algebras

    Valmari, A., 1 tammikuuta 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. (toim.). Springer International Publishing, s. 246-271 26 Sivumäärä (Lecture Notes in Computer Science; painos 10160).

    Tutkimustuotos

  43. Julkaistu

    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. (toim.). CEUR-WS, s. 213-232 20 Sivumäärä (CEUR Workshop Proceedings; painos 1591).

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2014, julkaisussa : Fundamenta Informaticae. 131, 1, s. 1-25 25 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  45. Julkaistu

    The Congruences Below Fair Testing with Initial Stability

    Valmari, A., 6 helmikuuta 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, s. 25-34 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  62. Julkaistu

    Deduction theorem in monoidal logic

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

    Tutkimustuotosvertaisarvioitu

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

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

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

  66. Julkaistu

    An algebraic study of Peterson´s Intermediate Syllogisms

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

    Tutkimustuotosvertaisarvioitu

  67. Julkaistu

    Local BL-algebras

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

    Tutkimustuotosvertaisarvioitu

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

  69. Julkaistu

    A para consistent fuzzy logic

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

    Tutkimustuotosvertaisarvioitu

  70. Julkaistu

    Boolean deductive systems of BL-algebras

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

    Tutkimustuotosvertaisarvioitu

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

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

  73. Julkaistu

    States on semi-divisible residuated lattices

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

    Tutkimustuotosvertaisarvioitu

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

  75. Julkaistu

    Hyper-Archimedean BL-algebras are MV-algebras

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

    Tutkimustuotosvertaisarvioitu

  76. Julkaistu

    Semilocal BL-algebras

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

    Tutkimustuotos

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

  78. Julkaistu
  79. 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

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

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

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

  83. Julkaistu

    Semi-Boolean and hyper-Archimedean BL-algebras

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

    Tutkimustuotosvertaisarvioitu

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

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

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

  87. Julkaistu

    Perfect Pavelka Logic

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

    Tutkimustuotosvertaisarvioitu

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

  89. Julkaistu

    Tiedonlouhintaa tieliikenneonnettomuussatasta

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

    Tutkimustuotosvertaisarvioitu

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

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

  92. Julkaistu

    Commutative bounded integral residuated orthomodular lattices are Boolean algebras

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

    Tutkimustuotosvertaisarvioitu

  93. Julkaistu

    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. s. 30-35

    Tutkimustuotosvertaisarvioitu

  94. Julkaistu

    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. (toim.). s. 23-32

    Tutkimustuotos

  95. Julkaistu
  96. Julkaistu

    Peer Learning in Social Media Enhanced Learning Environment

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

    Tutkimustuotosvertaisarvioitu

  97. Julkaistu

    Vakuutuspalveluiden verkkosivustojen käyttökelpoisuuden arvioiminen

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

    Tutkimustuotos

  98. Julkaistu
  99. Julkaistu

    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, s. 142-151 10 Sivumäärä (IEEE Global Engineering Education Conference).

    Tutkimustuotosvertaisarvioitu

  100. Julkaistu

    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, s. 623-631 12746721. (IEEE Global Engineering Education Conference).

    Tutkimustuotosvertaisarvioitu

Edellinen 1 2 3 4 5 6 7 8 ...14 Seuraava

ID: 22096