Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

181 - 200 out of 1,341Page size: 20
  1. 2014
  2. Published

    A method to enforce map constraints in a particle filter's position estimate

    Piche, R. & Koivisto, M., 2014, 2014 11th Workshop on Positioning, Navigation and Communication (WPNC), 12-13 March 2014, Dresden, Germany. IEEE, 4 p.

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

    Full text: ExLibris SFX link
  3. Published

    An algebraic study of Peterson´s Intermediate Syllogisms

    Turunen, E., 2014, In : Soft Computing. p. 1-14 14 p.

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

    Full text: ExLibris SFX link
  4. Published

    A New Controller Structure for Robust Output Regulation

    Paunonen, L. & Pohjolainen, S., 2014, Proceedings of the 53rd IEEE Conference on Decision and Control, IEEE CDC 2014, 15-17 December, 2014, Los Angeles, CA, USA. IEEE, p. 4721-4726 6 p. (IEEE Conference on Decision and Control).

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

    Full text: ExLibris SFX link
  5. Published

    Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

    Rodriguez, J. T., Turunen, E., Ruan, D. & Montero, J., 2014, In : Fuzzy Sets and Systems. 242, p. 132-147 16 p.

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

    Full text: ExLibris SFX link
  6. Published

    Application of Hill-Clohessy-Wiltshire Equation in GNSS Orbit Prediction

    Zhang, X. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Nurmi, J., Ruotsalainen, L., Lohan, E-S., Salcedo, J. & Thombre, S. (eds.). Piscataway: IEEE, p. 1-6 6 p.

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

    Full text: ExLibris SFX link
  7. Published

    A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN

    Alasuutari, A., Nakamatsu, K. & Abe, J. M., 2014, Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014. IOS Press, p. 248 - 257 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 262).

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

    Full text: ExLibris SFX link
  8. Published

    A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

    Valmari, A., 2014, In : Electronic Proceedings in Theoretical Computer Science. 151, p. 355-369 15 p., 25.

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

    Full text: ExLibris SFX link
  9. Published

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, In : Acta Cybernetica. 21, 3, p. 307-330 24 p.

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

    Full text: ExLibris SFX link
  10. Published

    A Tool for Evaluating Social Media Enhanced Learning Environments

    Silius, K., Tervakari, A., Pirttilä, O., Paukkeri, J. & Mäkelä, T., 2014, IEEE Global Engineering Education Conference, EDUCON 2014, April 3-5, 2014, Istanbul, Turkey. IEEE, p. 152-157 6 p. (IEEE Global Engineering Education Conference).

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

    Full text: ExLibris SFX link
  11. Published

    Bagdad - matematiikkaa täältä ikuisuuteen matematiikkanäyttely

    Eriksson, S-L. & Vainio, J., 2014, In : LUMAT: International Journal on Math, Science and Technology Education. 2, 1, p. 17-46 30 p.

    Research output: Contribution to journal › Article › Professional

    Full text: ExLibris SFX link
  12. Published

    Change Detection of Tree Biomass with Terrestrial Laser Scanning and Quantitative Structure Modelling

    Kaasalainen, S., Krooks, A., Liski, J., Raumonen, P., Kaartinen, H., Kaasalainen, M., Puttonen, E., Anttila, K. & Mäkipää, R., 2014, In : Remote Sensing. 6, 5, p. 3906-3922 25 p.

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

    Full text: ExLibris SFX link
  13. Published

    Combinational Studies of Vectors and Sequences

    Major, L., 2014, Tampere: Tampere University of Technology. 73 p. (Tampere University of Technology. Publication; vol. 1220)

    Research output: Book/Report › Doctoral thesis › Collection of Articles

    Full text: ExLibris SFX link
  14. Published

    Content analysis and visualizations - Tools for a social media-enhanced learning environment

    Kuosa, K., Koro, J., Tervakari, A., Paukkeri, J. & Kailanto, M., 2014, Proceedings of the 17th International Conference on Interactive Collaborative Learning, ICL 2014, 3-6 December, 2014, Dubai, UAE. IEEE, p. 361-367 7 p. (International Conference on Interactive Collaborative Learning).

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

    Full text: ExLibris SFX link
  15. Published

    Detection of anomalies in radio tomography of asteroids: source count and forward errors

    Pursiainen, S. & Kaasalainen, M., 2014, In : Planetary and Space Science. 99, p. 36-47 12 p.

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

    Full text: ExLibris SFX link
  16. Published

    Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

    Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K. & Sun, J., 2014, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Biere, A. & Bloem, R. (eds.). Springer International Publishing, p. 391-406 16 p. (Lecture Notes in Computer Science; vol. 8559).

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

    Full text: ExLibris SFX link
  17. Published

    Distributed Indoor Positioning System With Inertial Measurements and Map Matching

    Perttula, A., Leppäkoski, H., Kirkko-Jaakkola, M., Davidson, P., Collin, J. & Takala, J., 2014, In : IEEE Transactions on Instrumentation and Measurement. 63, 11, p. 2682-2695 14 p.

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

    Full text: ExLibris SFX link
  18. Published

    Ecosystemic relational capital: framework and process for measuring it

    Still, K., Huhtamäki, J. & Russell, M. G., 2014, Triple Helix XII International Conference, THC 2014. The Triple Helix and Innovation-Based Economic Growth: New Frontiers and Solutions, September 11-13, 2014, Tomsk, Russia. Etzkowitz, H., Uvarov, A. F. & Galazhinsky, E. V. (eds.). Triple Helix Association, p. 1-10 10 p. (Triple Helix International Conference).

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

    Full text: ExLibris SFX link
  19. Published

    Evaluating the Consistency of Estimation

    Ivanov, P., Ali-Löytty, S. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Piscataway: IEEE, 5 p.

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

    Full text: ExLibris SFX link
  20. Published

    Gaussian Scale Mixture Models For Robust Linear Multivariate Regression With Missing Data

    Ala-Luhtala, J. & Piche, R., 2014, In : Communications in Statistics: Simulation and Computation.

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

    Full text: ExLibris SFX link
  21. Published

    Indirect Emissions of Forest Bioenergy: Detailed Modelling of Stump-Root Systems

    Liski, J., Kaasalainen, S., Raumonen, P., Akujärvi, A., Krooks, A., Repo, A. & Kaasalainen, M., 2014, In : Global Change Biology Bioenergy. 6, 6, p. 777-784 8 p.

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

    Full text: ExLibris SFX link
Previous 1...6 7 8 9 10 11 12 13 ...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