TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Matematiikan laitos

Tutkimusyksikkö: Laitos

  1. Julkaistu

    Constraints, functional equations, definability of function classes, and functions of Boolean variables

    Couceiro, M. & Foldes, S., 2004, Rutgers Centre of Operations Research. 17 Sivumäärä (Rutcor Research Report; painos 36/2004)

    Tutkimustuotos

  2. Julkaistu

    Linear functional equations and linear predicates for Boolean Function classes

    Couceiro, M. & Foldes, S., 2003, Kalmar Workshop on Logic and Computer Science, 1.-2.10.2003, Szeged, Hungary. Szeged: University of Szeged, s. 89-98

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Function class composition, relational constraints and stability under compositions with clones

    Couceiro, M. & Foldes, S., 2004, Rutgers Centre of Operations Research. 10 Sivumäärä (Rutcor Research Report; painos 22/2004)

    Tutkimustuotos

  4. Julkaistu

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

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

    Tutkimustuotos

  5. Julkaistu

    On Affine Constraints Satisfied by Boolean Functions

    Couceiro, M. & Foldes, S., 2003, Piscataway, NJ: Rutgers University. 6 Sivumäärä (Rutcor Research Report; nro 3)

    Tutkimustuotos

  6. Julkaistu

    On composition of clones of Boolean functions

    Couceiro, M., Foldes, S. & Lehtonen, E., 2004, International Conference of Computational Methods in Sciences and Engineering 2004 ICCMSE 2004, Attica, Greece, 19-23 November, 2004, Lecture Series on Computer and Computational Sciences. Simos, T. (toim.). s. 849-851

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    On closed sets of relational constraints and classes of functions closed under variable substitutions

    Couceiro, M. & Foldes, S., 2004, Rutgers Centre of Operations Research. 21 Sivumäärä (Rutcor Research Report; painos 10/2004)

    Tutkimustuotos

  8. Julkaistu

    Generalizations of Swierczkowski’s lemma and the arity gap of finite functions

    Couceiro, M. & Lehtonen, E., 2009, julkaisussa : Discrete Mathematics. 309, 20, s. 5905-5912

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    Short Term Prediction of Highway Travel Time Using Data Mining and Neuro-Fuzzy Methods

    Coufal, D. & Turunen, E., 2003, IFSA 2003. Proceedings of the 10th IFSA World Congress, June 29 - July 2, 2003 Istanbul, Turkey. Istanbul, s. 175-182

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Stability of the discrete time filter in terms of the tails of noise distributions

    Crisan, D. & Heine, K., 2008, julkaisussa : Journal of the London Mathematical Society: Second Series. 78, 2, s. 441-458

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Boolen funktiot

    Czedli, G., Major, L. & Lehtonen, E., 2005, Tampere: Unknown Publisher. 78 Sivumäärä (Tampereen teknillinen yliopisto. Opetusmoniste; painos 2)

    Tutkimustuotos

  12. Julkaistu

    Blind sub-Nyquist GNSS signal detection

    Daniel, O., Raasakka, J., Peltola, P., Fröhle, M., Rivero-Rodriguez, A., Wymeersch, H. & Nurmi, J., 18 toukokuuta 2016, 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) . IEEE, s. 6575-6579 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Robust Kalman filter for positioning with wireless BS coverage areas

    Dashti, M., Ali-Löytty, S., Wirola, L., Muller, P., Nurminen, H. & Piche, R., 2012, Proceedings of WPNC 2012, 9th Workshop on Positioning, Navigation and Communication, March 15-16, 2012, Dresden, Germany. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, s. 83-88 (Workshop on Positioning, Navigation and Communication).

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Uninterrupted portable car navigation system using GPS, map and inertial sensors data

    Davidson, P., Vazquez, M. A. & Piche, R., 2009, Proceedings of The 13th IEEE International Symposium on Consumer Electronics, May 25-28, 2009, Mielparque-Kyoto, Kyoto, Japan. s. 836-840

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Application and theory of Petri nets and other models of concurrency: Special issue of selected papers from Petri Nets 2015

    Devillers, R., Valmari, A. & Penczek, W., 13 syyskuuta 2016, julkaisussa : Fundamenta Informaticae. 146, 1, s. v-vi

    Tutkimustuotos

  16. Julkaistu

    Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings

    Devillers, R. (toim.) & Valmari, A. (toim.), 2015, Springer Verlag. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9115)

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    OPAALS WP1: Automata theory and autopoiesis: D1.2 - Foundations of the theory of associative autopoietic digital ecosystems: Part 1

    Dini, P., Munro, A., Iqani, M., Zeller, F., Moschoyiannis, S., Gabaldon, G. & Nykänen, O., 2008, Unknown Publisher. (Open Philosophies for Associative Autopoietic digitaL ecosystemS (OPAALS), Network of Excellence)

    Tutkimustuotos

  18. Julkaistu

    OPAALS WP12: Socio-economic models for digital ecosystems - Del12.10: Foundations of the theory of associative autopoietic digital ecosystems: Part 3

    Dini, P., Iqani, M., Passani, P., Moschoyiannis, S., Nykänen, O., Pattanaik, D. & Chatterjee, C., 2009, Unknown Publisher. (Open Philosophies for Associative Autopoietic digitaL ecosystemS (OPAALS), Network of Excellence)

    Tutkimustuotos

  19. Julkaistu

    Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

    Di Nola, A., Grigolia, R. & Turunen, E., 2016, Switzerland: Springer. 116 Sivumäärä (Studies in Fuzziness and Soft Computing; painos 338)

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    Testing a New Vegetation Structure Retrieval Algorithm from Terrestrial Lidar Scanner Data Using 3D Models

    Disney, M., Lewis, P. & Raumonen, P., 2012, Silvilaser 2012, 12th International Conference on LiDAR Applications for Assessing Forest Ecosystems, 16-19 September 2012, Vancouver, Canada. Vancouver, Canada: Silvilaser Vancouver 2012, s. 1-9 9 Sivumäärä (Silvilaser).

    Tutkimustuotosvertaisarvioitu

ID: 22096