Searching - TalTech Research Portal

display

sort

626

journal article EST / journal article ENG

Finite element modelling for the optimization of microheating in disposable molecular diagnosticsPardy, Tamas; Rang, Toomas; Tulp, IndrekInternational journal of computational methods and experimental measurements2017 / p. 13-22 : ill https://doi.org/10.2495/CMEM-V5-N1-13-22 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

627

journal article EST / journal article ENG

Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

628

book article EST / book article ENG

First order logic and commonsense reasoning : a path less travelledTammet, Tanel; Draheim, Dirk; Järv, Priit; Verrev, MartinICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 20222022 / art. 182197 https://ceur-ws.org/Vol-3193/short5GDE.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

629

journal article EST / journal article ENG

First principles simulations of phenol and methanol detector based on pristine graphene nanosheet and armchair graphene nanoribbonsRashid, Muhammad Haroon; Koel, Ants; Rang, ToomasSensors2019 / art. 2731, 14 p. : ill https://doi.org/10.3390/s19122731 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

630

journal article EST / journal article ENG

5G as an enabler of connected-and-automated mobility in European cross-border corridors — a market assessmentRizopoulos, Dimitrios; Laskari, Marina; Kouloumbis, Gerasimos; Fergadiotou, Ioanna; Durkin, Patrick; Kõrbe Kaare, Kati; Alam, Muhammad MahtabSustainability2022 / art. 14411 https://doi.org/10.3390/su142114411 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

631

journal article EST / journal article ENG

Fixed-order stabilising controller design by a mixed randomised/deterministic methodNurges, Ülo; Avanessov, SergeiInternational journal of control2015 / p. 335-346 https://doi.org/10.1080/00207179.2014.953208 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

632

journal article EST / journal article ENG

A flapped paddle-fin for improving underwater propulsive efficiency of oscillatory actuationSimha, Ashutosh; Gkliva, Roza; Kotta, Ülle; Kruusmaa, MaarjaIEEE robotics and automation letters2020 / p. 3176-3181 https://doi.org/10.1109/LRA.2020.2975747 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Novel mechanisms of robot locomotion : variable stiﬀness actuators for underwater and multi-phase environments = Robotite uudsed liikumismehhanismid : muutuva jäikusega täiturid veealustes ja mitmefaasilistes keskkondades

633

journal article EST / journal article ENG

Flatness based control of a HVAC systemKaldmäe, Arvo; Kotta, ÜlleInformation technology and control2017 / p. 499-507 : ill https://doi.org/10.5755/j01.itc.46.4.17697 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

634

journal article EST / journal article ENG

A flexible enhanced throughput and reduced overhead (FETRO) MAC protocol for ETSI SmartBANKhan, Rida; Alam, Muhammad Mahtab; Guizani, MohsenIEEE Transactions on Mobile Computing2022 / p. 2671-2686 : ill https://doi.org/10.1109/TMC.2020.3047596 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

635

journal article EST / journal article ENG

Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

636

book article EST / book article ENG

Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS

book article EST / book article ENG

637

journal article EST / journal article ENG

FLHex: a flapped-paddle hexapod for all-terrain amphibious locomotionBurzynski, Piotr; Simha, Ashutosh; Kotta, Ülle; Pawluszewicz, Ewa; Sastry, ShivakumarBulletin of the Polish Academy of Sciences Technical Sciences2021 / art. e139007, 9 p. : ill https://doi.org/10.24425/bpasts.2021.139007 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

638

book article EST / book article ENG

Floor selection proposal for automated travel with smart elevatorReinsalu, Uljana; Robal, Tarmo; Leier, MairoDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 https://doi.org/10.1007/978-3-030-57672-1_4 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

639

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

640

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

641

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

642

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

643

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

644

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

645

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

646

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

647

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

648

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

649

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

650

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

Arvutiteadus (category)

types of item

subject term 1