TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    An infinite descending chain of Boolean subfunctions consisting of threshold functions

    Lehtonen, E., 2006, 70th Workshop on General Algebra, "70. Arbeitstagung Allgemeine Algebra", AAA 70, 26-29 May, 2005, Vienna, Austria. Contributions to General Algebra. Dorfer, G. (toim.). s. 145-148

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    An Initial Homophily Indicator to Reinforce Context-Aware Semantic Computing

    Rivero-Rodriguez, A., Pileggi, P. & Nykänen, O., 2015, 7th International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN). Riga: IEEE, s. 89-93 5 Sivumäärä (International Conference on Computational Intelligence, Communications and Networks).

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    An Introduction to Twisted Particle Filters and Parameter Estimation in Non-Linear State-Space Models

    Ala-Luhtala, J., Whiteley, N., Heine, K. & Piche, R., 5 toukokuuta 2016, julkaisussa : IEEE Transactions on Signal Processing. 64, 18, s. 4875-4890

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    An L-stable Rosenbrock method for step-by-step time integration in structural dynamics

    Piche, R., 1995, julkaisussa : Computer Methods in Applied Mechanics and Engineering. 126, s. 343-354

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    An L-Stable Rosenbrock Method for Step-by-Step Time Integration in Structural Dynamics

    Piche, R., 1994, Tampere: Tampere University of Technology. (Tampere University of Technology, Department of Information Technology, Mathematics, Report; nro 66)

    Tutkimustuotos

  6. Julkaistu

    A Note on a Fixed Point Theorem in Fuzzy Metric Spaces

    Kaleva, O. & Seikkala, S., 1994, julkaisussa : Journal of Fuzzy Mathematics. 2, 4, s. 911-912

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    A note on compactness in a fuzzy metric space

    Kaleva, O. & Kauhanen, J., 2013, julkaisussa : Fuzzy Sets and Systems. s. 135-139 5 Sivumäärä, 238.

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    A Note on Fixed Points for Fuzzy Mappings

    Kaleva, O., 1985, julkaisussa : Fuzzy Sets and Systems. 15, s. 99-100

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    A note on fuzzy differential equations

    Kaleva, O., 2005, julkaisussa : Nonlinear Analysis. 64, s. 895-900

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    A note on fuzzy inference

    Kaleva, O., 2004, On the Edge of Fuzziness, Studies in Honor of Jorma K. Mattila on His Sixtieth Birthday, Acta Unversitatis Lappeenrantaensis. Niskanen, V. A. & Kortelainen, J. (toim.). Lappeenranta: Lappeenranta University of Technology, s. 55-60

    Tutkimustuotos

  11. Julkaistu

    A Note on Off-line Machines with "Brownian" Input Heads

    Ruohonen, K., 1984, julkaisussa : Discrete Applied Mathematics. 9, s. 69-75

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    A Note on Permutational Variants of Post`s Correspondense Problem

    Ruohonen, K., 1984, Tampere: Tampere University of Technology. (Tampere University of Technology, Dept of Electr. Eng., Mathematics, Report; nro 46)

    Tutkimustuotos

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

  14. Julkaistu

    Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

    Rodriguez, J. T., Turunen, E., Ruan, D. & Montero, J., 2014, julkaisussa : Fuzzy Sets and Systems. 242, s. 132-147 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    A novel approach to model neuronal signal transduction using stochastic differential equations

    Manninen, T., Linne, M-L. & Ruohonen, K., 2006, julkaisussa : Neurocomputing. 69, 10-12, s. 1066-1069

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Antichain Cutsets of Strongly Connected Posets

    Foldes, S. & Woodroofe, R., 2013, julkaisussa : Order: A Journal on the Theory of Ordered Sets and Its Applications. 30, 2, s. 351-361 11 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    A para consistent fuzzy logic

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

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Apparent wind load effects on the tether of a kite power generator

    Argatov, I., Rautakorpi, P. & Silvennoinen, R., 2011, julkaisussa : Journal of Wind Engineering and Industrial Aerodynamics. 99, 10, s. 1079-1088

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings

    Devillers, R. (toim.) & Valmari, A. (toim.), 2015, Springer Verlag. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9115)

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    Application and theory of Petri nets and other models of concurrency: Special issue of selected papers from Petri Nets 2015

    Devillers, R., Valmari, A. & Penczek, W., 13 syyskuuta 2016, julkaisussa : Fundamenta Informaticae. 146, 1, s. v-vi

    Tutkimustuotos

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

  22. Julkaistu

    Application of terrestrial LiDAR and modelling of tree branching structure for plant- scaling models in tropical forest trees

    Lau Sarmiento, A., Bartholomeus, H., Herold, M., Martius, C., Malhi, Y., Patrick Bentley, L., Shenkin, A. & Raumonen, P., 2015, Proceedings of SilviLaser 2015: 14th conference on Lidar Applications for Assessing and Managing Forest Ecosystems. s. 96-98 3 Sivumäärä

    Tutkimustuotos

  23. Julkaistu

    Application of Terrestrial LiDAR and Modelling of Tree Branching Structure for Plant-scaling Models in Tropical Forest Trees.

    Lau Sarmiento, A., Bartholomeus, H., Herold, M., Martius, C., Malhi, Y., Bentley, L. P., Shenkin, A. & Raumonen, P. A., toukokuuta 2016.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  24. Julkaistu

    Approach for Investigating Crowdfunding Campaigns with Platform Data: Case Indiegogo

    Huhtamäki, J., Lasrado, L., Menon, K., Kärkkäinen, H. & Jussila, J., 2015, Academic MindTrek’15: September 22-24, 2015, Tampere, Finland. ACM, 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Approximation of Volume and Branch Size Distribution of Trees from Laser Scanner Data

    Raumonen, P., Kaasalainen, S., Kaasalainen, M. & Kaartinen, H., 2011, International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, ISPRS Workshop Laser Scanning, 2011, 29.-31.8.2011, Calgary, Canada. Calgary: ISPRS, s. 1-6 6 Sivumäärä (ISPRS Workshop Laser Scanning; painos 38-5/W12).

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    Approximative solutions to the bicriterion Vechile Routing Problem with Time Windows

    Muller, J., 2010, julkaisussa : European Journal of Operational Research. 202, 1, s. 223-231

    Tutkimustuotosvertaisarvioitu

  27. Julkaistu

    A review on old and new results on robust regulation of DPS with infinite-dimensional exosystems

    Hämäläinen, T., 4 tammikuuta 2012.

    Tutkimustuotos: Konferenssiesitys, posteri tai abstrakti

  28. Julkaistu

    ARVO - Arviointiväline tutkijoille, tietokoneohjelma opetuksen verkkototeutuksen kehittämistyöhön: Suomen virtuaaliyliopisto

    Pohjolainen, S., Silius, K., Inkinen, H., Kaartokallio, H., Mäkelä, T., Ranta, P., Tervakari, A. & Yritys, K., 2003

    Tutkimustuotos

  29. Julkaistu

    A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN

    Alasuutari, A., Nakamatsu, K. & Abe, J. M., 2014, Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014. IOS Press, s. 248 - 257 10 Sivumäärä (Frontiers in Artificial Intelligence and Applications; painos 262).

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    A self-tuning robust controller for semilinear parabolic distributed parameter systems. Control Applications of Nonlinear Programming and Optimization

    Pohjolainen, S., 1986, Proc. of the Fifth IFAC Workshop Capri, Italy 11-14, June 1985. Tampere: PERGAMON PRESS, s. 147-156

    Tutkimustuotos

  31. Julkaistu

    A self-tuning robust regulator for infinite-dimensional systems

    Hämäläinen, T. & Pohjolainen, S., 2006, MTNS 2006. Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, Kyoto, Japan, July 24-28 2006. s. 8 p

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    A Self-Tuning Robust Regulator for Infinite-Dimensional Systems

    Hämäläinen, T. & Pohjolainen, S., 2011, julkaisussa : IEEE Transactions on Automatic Control. 56, 9, s. 2116-2127

    Tutkimustuotosvertaisarvioitu

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

  34. Julkaistu

    A Simple Controller with a Reduced Order Internal Model in the Frequency Domain

    Laakkonen, A. & Paunonen, L., 2016, Proceedings of European Control Conference 2016. IEEE, s. 1988-1992 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  35. Julkaistu

    A simple linear nonconforming shell element

    Kouhia, K. & Stenberg, R., 2000, IASS-IACM 2000. Proceedings of the Fourth International Colloquim on Computation of Shell & Spatial Structures, June 4-7, 2000, Chania-Crete, Greece. Papadrakakis, M., Samartin, A. & Onate, E. (toim.). s. 10 s

    Tutkimustuotos

  36. Julkaistu

    A simulator for infinite-dimensional systems with a self-tuning controller

    Åkerblom, M., Hämäläinen, T. & Pohjolainen, S., 2009, IFAC Workshop on Control Applications of Optimization CAO'09, 6-8 May, 2009 Jyväskylä, Finland. s. 5 p

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    A socio-technical framework for visualising an open knowledge space

    Nykänen, O., Mannio, M., Huhtamäki, J. & Salonen, J., 2007, IADIS International Conference WWW/Internet 2007 5 .-8.10.2007, Vila Real, Portugal. Isaias, P. (toim.). s. 137-144

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    Assessing coupling dynamics from an ensemble of time series

    Gómez-Herrero, G., Wu, W., Rutanen, K., Soriano, M. C., Pipa, G. & Vicente, R., 2015, julkaisussa : Entropy. 17, 4, s. 1958-1970 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    Associating Event Logs with Ontologies for Semantic Process Mining and Analysis

    Nykänen, O., Rivero-Rodriguez, A., Pileggi, P., Ranta, P. A., Kailanto, M. & Koro, J., 2015, Proceedings of the 19th International Academic Mindtrek Conference: AcademicMindTrek '15. New York, NY, USA: ACM, s. 138-143 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  40. Julkaistu

    A Standard Hydraulic Fluid Transmission Line Model for use with ODE Simulators

    Piche, R. & Ellman, A., 1996, Innovations in Fluid Power. Burrows, C. R. & Edge, K. A. (toim.). Somerset, England: Research Studies Press, s. 221-236

    Tutkimustuotosvertaisarvioitu

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

  42. Julkaistu

    Asteroid (2867) Steins: Shape, topography and global physical properties from OSIRIS observations

    Jorda, L., Lamy, P., Gaskell, R., Kaasalainen, M., Groussin, O., Besse, S. & Faury, G., 2012, julkaisussa : Icarus. 221, 2, s. 1089-1100

    Tutkimustuotosvertaisarvioitu

  43. Julkaistu

    Asteroid Models from Multiple Data Sources

    Ďurech, J., Carry, B., Delbo, M., Kaasalainen, M. & Viikinkoski, M., 2015, Asteroids IV. Michel, P., DeMeo, F. E. & Bottke Jr., W. F. (toim.). Tucson: UNIVERSITY OF ARIZONA PRESS, s. 183-202 20 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Asteroid models from photometry and complementary data sources

    Kaasalainen, M., 2016, Graduate School In Astronomy: Xvi Special Courses At The National Observatory Of Rio De Janeiro: Xvi Cce. Chavero, C., Cunha, K., Carvano, J., Fernandes, MB. & Dupke, R. (toim.). AMER INST PHYSICS, 26 Sivumäärä (AIP Conference Proceedings; painos 1732).

    Tutkimustuotosvertaisarvioitu

  45. Julkaistu

    A Stochastic Mixture Surrogate Model Algorithm for Computationally Expensive Black-Box Global Optimization Problems

    Müller, J., Shoemaker, C. & Piche, R., 2012, Proceedings of Global Optimization Workshop 2012, 26-29 June 2012, Natal, Brazil. Natal, Brazil: Universidade Federal do Rio Grande do Norte, s. 1-4 4 Sivumäärä (Global Optimization Workshop).

    Tutkimustuotos

  46. Julkaistu

    A Survey of Parametric Fingerprint-Positioning Methods

    Müller, P., Raitoharju, M., Ali-Löytty, S., Wirola, L. & Piche, R., 2016, julkaisussa : Gyroscopy and Navigation. 7, 2, s. 107-127 21 Sivumäärä

    Tutkimustuotos: Katsausartikkelivertaisarvioitu

  47. Julkaistu

    A survey of stabilized plate elements

    Lyly, M. & Stenberg, R., 2002, julkaisussa : Mathematical Modeling and Numerical Simulation in Continuum Mechanics Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, Sept. 29-Oct.3, 2000, Yamaguchi, Japan. Babuska, I., Ciarlet, P.G., Miyoshi, T. (Eds.). Springer. Lecture Notes in Computational Science and Engineering. 19, s. 11-21

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Asymptotically H-2-optimal tuning of low gain robust controllers for DPS

    Hämäläinen, T. & Pohjolainen, S., 2006, julkaisussa : IEEE Transactions on Automatic Control. 51, 10, s. 1661-1668

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    Asymptotic behaviour in the robot rendezvous problem

    Paunonen, L. & Seifert, D., 1 toukokuuta 2017, julkaisussa : Automatica. 79, s. 127-130 4 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    Asymptotic Behaviour of Coupled Systems in Discrete and Continuous Time

    Paunonen, L. & Seifert, D., kesäkuuta 2018, julkaisussa : JOURNAL OF DYNAMICS AND DIFFERENTIAL EQUATIONS. 30, 2, s. 433-445 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

ID: 22096