Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

101 - 120 out of 1,341Page size: 20
  1. Published

    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, p. 89-98

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  2. Published

    Function classes and relational constraints stable under compositions with clones

    Couceiro, M. & Foldes, S., 2009, In : Discussiones Mathematicae - General Algebra and Applications. 29, p. 109-121 13 p.

    Research output: Contribution to journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  3. 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-3243

    Research output: Contribution to journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  4. Published

    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 p. (Rutcor Research Report; vol. 10/2004)

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  5. Published

    Definability of Boolean function classes by linear equations over GF(2)

    Couceiro, M. & Foldes, S., 2004, In : Discrete Applied Mathematics. 142, p. 29-34

    Research output: Contribution to journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  6. Published

    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. (ed.). p. 849-851

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  7. Published

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

    Couceiro, M. & Foldes, S., 2004, Rutgers Centre of Operations Research. 17 p. (Rutcor Research Report; vol. 36/2004)

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  8. Published

    Functional equations, constraints, definability of function classes, and functions of Boolean variables

    Couceiro, M. & Foldes, S., 2007, In : Acta Cybernetica. 18, p. 61-75

    Research output: Contribution to journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  9. Published

    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, p. 175-182

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  10. Published

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

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

    Research output: Contribution to journal › Article › Scientific › peer-review

    Full text: ExLibris SFX link
  11. Published

    Boolen funktiot

    Czedli, G., Major, L. & Lehtonen, E., 2005, Tampere: Unknown Publisher. 78 p. (Tampereen teknillinen yliopisto. Opetusmoniste; vol. 2)

    Research output: Book/Report › Book › Professional

    Full text: ExLibris SFX link
  12. Published

    Blind sub-Nyquist GNSS signal detection

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  13. Published

    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, p. 83-88 (Workshop on Positioning, Navigation and Communication).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  14. Published

    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. p. 836-840

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
  15. Published

    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 Sep 2016, In : Fundamenta Informaticae. 146, 1, p. v-vi

    Research output: Contribution to journal › Editorial › Scientific

    Full text: ExLibris SFX link
  16. Published

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

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

    Research output: Book/Report › Anthology › Scientific › peer-review

    Full text: ExLibris SFX link
  17. Published

    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)

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  18. Published

    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)

    Research output: Book/Report › Commissioned report › Professional

    Full text: ExLibris SFX link
  19. Published

    Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

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

    Research output: Book/Report › Book › Scientific › peer-review

    Full text: ExLibris SFX link
  20. Published

    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, p. 1-9 9 p. (Silvilaser).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Full text: ExLibris SFX link
Previous 12 3 4 5 6 7 8 9 ...68 Next

ID: 22096

Contact information

Korkeakoulunkatu 1
Tietotalo Building, floors 3 and 4
FI-33720
Tampere
Finland
PO Box 553
FI-33101
Tampere
Finland

View graph of relations

Tampere University of Technology is at the leading edge of technology development and a sought-after collaboration partner among the scientific and business communities. The University produces competent graduates who enter careers in the different sectors of society.

Quick links

Follow us

subscribe to the TUT science newsletter Interface