Department of Mathematics
Research unit: Department
- Article › Scientific › Peer-reviewed
- Published
Decidability and Complexity of Event Detection Problems for ODEs
Ruohonen, K., 1997, In : Complexity. 2, 6, p. 41-53Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Deduction theorem in monoidal logic
Turunen, E., 2007, In : Journal of the Calcutta Mathematical Society. 3, 1&2, p. 63-66Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Definability of Boolean function classes by linear equations over GF(2)
Couceiro, M. & Foldes, S., 2004, In : Discrete Applied Mathematics. 142, p. 29-34Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Descending chains and antichains of the unary, linear, and monotone subfunction relations
Lehtonen, E., 2006, In : Order. 23, 2-3, p. 129-142Research output: Contribution to journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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-306Research output: Contribution to journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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-291Research output: Contribution to journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- Published
Directed structure at infinity for infinite-dimensional systems
Laakkonen, P. & Pohjolainen, S., 2011, In : International Journal of Control. 84, 4, p. 702-715Research output: Contribution to journal › Article › Scientific › peer-review
- 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-2586Research output: Contribution to journal › Article › Scientific › peer-review
- 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-720Research output: Contribution to journal › Article › Scientific › peer-review
- 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-167Research output: Contribution to journal › Article › Scientific › peer-review
- 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-122Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Disjunctive analogues of submodular and supermodular pseudo-Boolean functions
Foldes, S. & Hammer, P. L., 2004, In : Discrete Applied Mathematics. 142, p. 53-65Research output: Contribution to journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- Published
Disjunctive and conjunctive representations in finite lattices and convexity spaces
Foldes, S. & Hammer, P. L., 2003, In : Discrete Mathematics. 258, p. 13-25Research output: Contribution to journal › Article › Scientific › peer-review
- 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-125Research output: Contribution to journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
- 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 journal › Article › Scientific › peer-review
ID: 22096