Matematiikan laitos
Tutkimusyksikkö: Laitos
- 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).Tutkimustuotos › › vertaisarvioitu
- 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äTutkimustuotos › › vertaisarvioitu
- 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äTutkimustuotos › › vertaisarvioitu
- 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ä 2Tutkimustuotos › › vertaisarvioitu
- 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).Tutkimustuotos › › vertaisarvioitu
- 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).Tutkimustuotos › › vertaisarvioitu
- 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).Tutkimustuotos › › vertaisarvioitu
- 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 SEFITutkimustuotos › › vertaisarvioitu
- 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 ›
- 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äTutkimustuotos › › vertaisarvioitu
- Julkaistu
Stop it, and be stubborn!
Valmari, A., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, 46.Tutkimustuotos › › vertaisarvioitu
- 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-32Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Significant digits
Vehmanen, L., 1991, julkaisussa : International Journal of Mathematical Education in Science and Technology. 22, 1, s. 89-95Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Vähemmistöosuudet konsernissa
Vehmanen, L., 1988, julkaisussa : Liiketaloudellinen Aikakauskirja. 1-1988, s. 55-68Tutkimustuotos › › vertaisarvioitu
- 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äTutkimustuotos › › vertaisarvioitu
- 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.Tutkimustuotos › › vertaisarvioitu
- 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.Tutkimustuotos › › vertaisarvioitu
- 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 ›
- 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 ›
- 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).Tutkimustuotos › › vertaisarvioitu
- 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-176Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Projektioppiminen yläkoulun matematiikassa
Viro, E. & Eriksson, S-L., 2015, julkaisussa : LUMAT: International Journal on Math, Science and Technology Education. 3, 7, s. 1005-1009 5 SivumääräTutkimustuotos ›
- Julkaistu
Projektipankki yläkoulun matematiikkaan
Viro, E., 26 lokakuuta 2016, julkaisussa : Dimensio. 2016, 5, s. 29-30 2 SivumääräTutkimustuotos ›
- Julkaistu
Oppimisen rajattomat mahdollisuudet
Viteli, J. & Multisilta, J., 1993, julkaisussa : Yliopisto-lehti.Tutkimustuotos ›
- 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-183Tutkimustuotos ›
- 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 2013Tutkimustuotos: Patentti ›
- 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).Tutkimustuotos › › vertaisarvioitu
- 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 WO2009US01411Tutkimustuotos: Patentti ›
- 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 ›
- 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-280Tutkimustuotos › › vertaisarvioitu
- 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-35Tutkimustuotos › › vertaisarvioitu
- 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-119Tutkimustuotos › › vertaisarvioitu
- 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-90Tutkimustuotos ›
- 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-41Tutkimustuotos › › vertaisarvioitu
- 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 ›
- 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äTutkimustuotos › › vertaisarvioitu
- 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-94Tutkimustuotos ›
- 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-91Tutkimustuotos › › vertaisarvioitu
- 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).Tutkimustuotos › › vertaisarvioitu
- 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äTutkimustuotos › › vertaisarvioitu
- 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-447Tutkimustuotos › › vertaisarvioitu
ID: 22096