Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Article › Scientific › Peer-reviewed
  2. Published

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1997, In : Complexity. 2, 6, p. 41-53

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    Deduction theorem in monoidal logic

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

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

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

    Lehtonen, E., 2006, In : Order. 23, 2-3, p. 129-142

    Research output: Contribution to journalArticleScientificpeer-review

  6. Published

    Designing controllers with reduced order internal models

    Paunonen, L., 1 Mar 2015, In : IEEE Transactions on Automatic Control. 60, 3, p. 775-780 6 p., 6826480.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    Design of robust controllers for position servos using H∞-theory

    Piche, R., Pohjolainen, S. & Virvalo, T., 1991, In : Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering. 205, 4, p. 299-306

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Detection of anomalies in radio tomography of asteroids: source count and forward errors

    Pursiainen, S. & Kaasalainen, M., 2014, In : Planetary and Space Science. 99, p. 36-47 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Developing Ito stochastic differential equation models for neuronal signal transduction pathways

    Manninen, T., Linne, M-L. & Ruohonen, K., 2006, In : Computational Biology and Chemistry. 30, 4, p. 280-291

    Research output: Contribution to journalArticleScientificpeer-review

  10. Published

    Dimensional Reduction of Electromagnetic Boundary Value Problems

    Raumonen, P., Suuriniemi, S. & Kettunen, L., 2011, In : Boundary Value Problems. 2011, p. 1-25 25 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  11. Published

    Directed structure at infinity for infinite-dimensional systems

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

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Direct Propulsion of Blue Water Vessels

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

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  15. Published

    Discretization invariant Bayesian inversion and Besov space priors

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

    Research output: Contribution to journalArticleScientificpeer-review

  16. Published

    Disjunctive analogues of submodular and supermodular pseudo-Boolean functions

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

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    Disjunctive and conjunctive normal forms of pseudo-Boolean functions

    Foldes, S. & Hammer, P. L., 2002, In : Discrete Applied Mathematics. p. 1-26 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

  18. Published

    Disjunctive and conjunctive representations in finite lattices and convexity spaces

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

    Research output: Contribution to journalArticleScientificpeer-review

  19. Published

    Distance learning in a multimedia networks project: main result

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

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    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, In : IEEE Transactions on Instrumentation and Measurement. 63, 11, p. 2682-2695 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  21. Published

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

    Cibulkova, H., Durech, J., Vokrouhlicky, D., Kaasalainen, M. & Oszkiewicz, D. A., Dec 2016, In : Astronomy and Astrophysics. 596, 10 p., A57.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 12 3 4 5 6 7 8 9 ...68 Next

ID: 22096