Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. Published

    Veden merkitys ihmiskunnalle

    Katko, T., 1995, Enemmän vedestä ORAS More from Water 1945 - 1995. Rauma: ORAS OY

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  2. Published

    Vedenparsia

    Katko, T., 2002, In : Waternet. 1

    Research output: Contribution to journalArticleProfessional

  3. Published

    Veden pitäisi yhdistää ihmisiä

    Asheesh, M. & Katko, T. S., 2002, In : Savon Sanomat.

    Research output: Contribution to journalArticleGeneral public

  4. Veden vai metropolipolitiikan ehdoilla? HSY Veden syntyprosessi ja sen taustat.

    Juuti, P. & Rajala, R., 2011, Tampere: University of Tampere. 191 p.

    Research output: Book/ReportBookScientificpeer-review

  5. Published

    Veden vuosisata, Espoon vesihuolto 1930-luvulta 2000-luvulle

    Juuti, P. & Rajala, R., 2007, Vantaa: Espoon Vesi.

    Research output: Book/ReportBookScientificpeer-review

  6. Published

    Veden vuosisata Espoossa. Haasteena nopea väestönkasvu

    Juuti, P. & Rajala, R., 2007, In : Kuntatekniikka. p. 16-19

    Research output: Contribution to journalArticleScientific

  7. Published

    Vedyn Stark-ilmiön ja polarisoituvuuksien mallintaminen polkuintegraali-Monte Carlo-menetelmällä

    Tiihonen, J., 3 Sep 2014, Tampere University of Technology. 50 p.

    Research output: Book/ReportMaster's ThesisScientific

  8. Published

    Vedynvarastointimateriaalien syntetisointi mekaanisella seostuksella

    Hovikorpi, J., 1996, Tampere: Tampereen teknillinen korkeakoulu. 31 p. (Tampereen teknillinen korkeakoulu, Materiaalitekniikan osasto, Materiaaliopin laitos; no. 1996/20)

    Research output: Book/ReportCommissioned reportProfessional

  9. Published

    Vega - Eurorakettien kuopus

    Suominen, M., 2007, In : Tahdet ja Avaruus. 1, p. 28-29

    Research output: Contribution to journalArticleGeneral public

  10. Published

    Vegetable additives for dielectric elastomers

    Poikelispää, M., Shakun, A., Das, A. & Vuorinen, J., 2016.

    Research output: Other conference contributionPaper, poster or abstractScientific

  11. Published

    Vegetable fillers for electric stimuli responsive elastomers

    Poikelispää, M., Shakun, A., Sarlin, E., Das, A. & Vuorinen, J., 20 Jul 2017, In : Journal of Applied Polymer Science. 134, 28, 45081.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Vegetable oil increase the age of oil hydraulic components

    Luomaranta, M., Vilenius, M. & Stenmark, G., 1987, International Conference on Fluid Power, Tampereen teknillinen korkeakoulu, Tampere, Finland 24. - 26. March 1987. Tampere, p. 309-321

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  13. Published

    Vegetable oils as hydraulic fluid.

    Lappalainen, E., Vilenius, M. & Jokinen, K., 1984, In : Hydraulic Pneumatic Mechanical Power. 30, 358, p. 281-283

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    VEGFR3 and CD31 as prognostic factors in renal cell cancer

    Virman, J. P., Bono, P., Luukkaala, T., Sunela, K., Kujala, P. & Kellokumpu-Lehtinen, P. L., 1 Feb 2015, In : Anticancer Research. 35, 2, p. 921-927 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. E-pub ahead of print

    Vehicle Attribute Recognition by Appearance: Computer Vision Methods for Vehicle Type, Make and Model Classification

    Ni, X. & Huttunen, H., 2020, In : Journal of Signal Processing Systems.

    Research output: Contribution to journalArticleScientificpeer-review

  16. Published

    Vehicle-Based Relay Assistance for Opportunistic Crowdsensing over Narrowband IoT (NB-IoT)

    Petrov, V., Samuylov, A., Begishev, V., Moltchanov, D., Andreev, S., Samouylov, K. & Koucheryavy, Y., 16 Feb 2017, In : IEEE Internet of Things Journal.

    Research output: Contribution to journalArticleScientificpeer-review

  17. Published

    Vehicle Engines Produce Exhaust Nanoparticles Even When Not Fueled

    Rönkkö, T., Pirjola, L., Ntziachristos, L., Heikkilä, J., Karjalainen, P., Hillamo, R. & Keskinen, J., 2014, In : Environmental Science and Technology. 48, 3, p. 2043-2050 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  18. Published

    Vehicle Mass Estimation for Hydraulic Drive System using Longitudinal Motion Model

    Ahopelto, M., Krogerus, T. & Huhtala, K., May 2015, The Fourteenth Scandinavian International Conference on Fluid Power, SICFP15. Tampere University of Technology. Department of Intelligent Hydraulics and Automation, p. 433-442 10 p. (The Fourteenth Scandinavian International Conference on Fluid Power, SICFP15).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Published

    Vehicle nanoparticle emissions under transient driving conditions

    Karjalainen, P., 21 Nov 2014, Tampere University of Technology. 121 p. (Tampere University of Technology. Publication; vol. 1268)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  20. Published

    Vehicle Positioning

    Collin, J., 15 Dec 2014, IPC No. G01C 21/18, Patent No. FI124697B, Priority date 4 Apr 2012

    Research output: PatentScientific

  21. Published

    Vehicle type detection and passenger satisfaction analysis using smartphone sensors and digital surveys

    Perttula, A., Nguyen, N., Collin, J. & Jokinen, J-P., 1 Oct 2019, In : IET Intelligent Transport Systems. 13, 10, p. 1499-1506 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  22. Published

    Vehicle vibrating on a soft compacting soil half-space: Ground vibrations, terrain damage, and vehicle vibrations

    Hildebrand, R., Keskinen, E. & Navarrete, J. A. R., 2008, In : Journal of Terramechanics. 45, 4, p. 121-136

    Research output: Contribution to journalArticleScientificpeer-review

  23. Vehicle with a drive engine for driving a traction drive and a working hydraulic system

    Tikkanen, S., Mueller, M. & Mutschler, S., 20 Dec 2011, IPC No. B60K 6/00, Patent No. US8079436B2, Priority date 20 Dec 2005, Priority No. DE102005060998

    Research output: PatentScientific

  24. Published

    Vehicular delay-tolerant networks? A novel solution for vehicular communications

    Isento, J. N. G., Rodrigues, J. J. P. C., Dias, J. A. F. F., Paula, M. C. G. & Vinel, A., 2013, In : IEEE Intelligent Transportation Systems Magazine. 5, 4, p. 10-19 10 p.

    Research output: Contribution to journalArticleScientific

  25. Published

    Vehicular Navigation in Urban Canyons Using a High Sensitivity GPS Receiver Augmented With a Medium-Grade IMU

    Mezentsev, O., Collin, J. & Lachapelle, G., 2003, 10th Saint Petersburg International Conference On Integrated Navigation Systems, May 26-28, 2003. Peshekhonov, V. G. (ed.). p. 64-70

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. Published

    Vehicular navigation in urban canyons using high sensitivity GPS receiver augmented with a miedium-grade IMU

    Merentzev, O., Collin, J. & Lachapelle, G., 2003, In : Gyroscopy and Navigation. 4 (43), p. 73-84

    Research output: Contribution to journalArticleScientificpeer-review

  27. Published

    Veijareita ja vartijoita

    Juuti, P. & Rajala, R., 2012, Yhteistyöllä Voimaa. EPV 1952-2012. TamPub & EPV Energia Oy, p. 167-182

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  28. Published

    Veljekset Wallenius Oy:n jätevesien käsittelyn ja johtamisen suunnitelma

    Isoaho, S., 1988, Unknown Publisher. 6 p.

    Research output: Book/ReportCommissioned reportProfessional

  29. Published

    Vellamo Maritime Centre, Kotka: Concrete Architecture in Finland

    Lahdelma, I., Heino, J. & Santala, M., 2009

    Research output: Artistic and non-textual formDesignSolo art production

  30. Published

    Velocity and Angle of Spatter in Fine Laser Processing

    Okamoto, Y., Yamamoto, H., Okada, A., Shirasaya, K. & Kolehmainen, J. T., 2012, In : Physics Procedia. 39, p. 792-799 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  31. Published

    Velocity and displacement correlation functions for fractional generalized langevin equations

    Sandev, T., Metzler, R. & Tomovski, Z., 2012, In : Fractional Calculus and Applied Analysis. 15, 3, p. 426-450

    Research output: Contribution to journalArticleScientificpeer-review

  32. Published

    Velocity Control of Water Hydraulic Motor

    Laamanen, A., Linjama, M., Tammisto, J., Koskinen, K. T. & Vilenius, M., 2002, Proceedings of the 5th JFPS nternational Symposium on Fluid Power, Nara 2002, November 13, 2002. Japan, p. 167-172

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  33. Published

    Velocity feedback improves performance of flexible position control servos

    Pietola, M. & Vilenius, M., 1988, In : Power International. 34, p. 50-52

    Research output: Contribution to journalArticleProfessional

  34. Published

    Velocity field and the model of coal combustion in a cyclone chamber

    Karvinen, R., Ahlstedt, H. & Oksanen, A., 1991, Alma-Ata, USSR.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  35. Published

    Venäjää verkossa

    Hämäläinen, M., 1999, In : Aspekti. 1

    Research output: Contribution to journalArticleProfessional

  36. Published

    Venäjää verkossa

    Hämäläinen, M. & Muhonen, J., 1999, Etäopetus multimediaverkoissa - Kansallisen multimediaohjelman ETÄKAMU-hanke, Digitaalisen median raportti. Ruokamo, H. & Pohjolainen, S. (eds.). Helsinki: TEKNOLOGIAN KEHITTÄMISKESKUS TEKES, p. 251-265

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  37. Published

    Venäjää verkossa - venäjän alkeiden opiskelua verkossa

    Yritys, K., 2000, ITK-00, Vapaus, veljeys, tasa-arvo?, Interaktiivinen tekniikka koulutuksessa -konferenssi, Aulanko, Hämeenlinna, 6.-8.4.2000, Hämeen kesäyliopiston julkaisuja, sarja B. Horila, T. (ed.). p. 93-94

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  38. Published

    Venäjän avaruusromu nähtiin Suomessa

    Suominen, M., 2008, In : Tahdet ja Avaruus. 2, p. s. 64

    Research output: Contribution to journalArticleGeneral public

  39. Published

    Venäjän Federaation kaavoitus- ja rakennuslaki

    Junttila, T. (ed.), 2000, Tampere: Tampereen teknillinen korkeakoulu. 49 p. (Tampereen teknillinen korkeakoulu, Talonrakennustekniikka, Julkaisu; no. 105)

    Research output: Book/ReportAnthologyScientificpeer-review

  40. Published

    Venäjän rakennusalan tuotekortit

    Junttila, T. (ed.), 2001, Tampereen teknillinen korkeakoulu. 63 p. (Tampereen teknillinen korkeakoulu, Talonrakennustekniikka, Julkaisu; no. 114)

    Research output: Book/ReportAnthologyScientificpeer-review

  41. Published

    Venäjän rakentamiseen liittyvä säädöstö ja viranomaishallinto

    Junttila, T., 2001, Tampereen teknillinen korkeakoulu. 106 p. (Tampereen teknillinen korkeakoulu, talonrakennustekniikka, Julkaisu; no. 115)

    Research output: Book/ReportCommissioned reportProfessional

  42. Published

    Venäjän rakentamisen oppikirja. Osa A: Liiketoimintaympäristö ja rakennushankkeen johtaminen

    Junttila, T. (ed.), 2001, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Talonrakennustekniikka, Julkaisu; no. 111)

    Research output: Book/ReportAnthologyScientificpeer-review

  43. Published

    Venäjän rakentamisen oppikirja. Osa B: Talonrakennustekniikka

    Junttila, T. (ed.), 2001, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Talonrakennustekniikka, Julkaisu; no. 112)

    Research output: Book/ReportAnthologyScientificpeer-review

  44. Published

    Venetsia biennal of architecture: Suomen Luontokeskus Haltia

    Lahdelma, I., 28 May 2016

    Research output: Artistic and non-textual formExhibitionSolo art productionpeer-review

  45. Published

    Venetsia, kaupunki geologisten olosuhteiden ja ympäristömuutosten armoilla

    Ihalainen, P., 1994, In : Geologi. vsk. 46, 9-10, p. 124-128

    Research output: Contribution to journalArticleProfessional

  46. Published

    Ventajas de la cicatrización cutánea asistida por láser (LASH)

    Mordon, S. & Trelles, M. A., Oct 2011, In : Cirugia Plastica Ibero-Latinoamericana. 37, 4, p. 387-392 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  47. Published

    Ventana 1

    Rambla Lop, M., Ahlava, A. & Hämäläinen, E., 2015, Sanoma Pro Oy. 237 p.

    Research output: Book/ReportBookProfessional

  48. Published

    Ventana 2

    Ahlava, A., Hämäläinen, E., Kemppainen, K., Mendoza Santana, C., Rambla Lop, B. & Warjus, S., Apr 2016, Sanoma Pro Oy. 228 p.

    Research output: Book/ReportBookGeneral public

  49. Published

    Ventilation and indoor air quality in school buildings

    Kalema, T. & Viot, M., 2013, Sisäilmastoseminaari 2013, Messukeskus, Helsinki 13.3.2013. Säteri, J. & Backman, H. (eds.). SIY Sisäilmayhdistys ry, p. 91-96 6 p. (SIY Raportti; no. 31).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  50. Published

    Ventilation rates and CO2-levels before and after energy retrofit in Finnish apartment buildings

    Leivo, V., Aaltonen, A., Turunen, M., Du, L., Kiviste, M. & Haverinen-Shaughnessy, U., 2016, CLIMA 2016 - Proceedings of the 12th REHVA World Congress. Aalborg. Aalborg University. Department of Civil Engineering. : Volume 1. Building Retrofit. Kvols Heiselberg, P. (ed.). Aalborg: Aalborg university, Department of Civil Engineering, Vol. 1. 192 (in vol 1)

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  51. Published

    Ventilation rates before and after energy retrofit in multi-family buildings in Finland

    Leivo, V., Turunen, M., Aaltonen, A., Kiviste, M. & Haverinen-Shaughnessy, U., 2016, Indoor Air 2016: The 14th international conference of Indoor Air Quality and Climate.Ghent, Belgium July 3-8 2016.. 764

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  52. Published

    Ventilation Systems with Heat Recovery Capabilities are Beneficial but, where and when?

    Binamu, A., 2000, Healthy Buildings 2000: Design and Operations of HVAC Systems, Proceedings, Vol 2, August 6 - 10, 2000. Espoo, Finland. Seppänen, O. & Säteri, J. (eds.). p. 315-320

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  53. Published

    Ventilation techniques and radon in small houses

    Keskinen, J., Graeffe, G. & Janka, K., 1988, Preprints of 7th International Congress of IRPA, Sydney, Australia, 10.-17.4.1988. p. 238-241

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  54. Published

    Venttiilien kunnonvalvontamenetelmät

    Majanne, Y., 1993, Tampere: Tampereen teknillinen korkeakoulu. 17 p. (Projektiraportti, Tampereen teknillinen korkeakoulu, Säätötekniikan laitos, 30.1.1993)

    Research output: Book/ReportCommissioned reportProfessional

  55. Published

    Venttiilien vikadiagnoosi

    Antila, H., 1991, Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Säätötekniikka, Rap ortti; no. 3/91)

    Research output: Book/ReportCommissioned reportProfessional

  56. Published

    Venttiilikarojen kovuusmittaukset

    Hynnä, A. & Lintunen, P., 1996, Tampere: Tampereen teknillinen korkeakoulu. 1 p. (Tampereen teknillinen korkeakoulu, Materiaalitekniikan osasto, Materiaaliopin laitos; no. 55B/96)

    Research output: Book/ReportCommissioned reportProfessional

  57. Published

    Venttiilin murtopintojen tarkastelu

    Laurila, J. & Lepistö, T. K., 1994, Tampere: Tampereen teknillinen korkeakoulu. 4 p. (Tampereen teknillinen korkeakoulu, Elektronimikroskopian laitos, Raportti; no. 8/1994)

    Research output: Book/ReportCommissioned reportProfessional

  58. Published

    Venttiilisuojien aiheuttamat maasulkuriskit

    Nikander, A., 1995, Maasulku keskijänniteverkossa, R2002L, AEL-INSKO -koulutus, Tampere, 16-17.2.1995. p. 25 s

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  59. Published

    Venture-to-Capital - A new framework for growth venturing and professional ownership

    Rasila, T., 24 Nov 2004, Tampere: Tampere University of Technology. 205 p. (Tampere University of Technology. Publication; vol. 498)

    Research output: Book/ReportDoctoral thesisMonograph

  60. Published

    Venytys, naulaus ja kuivaus

    Mäntysalo, E., 1987, Seminaari turkisten jatkojalostuksen ongelmista 8.9.1987. Mäntysalo, E. (ed.). Tampere: Tampereen teknillinen korkeakoulu, p. P3-P3 (Tampereen teknillinen korkeakoulu. Tekstiili- ja vaatetustekniikan laitos. Raportti; no. 31).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

  61. Published

    Verbindungsbleche, Verbindungsblechgelenke und Verbindungsblechstructuren

    Poutanen, T., 1995, Patent No. DE 689 20 152 T 2

    Research output: PatentScientific

  62. Published

    Verfahren und hydraulische Steueranordnung zur Ansteuerung eines Verbrauchers

    Stamm, E., Försterling, H., Huova, M., Siivonen, L. & Linjama, M., 2 Oct 2013, Patent No. DE 102012006219 A1

    Research output: PatentScientific

  63. Published

    Verfahren und Vorrichtung zum Steuern eines Wechselrichters

    Tuusa, H., 1997, Patent No. Patents nr. DE 38 20 602 C2

    Research output: PatentScientific

  64. Published

    Verfaren und Vorrichtung zur Herstellung von Propylen Homo- und Copolymeren

    Harlin, A., Alastalo, K., Korhonen, E. & Kivelä, J., 2005, Patent No. Pat. DE 69828222 T2, Priority date 8 Dec 2005, Priority No. DE199860282222T 19989624 69828222.1

    Research output: PatentScientific

  65. Verfaren zur Herstellung von Propylencopolymeren

    Harlin, A., Aaltonen, P., Alastalo, K., Kivelä, J. & Korhonen, E., 2006, Patent No. Pat. DE 69821680 T2, Priority date 9 Dec 2004, Priority No. (21) 6982180.6 (30) FI 972727

    Research output: PatentScientific

  66. Published

    Vergleich von CBN- und Al2O Schleifen: Charakterisierung geschliffener Proben durch Röntgendiffraktion

    Santa-aho, S., Vippola, M., Mäkipää, N., Palosaari, M., Send, S. & Dapprich, D., 2019.

    Research output: Other conference contributionPaper, poster or abstractScientific

  67. Published

    Verification Algorithm Group at Tampere University of Technology

    Valmari, A., 1996, In : Tietojenkäsittelytiede. 8, p. 25-38

    Research output: Contribution to journalArticleProfessional

  68. Published

    Verification and Validation of a Pressure Control Unit for Hydraulic Systems

    Boström, P., Heikkilä, M., Huova, M., Waldén, M. & Linjama, M., 2014, 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Springer International Publishing, p. 101-115 15 p. (Lecture Notes in Computer Science; vol. 8785).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  69. Published

    Verification and Validation of ITER Remote handling System Requirment Using Digital Mocks-Ups

    Sibois, R., Salminen, K., Siuko, M. & Mattila, J., 2011, European Nuclear Young Generation Forum, ENYGF 2011, 17.5.-22.5.2011, Praha. Prague: ENYGF, p. 1-4 4 p. (European Nuclear Young Generation Forum ENYGF).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  70. Published

    Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet

    Karsisto, K. & Valmari, A., 1996, In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium Uppsala, Sweden, September 1996 Proceedings. Lecture notes in computer science. Berlin: Springer Verlag, p. 228-245

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  71. Published

    Verification-Friendly Specification of Distributed Systems

    Kellomäki, P., 2000, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Yulin, F. (ed.). Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing, p. 480-483

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  72. Published

    Verification measurements of mechanical downtilt in WCDA

    Niemelä, J., Borkowski, J. & Lempiäinen, J., 2005, Proceedings of Sixth IEE International Conference on 3G & Beyond, 3G 2005, November 7-9, 2005, London, UK. p. 325-329

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  73. Published

    Verification of a 32-bit RISC processor core

    Kasanko, T. & Nurmi, J., 2004, Proceedings of 2004 International Symposium on System-on-Chip Proceedings, 16-18 November 2004, Tampere, Finland. Nurmi, J., Takala, J. & Hämäläinen, T. D. (eds.). p. 107-110 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  74. Published

    Verification of an IP Interface Prototype Design through Simulation and Emulation

    Lahtinen, V., Kuusilinna, K., Hämäläinen, T. & Saarinen, J., 2001, Proceedings of the 5th WSES International Conference on Circuits, Systems, Communications and Computers (CSCC 2001), July 8-15, 2001, Rethymno, Greece. Mastorakis, N. (ed.). p. 4741-4746

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  75. Published

    Verification of an IP Interface Prototype Design through Simulation and Emulation

    Lahtinen, V., Kuusilinna, K., Hämäläinen, T. & Saarinen, J., 2001, Advances in Signal Processing and Computer Technologies. Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks.. Antoniou, G. (ed.). Kreikka: WSES Press, p. 511-516

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  76. Published

    Verification of fluxes for flip chip assembly

    Tuominen, A., Lehtinen, V., Kulojärvi, K. & Kivilahti, J., 1998, In : International journal of microcircuits and electronic packaging. 21, 4, p. 316-321

    Research output: Contribution to journalArticleScientificpeer-review

  77. Published

    Verification of pressure losses in a hydraulic hoses and fittings

    Ijas, M. & Virvalo, T., 2001, The Seventh Scandinavian International Conference on Fluid Power, SICFP´01, Linköping, Sweden, May 30 - June 1, 2001. p. 179-190

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  78. Published

    Verification of railway multibody simulation models

    Loponen, T-R., 12 Jun 2018.

    Research output: Other conference contributionPaper, poster or abstractScientific

  79. Accepted/In press

    Verification of railway vehicle models by stationary eigenmode analysis

    Loponen, T-R., Salmenperä, P. & Nurmikolu, A., 2018, (Accepted/In press) Proceedings of the Fourth International Conference on Railway Technology. Civil-Comp Press

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  80. Published

    Verification of Reactive Systems Using DisCo and PVS

    Kellomäki, P., 1997, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods, Graz, Austria, September 1997. Julkaistu sarjassa: Lecture Notes in Computer Science. Fitzgerald, J., Jones, C. B. & Lucas, P. (eds.). Springer, p. 589-604

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  81. Published

    Verification of safety-critical systems: a case study report on using modern model checking tools

    Jääskeläinen, A., Katara, M., Katz, S. & Virtanen, H., 2012, Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011. Braner, J., Roveri, M. & Tews, H. (eds.). Dresden, Germany: TU Dresden, p. 66-80 (International Workshop on Systems Software Verification).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  82. Published

    Verification of Self-Synchronizing Alternating Bit Protocols with ARA

    Puhakka, A. & Valmari, A., 1997, Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7-8, 1997, Jyväskylä, Finland. Paakki, J. (ed.). Helsinki: Yliopistopaino, p. 167-178

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  83. Published

    Verification of the Behaviour of Reactive Software with CFFD-Semantics and Ara Tools

    Valmari, A. & Savola, R., 1996, Proceedings of an International Symposium 'On- Board-time Software', ESTEC, Noordwijk, 13-15 November 1995. ESA SP-375 ESA SP-375, p. 173-180

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  84. Published

    Verification of the consistency of timing constraints of the orchestration of factory automation web services

    Popescu, C. & Martinez Lastra, J. L., 2007, INDIN 2007, the 5th International Conference on Industrial Informatics, July 23-27, 2007, Vienna, Austria. p. 785-790

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  85. Published

    Verification of the reason for weld cracking

    Tiainen, T. & Huang, H., 1994, Tampere: Tampereen teknillinen korkeakoulu. 19 p. (Tampereen teknillinen korkeakoulu, Materiaaliopin laitos, Raportti; no. 19/1994)

    Research output: Book/ReportCommissioned reportProfessional

  86. Published

    Verification of the Reasons for Weld Cracking in a High Strength Low Alloy Steel Joint

    Tiainen, T. & Huang, H., 1997, In: Book of Proceedings, The ASM International European Conference on Welding and Joining Science and Technology, Madrid, Spain, 10-12 March 1997. p. 608-614

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  87. Published

    Verification with the Undefined: A New Look

    Kangas, A. & Valmari, A., 2003, Proceedings. Eight International Workshop on Formal Methods for Industrial Critical Systems, Roros, Norway, June 5-7, 2003. Arts, T. & Fokkink, W. (eds.). p. 122-137

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  88. Published

    Verifying External Data Memory Interface for H.263 Video DSP with Memory Simulator

    Alakarhu, J., Niittylahti, J., Sihvo, T. & Tanskanen, J., 2000, Proceedings, EUSIPCO 2000, September 4-8, 2000, Tampere, Finland. Gabbouj, M. (ed.). Tampere, p. 275-278

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  89. Published

    Verifying Real-Time Joint Action Specifications Using Timed Automata

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Yulin, F. (ed.). Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing, p. 516-525

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  90. Published

    Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

    Aaltonen, T. & Pitkänen, R., 1999, Tampere: Tampereen teknillinen korkeakoulu. 27 p. (Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti; no. 19)

    Research output: Book/ReportCommissioned reportProfessional

  91. Published

    Verifying the indication method for high-resistance earth faults implemented in centralized protection system

    Nikander, A., Valtari, J., Raipala, O. & Kettunen, E., 2013, 22nd International Conference and Exhibition on Electricity Distribution, CIRED 2013. 615 CP ed. Vol. 2013. 1130

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  92. Published

    Verifying the usefulness of linear model in the design of heavy pneumatic position servo

    Virvalo, T., 1995, Ninth World Congress on the Theory of Machines and Mechanisms, Milano , Italy, August 29-September 2. Milano, p. 1381-1385

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  93. Published

    Verkkolokit tiedon jakamisen välineenä

    Kaikuvuo, I. & Huhtamäki, J., 2006, Carpe Diem - suuntaa huomiseen. Interaktiivinen tekniikka koulutuksessa konferenssi, Aulanko, Hämeenlinna 6.-7.4.2006. Muttonen, J. (ed.). p. 27-28 (Hämeen kesäyliopiston julkaisuja, sarja B).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  94. Published

    Verkko-opetuksen laatu

    Silius, K., Tervakari, A-M., Kalliomäki, E. & Kaunismaa, K., 2005, In : Peda-forum - yliopistopedagoginen tiedotuslehti. 12, 1, p. 7-9

    Research output: Contribution to journalArticleProfessional

  95. Published

    Verkko-opetuksen laatu

    Silius, K., Tervakari, A-M., Kalliomäki, E. & Kaunismaa, K., 2005, Tietoyhteiskunta - Myytit ja todellisuus. Kasvio, A., Inkinen, T. & Liikala, H. (eds.). Tampere, p. 55 - 276

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  96. Published
  97. Verkko-oppimisympäristöjen kehittäminen: miten tasapainoillaan kurssien massatuotannon ja laadukkaamman työelämän tarpeisiin suunnatun oppimisen välillä?

    Kauppi, A., Säntti, R. & Nokelainen, P., 2013, In : Ammattikasvatuksen aikakauskirja. 15, 3, p. 4-10

    Research output: Contribution to journalArticleScientific

  98. Published

    Verkko-oppimisympäristöt itsearvioinnin ja opetussuunnitelmatyön tukena!

    Hautakangas, S., 2002, ITK 2002, Yhdessä uuteen oppimisen toimintakulttuuriin, Interaktiivinen tekniikka koulutuksessa, 17.-19.4.2002, Hämeenlinna. p. 83-84

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  99. Published

    Verkkopalvelun käyttökelpoisuuden arvioiminen -oppimateriaali: Tampereen teknillinen yliopisto

    Tervakari, A-M. & Silius, K., 2005

    Research output: Artistic and non-textual formDigital or Visual ProductsScientific

  100. Published

    Verkkopalvelun sisällöntuotanto -oppimateriaali: Tampereen teknillinen yliopisto

    Tervakari, A-M. & Silius, K., 2005

    Research output: Artistic and non-textual formDigital or Visual ProductsScientific

Download list To download, please limit the number of search results to 1,000 or less.