Searching - TalTech Research Portal

display

sort

726

book article EST / book article ENG

Flow aided path following of an underwater robotJung, David S.; Pott, Peter P.; Salumäe, Taavi; Kruusmaa, Maarja2013 IEEE International Conference on Robotics and Automation (ICRA) : Karlsruhe, Germany, May 6-10, 20132013 / p. 4602-4607 : ill https://doi.org/10.1109/ICRA.2013.6631231 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

727

book article EST / book article ENG

Flow feature extraction for underwater robot localization : preliminary resultsMuhammad, Naveed; Strokina, Nataliya; Toming, Gert; Tuhtan, Jeffrey Andrew; Kämäräinen, Joni-Kristian; Kruusmaa, Maarja2015 IEEE International Conference on Robotics and Automation (ICRA) : Washington State Convention Center, Seattle, Washington, May 26-30, 20152015 / p. 1125-1130 : ill https://doi.org/10.1109/ICRA.2015.7139317 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

728

journal article EST / journal article ENG

Flow velocity estimation using a fish-shaped lateral line probe with product-moment correlation features and a neural networkTuhtan, Jeffrey Andrew; Fuentes-Pérez, Juan Francisco; Toming, Gert; Kruusmaa, MaarjaFlow measurement and instrumentation2017 / p. 1-8 : ill https://doi.org/10.1016/j.flowmeasinst.2016.10.017 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

729

journal article EST / journal article ENG

Food recognition and food waste estimation using convolutional neural networkLubura, Jelena; Pezo, Lato; Sandu, Mirela Alina; Voronova, Viktoria; Donsi, Francesco; Šic Žlabur, Jana; Ribic, Bojan; Peter, Anamarija; Šuric, Jona; Brandic, Ivan; Klõga, MarijaElectronics2022 / art. 3745 https://doi.org/10.3390/electronics11223746 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

730

book article EST / book article ENG

Forecast-Driven and Scenario-Based Building Energy Management Using a Stochastic Optimization ApproachNourollahi Hokmabad, Hossein; Hemmati Shahsavar, Tala; Vergara, Pedro P.; Husev, Oleksandr; Belikov, Juri2025 IEEE 19th International Conference on Control & Automation (ICCA)2025 / p. 885-891 : ill https://doi.org/10.1109/ICCA65672.2025.11129822 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Energy management system for single-cell three-phase energy router in residential applications = Energiahaldussüsteem üheelemendilisele kolmefaasilisele energiaruuterile elamutes

731

journal article EST / journal article ENG

Forecasting of absolute dynamic topography using deep learning algorithm with application to the Baltic SeaRajabi Kiasari, Saeed; Delpeche-Ellmann, Nicole Camille; Ellmann, ArtuComputers & geosciences2023 / art. 105406, 16 p. : ill https://doi.org/10.1016/j.cageo.2023.105406 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Development of Machine Learning Approaches for Geoid-referred Sea Level Forecasting = Masinõppe meetodite väljatöötamine geoidi suhtes määratletava merepinna taseme prognoosimiseks

732

journal article EST / journal article ENG

Forecasting of wind speed and power through FFNN and CFNN using HPSOBA and MHPSO-BAACs techniquesEllahi, Manzoor; Usman, Muhammad Rehan; Arif, Waqas; Usman, Hafiz Fuad; Khan, Waheed A.; Satrya, Gandeva Bayu; Daniel, Kamran; Shabbir, NomanElectronics2022 / art. 4193 https://doi.org/10.3390/electronics11244193 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

733

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

734

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

735

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

736

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

737

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

738

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

739

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

740

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

741

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

742

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 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

743

journal article EST / journal article ENG

FORTALESA: Fault-tolerant reconfigurable systolic array for DNN inferenceCherezova, Natalia; Jutman, Artur; Jenihhin, MaksimMicroprocessors and Microsystems2025 / art. 105222 https://doi.org/10.1016/j.micpro.2025.105222 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

744

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

745

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

746

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

747

book article EST / book article ENG

Forward Proof Search for Intuitionistic Multimodal K LogicsVoorneveld, Niels Frits WillemAutomated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings2025 / p. 335–353 https://doi.org/10.1007/978-3-032-06085-3_18 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

748

journal article EST / journal article ENG

Fractional Fourier transform-based signal separation for ultrasonic guided wave inspection of platesPeng, Chengxiang; Annus, Paul; Rist, Marek; Land, Raul; Ratassepp, MadisSensors2024 / art. 7564 https://doi.org/10.3390/s24237564 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

749

journal article EST / journal article ENG

Fractional order sliding mode controller based on supervised machine learning techniques for speed control of PMSMZahraoui, Younes; Zaihidee, Fardila M.; Kermadi, Mostefa; Mekhilef, Saad; Mubin, Marizan; Tang, Jing Rui; Zaihidee, Ezrinda M.Mathematics2023 / art. 1457 https://doi.org/10.3390/math11061457 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

750

journal article EST / journal article ENG

Fractional-order modeling and control of ionic polymer-metal composite actuatorTepljakov, Aleksei; Vunder, Veiko; Petlenkov, Eduard; Nakshatharan, S Sunjai; Punning, Andres; Kaparin, Vadim; Belikov, Juri; Aabloo, AlvoSmart materials and structures2019 / 12 p. : ill https://doi.org/10.1088/1361-665X/ab2c75 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Arvutiteadus (category)

types of item

subject term 1