Searching - TalTech Research Portal

display

sort

113501

book article EST / book article ENG

Verifiability experiences in government online voting systemsPuiggali, Jordi; Cucurull, Jordi; Guasch, Sandra; Krimmer, Robert JohannesElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 248-263 : ill https://doi.org/10.1007/978-3-319-68687-5_15 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

113502

book

Verification and error correction on High-Level Decision DiagramsKarputkin, Anton2013

book

113503

dissertation

Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]Dušina, Julia1999

dissertation

113504

book article

Verification of a wind farm aggregated generic dynamic model based on a real fault ride-through test in the gridTšernobrovkin, Oleg; Perdana, Abram; Palu, Ivo; Kilter, JakoProceedings of 5th Nordic Wind Power Conference 20092009 / [6] p https://research.chalmers.se/en/publication/97817

book article

113505

book article

Verification of current sensorless control for single-phase NPC multilevel inverterSuzdalenko, Alexander; Zakis, Janis; Steiks, Ingars; Chaiko, Yelena2015 9th International Conference on Compatibility and Power Electronics (CPE) : proceedings : Faculty of Science and Technology (FCT), Caparica, Lisbon, Portugal, 24-26 June, 20152015 / p. 462-466 : ill http://dx.doi.org/10.1109/CPE.2015.7231119

book article

113506

book article

Verification of machine learning modelling strategy in microgrid simulationsHäring, Tobias20th International Symposium "Topical problems in the field of electrical and power engineering. Doctoral school of energy and geotechnology. III" : Tallinn, Estonia, September 8-10, 20212021 / p. 79-80 : ill https://www.ester.ee/record=b5457278*est

book article

113507

journal article EST / journal article ENG

Verification of modelled locations of coastal areas exposed to current-driven pollution in the Gulf of Finland by using surface driftersViikmäe, Bert; Torsvik, Tomas; Soomere, TarmoProceedings of the Estonian Academy of Sciences2015 / p. 405-416 : ill https://artiklid.elnet.ee/record=b2740578*est https://doi.org/10.3176/proc.2015.3S.11 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

113508

book article

Verification of multi-phase flow model and identification of sliding grid technologies for CFD simulation in stirred tankSha, Zuo-Liang; Yang, Guang-Yu; Louhi-Kultanen, Marjatta; Kallas, JuhaACFD 2000 Beijing : International Conference on Applied Computational Fluid Dynamics : October 17-20, 2000, Beijing, China : selected papers2000 / p. 118-124 : ill

book article

113509

book article

Verification of new 1000 [degree] C tester designed for investigation of wear-corrosion properties of advanced materials for high temperature applicationsAntonov, Maksim; Hussainova, Irina; Kimmari, Eduard; Juhani, KristjanProceedings of the 6th International Conference of DAAAM Baltic "Industrial Engineering" : 24-26th April 2008, Tallinn, Estonia. [2]2008 / p. 395-399 : ill http://innomet.ttu.ee/daaam08/online/Materials%20Engineering/Antonov.pdf

book article

113510

book article

Verification of performance of commercial LCR metersSatrapinski, Alexandre; Kübarsepp, Toomas; Märtens, OlevConference on Precision Electromagnetic Measurements, DCC, Daejeon, Korea2010 https://ieeexplore.ieee.org/document/5545242

book article

113511

book article

Verification of the test qualityMatrosova, Anjela; Bochun, TatianaBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 307-310: ill

book article

113512

journal article EST / journal article ENG

Verification of utility-scale solar photovoltaic plant models for dynamic studies of transmission networksMachlev, Ram; Batushansky, Zohar; Soni, Sachin; Chadliev, Vladimir; Belikov, Juri; Levron, YoashEnergies2020 / art. 3191, 20 p. : ill https://doi.org/10.3390/en13123191 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

113513

book article

Verification of wind parks and their integration into small-interconnected power systemsKilter, Jako; Landsberg, Mart; Palu, Ivo; Tšernobrovkin, OlegIEEE PowerTech 2009 Conference : Bucharest, 28.06-02.07.20092009 / ? p

book article

113514

book article

Verification, testing and validation of rule-based expert systemsTepandi, JaakPreprints 11th IFAC World Congress "Automatic Control in the Service of Mankind" : Tallinn, Estonia, USSR, August 13-17, 1990. Vol. 71990 / p. 162-167

book article

113515

book article

Verified multiple-time signature scheme from one-time signatures and timestampingFirsov, Denis; Lakk, Henri; Truu, Ahto2021 IEEE 34th Computer Security Foundations Symposium (CSF)2021 / 13 p https://doi.org/10.1109/CSF51468.2021.00051

book article

113516

book article

Verified security of BLT signature schemeFirsov, Denis; Buldas, Ahto; Truu, Ahto; Laanoja, RistoCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 244-257 https://doi.org/10.1145/3372885.3373828

book article

113517

journal article EST / journal article ENG

Verifying cache architecture vulnerabilities using a formal security verification flowGhasempouri, Tara; Raik, Jaan; Paul, Kolin; Reinbrecht, Cezar; Hamdioui, Said; Taouil, MottaqiallahMicroelectronics reliability2021 / art. 114085 https://doi.org/10.1016/j.microrel.2021.114085 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

113518

book article

Verifying empirical correlations of superelliptic particle lift and drag characteristica using CFDRosendahl, L.; Kaer, S.K.; Condra, T.Tenth Nordic Seminar on Computational Mechanics, Tallinn Technical University, October 24-25, 19971997 / p. 247-250: ill

book article

113519

book article

Verifying hydrodynamic levelling results through improved land uplift rates in West-Estonian archipelago [Electronic resource]Liibusk, Aive; Ellmann, Artu; Kall, Tarmo; Jürgenson, Harli; Kollo, KarinInternational Workshop : Sea-Level and Adjustment of the Land Observations, and Models (SLALOM 2012) in Athens, Greece, March 19-22, 2012 : abstract book2012 / p. 32 [CD-ROM]

book article

113520

book article

Verifying response times in networked automation systems using jitter boundsSrinivasan, Seshadhri; Vain, JüriIEEE 25th International Symposium on Software Reliability Engineering Workshops : ISSREW 2014 : 3-6 November 2014, Naples, Italy : proceedings2014 / p. 47-50 : ill

book article

113521

newspaper article

Verine traditsioon TTÜ rahvatantsuansamblis Kuljus : [doonorlusest]Studioosus2008 / jaan., lk. 5 https://www.ester.ee/record=b1558644*est

newspaper article

113522

newspaper article

Veristest tapatöödest ehk "Mõrvad Rue Morgue`il"Juchnewitsch, Anna-GreteStudioosus2019 / lk. 26-27 https://www.ester.ee/record=b1558644*est

newspaper article

113523

newspaper article

Vermikompost pakub klassikalistele väetistele alternatiiviVaaks, Eveliispostimees.ee2023 Vermikompost pakub klassikalistele väetistele alternatiivi

newspaper article

113524

journal article

Werner Kikas - 80Laur, ToomasOil shale1997 / p. 185

journal article

113525

journal article

Werner Kikas - 80 JahreLaur, ToomasZKG International : Zement, Kalk, Gips1997 / S. A12: Ill

journal article

types of item