Matematiikan laitos
Tutkimusyksikkö: Laitos
- Julkaistu
Context-Driven Social Network Visualisation: Case Wiki Co-Creation
Huhtamäki, J., Salonen, J., Marttila, J. & Nykänen, O., 2010, Proceedings of the Knowledge Federation 2010: Self-Organizing Collective Mind, October 3-6, 2010, Dubrovnik, Croatia. Karabeg, D. & Park, J. (toim.). s. 1-13 13 SivumääräTutkimustuotos › › vertaisarvioitu
- 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-311Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Contributions to the theory of hypermonogenic functions
Eriksson, S-L. & Leutwiler, H., 2006, julkaisussa : Complex Variables and Elliptic Equations. 51, 5-6, s. 547-561Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Controller Design for Robust Output Regulation of Regular Linear Systems
Paunonen, L., 2016, julkaisussa : IEEE Transactions on Automatic Control. 61, 10, s. 2974-2986Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Converting GNSS satellite orbit segments to GPS-compatible format
Kosola, H., Ali-Löytty, S. & Piche, R., 2012, The second International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Services, UPINLBS, 3-4 October 2012, Helsinki. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, (Ubiquitous Positioning, Indoor Navigation and Location-Based Services).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Converting Machine Tool Measurements into a CAD Model
Piche, R., Kadioglu, S., Zhou, L., Han, Y., Vassilev, T., Burden, T. & Deng, X., 2004, Proceedings of the Sixth PIMS-IMA Graduate Industrial Math Modelling Camp, May 17-22, 2003, Banff International Research Station, Alberta. Kuske, R. (toim.). Pacific Institute for the Mathematical Sciences, s. 75-80Tutkimustuotos ›
- Julkaistu
COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures
Iturrioz, L. (toim.), Orlowska, E. (toim.) & Turunen, E. (toim.), 2000, Tampere: Tampere University of Technology. (Tampere University of Technology, Department of Information Technology, Mathematics, Report; nro 75)Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Course Material Model in A&O Learning Environment
Levasma, J. & Nykänen, O., 2001, Proceedings of ED-MEDIA 2001 World Conference on Educational Multimedia, Hypermedia & Telecommunications, June 25-30, 2001, Tampere, Finland. Montgomerie, C. & Viteli, J. (toim.). s. 1112-1117Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Crowdfunding in the development of social media fanbase – case study of two competing ecosystems
Jussila, J., Menon, K., Mukkamala, R. R., Lasrado, L. A., Hussain, A., Vatrapu, R., Kärkkäinen, H. & Huhtamäki, J., 5 tammikuuta 2016, 2016 49th Hawaii International Conference on System Sciences (HICSS) . Hawaii, USA: IEEE Computer Society, s. 4495-4504 495. (HICSS 2016; painos 16).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Cubature-based Kalman filters for positioning
Pesonen, H. & Piche, R., 2010, Proceedings of the 7th Workshop on Positioning, Navigation and Communication 2010 WPNC'10, 11-12 March 2010, Dresden, Germany. s. 45-49Tutkimustuotos › › vertaisarvioitu
- Julkaistu
D0L sequence equivalence is in P for fixed alphabets
Ruohonen, K., 2008, julkaisussa : RAIRO: Theoretical Informatics and Applications. 42, 2, s. 361-374Tutkimustuotos › › vertaisarvioitu
- Julkaistu
DAMIT: a database of asteroid models
Durech, J., Sidorin, V. & Kaasalainen, M., 2010, julkaisussa : Astronomy and Astrophysics. 513, A46, s. 1-13 13 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Data-based stochastic modeling of tree growth and structure formation
Potapov, I., Järvenpää, M., Åkerblom, M., Raumonen, P. & Kaasalainen, M., 2016, julkaisussa : Silva Fennica. 50, 1, 1413.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
DataBox View: A common-purpose interactive 2D visualisation view for large tabular datasets
Nykänen, O., 2010Tutkimustuotos ›
- Julkaistu
Datamap Visualization Technique for Interactively Visualizing Large Datasets
Nykänen, O., 2013, 17th International Academic MindTrek Conference, October 1-4, 2013, Tampere, Finland. Lugmayr, A., Franssila, H., Kärkkäinen, H. & Paavilainen, J. (toim.). ACM, s. 52-58 7 Sivumäärä (MindTrek Conference).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Datapohjaiset mallit
Merikoski, J., Turunen, E., Raivio, K. & Mantere, T., 2010, Matemaattinen mallinnus. Pohjolainen, S. (toim.). Helsinki: WSOYpro, s. 77-146Tutkimustuotos ›
- Julkaistu
D-bar method for electrial impedance tomography with discontinuous conductives
Knudsen, K., Lassas, M., Jennifer, I. & Siltanen, S., 2007, julkaisussa : SIAM Journal on Applied Mathematics. 67, 893, s. 893-913Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Decidability and Complexity of Event Detection Problems for ODEs
Ruohonen, K., 1997, julkaisussa : Complexity. 2, 6, s. 41-53Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Decidability and Complexity of Event Detection Problems for ODEs
Ruohonen, K., 1996, Tampere: Tampere University of Technology. 28 Sivumäärä (Tampere University of Technology, Department of Information Technology , Mathematics Report; nro 70)Tutkimustuotos ›
- Julkaistu
Deciding Equivalence of Recurrent Sequences in Free Monoids and Metabelian Groups by Polynomial Manipulation
Ruohonen, K., 1994, Tampere: Tampere University of Technology. 22 Sivumäärä (Tampere University of Technology, Department of Information Technology, Mathematics, Report; nro 65)Tutkimustuotos ›
- Julkaistu
Decompositions of planar motions into reflections and rotations with distance constraints
Foldes, S., 2004, 16th Canadian Conference on Computational Geometry, Montreal, Canada 9.-11.8.2004. s. 33-35Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Deduction theorem in monoidal logic
Turunen, E., 2007, julkaisussa : Journal of the Calcutta Mathematical Society. 3, 1&2, s. 63-66Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Definability of Boolean function classes by linear equations over GF(2)
Couceiro, M. & Foldes, S., 2004, julkaisussa : Discrete Applied Mathematics. 142, s. 29-34Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Definability Of Boolean Function Classes By Linear Equations Over GF(2)
Couceiro, M. & Foldes, S., 2002, Unknown Publisher.Tutkimustuotos ›
- Julkaistu
Derivates and Degrees of Set Functions: A Pseudo-Boolean Approach
Foldes, S. & Hammer, P. L., 2002, Unknown Publisher.Tutkimustuotos ›
- Julkaistu
Descending chains and antichains of the unary, linear, and monotone subfunction relations
Lehtonen, E., 2006, julkaisussa : Order. 23, 2-3, s. 129-142Tutkimustuotos › › vertaisarvioitu
- 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-231Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Designing a hypermedia learning environment for solving complex mathematical word problems
Ruokamo-Saari, H., 1996, Learning in Multiple Contexts. Papers and posters presented at the First Joensuu Symposium on Learning and Instruction. University of Joensuu, Kasvatustiedeiden tiedekunnan selosteita no 62. Aho, L. (toim.). Joensuun yliopisto, s. 141-158Tutkimustuotos ›
- Julkaistu
Designing controllers with reduced order internal models
Paunonen, L., 1 maaliskuuta 2015, julkaisussa : IEEE Transactions on Automatic Control. 60, 3, s. 775-780 6 Sivumäärä, 6826480.Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Designing learning objects for social constructivist learning
Pöldoja, H., Leinonen, T., Väljataga, T., Ellonen, A. & Priha, M., 2005, eLearning in Higher education. EUDORA intensive program ELHE during summer school in Viljandi, Estonia, 2004. Hudson, B. (toim.). s. 196-213Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Designing powerful tools, learning envinronments and systems
Chan, T-W., Hietala, P., Tanimoto, S. & Multisilta, J., 1996, IFIP Window to the Future. A report from Professional Group DG08 at 6th World Conference on Computers in Education, WCCE '95. Tinsley, J. D. & van Weert, T. (toim.). Birminghamn, s. 1-6 6 SivumääräTutkimustuotos ›
- Julkaistu
Designing Sundials by Matlab and Maple
Ruohonen, K., 2003, Glastonbury,Ct, USA: North American Sundial Society. 67 Sivumäärä (North American Sundial Society Repository CD)Tutkimustuotos ›
- Julkaistu
Designing Sundials by MATLAB and MAPLE
Ruohonen, K., 1995, Tampere: Tampere University of Technology. 66 Sivumäärä (Tampere University of Technology, Department of Information Technolog Mathematics, Software Report; nro 9)Tutkimustuotos ›
- Julkaistu
Design of a Reference Listening Room - a Case Study
Järvinen, A., Savioja, L., Möller, H., Ikonen, V. & Ruusuvuori, A., 1997, Presented at the 103rd AES Convention, 1997 September 26-29 New York. An Audio Engineering Society, s. 1-20 20 SivumääräTutkimustuotos ›
- Julkaistu
Design of a Robust Controller for a Hydraulic Servo Using H-infinity Theory
Piche, R., Pohjolainen, S. & Virvalo, T., 1991, Tampereen teknillinen korkeakoulu. 34 Sivumäärä (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka; nro 56)Tutkimustuotos ›
- Julkaistu
Design of Performance-Robust Controllers for Hydraulic and Pneumatic Servos
Piche, R., Pohjolainen, S. & Virvalo, T., 1991, First International Symposium on Fluid Power Transmission and Control, Beijing, China. s. 188-192Tutkimustuotos ›
- Julkaistu
Design of robust controllers for position servos using H∞-theory
Piche, R., Pohjolainen, S. & Virvalo, T., 1991, julkaisussa : Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering. 205, 4, s. 299-306Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Detection of anomalies in radio tomography of asteroids: source count and forward errors
Pursiainen, S. & Kaasalainen, M., 2014, julkaisussa : Planetary and Space Science. 99, s. 36-47 12 SivumääräTutkimustuotos › › vertaisarvioitu
- Julkaistu
Determination of distance from a 2D picture
Gravesen, J., Lassen, B., Melnik, R., Picasso, B., Piche, R., Radulovic, N. & Wang, L. X., 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. 46-57Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Determining the position of a receiver and/or the system time of a positioning system
Sirola, N. & Syrjärinne, J., 2005, Patenttinumero Pat. US 6865478, Prioriteetin päiväys 8 maaliskuuta 2005, Prioriteettinumero (21) 10/440430Tutkimustuotos: Patentti ›
- Julkaistu
Developing an Online Publication - Collaborating among Students in Different Disciplines
Silius, K., Tervakari, A-M., Kailanto, M., Huhtamäki, J., Marttila, J., Tebest, T. & Miilumäki, T., 2012, Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science. Advances in Intelligent and Soft Computing.. Lumban Gaol, F. & Vinh Nguyen, Q. (toim.). Berlin Heidelberg: Springer Verlag, s. 361-368 (International Congress on Computer Applications and Computational Science; painos 144).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Developing Ito stochastic differential equation models for neuronal signal transduction pathways
Manninen, T., Linne, M-L. & Ruohonen, K., 2006, julkaisussa : Computational Biology and Chemistry. 30, 4, s. 280-291Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Developing learning analytics for TUT Circle
Tervakari, A-M., Marttila, J., Kailanto, M., Huhtamäki, J., Koro, J. & Silius, K., 2013, Open and Social Technologies for Networked Learning. IFIP WG 3.4 International Conference, OST 2012, Tallinn, Estonia, July 30-August 3, 2012, Revised Selected Papers.. Ley, T., Ruohonen, M., Laanpere, M. & Tatnall, A. (toim.). Springer Berlin Heidelberg, s. 101-110 10 Sivumäärä (IFIP Advances in Information and Communication Technology; painos 395).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Developing Learning and Teaching in Engineering Mathematics with and without Technology
Joutsenlahti, J., Ali-Löytty, S. & Pohjolainen, S., 15 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
Developing mathematical tools for inference and simulation of biological systems
Niemi, J., 2003, Digest of TISE Seminar 2003, Nokia, Finland, 5 June 2003. Koivisto, P. (toim.). s. 40-41Tutkimustuotos ›
- Julkaistu
Development of Mathematical Word Problem-Solving Skills in a Technology-based Learning Environment for Mathematical Gifted Students: A Teaching Experiment
Ruokamo-Saari, H., 1997, Tampere: Unknown Publisher. 9 SivumääräTutkimustuotos ›
- Julkaistu
Device Signal Strength Self-Calibration using Histograms
Laoudias, C., Piche, R. & Panayiotou, C., 2012, International Conference on Indoor Positioning and Indoor Navigation, IPIN, 13-15 November 2012, 13-15 November 2012, Sydney, Australia. Piscataway, NJ: IEEE, s. 1-8 8 Sivumäärä (International Conference on Indoor Positioning and Indoor Navigation).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K. & Sun, J., 2014, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Biere, A. & Bloem, R. (toim.). Springer International Publishing, s. 391-406 16 Sivumäärä (Lecture Notes in Computer Science; painos 8559).Tutkimustuotos › › vertaisarvioitu
- Julkaistu
- Julkaistu
Dimensional Reduction of Electromagnetic Boundary Value Problems
Raumonen, P., Suuriniemi, S. & Kettunen, L., 2011, julkaisussa : Boundary Value Problems. 2011, s. 1-25 25 Sivumäärä, 9.Tutkimustuotos › › vertaisarvioitu
ID: 22096