TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Vertaisarvioitu
  2. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1997, julkaisussa : Complexity. 2, 6, s. 41-53

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Deduction theorem in monoidal logic

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

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Definability of Boolean function classes by linear equations over GF(2)

    Couceiro, M. & Foldes, S., 2004, julkaisussa : Discrete Applied Mathematics. 142, s. 29-34

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Descending chains and antichains of the unary, linear, and monotone subfunction relations

    Lehtonen, E., 2006, julkaisussa : Order. 23, 2-3, s. 129-142

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  8. 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ä

    Tutkimustuotosvertaisarvioitu

  9. 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-291

    Tutkimustuotosvertaisarvioitu

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

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Directed structure at infinity for infinite-dimensional systems

    Laakkonen, P. & Pohjolainen, S., 2011, julkaisussa : International Journal of Control. 84, 4, s. 702-715

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Direct Propulsion of Blue Water Vessels

    Eriksson, J-T., Kettunen, L. & Pohjavirta, A., 1987, julkaisussa : IEEE Transactions on Magnetics. MAG-23, 5, s. 2584-2586

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Discrete maximum principles for FE solutions of nonstationary diffusion-reaction problems with mixed boundary conditions

    Farago, I., Horvath, R. & Korotov, S., 2011, julkaisussa : Numerical Methods for Partial Differential Equations. 27, 3, s. 702-720

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Discrete maximum principles for the FEM solution of some nonlinear parabolic problems

    Farago, I., Karatson, J. & Korotov, S., 2009, julkaisussa : Electronic Transactions on Numerical Analysis. 36, Sp. Iss. SI, s. 149-167

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Discretization invariant Bayesian inversion and Besov space priors

    Lassas, M., Saksman, E. & Siltanen, S., 2009, julkaisussa : Inverse Problems and Imaging. 3, 1, s. 87-122

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Disjunctive analogues of submodular and supermodular pseudo-Boolean functions

    Foldes, S. & Hammer, P. L., 2004, julkaisussa : Discrete Applied Mathematics. 142, s. 53-65

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Disjunctive and conjunctive normal forms of pseudo-Boolean functions

    Foldes, S. & Hammer, P. L., 2002, julkaisussa : Discrete Applied Mathematics. s. 1-26 26 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Disjunctive and conjunctive representations in finite lattices and convexity spaces

    Foldes, S. & Hammer, P. L., 2003, julkaisussa : Discrete Mathematics. 258, s. 13-25

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    Distance learning in a multimedia networks project: main result

    Ruokamo, H. & Pohjolainen, S., 2000, julkaisussa : British Journal of Educational Technology. 31, 2, s. 117-125

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    Distributed Indoor Positioning System With Inertial Measurements and Map Matching

    Perttula, A., Leppäkoski, H., Kirkko-Jaakkola, M., Davidson, P., Collin, J. & Takala, J., 2014, julkaisussa : IEEE Transactions on Instrumentation and Measurement. 63, 11, s. 2682-2695 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    Distribution of spin-axes longitudes and shape elongations of main-belt asteroids

    Cibulkova, H., Durech, J., Vokrouhlicky, D., Kaasalainen, M. & Oszkiewicz, D. A., joulukuuta 2016, julkaisussa : Astronomy and Astrophysics. 596, 10 Sivumäärä, A57.

    Tutkimustuotosvertaisarvioitu

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

  23. Julkaistu

    Electroencephalography (EEG) forward modeling via H(div) finite element sources with focal interpolation

    Pursiainen, S., Vorwerk, J. & Wolters, C. H., 15 marraskuuta 2016, julkaisussa : Physics in Medicine and Biology. 61, 24, s. 8502-8520 19 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu

    Electromagnetic 3D subsurface imaging with source sparsity for a synthetic object

    Pursiainen, S. & Kaasalainen, M., 4 marraskuuta 2015, julkaisussa : Inverse Problems. 31, 12, 17 Sivumäärä, 125004.

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Energy conversion efficiency of the pumping kite wind generator

    Argatov, I. & Silvennoinen, R., 2010, julkaisussa : Renewable Energy. 35, s. 1052-1060

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    Equational characterizations of Boolean function classes

    Ekin, O., Foldes, S., Hammer, P. L. & Hellerstein, L., 2002, julkaisussa : Discrete Mathematics, Editor's Choice 2000. s. 27-51

    Tutkimustuotosvertaisarvioitu

  27. Julkaistu

    Equational classes of Boolean functions via the HSP Theorem

    Foldes, S., 2000, julkaisussa : Algebra Universalis. 44, s. 309-324

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    Equivalence of operations with respect to discriminator clones

    Lehtonen, E. & Szendrei, A., 2009, julkaisussa : Discrete Mathematics. 309, 4, s. 673-685

    Tutkimustuotosvertaisarvioitu

  29. Julkaistu

    Estimation of the mechanical energy output of the kite wind generator

    Argatov, I., Rautakorpi, P. & Silvennoinen, R., 2009, julkaisussa : Renewable Energy. 34, 6, s. 1525-1532

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    E-type asteroid Steins as imaged by OSIRIS on board Rosetta

    Keller, H. U., Barbieri, C., Koschny, D., Lamy, P., Rickman, H., Rodrigo, R., Sierks, H., A'Hearn, M. F., Angrilli, F., Barucci, M. A., Bertaux, J-L., Cremonese, G., Da Deppo, V., Davidsson, B., De Cecco, M., Debei, S., Fornasier, S., Fulle, M., Groussin, O., Gutierrez, P. J., Hviid, S. F., Ip, W-H., Jorda, L., Knollenberg, J., Kramm, J. R., Kuhrt, E., Kuppers, M., Lara, L-M., Lazzarin, M., Lopez Moreno, J., Marzari, F., Michalik, H., Naletto, G., Sabau, L., Thomas, N., Wenzel, K-P., Bertini, I., Besse, S., Ferri, F., Kaasalainen, M., Lowry, S., Marchi, S., Mottola, S., Sabolo, W., Schröder, S. E., Spjuth, S. & Vernazza, P., 2010, julkaisussa : Science. 327, 5962, s. 190-193

    Tutkimustuotosvertaisarvioitu

  31. Julkaistu

    Evaluating the Quality of Social Media in an Educational Context

    Silius, K., Kailanto, M. & Tervakari, A-M., 2011, julkaisussa : International Journal of Emerging Technologies in Learning. 6, 3, s. 21-27

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    Explicit test sets for iterated morphisms in free monoids and metabelian groups

    Ruohonen, K., 2005, julkaisussa : Theoretical Computer Science. 330, s. 171-191

    Tutkimustuotosvertaisarvioitu

  33. Julkaistu

    Exploring co-learning behavior of conference participants with visual network analysis of Twitter data

    Aramo-Immonen, H., Jussila, J. & Huhtamäki, J., lokakuuta 2015, julkaisussa : Computers in Human Behavior. 51, Part B, s. 1154–1162 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  34. Julkaistu

    Fast automatic precision tree models from terrestrial laser scanner data

    Raumonen, P., Kaasalainen, M., Åkerblom, M., Kaasalainen, S., Kaartinen, H., Vastaranta, M., Holopainen, M., Disney, M. & Lewis, P., 2013, julkaisussa : Remote Sensing. 5, 2, s. 491-520 30 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  35. Julkaistu

    Feasibility Study of an Electromagnetic Thruster for Ship Propulsion

    Pohjavirta, A. & Kettunen, L., 1991, julkaisussa : IEEE Transactions on Magnetics. 27, 4, s. 3735-3742

    Tutkimustuotosvertaisarvioitu

  36. Julkaistu

    Feedback and feedforward output regulation of bounded uniformly continuous signals for infinite-dimensional systems

    Immonen, E. & Pohjolainen, S., 2007, julkaisussa : SIAM Journal on Control and Optimization. 45, 5, s. 1714-1735

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    Filtering the interpolant is equivalent to interpolating the filtered data

    Piche, R., 1998, julkaisussa : International Journal of Mathematical Education in Science and Technology. 29, 2, s. 305-311

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    Fluid Transmission Line Modeling Using a Variational Method

    Mäkinen, J., Piché, R. & Ellman, A., maaliskuuta 2000, julkaisussa : Journal of Dynamic Systems, Measurement and Control: Transactions of the ASME. 122, 1, s. 153-162 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    Forecasting the diffusion of innovation: A stochastic bass model with log-normal and mean-reverting error process

    Kanniainen, J., Mäkinen, S., Piche, R. & Chakrabarti, A., 2011, julkaisussa : IEEE Transactions on Engineering Management. 99, s. 1-22 22 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  40. Julkaistu

    Forward and Inverse Effects of the Complete Electrode Model in Neonatal EEG

    Pursiainen, S., Lew, S. & Wolters, C. H., maaliskuuta 2017, julkaisussa : Journal of Neurophysiology. 117, 3, s. 876-884

    Tutkimustuotosvertaisarvioitu

  41. Julkaistu

    Frequency domain robust regulation of signals generated by an infinite-dimensional exosystem

    Laakkonen, P. & Pohjolainen, S., 2015, julkaisussa : SIAM Journal on Control and Optimization. 53, 1, s. 139-166 28 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  42. Julkaistu

    Functional equations, constraints, definability of function classes, and functions of Boolean variables

    Couceiro, M. & Foldes, S., 2007, julkaisussa : Acta Cybernetica. 18, s. 61-75

    Tutkimustuotosvertaisarvioitu

  43. Julkaistu

    Function classes and relational constraints stable under compositions with clones

    Couceiro, M. & Foldes, S., 2009, julkaisussa : Discussiones Mathematicae - General Algebra and Applications. 29, s. 109-121 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Function generators, the operator equation PiS=APi+BQ and inherited dynamics in inhomogenous Cauchy problems

    Immonen, E., 2005, julkaisussa : Journal of Differential Equations. 218, s. 253-272

    Tutkimustuotosvertaisarvioitu

  45. Julkaistu

    Function theory for Laplace and Dirac-Hodge operators in hyperbolic space

    Eriksson, S-L., Bernstein, S., Ryan, J. & Qiao, Y., 2006, julkaisussa : Journal d'Analyste Mathematique. 98, s. 43-64

    Tutkimustuotosvertaisarvioitu

  46. Julkaistu

    Fundamental solution of k-hyperbolic harmonic functions in odd spaces

    Eriksson, S-L. & Orelma, H., 13 huhtikuuta 2015, julkaisussa : Journal of Physics: Conference Series. 597, 1, 012034.

    Tutkimustuotosvertaisarvioitu

  47. Julkaistu

    Fundus Imaging and the Telemedical Management of Diabetes

    Lamminen, H. & Ruohonen, K., 2002, julkaisussa : Journal of Telemedicine and Telecare. 8, s. 255-258

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Further hardness results on rainbow and strong rainbow connectivity

    Lauri, J., 2016, julkaisussa : Discrete Applied Mathematics. 201, s. 191-200

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    Fuzzy Differential Equations

    Kaleva, O., 1987, julkaisussa : Fuzzy Sets and Systems. 24, s. 301-317

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    Fuzzy Model for Real-Time Reservoir Operation

    Dubrovin, T., Jolma, A. & Turunen, E., 2002, julkaisussa : Journal of Water Resources Planning and Management: ASCE. 128, 1, s. 66-73

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Fuzzy performance of a coherent system

    Kaleva, O., 1986, julkaisussa : Journal of Mathematical Analysis and Applications. 117, s. 234-246

    Tutkimustuotosvertaisarvioitu

ID: 22096