Department of Mathematics
Research unit: Department
- 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-447Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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-94Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- 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-91Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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/Report › Commissioned report › Professional
- 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-41Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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-90Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- 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-119Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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/Report › Commissioned report › Professional
- 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-35Research output: Contribution to journal › Article › Scientific › peer-review
- 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-280Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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. WO2009US01411Research output: Patent › Scientific
- 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 2013Research output: Patent › Scientific
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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-183Research output: Contribution to journal › Article › Scientific
- Published
Oppimisen rajattomat mahdollisuudet
Viteli, J. & Multisilta, J., 1993, In : Yliopisto-lehti.Research output: Contribution to journal › Article › General public
- Published
Projektipankki yläkoulun matematiikkaan
Viro, E., 26 Oct 2016, In : Dimensio. 2016, 5, p. 29-30 2 p.Research output: Contribution to journal › Article › Professional
- Published
Projektioppiminen yläkoulun matematiikassa
Viro, E. & Eriksson, S-L., 2015, In : Lumat. 3, 7, p. 1005-1009 5 p.Research output: Contribution to journal › Article › Professional
- 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-176Research output: Contribution to journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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/Report › Doctoral thesis › Collection of Articles
- 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 contribution › Paper, poster or abstract › Scientific
- 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 journal › Article › Scientific › peer-review
- Published
Vähemmistöosuudet konsernissa
Vehmanen, L., 1988, In : Liiketaloudellinen Aikakauskirja. 1-1988, p. 55-68Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Significant digits
Vehmanen, L., 1991, In : International Journal of Mathematical Education in Science and Technology. 22, 1, p. 89-95Research output: Contribution to journal › Article › Scientific › peer-review
- 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-32Research output: Contribution to journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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
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 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
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 journal › Article › Scientific › peer-review
- 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 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
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
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 proceeding › Chapter › Scientific
- 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
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 journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 journal › Article › 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
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
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
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
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
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
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
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
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
n-Fold implicative basic logic is Gödel logic
Turunen, E., Tchikapa, N. & Lele, C., 2012, In : Soft Computing. 16, 1, p. 177-181Research output: Contribution to journal › Article › Scientific › peer-review
- 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-270Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
- 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 proceeding › Chapter › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- Published
Deduction theorem in monoidal logic
Turunen, E., 2007, In : Journal of the Calcutta Mathematical Society. 3, 1&2, p. 63-66Research output: Contribution to journal › Article › Scientific › peer-review
- 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-231Research output: Contribution to journal › Article › Scientific › peer-review
- 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-6Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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-162Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
An algebraic study of Peterson´s Intermediate Syllogisms
Turunen, E., 2014, In : Soft Computing. p. 1-14 14 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Local BL-algebras
Turunen, E. & Sessa, S., 2001, In : Multi. Val. Logic.. 6, p. 229-249Research output: Contribution to journal › Article › Scientific › peer-review
- 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-311Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
A para consistent fuzzy logic
Turunen, E., 2009, In : Lecture Notes in Computer Science. 5378, p. 77-88Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Boolean deductive systems of BL-algebras
Turunen, E., 2001, In : Archive for Mathematical Logic. 40, p. 467-473Research output: Contribution to journal › Article › Scientific › peer-review
- 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-270Research output: Chapter in Book/Report/Conference proceeding › Chapter › 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
States on semi-divisible residuated lattices
Turunen, E. & Mertanen, J., 2008, In : Soft Computing. 12, p. 353-357Research output: Contribution to journal › Article › Scientific › peer-review
- 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 proceeding › Chapter › Scientific › peer-review
- Published
Hyper-Archimedean BL-algebras are MV-algebras
Turunen, E., 2007, In : Mathematical Logic Quarterly. 53, 2, p. 170-175Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Semilocal BL-algebras
Turunen, E., 2004, Tampere: Unknown Publisher. 11 p. (Tampereen teknillinen yliopisto, Matematiikan laitos, Tutkimusraportti; vol. 79)Research output: Book/Report › Commissioned report › Professional
- 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 proceeding › Chapter › Scientific › peer-review
- Published
VRTUOSI: Courses Data Mining and Many-valued Similarities: Universidad Rey Juan Carlos
Turunen, E., 2011Research output: Artistic and non-textual form › Digital or Visual Products › Scientific
- 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. 42Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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-1940Research output: Contribution to journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- Published
Semi-Boolean and hyper-Archimedean BL-algebras
Turunen, E., 2007, In : Lecture Notes in Computer Science. 4529, p. 419-426Research output: Contribution to journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 proceeding › Chapter › Scientific › peer-review
- Published
Perfect Pavelka Logic
Turunen, E. & Navara, M., 2015, In : Fuzzy Sets and Systems.Research output: Contribution to journal › Article › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific
- Published
Tiedonlouhintaa tieliikenneonnettomuussatasta
Turunen, E., 2013, In : Liikenne. 31, 2, p. 7-8 2 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Interpreting GUHA data mining logic in paraconsistent fuzzy logic framework
Turunen, E., 2009, In : Lecture Notes in Computer Science. 5783, p. 284-293Research output: Contribution to journal › Article › 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
Commutative bounded integral residuated orthomodular lattices are Boolean algebras
Tladlec, J. & Turunen, E., 2011, In : Soft Computing. 15, 4, p. 635-636Research output: Contribution to journal › Article › Scientific › peer-review
- 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-35Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- 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-32Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
- Published
Verkkopalvelun käyttökelpoisuuden arvioiminen -oppimateriaali: Tampereen teknillinen yliopisto
Tervakari, A-M. & Silius, K., 2005Research output: Artistic and non-textual form › Digital or Visual Products › Scientific
- 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-42Research output: Contribution to journal › Article › Scientific › peer-review
- 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/Report › Commissioned report › Professional
- Published
Tekijänoikeus opetuksessa ja oppimateriaalin valmistamisessa
Tervakari, A., 2016Research output: Artistic and non-textual form › Digital or Visual Products › Professional
- 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 proceeding › Conference contribution › Scientific › peer-review
- 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 proceeding › Conference contribution › Scientific › peer-review
ID: 22096