Department of Mathematics
Research unit: Department
- A1 Journal article-refereed
- Published
Functional equations, constraints, definability of function classes, and functions of Boolean variables
Couceiro, M. & Foldes, S., 2007, In : Acta Cybernetica. 18, p. 61-75Research output: Contribution to journal › Article › Scientific › peer-review
- Published
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, In : Elektrotechnik & Informationstechnik. 124, p. 248-253Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Practical output regulation for bounded linear infinite-dimensional state space systems
Immonen, E., 2007, In : Automatica. 43, 5, p. 786-794Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On the effect of variable identification on the essential arity of functions on finite sets
Couceiro, M. & Lehtonen, E., 2007, In : International Journal of Foundations of Computer Science. 18, 5, p. 975-986Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Bayesian multiresolution method for local tomography in dental X-ray imaging
Niinimäki, K., Siltanen, S. & Kolehmainen, V., 2007, In : Physics in Medicine and Biology. 52, p. 6663-6678Research output: Contribution to journal › Article › Scientific › peer-review
- Published
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, In : Bulletin of Mathematical Biology. 69, p. 585-604Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Feedback and feedforward output regulation of bounded uniformly continuous signals for infinite-dimensional systems
Immonen, E. & Pohjolainen, S., 2007, In : SIAM Journal on Control and Optimization. 45, 5, p. 1714-1735Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On the internal model structure for infinite-dimensional systems: two common controller types and repetitive control
Immonen, E., 2007, In : SIAM Journal on Control and Optimization. 45, 6, p. 2065-2093Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Recurrence quantification analysis of electrochemical noise data during pit development
Montalban, L. S., Henttu, P. & Piche, R., 2007, In : International Journal of Bifurcation and Chaos (IJBC). 17, 10, p. 3725-3728Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On instantaneous codes
Foldes, S. & Singhi, N. M., 2007, In : Journal of Combinatorics, Information & System Sciences. 31, 1-4, p. 307-316Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Hyperbolic function theory
Eriksson, S-L. & Leutwiler, H., 2007, In : Advances in Applied Clifford Algebras. 17, 3, p. 437-450Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A half-space approach to order dimension
Foldes, S. & Szigeti, J., 2007, In : Order. 24, p. 59-73Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Partial output regulation for bounded linear infinite-dimensional state space systems
Immonen, E., 2007, In : Automatica. 43, 5, p. 786-794Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Semi-Boolean and hyper-Archimedean BL-algebras
Turunen, E., 2007, In : Lecture Notes in Computer Science. 4529, p. 419-426Research output: Contribution to journal › Article › Scientific › peer-review
- Published
D-bar method for electrial impedance tomography with discontinuous conductives
Knudsen, K., Lassas, M., Jennifer, I. & Siltanen, S., 2007, In : SIAM Journal on Applied Mathematics. 67, 893, p. 893-913Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Hyper-Archimedean BL-algebras are MV-algebras
Turunen, E., 2007, In : Mathematical Logic Quarterly. 53, 2, p. 170-175Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Preface
Eriksson, S-L. & Krausshar, R. S., 2007, In : Advances in Applied Clifford Algebras. 17, 3, p. 307-309Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Hyperbolic harmonic functions: weak approach with applications in function spaces
Eriksson, S-L., Kotilainen, M. & Latvala, V., 2007, In : Advances in Applied Clifford Algebras. 17, p. 425-436Research output: Contribution to journal › Article › Scientific › peer-review
- Published
RMBNToolbox: random models for biochemical networks
Aho, T., Smolander, O-P., Niemi, J. & Yli-Harja, O., 2007, In : BMC Systems Biology. 1, 22, p. 11 pResearch 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
Maximal compatible extensions of partial orders
Foldes, S. & Szigeti, J., 2006, In : Journal of the Australian Mathematical Society. 81, 2, p. 245-252Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A feedforward-feedback controller for infinite-dimensional systems and regulation of bounded uniformly continuous signals
Immonen, E., 2006, In : International Journal of Robust and Nonlinear Control. 16, p. 259-280Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Contributions to the theory of hypermonogenic functions
Eriksson, S-L. & Leutwiler, H., 2006, In : Complex Variables and Elliptic Equations. 51, 5-6, p. 547-561Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Inducing fuzzy models for student classification
Nykänen, O., 2006, In : Journal of Educational Technology & Society. 9, 2, p. 223-234Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Composition of Post classes and normal forms of Boolean functions
Couceiro, M., Foldes, S. & Lehtonen, E., 2006, In : Discrete Mathematics. 306, 24, p. 3223-3243Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Function theory for Laplace and Dirac-Hodge operators in hyperbolic space
Eriksson, S-L., Bernstein, S., Ryan, J. & Qiao, Y., 2006, In : Journal d'Analyste Mathematique. 98, p. 43-64Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Consistency of three Kalman filter extensions in hybrid navigation
Ali-Löytty, S., Sirola, N. & Piche, R., 2006, In : European Journal of Navigation. 4, 1, p. 33-40Research 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
Asymptotically H-2-optimal tuning of low gain robust controllers for DPS
Hämäläinen, T. & Pohjolainen, S., 2006, In : IEEE Transactions on Automatic Control. 51, 10, p. 1661-1668Research output: Contribution to journal › Article › Scientific › peer-review
- Published
What periodic signals can an exponentially stabilizable linear feedforward control system asymptotically track?
Immonen, E. & Pohjolainen, S., 2006, In : SIAM Journal on Control and Optimization. 44, 6, p. 2253-2268Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Some properties of infinite-dimensional systems capable of asymptotically tracking bounded uniformly continuous signals
Immonen, E., 2006, In : Mathematics of Control, Signals, and Systems. p. 323-344Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A novel approach to model neuronal signal transduction using stochastic differential equations
Manninen, T., Linne, M-L. & Ruohonen, K., 2006, In : Neurocomputing. 69, 10-12, p. 1066-1069Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Robust regulation of stable systems in the H-infinity-algebra
Ylinen, L., Pohjolainen, S. & Hämäläinen, T., 2006, In : International Journal of Control. 79, 1, p. 24-35Research 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
Imaging cardiac activity by the D-bar method for electrical impedance tomography
Isaacson, D., Mueller, J., Newell, J. & Siltanen, S., 2006, In : Physiological Measurement. 27, p. pp. S43-S50Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Function generators, the operator equation PiS=APi+BQ and inherited dynamics in inhomogenous Cauchy problems
Immonen, E., 2005, In : Journal of Differential Equations. 218, p. 253-272Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A note on fuzzy differential equations
Kaleva, O., 2005, In : Nonlinear Analysis. 64, p. 895-900Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On modified biquaternionic analysis in C3
Eriksson, S-L. & Hirvonen, J., 2005, In : Computational Methods in Function Theory. 5, 2, p. 395-408Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Preoperative leg-length inequality and hip osteoarthrosis: A radiographic study of 100 consecutive arthroplasty patients
Tallroth, K., Ylikoski, M., Lamminen, H. & Ruohonen, K., 2005, In : Skeletal Radiology. 34, p. 136-139Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Submodularity, supermodularity and higher order monotonicities of pseudo-Boolean functions
Foldes, S. & Hammer, P. L., 2005, In : Mathematics of Operations. 30, 2, p. 453-461Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Output regulation of periodic signals for DPS: an infinite-dimensional signal generator
Immonen, E. & Pohjolainen, S., 2005, In : IEEE Transactions on Automatic Control. 50, 11, p. 1799-1804Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On sylvester operator equations, complete trajectories, regular admissibility and stabilitiy of C0-semigroups
Immonen, E., 2005, In : Electronic Journal of Differential Equations. 2005, 71, p. 1-14 14 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Supplement to the paper "Bounds for the extreme eigenvalues of symmetric matrices"
Piche, R., 2005, In : Zeitschrift fur Angewandte Mathematik und Mechanik. 85, 1, p. p. 76Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Explicit test sets for iterated morphisms in free monoids and metabelian groups
Ruohonen, K., 2005, In : Theoretical Computer Science. 330, p. 171-191Research 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
Short term prediction of highway travel time using GUHA data mining method
Turunen, E. & Coufal, D., 2004, In : Neural Network World. 3-4, p. 221-231Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Inversion of 2D NMR data
Bose, C. & Piche, R., 2004, In : Canadian Applied Mathematics Quarterly. 12, 1, p. 67-86Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On the concept of point value in the infinite-dimensional realization theory
Immonen, E., 2004, In : Journal of Mathematical Analysis and Applications. 300, p. 79-101Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Chomskian hierarchies of families of sets of piecewise continuous functions
Ruohonen, K., 2004, In : Theory of Computing Systems. 37, p. 609-638Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Consensus algorithms for the generation of all maximal bicliques
Alexe, G., Alexe, S., Crama, Y., Foldes, S., Hammer, P. L. & Simeone, B., 2004, In : Discrete Applied Mathematics. 145, p. 11-21Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Post classes characterized by functional terms
Foldes, S. & Pogosyan, G. R., 2004, In : Discrete Applied Mathematics. 142, p. 35-51Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On interval decomposition lattices
Foldes, S. & Radeleczki, S., 2004, In : Discussiones Mathematicae - General Algebra and Applications. 24, p. 95-114Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Integral formulas for hypermonogenic functions
Eriksson, S-L., 2004, In : Bulletin of the Belgian Mathematical Society. 11, p. 705-717Research 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
Use of Quality Control Charts to Aid Patient Anticoagulation Management: letter to the editor
Lamminen, H. & Ruohonen, K., 2003, In : The Journal on Information Technology in Healthcare. 1, 4, p. 297-301Research 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
A learning experiment in mathematics using A&O-learning environment
Pohjolainen, S., Hautakangas, S., Ranta, P., Levasma, J. & Pesonen, K., 2003, In : International Journal of Continuing Engineering Education and Life-Long Learning. 13, 1, p. 57-74Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On the Images of N-rational Sequences Counting Multiplicities
Honkala, J. & Ruohonen, K., 2003, In : International Journal of Algebra and Computation. 13, 3, p. 303-321Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Telemedicine in Ophthalmology
Lamminen, H., Voipio, V., Ruohonen, K. & Uusitalo, H., 2003, In : Acta Ophthalmoligica Scandinavica. 81, p. 105-109 5 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Nonnegative color spectrum analysis filters from principal component analysis characteristic spectra
Piche, R., 2002, In : Journal of the Optical Society of America A. 19, 10, p. 1946-1950Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A survey of stabilized plate elements
Lyly, M. & Stenberg, R., 2002, In : 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, p. 11-21Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Equational characterizations of Boolean function classes
Ekin, O., Foldes, S., Hammer, P. L. & Hellerstein, L., 2002, In : Discrete Mathematics, Editor's Choice 2000. p. 27-51Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Many-Valued Similarity Reasoning. An axiomatic Approach
Kukkurainen, P. & Turunen, E., 2002, In : Multiple-Valued Logic. 8, 5-6, p. 751-760Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Traffic signal control on similarity logic reasoning
Niittymäki, J. & Turunen, E., 2002, In : Fuzzy Sets and Systems. 133, 1, p. 109-131 23 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Fundus Imaging and the Telemedical Management of Diabetes
Lamminen, H. & Ruohonen, K., 2002, In : Journal of Telemedicine and Telecare. 8, p. 255-258Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Fuzzy Model for Real-Time Reservoir Operation
Dubrovin, T., Jolma, A. & Turunen, E., 2002, In : Journal of Water Resources Planning and Management: ASCE. 128, 1, p. 66-73Research 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
Visual Tests for Measuring the Picture Quality of Teleconsultations for Medical Purposes
Lamminen, H., Ruohonen, K. & Uusitalo, H., 2001, In : Computer Methods and Programs in Biomedicine. 65, p. 95-110 16 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A Three-Year Follow-Up of Finnish Telemedicine Programs
Lamminen, H., Semberg, V., Ruohonen, K. & Roine, R., 2001, In : IEEE Transactions on Information Technology in Biomedicine. 5, 2, p. 174-177Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Beltrami Operators in the Plane
Astala, K., Iwaniec, T. & Saksman, E., 2001, In : Duke Mathematical Journal. 107, 1, p. 27-56Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Telelääketieteellisten hankkeiden tulokset
Lamminen, H., Semberg, V., Ruohonen, K. & Roine, R., 2001, In : Duodecim. 117, 10, p. 1044-1048Research output: Contribution to journal › Article › Scientific › peer-review
- Published
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, In : Journal of the Audio Engineering Society. 49, 12, p. 1148-1166Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Telemedicine Framework and Applications in Dermatology and Ophthalmology
Lamminen, H., Voipio, V. & Ruohonen, K., 2001, In : Annals of Medicine. 33, p. 222-228Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Local BL-algebras
Turunen, E. & Sessa, S., 2001, In : Multi. Val. Logic.. 6, p. 229-249Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A Cost Study of Teleconsultation for Primary-Care Ophthalmology and Dermatology
Lamminen, H., Lamminen, J., Ruohonen, K. & Uusitalo, H., 2001, In : Journal of Telemedicine and Telecare. 7, 3, p. 167-173Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Boolean deductive systems of BL-algebras
Turunen, E., 2001, In : Archive for Mathematical Logic. 40, p. 467-473Research output: Contribution to journal › Article › Scientific › peer-review
- Published
GLS and EVSS methods for a three fields Stokes problem arising from viscoelastic flows.
Bonvin, J., Picasso, M. & Stenberg, R., 2001, In : Computer Methods in Applied Mechanics and Engineering. 190, p. 3893-3914Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On the Face Lattice of a Poset Polyhedron
Foldes, S. & Lawrenz, A., 2001, In : Ars Combinatoria. 60, p. 313-318Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Simple Digitizing Method for Radiographics in Military Field Operations
Lamminen, H., Voipio, V., Ahovuo, J., Ruohonen, K. P., Autio, P. & Sahi, T., 2001, In : International Review of the Armed Forces Medical Services. 74, 4, p. 232Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Fluid Transmission Line Modeling Using a Variational Method
Mäkinen, J., Piché, R. & Ellman, A., Mar 2000, In : Journal of Dynamic Systems, Measurement and Control: Transactions of the ASME. 122, 1, p. 153-162 10 p.Research 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
The Need for Still-Image Transfer during Home Nursing Visits
Lamminen, H. & Ruohonen, K., 2000, In : Journal of Telemedicine and Telecare. 6, 5, p. 291-294Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Equational classes of Boolean functions via the HSP Theorem
Foldes, S., 2000, In : Algebra Universalis. 44, p. 309-324Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A Finite-Dimensional Robust Controller for Systems in the CD-Algebra
Hämäläinen, T. & Pohjolainen, S., 2000, In : IEEE Transactions on Automatic Control. 45, 3, p. 421-431Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Internet/World Wide Web -pohjaiset oppimisympäristöt ja oppiva organisaatio
Paakkanen, T., 2000, In : Hallinnon Tutkimus. 19, 1, p. 48-64Research output: Contribution to journal › Article › Scientific › peer-review
- Published
An Implementation of a Hypermedia Learning Environment for a Small Group
Nishizawa, H., Saito, T. & Pohjolainen, S., 1999, In : Jsise. 15, 4, p. 249-253Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Variable step Rosenbrock algorithm for transient response of damped structures
Piche, R. & Nevalainen, P., 1999, In : Proceedings of the institution of Mechanical Engineers Part C: Journal of Mechanical Engineering Science. 213, p. 191-198Research output: Contribution to journal › Article › Scientific › peer-review
- Published
On the design and evaluation of an open learning environment
Pohjolainen, S., Ala-Rantala, M., Nykänen, O. & Ruokamo, H., 1999, In : International Journal of Continuing Engineering Education and Life-Long Learning. 9, 2/3/4, p. 249-261Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Interactive exercises on matrix algebra
Antchev, K., Multisilta, J. & Pohjolainen, S., 1999, In : The Mathematica Journal. 7, 3, p. 390-405Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation
Ruohonen, K., 1999, In : Fundamenta Informaticae. 38, p. 135-148Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Variable step size time integration methods for transient eddy current problems
Cameron, F., Piche, R. & Forsman, K., 1998, In : IEEE Transactions on Magnetics. 34, 5, p. 3319-3322Research output: Contribution to journal › Article › Scientific › peer-review
- Published
The Peano theorem for fuzzy differential equations revisited
Kaleva, O., 1998, In : Fuzzy Sets and Systems. 98, p. 147-148Research output: Contribution to journal › Article › Scientific › peer-review
- Published
A design for a hypermedia-based learning environment
Nykänen, O. & Ala-Rantala, M., 1998, In : Education and Information Technologies. 3, p. 277-290Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Filtering the interpolant is equivalent to interpolating the filtered data
Piche, R., 1998, In : International Journal of Mathematical Education in Science and Technology. 29, 2, p. 305-311Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Pedagogical Principles for Evaluation of Hypermedia-Based Learning Environments in Mathematics
Ruokamo, H. & Pohjolainen, S., 1998, In : Journal of Universal Computer Science. 4(3), p. 292-307Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Undecidable Event Detection Problems for ODEs of Dimension One and Two
Ruohonen, K., 1997, In : Informatique theorique et Applications / Theoretical Informatics and Applications. 31, 1, p. 67-79Research output: Contribution to journal › Article › Scientific › peer-review
- 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
The Design of Linear Controllers with Symbolic Algebra
Hämäläinen, T. & Pohjolainen, S., 1996, In : Computers Math. Applic.. 32, 7, p. 105-116 12 p.Research output: Contribution to journal › Article › Scientific › peer-review
- Published
Robust control and tuning problem for distributed parameter systems (invited paper)
Hämäläinen, T. & Pohjolainen, S., 1996, In : International Journal of Robust and Nonlinear Control. 6, p. 479-500Research output: Contribution to journal › Article › Scientific › peer-review
- Published
An Effective Cauchy-Peano Existence Theorem for Unique Solutions
Ruohonen, K., 1996, In : International Journal of Foundations of Computer Science. 7, 2, p. 151-160Research output: Contribution to journal › Article › Scientific › peer-review
ID: 22096