TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    D0L sequence equivalence is in P for fixed alphabets

    Ruohonen, K., 2008, julkaisussa : RAIRO: Theoretical Informatics and Applications. 42, 2, s. 361-374

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    DAMIT: a database of asteroid models

    Durech, J., Sidorin, V. & Kaasalainen, M., 2010, julkaisussa : Astronomy and Astrophysics. 513, A46, s. 1-13 13 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Data-based stochastic modeling of tree growth and structure formation

    Potapov, I., Järvenpää, M., Åkerblom, M., Raumonen, P. & Kaasalainen, M., 2016, julkaisussa : Silva Fennica. 50, 1, 1413.

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu
  5. Julkaistu

    Datamap Visualization Technique for Interactively Visualizing Large Datasets

    Nykänen, O., 2013, 17th International Academic MindTrek Conference, October 1-4, 2013, Tampere, Finland. Lugmayr, A., Franssila, H., Kärkkäinen, H. & Paavilainen, J. (toim.). ACM, s. 52-58 7 Sivumäärä (MindTrek Conference).

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Datapohjaiset mallit

    Merikoski, J., Turunen, E., Raivio, K. & Mantere, T., 2010, Matemaattinen mallinnus. Pohjolainen, S. (toim.). Helsinki: WSOYpro, s. 77-146

    Tutkimustuotos

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

  8. Julkaistu

    Decidability and Complexity of Event Detection Problems for ODEs

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

    Tutkimustuotosvertaisarvioitu

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

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

  11. Julkaistu

    Decompositions of planar motions into reflections and rotations with distance constraints

    Foldes, S., 2004, 16th Canadian Conference on Computational Geometry, Montreal, Canada 9.-11.8.2004. s. 33-35

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Deduction theorem in monoidal logic

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

    Tutkimustuotosvertaisarvioitu

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

  14. Julkaistu

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

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

    Tutkimustuotos

  15. Julkaistu

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

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

    Tutkimustuotos

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

  17. Julkaistu

    Design and evaluation of problem-based learning objects for environmental education in Estonian secondary school

    Väljataga, T., 2005, eLearning in Higher education. EUDORA intensive program ELHE during summer school in Viljandi, Estonia, 2004. Hudson, B. (toim.). s. 214-231

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    Designing a hypermedia learning environment for solving complex mathematical word problems

    Ruokamo-Saari, H., 1996, Learning in Multiple Contexts. Papers and posters presented at the First Joensuu Symposium on Learning and Instruction. University of Joensuu, Kasvatustiedeiden tiedekunnan selosteita no 62. Aho, L. (toim.). Joensuun yliopisto, s. 141-158

    Tutkimustuotos

  19. Julkaistu

    Designing controllers with reduced order internal models

    Paunonen, L., 1 maaliskuuta 2015, julkaisussa : IEEE Transactions on Automatic Control. 60, 3, s. 775-780 6 Sivumäärä, 6826480.

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    Designing learning objects for social constructivist learning

    Pöldoja, H., Leinonen, T., Väljataga, T., Ellonen, A. & Priha, M., 2005, eLearning in Higher education. EUDORA intensive program ELHE during summer school in Viljandi, Estonia, 2004. Hudson, B. (toim.). s. 196-213

    Tutkimustuotosvertaisarvioitu

ID: 22096