Otsing - TalTech teadusportaal

kuva

reasta

113501

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

113502

raamat

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

raamat

113503

dissertatsioon

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

dissertatsioon

113504

artikkel kogumikus

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

artikkel kogumikus

113505

artikkel kogumikus

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

artikkel kogumikus

113506

artikkel kogumikus

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

artikkel kogumikus

113507

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

113508

artikkel kogumikus

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

artikkel kogumikus

113509

artikkel kogumikus

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

artikkel kogumikus

113510

artikkel kogumikus

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

artikkel kogumikus

113511

artikkel kogumikus

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

artikkel kogumikus

113512

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

113513

artikkel kogumikus

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

artikkel kogumikus

113514

artikkel kogumikus

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

artikkel kogumikus

113515

artikkel kogumikus

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

artikkel kogumikus

113516

artikkel kogumikus

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

artikkel kogumikus

113517

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

113518

artikkel kogumikus

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

artikkel kogumikus

113519

artikkel kogumikus

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]

artikkel kogumikus

113520

artikkel kogumikus

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

artikkel kogumikus

113521

artikkel ajalehes

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

artikkel ajalehes

113522

artikkel ajalehes

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

artikkel ajalehes

113523

artikkel ajalehes

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

artikkel ajalehes

113524

artikkel ajakirjas

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

artikkel ajakirjas

113525

artikkel ajakirjas

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

artikkel ajakirjas

teaviku laadid