Searching - TalTech Research Portal

display

sort

5326

book article EST / book article ENG

Forensics analysis of an on-line game over Steam PlatformTabuyo-Benito, Raquel; Bahsi, Hayretdin; Peris-Lopez, PedroDigital Forensics and Cyber Crime : 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings2019 / p. 106-127 https://doi.org/10.1007/978-3-030-05487-8_6 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

5327

book article

Forestry crane immersive user interface for control and teleoperationPizzagalli, Simone Luca; Bondarenko, Yevhen; Baykara, Baris Cem; Niidas, Alar; Kuts, Vladimir; Kerm, Margus; Otto, TaunoProceedings of ASME 2022 International Mechanical Engineering Congress and Exposition (IMECE2022), 2B: Columbus, Ohio, USA, October 30 - November 3, 20222022 / art. IMECE2022-94975 https://doi.org/10.1115/IMECE2022-94975

book article

Related publications 1

Extended Reality for I5.0 : towards human centricity in human-robot interaction = Laiendatud reaalsus Tööstus 5.0 jaoks : inimesekeskse lähenemiseni inimese-roboti suhtluses

5328

journal article EST / journal article ENG

Foreword. The Baltic WayRamiro Troitino, DavidPasado y Memoria2025 / p. 1-8 https://doi.org/10.14198/pasado.28896 https://rua.ua.es/server/api/core/bitstreams/2b4d3585-689e-4fc9-b30a-6aa5dd9bbf86/content Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5329

journal article EST / journal article ENG

Forging sustainable transitions : a systematic literature review on sustainable entrepreneurial ecosystemsHarima, Aki; Demiankova, Ekaterina; Akter, RuzlinIndustry and innovation2026 / 34 p https://doi.org/10.1080/13662716.2026.2626974 https://www.tandfonline.com/doi/citedby/10.1080/13662716.2026.2626974?scroll=top&needAccess=true https://www.scopus.com/pages/publications/105030684868

journal article EST / journal article ENG

5330

journal article EST / journal article ENG

Forkhead transcription factor FOXO3a levels are increased in Huntington disease because of overactivated positive autofeedback loopKannike, Kaja; Sepp, Mari; Zuccato, Chiara; Cattaneo, Elena; Timmusk, TõnisJournal of biological chemistry2014 / p. 32845-32857 : ill https://doi.org/10.1074/jbc.M114.612424 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5331

journal article EST / journal article ENG

Formal and informal macro-regional transport clusters as a primary step in the design and implementation of cluster-based strategiesNežerenko, Olga; Koppel, OttTransport and telecommunication2015 / p. 207-216 : ill https://doi.org/10.1515/ttj-2015-0019 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

5332

journal article EST / journal article ENG

Formal methods based security for cloud-based manufacturing cyber physical systemMuniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadhavan, M.IFAC-PapersOnLine2019 / p. 1198-1203 https://doi.org/10.1016/j.ifacol.2019.11.361 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

5333

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

5334

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

5335

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

5336

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

5337

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

5338

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

5339

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

5340

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

5341

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

5342

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

5343

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

5344

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

5345

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

5346

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

5347

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

5348

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

5349

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

5350

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

types of item