Searching - TalTech Research Portal

display

sort

476

journal article EST / journal article ENG

FESDA : fog-enabled secure data aggregation in smart grid IoT networkSaleem, Ahsan; Khan, Abid; Malik, Saif Ur Rehman; Pervaiz, Haris; Malik, Hassan; Alam, Masoom; Jindal, AnishIEEE Internet of Things Journal2020 / p. 6132-6142 https://doi.org/10.1109/JIOT.2019.2957314 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

477

book article EST / book article ENG

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

478

book article EST / book article ENG

FINEST Twins : platform for cross-border smart city solutionsSoe, Ralf-Martindg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 352-357 : ill https://doi.org/10.1145/3085228.3085287 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

479

journal article EST / journal article ENG

Finite determination of accessibility and singular points of nonlinear systems: an algebraic approachSarafrazi, Mohammad Amin; Kotta, Ülle; Bartosiewicz, ZbigniewSystems & control letters2020 / art. 104600, p. 1−7 https://doi.org/10.1016/j.sysconle.2019.104600 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

480

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

481

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

482

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

483

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

484

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

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

485

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

486

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

487

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

488

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

489

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

490

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

491

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

492

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

493

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

494

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

495

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

496

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

497

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

498

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

499

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

500

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

Arvutiteadus (category)

types of item

subject term 1