Searching - TalTech Research Portal

display

sort

3501

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

3502

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

Seotud publikatsioonid 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

3503

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

3504

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

Seotud publikatsioonid 1

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

3505

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

3506

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

3507

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

3508

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

Seotud publikatsioonid 1

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

3509

journal article EST / journal article ENG

Formation and characterization of stable TiO2/CuxO-based solar cellsWisz, Grzegorz; Sawicka-Chudy, Paulina; Sibiński, 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

3510

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

3511

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

3512

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

3513

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

3514

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

3515

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

3516

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

3517

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

3518

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

3519

journal article

Forward-based DC-DC converter with eliminated leakage inductance problemMatiushkin, Oleksandr; Husev, Oleksandr; Afshari, Hossein; Romero-Cadaval, Enrique; Roncero-Clemente, CarlosIEEE transactions on industrial electronics2024 https://doi.org/10.1109/TIE.2024.3429626

journal article

3520

journal article EST / journal article ENG

Fossilized reproductive modes reveal a protistan affinity of ChitinozoaLiang, Yan; Hints, Olle; Tang, Peng; Cai, Chenyang; Goldman, Daniel; Nõlvak, Jaak; Tihelka, Erik; Pang, Ke; Bernardo, Joseph; Wang, WenhuiGeology2020 / p. 1200-1204 https://doi.org/10.1130/G47865.1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

3521

journal article EST / journal article ENG

Fostering circular economy approach in extractive industry-related study programs – the CIRCEXTIN projectLutynski, M.; Murphy, M.; Šogenov, Kazbulat; Šogenova, Alla; Wolf, K.-H.; Soleymani Shishvan, M.; Ortega, M.F.; García-Martínez, M.J.; Mora, P.; Mazurek, M.IOP conference series : earth and environmental science2023 / art. 012007, 6 p. : ill https://doi.org/10.1088/1755-1315/1132/1/012007 Conference proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

3522

journal article

Fostering firefighter well-being : longitudinal study about mental and physical health factors in Estonia’s fire serviceReinhold, Karin; Järvis, MarinaOccupational medicine2024 / art. 23631 https://doi.org/10.1093/occmed/kqae023.1146

journal article

3523

book article

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

book article

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

3524

book article

Foundational concepts for BIMSacks, Rafael; Pikas, ErgoBIM Teaching and Learning Handbook : Implementation for Students and Educators2021 / p. 5-22 : ill https://doi.org/10.1201/9780367855192

book article

3525

journal article EST / journal article ENG

4.9 % efficient Sb2S3 solar cells from semi-transparent absorbers with fluorene-based thiophene terminated hole conductorsMandati, Sreekanth; Juneja, Nimish; Katerski, Atanas; Jegorove, Aiste; Grzibovskis, Raitis; Vembris, Aivars; Dedova, Tatjana; Spalatu, Nicolae; Magomedov, Artiom; Karazhanov, Smagul; Getautis, Vytautas; Krunks, Malle; Oja Acik, IlonaACS Applied Energy Materials2023 / p. 3822–3833 https://doi.org/10.1021/acsaem.2c04097 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

types of item