Searching - TalTech Research Portal

display

sort

6176

newspaper article

Foreign minister: Arctic issues vital concern for Estonia [Online resource]news.err.ee2021 "Foreign minister: Arctic issues vital concern for Estonia"

newspaper article

6177

book article EST / book article ENG

FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2013 / p. 260-265 : ill https://doi.org/10.1007/978-3-642-39611-3_24 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

6178

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

6179

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

6180

book article

ForewordPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 1: The Logical Tracts2021 / p. XV-XVII https://doi.org/10.1515/9783110651423-205

book article

6181

journal article

ForewordMüürsepp, PeeterActa Baltica historiae et philosophiae scientiarum2021 / p. 3-4 https://doi.org/10.11590/abhps.2021.1.00 http://www.bahps.org/acta-baltica https://www.ester.ee/record=b2941458*est

journal article

6182

book article EST / book article ENG

ForewordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

6183

journal article EST / journal article ENG

ForewordÖpik, AndresProceedings of the Estonian Academy of Sciences2015 / p. 69-70 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

6184

journal article EST / journal article ENG

ForewordMets, Ave; Müürsepp, Peeter; Lõhkivi, EndlaActa Baltica Historiae et Philosophiae Scientiarum2024 / p. 3-5 https://doi.org/10.11590/abhps.2024.1.00 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

6185

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 article EST / journal article ENG

6186

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

6187

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

6188

book article

Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf http://icetcs.ru.is/nwpt21/programme.html

book article

6189

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

6190

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

6191

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

6192

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

6193

book article

Formal verification of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 58-61 : ill https://doi.org/10.23658/taltech.nwpt/2019

book article

6194

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

6195

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

6196

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

6197

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

6198

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

6199

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

6200

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

Võrguteavik (availibility)

types of item