TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. A1 Alkuperäisartikkeli
  2. 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

  3. Julkaistu

    Bayesian inversion method for 3D dental X-ray imaging

    Kolehmainen, V., Vanne, A., Siltanen, S., Järvenpää, S., Kaipio, J. P., Lassas, M. & Kalke, M., 2007, julkaisussa : Elektrotechnik & Informationstechnik. 124, s. 248-253

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Practical output regulation for bounded linear infinite-dimensional state space systems

    Immonen, E., 2007, julkaisussa : Automatica. 43, 5, s. 786-794

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    On the effect of variable identification on the essential arity of functions on finite sets

    Couceiro, M. & Lehtonen, E., 2007, julkaisussa : International Journal of Foundations of Computer Science. 18, 5, s. 975-986

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Bayesian multiresolution method for local tomography in dental X-ray imaging

    Niinimäki, K., Siltanen, S. & Kolehmainen, V., 2007, julkaisussa : Physics in Medicine and Biology. 52, s. 6663-6678

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Stochastic dynamic model for estimation of rate constants and their variances from noisy and heterogeneous PET measurements

    Niemi, J., Ruotsalainen, U., Saarinen, A. & Ruohonen, K., 2007, julkaisussa : Bulletin of Mathematical Biology. 69, s. 585-604

    Tutkimustuotosvertaisarvioitu

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

  9. Julkaistu

    On the internal model structure for infinite-dimensional systems: two common controller types and repetitive control

    Immonen, E., 2007, julkaisussa : SIAM Journal on Control and Optimization. 45, 6, s. 2065-2093

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Recurrence quantification analysis of electrochemical noise data during pit development

    Montalban, L. S., Henttu, P. & Piche, R., 2007, julkaisussa : International Journal of Bifurcation and Chaos (IJBC). 17, 10, s. 3725-3728

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    On instantaneous codes

    Foldes, S. & Singhi, N. M., 2007, julkaisussa : Journal of Combinatorics, Information & System Sciences. 31, 1-4, s. 307-316

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Hyperbolic function theory

    Eriksson, S-L. & Leutwiler, H., 2007, julkaisussa : Advances in Applied Clifford Algebras. 17, 3, s. 437-450

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    A half-space approach to order dimension

    Foldes, S. & Szigeti, J., 2007, julkaisussa : Order. 24, s. 59-73

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Partial output regulation for bounded linear infinite-dimensional state space systems

    Immonen, E., 2007, julkaisussa : Automatica. 43, 5, s. 786-794

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Semi-Boolean and hyper-Archimedean BL-algebras

    Turunen, E., 2007, julkaisussa : Lecture Notes in Computer Science. 4529, s. 419-426

    Tutkimustuotosvertaisarvioitu

  16. 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-913

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Hyper-Archimedean BL-algebras are MV-algebras

    Turunen, E., 2007, julkaisussa : Mathematical Logic Quarterly. 53, 2, s. 170-175

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Preface

    Eriksson, S-L. & Krausshar, R. S., 2007, julkaisussa : Advances in Applied Clifford Algebras. 17, 3, s. 307-309

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    Hyperbolic harmonic functions: weak approach with applications in function spaces

    Eriksson, S-L., Kotilainen, M. & Latvala, V., 2007, julkaisussa : Advances in Applied Clifford Algebras. 17, s. 425-436

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    RMBNToolbox: random models for biochemical networks

    Aho, T., Smolander, O-P., Niemi, J. & Yli-Harja, O., 2007, julkaisussa : BMC Systems Biology. 1, 22, s. 11 p

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    Deduction theorem in monoidal logic

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

    Tutkimustuotosvertaisarvioitu

  22. Julkaistu

    Maximal compatible extensions of partial orders

    Foldes, S. & Szigeti, J., 2006, julkaisussa : Journal of the Australian Mathematical Society. 81, 2, s. 245-252

    Tutkimustuotosvertaisarvioitu

  23. Julkaistu

    A feedforward-feedback controller for infinite-dimensional systems and regulation of bounded uniformly continuous signals

    Immonen, E., 2006, julkaisussa : International Journal of Robust and Nonlinear Control. 16, s. 259-280

    Tutkimustuotosvertaisarvioitu

  24. 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-561

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Inducing fuzzy models for student classification

    Nykänen, O., 2006, julkaisussa : Journal of Educational Technology & Society. 9, 2, s. 223-234

    Tutkimustuotosvertaisarvioitu

  26. Julkaistu

    Composition of Post classes and normal forms of Boolean functions

    Couceiro, M., Foldes, S. & Lehtonen, E., 2006, julkaisussa : Discrete Mathematics. 306, 24, s. 3223-3243

    Tutkimustuotosvertaisarvioitu

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

  28. Julkaistu

    Consistency of three Kalman filter extensions in hybrid navigation

    Ali-Löytty, S., Sirola, N. & Piche, R., 2006, julkaisussa : European Journal of Navigation. 4, 1, s. 33-40

    Tutkimustuotosvertaisarvioitu

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

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

  31. Julkaistu

    What periodic signals can an exponentially stabilizable linear feedforward control system asymptotically track?

    Immonen, E. & Pohjolainen, S., 2006, julkaisussa : SIAM Journal on Control and Optimization. 44, 6, s. 2253-2268

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    Some properties of infinite-dimensional systems capable of asymptotically tracking bounded uniformly continuous signals

    Immonen, E., 2006, julkaisussa : Mathematics of Control, Signals, and Systems. s. 323-344

    Tutkimustuotosvertaisarvioitu

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

  34. Julkaistu

    Robust regulation of stable systems in the H-infinity-algebra

    Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2006, julkaisussa : International Journal of Control. 79, 1, s. 24-35

    Tutkimustuotosvertaisarvioitu

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

  36. Julkaistu

    Imaging cardiac activity by the D-bar method for electrical impedance tomography

    Isaacson, D., Mueller, J., Newell, J. & Siltanen, S., 2006, julkaisussa : Physiological Measurement. 27, s. pp. S43-S50

    Tutkimustuotosvertaisarvioitu

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

  38. Julkaistu

    A note on fuzzy differential equations

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

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    On modified biquaternionic analysis in C3

    Eriksson, S-L. & Hirvonen, J., 2005, julkaisussa : Computational Methods in Function Theory. 5, 2, s. 395-408

    Tutkimustuotosvertaisarvioitu

  40. Julkaistu

    Preoperative leg-length inequality and hip osteoarthrosis: A radiographic study of 100 consecutive arthroplasty patients

    Tallroth, K., Ylikoski, M., Lamminen, H. & Ruohonen, K., 2005, julkaisussa : Skeletal Radiology. 34, s. 136-139

    Tutkimustuotosvertaisarvioitu

  41. Julkaistu

    Submodularity, supermodularity and higher order monotonicities of pseudo-Boolean functions

    Foldes, S. & Hammer, P. L., 2005, julkaisussa : Mathematics of Operations. 30, 2, s. 453-461

    Tutkimustuotosvertaisarvioitu

  42. Julkaistu

    Output regulation of periodic signals for DPS: an infinite-dimensional signal generator

    Immonen, E. & Pohjolainen, S., 2005, julkaisussa : IEEE Transactions on Automatic Control. 50, 11, s. 1799-1804

    Tutkimustuotosvertaisarvioitu

  43. Julkaistu

    On sylvester operator equations, complete trajectories, regular admissibility and stabilitiy of C0-semigroups

    Immonen, E., 2005, julkaisussa : Electronic Journal of Differential Equations. 2005, 71, s. 1-14 14 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Supplement to the paper "Bounds for the extreme eigenvalues of symmetric matrices"

    Piche, R., 2005, julkaisussa : Zeitschrift fur Angewandte Mathematik und Mechanik. 85, 1, s. p. 76

    Tutkimustuotosvertaisarvioitu

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

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

  47. Julkaistu

    Short term prediction of highway travel time using GUHA data mining method

    Turunen, E. & Coufal, D., 2004, julkaisussa : Neural Network World. 3-4, s. 221-231

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Inversion of 2D NMR data

    Bose, C. & Piche, R., 2004, julkaisussa : Canadian Applied Mathematics Quarterly. 12, 1, s. 67-86

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    On the concept of point value in the infinite-dimensional realization theory

    Immonen, E., 2004, julkaisussa : Journal of Mathematical Analysis and Applications. 300, s. 79-101

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    Chomskian hierarchies of families of sets of piecewise continuous functions

    Ruohonen, K., 2004, julkaisussa : Theory of Computing Systems. 37, s. 609-638

    Tutkimustuotosvertaisarvioitu

  51. Julkaistu

    Consensus algorithms for the generation of all maximal bicliques

    Alexe, G., Alexe, S., Crama, Y., Foldes, S., Hammer, P. L. & Simeone, B., 2004, julkaisussa : Discrete Applied Mathematics. 145, s. 11-21

    Tutkimustuotosvertaisarvioitu

  52. Julkaistu

    Post classes characterized by functional terms

    Foldes, S. & Pogosyan, G. R., 2004, julkaisussa : Discrete Applied Mathematics. 142, s. 35-51

    Tutkimustuotosvertaisarvioitu

  53. Julkaistu

    On interval decomposition lattices

    Foldes, S. & Radeleczki, S., 2004, julkaisussa : Discussiones Mathematicae - General Algebra and Applications. 24, s. 95-114

    Tutkimustuotosvertaisarvioitu

  54. Julkaistu

    Integral formulas for hypermonogenic functions

    Eriksson, S-L., 2004, julkaisussa : Bulletin of the Belgian Mathematical Society. 11, s. 705-717

    Tutkimustuotosvertaisarvioitu

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

  56. Julkaistu

    Use of Quality Control Charts to Aid Patient Anticoagulation Management: letter to the editor

    Lamminen, H. & Ruohonen, K., 2003, julkaisussa : The Journal on Information Technology in Healthcare. 1, 4, s. 297-301

    Tutkimustuotosvertaisarvioitu

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

  58. Julkaistu

    A learning experiment in mathematics using A&O-learning environment

    Pohjolainen, S., Hautakangas, S., Ranta, P., Levasma, J. & Pesonen, K., 2003, julkaisussa : International Journal of Continuing Engineering Education and Life-Long Learning. 13, 1, s. 57-74

    Tutkimustuotosvertaisarvioitu

  59. Julkaistu

    On the Images of N-rational Sequences Counting Multiplicities

    Honkala, J. & Ruohonen, K., 2003, julkaisussa : International Journal of Algebra and Computation. 13, 3, s. 303-321

    Tutkimustuotosvertaisarvioitu

  60. Julkaistu

    Telemedicine in Ophthalmology

    Lamminen, H., Voipio, V., Ruohonen, K. & Uusitalo, H., 2003, julkaisussa : Acta Ophthalmoligica Scandinavica. 81, s. 105-109 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  61. Julkaistu

    Nonnegative color spectrum analysis filters from principal component analysis characteristic spectra

    Piche, R., 2002, julkaisussa : Journal of the Optical Society of America A. 19, 10, s. 1946-1950

    Tutkimustuotosvertaisarvioitu

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

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

  64. Julkaistu

    Many-Valued Similarity Reasoning. An axiomatic Approach

    Kukkurainen, P. & Turunen, E., 2002, julkaisussa : Multiple-Valued Logic. 8, 5-6, s. 751-760

    Tutkimustuotosvertaisarvioitu

  65. Julkaistu

    Traffic signal control on similarity logic reasoning

    Niittymäki, J. & Turunen, E., 2002, julkaisussa : Fuzzy Sets and Systems. 133, 1, s. 109-131 23 Sivumäärä

    Tutkimustuotosvertaisarvioitu

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

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

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

  69. Julkaistu

    Visual Tests for Measuring the Picture Quality of Teleconsultations for Medical Purposes

    Lamminen, H., Ruohonen, K. & Uusitalo, H., 2001, julkaisussa : Computer Methods and Programs in Biomedicine. 65, s. 95-110 16 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  70. Julkaistu

    A Three-Year Follow-Up of Finnish Telemedicine Programs

    Lamminen, H., Semberg, V., Ruohonen, K. & Roine, R., 2001, julkaisussa : IEEE Transactions on Information Technology in Biomedicine. 5, 2, s. 174-177

    Tutkimustuotosvertaisarvioitu

  71. Julkaistu

    Beltrami Operators in the Plane

    Astala, K., Iwaniec, T. & Saksman, E., 2001, julkaisussa : Duke Mathematical Journal. 107, 1, s. 27-56

    Tutkimustuotosvertaisarvioitu

  72. Julkaistu

    Telelääketieteellisten hankkeiden tulokset

    Lamminen, H., Semberg, V., Ruohonen, K. & Roine, R., 2001, julkaisussa : Duodecim. 117, 10, s. 1044-1048

    Tutkimustuotosvertaisarvioitu

  73. Julkaistu

    Comparison of Numerical Simulation Models and Measured Low-Frequency Behavior of Loudspeaker Enclosures

    Karjalainen, M., Ikonen, V., Antsalo, P., Maijala, P., Savioja, L., Suutala, A. & Pohjolainen, S., 2001, julkaisussa : Journal of the Audio Engineering Society. 49, 12, s. 1148-1166

    Tutkimustuotosvertaisarvioitu

  74. Julkaistu

    Telemedicine Framework and Applications in Dermatology and Ophthalmology

    Lamminen, H., Voipio, V. & Ruohonen, K., 2001, julkaisussa : Annals of Medicine. 33, s. 222-228

    Tutkimustuotosvertaisarvioitu

  75. Julkaistu

    Local BL-algebras

    Turunen, E. & Sessa, S., 2001, julkaisussa : Multi. Val. Logic.. 6, s. 229-249

    Tutkimustuotosvertaisarvioitu

  76. Julkaistu

    A Cost Study of Teleconsultation for Primary-Care Ophthalmology and Dermatology

    Lamminen, H., Lamminen, J., Ruohonen, K. & Uusitalo, H., 2001, julkaisussa : Journal of Telemedicine and Telecare. 7, 3, s. 167-173

    Tutkimustuotosvertaisarvioitu

  77. Julkaistu

    Boolean deductive systems of BL-algebras

    Turunen, E., 2001, julkaisussa : Archive for Mathematical Logic. 40, s. 467-473

    Tutkimustuotosvertaisarvioitu

  78. Julkaistu

    GLS and EVSS methods for a three fields Stokes problem arising from viscoelastic flows.

    Bonvin, J., Picasso, M. & Stenberg, R., 2001, julkaisussa : Computer Methods in Applied Mechanics and Engineering. 190, s. 3893-3914

    Tutkimustuotosvertaisarvioitu

  79. Julkaistu

    On the Face Lattice of a Poset Polyhedron

    Foldes, S. & Lawrenz, A., 2001, julkaisussa : Ars Combinatoria. 60, s. 313-318

    Tutkimustuotosvertaisarvioitu

  80. Julkaistu

    Simple Digitizing Method for Radiographics in Military Field Operations

    Lamminen, H., Voipio, V., Ahovuo, J., Ruohonen, K. P., Autio, P. & Sahi, T., 2001, julkaisussa : International Review of the Armed Forces Medical Services. 74, 4, s. 232

    Tutkimustuotosvertaisarvioitu

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

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

  83. Julkaistu

    The Need for Still-Image Transfer during Home Nursing Visits

    Lamminen, H. & Ruohonen, K., 2000, julkaisussa : Journal of Telemedicine and Telecare. 6, 5, s. 291-294

    Tutkimustuotosvertaisarvioitu

  84. Julkaistu

    Equational classes of Boolean functions via the HSP Theorem

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

    Tutkimustuotosvertaisarvioitu

  85. Julkaistu

    A Finite-Dimensional Robust Controller for Systems in the CD-Algebra

    Hämäläinen, T. & Pohjolainen, S., 2000, julkaisussa : IEEE Transactions on Automatic Control. 45, 3, s. 421-431

    Tutkimustuotosvertaisarvioitu

  86. Julkaistu

    Internet/World Wide Web -pohjaiset oppimisympäristöt ja oppiva organisaatio

    Paakkanen, T., 2000, julkaisussa : Hallinnon Tutkimus. 19, 1, s. 48-64

    Tutkimustuotosvertaisarvioitu

  87. Julkaistu

    An Implementation of a Hypermedia Learning Environment for a Small Group

    Nishizawa, H., Saito, T. & Pohjolainen, S., 1999, julkaisussa : Jsise. 15, 4, s. 249-253

    Tutkimustuotosvertaisarvioitu

  88. Julkaistu

    Variable step Rosenbrock algorithm for transient response of damped structures

    Piche, R. & Nevalainen, P., 1999, julkaisussa : Proceedings of the institution of Mechanical Engineers Part C: Journal of Mechanical Engineering Science. 213, s. 191-198

    Tutkimustuotosvertaisarvioitu

  89. Julkaistu

    On the design and evaluation of an open learning environment

    Pohjolainen, S., Ala-Rantala, M., Nykänen, O. & Ruokamo, H., 1999, julkaisussa : International Journal of Continuing Engineering Education and Life-Long Learning. 9, 2/3/4, s. 249-261

    Tutkimustuotosvertaisarvioitu

  90. Julkaistu

    Interactive exercises on matrix algebra

    Antchev, K., Multisilta, J. & Pohjolainen, S., 1999, julkaisussa : The Mathematica Journal. 7, 3, s. 390-405

    Tutkimustuotosvertaisarvioitu

  91. Julkaistu

    Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation

    Ruohonen, K., 1999, julkaisussa : Fundamenta Informaticae. 38, s. 135-148

    Tutkimustuotosvertaisarvioitu

  92. Julkaistu

    Variable step size time integration methods for transient eddy current problems

    Cameron, F., Piche, R. & Forsman, K., 1998, julkaisussa : IEEE Transactions on Magnetics. 34, 5, s. 3319-3322

    Tutkimustuotosvertaisarvioitu

  93. Julkaistu

    The Peano theorem for fuzzy differential equations revisited

    Kaleva, O., 1998, julkaisussa : Fuzzy Sets and Systems. 98, s. 147-148

    Tutkimustuotosvertaisarvioitu

  94. Julkaistu

    A design for a hypermedia-based learning environment

    Nykänen, O. & Ala-Rantala, M., 1998, julkaisussa : Education and Information Technologies. 3, s. 277-290

    Tutkimustuotosvertaisarvioitu

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

  96. Julkaistu

    Pedagogical Principles for Evaluation of Hypermedia-Based Learning Environments in Mathematics

    Ruokamo, H. & Pohjolainen, S., 1998, julkaisussa : Journal of Universal Computer Science. 4(3), s. 292-307

    Tutkimustuotosvertaisarvioitu

  97. Julkaistu

    Undecidable Event Detection Problems for ODEs of Dimension One and Two

    Ruohonen, K., 1997, julkaisussa : Informatique theorique et Applications / Theoretical Informatics and Applications. 31, 1, s. 67-79

    Tutkimustuotosvertaisarvioitu

  98. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

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

    Tutkimustuotosvertaisarvioitu

  99. Julkaistu

    The Design of Linear Controllers with Symbolic Algebra

    Hämäläinen, T. & Pohjolainen, S., 1996, julkaisussa : Computers Math. Applic.. 32, 7, s. 105-116 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  100. Julkaistu

    Robust control and tuning problem for distributed parameter systems (invited paper)

    Hämäläinen, T. & Pohjolainen, S., 1996, julkaisussa : International Journal of Robust and Nonlinear Control. 6, s. 479-500

    Tutkimustuotosvertaisarvioitu

  101. Julkaistu

    An Effective Cauchy-Peano Existence Theorem for Unique Solutions

    Ruohonen, K., 1996, julkaisussa : International Journal of Foundations of Computer Science. 7, 2, s. 151-160

    Tutkimustuotosvertaisarvioitu

ID: 22096