Searching - TalTech Research Portal

display

sort

4851

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

4852

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

4853

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

4854

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

4855

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

4856

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

4857

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

4858

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

4859

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

4860

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

4861

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

4862

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

4863

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; Kaambre, 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

4864

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

4865

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

4866

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

4867

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

4868

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

4869

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

4870

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

4871

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

4872

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

4873

book article EST / book article ENG

Forward and backward compatibility design techniques applying the HL7 FHIR standardBossenko, Igor; Piho, Gunnar; Ross, PeeterHEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 20222022 / p. 1-14 https://ceur-ws.org/Vol-3264/HEDA22_paper_14.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel

4874

journal article EST / journal article ENG

Forward and backward shifts of vector fields : towards the dual algebraic frameworkMullari, Tanel; Kotta, Ülle; Bartosiewicz, Zbigniew; Pawluszewicz, Ewa; Moog, ClaudeIEEE transactions on automatic control2017 / p. 3029-3033 https://doi.org/10.1109/TAC.2016.2608718 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

4875

journal article EST / journal article ENG

Forward and backward walking : multifactorial characterization of gait parametersDonno, Lucia; Monoli, Cecilia; Frigo, Carlo Albino; Galli, ManuelaSensors2023 / art. 4671 https://doi.org/10.3390/s23104671 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

types of item