Searching - TalTech Research Portal

display

sort

5026

journal article EST / journal article ENG

Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from EstoniaJärvis, Marina; Virovere, Anu; Tint, PiiaProceedings of the Latvian Academy of Sciences. Section B, Natural, exact, and applied sciences2016 / p. 269-277 : ill https://doi.org/10.1515/prolas-2016-0042 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

5027

journal article EST / journal article ENG

A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

5028

book article

Formal synthesis of 9,11-SecosterolsRõuk, Kristi; Kõllo, Marek; Lopp, MargusBalticum Organicum Syntheticum (BOS 2024) : Book of Abstracts2024 / art. 115, p. 134 https://boschem.eu/bos2024/wp-content/uploads/sites/5/2024/07/BOS2024_Abstract-Book.pdf

book article

5029

book article EST / book article ENG

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

5030

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5031

journal article EST / journal article ENG

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

5032

book article EST / book article ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

5033

journal article EST / journal article ENG

Formation and characterization of stable TiO2/CuxO-based solar cellsWisz, Grzegorz; Sawicka-Chudy, Paulina; Sibinski, Maciej; Yavorskyi, Rostyslav; Łabuz, Mirosław; Płoch, Dariusz; Bester, MariuszMaterials2023 / art. 5683, 15 p. : ill https://doi.org/10.3390/ma16165683 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5034

journal article EST / journal article ENG

Formation and trapping of the thermodynamically unfavoured inverted-hemicucurbit[6]urilPrigorchenko, Elena; Kaabel, Sandra; Narva, Triin; Baškir, Anastassia; Fomitšenko, Maria; Adamson, Jasper; Järving, Ivar; Rissanen, Kari; Tamm, Toomas; Aav, RiinaChemical communications2019 / p. 9307−9310 : ill https://doi.org/10.1039/C9CC04990H Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5035

journal article EST / journal article ENG

Formation mechanisms of Stalinist oil-shale mining and industrial towns in East Estonia: Soviet nuclear needs and local ambitionsSultson, SiimJournal of Urban History2021 / p. 584-605 https://doi.org/10.1177/0096144219888506 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5036

book article EST / book article ENG

Formation number of vortex ringsDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiVortex Ring Models2021 / p. 121-139 https://doi.org/10.1007/978-3-030-68150-0_6 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

5037

journal article EST / journal article ENG

Formation of [4Fe-4S] clusters in the mitochondrial iron−sulfur cluster assembly machineryBrancaccio, Diego; Zovo, Kairit; Palumaa, PeepJournal of the American Chemical Society2014 / p. 16240-16250 : ill https://doi.org/10.1021/ja507822j Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5038

journal article EST / journal article ENG

Formation of Ca-Zn-Na phosphate bioceramic material in thermal processing of EDTA sol-gel precursorBogdanoviciene, Irma; Cepenko, Marina; Traksmaa, Rainer; Kareiva, Aivaras; Tõnsuaadu, KaiaJournal of Thermal Analysis and Calorimetry2015 / p. 107-114 : ill https://doi.org/10.1007/s10973-015-4507-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5039

journal article EST / journal article ENG

Formation of Cu2ZnSnS4 absorber layers for solar cells by electrodeposition-annealing routeIljina, Julia; Zhang, R.; Ganchev, Maxim; Raadik, Taavi; Volobujeva, Olga; Altosaar, Mare; Traksmaa, Rainer; Mellikov, EnnThin Solid Films2013 / p. 85 - 89 https://doi.org/10.1016/j.tsf.2013.04.038 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5040

journal article EST / journal article ENG

Formation of fine Mg2Si phase in Mg–Si alloy via solid-state sintering using high energy ball millingSeth, Prem Prakash; Singh, Neera; Singh, Manoj; Prakash, Om; Kumar, DevendraJournal of alloys and compounds2020 / art. 153205, 10 p. : ill https://doi.org/10.1016/j.jallcom.2019.153205 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5041

journal article EST / journal article ENG

Formation of highly organized intracellular structure and energy metabolism in cardiac muscle cells during postnatal development of rat heartAnmann, Tiia; Varikmaa, Minna; Timohhina, Natalja; Tepp, Kersti; Shevchuk, Igor; Chekulayev, Vladimir; Saks, Valdur; Käämbre, TuuliBiochimica et biophysica acta - Bioenergetics2014 / p. 1350-1361 : ill https://doi.org/10.1016/j.bbabio.2014.03.015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5042

journal article EST / journal article ENG

Formation of property gradient in coarse-grained niobium using a wedge tool : experiment and analysisTarasov, Oleksandr; Kübarsepp, Jakob; Viljus, Mart; Saarna, Mart; Sergejev, FjodorInternational journal of refractory metals and hard materials2024 / art. 106905 https://doi.org/10.1016/j.ijrmhm.2024.106905 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5043

journal article EST / journal article ENG

Formation of the abundance of microfungi on the barley grain grown as pure and mixed crops in Central and North EstoniaAkk, Elina; Lõiveke, Heino; Edesi, Liina; Kütt, Mary-Liis; Lauringson, Enn; Kastanje, VeikoEstonian journal of ecology2013 / lk. 265-275 : ill https://artiklid.elnet.ee/record=b2651620*est https://doi.org/10.3176/eco.2013.4.03 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

5044

journal article EST / journal article ENG

Formation of uniform PVDF fibers under ultrasound exposure in presence of anionic surfactantTarasova, Elvira; Tamberg, K.-G.; Viirsalu, Mihkel; Savest, Natalja; Gudkova, Viktoria; Krasnou, Illia; Krumme, AndresJournal of electrostatics2015 / p. 39-47 : ill https://doi.org/10.1016/j.elstat.2015.05.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5045

journal article EST / journal article ENG

Forming ability of the WC-based ceramic metal composites with different Fe-based binders by unique laser beam modulationMaurya, Himanshu Singh; Juhani, Kristjan; Sergejev, Fjodor; Kumar Yadav, Mayank; Hussain, Abrar; Prashanth, Konda GokuldossNext Materials2025 / art. 100524 https://doi.org/10.1016/j.nxmate.2025.100524

journal article EST / journal article ENG

5046

book article EST / book article ENG

Formula student: Assessing the future of the established student-led engineering competitionShakya, Shobhit; Dohnalova, Ludmila; Cuevas Garcia, Carlos; Karo, Erkki; Mottl, PatrikFutureproofing Engineering Education for Global Responsibility : Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL 2024) ; vol. 32025 / p. 387-397 https://doi.org/10.1007/978-3-031-83523-0_36

book article EST / book article ENG

5047

journal article EST / journal article ENG

Formulation and aerosol jet printing of nickel nanoparticle ink for high-temperature microelectronic applications and patterned graphene growthMcKibben, Nicholas; Curtis, Michael; Maryon, Olivia; Sawyer, Mone't; Lazouskaya, Maryna; Eixenberger, Josh; Deng, Zhangxian; Estrada, DavidACS Applied Electronic Materials2024 / p. 748 - 760 https://doi.org/10.1021/acsaelm.3c01175 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5048

journal article EST / journal article ENG

Formulation of active food packaging by design: Linking composition of the film-forming solution to properties of the chitosan-based film by response surface methodology (RSM) modellingBajić, Marijan; Oberlintner, Ana; Kõrge, Kristi; Likozar, Blaž; Novak, UrošInternational Journal of Biological Macromolecules2020 / p. 971 - 978 https://doi.org/10.1016/j.ijbiomac.2020.05.186 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5049

book article

The forthcoming Baltic Sea Chart Datum 2000 – how harmonized height reference benefits sustainabilitySchwabe, Joachim; Ågren, Jonas; Liebsch, Gunter; Varbla, Sander; Ellmann, Artu; Teitsson, Hergeir; Forsberg, Rene; Strykowski, Gabriel; Bilker-Koivula, Mirjam; Westfeld, PatrickXXVIII General Assembly of the International Union of Geodesy and Geophysics (IUGG)2023 https://doi.org/10.57757/IUGG23-2441

book article

5050

book article EST / book article ENG

FORTUNE: A Negative Memory Overhead Hardware-Agnostic Fault TOleRance TechniqUe in DNNsNazari, Samira; Taheri, Mahdi; Azarpeyvand, Ali; Afsharchi, Mohsen; Ghasempouri, Tara; Herglotz, Christian; Daneshtalab, Masoud; Jenihhin, Maksim2024 IEEE 33rd Asian Test Symposium (ATS)2024 / p. 1-6 : ill https://doi.org//10.1109/ATS64447.2024.10915463 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Methods for reliability assessment and enhancement of deep neural networks hardware accelerators = Süvanärvivõrkude riistvara kiirendite töökindluse hindamine ja täiustamine

types of item