TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1996, Tampere: Tampere University of Technology. 28 Sivumäärä (Tampere University of Technology, Department of Information Technology , Mathematics Report; nro 70)

    Tutkimustuotos

  2. Julkaistu

    Deciding Equivalence of Recurrent Sequences in Free Monoids and Metabelian Groups by Polynomial Manipulation

    Ruohonen, K., 1994, Tampere: Tampere University of Technology. 22 Sivumäärä (Tampere University of Technology, Department of Information Technology, Mathematics, Report; nro 65)

    Tutkimustuotos

  3. Julkaistu

    Definability Of Boolean Function Classes By Linear Equations Over GF(2)

    Couceiro, M. & Foldes, S., 2002, Unknown Publisher.

    Tutkimustuotos

  4. Julkaistu

    Derivates and Degrees of Set Functions: A Pseudo-Boolean Approach

    Foldes, S. & Hammer, P. L., 2002, Unknown Publisher.

    Tutkimustuotos

  5. Julkaistu

    Designing Sundials by MATLAB and MAPLE

    Ruohonen, K., 1995, Tampere: Tampere University of Technology. 66 Sivumäärä (Tampere University of Technology, Department of Information Technolog Mathematics, Software Report; nro 9)

    Tutkimustuotos

  6. Julkaistu

    Design of a Robust Controller for a Hydraulic Servo Using H-infinity Theory

    Piche, R., Pohjolainen, S. & Virvalo, T., 1991, Tampereen teknillinen korkeakoulu. 34 Sivumäärä (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka; nro 56)

    Tutkimustuotos

  7. Julkaistu
  8. Julkaistu

    Discrete maximum principles for nonlinear parabolic PDE systems

    Farago, I., Karatson, J. & Korotov, S., 2009, Tampere: Unknown Publisher. 38 Sivumäärä (Tampereen teknillinen yliopisto. Matematiikan laitos. Tutkimusraportti; painos 93)

    Tutkimustuotos

  9. Julkaistu

    Disjunctive Analogues of Submodular and Supermodular Functions

    Foldes, S. & Hammer, P. L., 2001, New Jersey: Unknown Publisher. 18 Sivumäärä (Rutcor Research Report; nro 41)

    Tutkimustuotos

  10. Julkaistu

    Distance Learning in Multimedia-Networks, Part of Finnish National Multimedia Programme

    Pohjolainen, S. & Ruokamo-Saari, H., 1997, Tampere: Unknown Publisher.

    Tutkimustuotos

ID: 22096