Searching - TalTech Research Portal

display

sort

1726

book article EST / book article ENG

Tropical responsive envelopes for urban heat island mitigation in tropical countries: A proposed workflow for integrated environmental digital simulationIrsyad, Naufal Andi; Alkadri, Miktha Farid; De Luca, Francesco; Arif, Muhammad; Heinzelmann, FlorianeCAADe 2023 : Digital Design Reconsidered : Proceedings of the 41st Conference on Education and Research in Computer Aided Architectural Design in Europe ; vol. 2 Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe2023 / p. 249-258 https://doi.org/10.52842/conf.ecaade.2023.2.249 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1727

book article EST / book article ENG

Trust assumptions in voting systemsKrips, Kristjan; Snetkov, Nikita; Vakarjuk, Jelizaveta; Willemson, JanComputer Security : ESORICS 2023 : International Workshops CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI. The Hague, The Netherlands, September 25-29, 2023 : Revised Selected Papers, Part II2024 / p. 309-329 https://doi.org/10.1007/978-3-031-54129-2_18 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

1728

book article EST / book article ENG

Trust in human-robot interaction : the role of appearanceVáňová, VeronikaWhat Social Robots Can and Should Do2016 / p. 357-359 https://doi.org/10.3233/978-1-61499-708-5-357 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1729

book article EST / book article ENG

"Trust me, you will need it" : cybersecurity as extracurricular subject at Estonian schoolsLorenz, Birgy; Kikkas, KaidoHCI for Cybersecurity, Privacy and Trust : Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : proceedings2020 / p. 175-188 https://doi.org/10.1007/978-3-030-50309-3_12 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1730

journal article EST / journal article ENG

A tutorial on dynamics and control of power systems with distributed and renewable energy sources based on the DQ0 transformationLevron, Yoash; Belikov, Juri; Baimel, DmitryApplied sciences2018 / art. 1661, 48 p. : ill https://doi.org/10.3390/app8091661 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1731

book article EST / book article ENG

Two cognitive systems, two implications, and selection tasksBobrova, Angelina; Pietarinen, Ahti-VeikkoSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers2020 / p. 195 - 205 https://doi.org/10.1007/978-3-030-57506-9_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at Scopus Article at WOS

book article EST / book article ENG

1732

book article EST / book article ENG

Two implications and dual-process theories of reasoningBobrova, Angelina; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 239-243 https://doi.org/10.1007/978-3-030-54249-8_19 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

1733

book article EST / book article ENG

Two set-based implementations of quotients in type theoryVeltri, Niccolò14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 194-205 https://ceur-ws.org/Vol-1525/paper-14.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1734

journal article EST / journal article ENG

2D estimation of velocity relative to water and tidal currents based on differential pressure for autonomous underwater vehiclesMeurer, Christian; Fuentes-Perez, Juan Francisco; Schwarzwalder, Kordula; Ludvigsen, Martin; Sorensen, Asgeir Johan; Kruusmaa, MaarjaIEEE robotics and automation letters2020 / p. 3444−3451 https://doi.org/10.1109/LRA.2020.2976318 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1735

book article EST / book article ENG

Two-dimensional knowledge model for learning control and competence mappingKukk, Vello; Umbleja, Kadri; Jaanus, MartinLearning Technology for Education in Cloud : 4th International Workshop, LTEC 2015, Maribor, Slovenia, August 24-28, 2015 : proceedings2015 / p. 16-27 : ill https://doi.org/10.1007/978-3-319-22629-3_2 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1736

journal article EST / journal article ENG

A two-layer elastic strip under transverse impact loading : analytical solution, finite element, and finite volume simulationsAdámek, V.; Berezovski, Arkadi; Mračko, Michal; Kolman, RadekMathematics and computers in simulation2021 / p. 126-140 https://doi.org/10.1016/j.matcom.2020.10.007 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1737

journal article EST / journal article ENG

A Two-layered approach for the validation of an operational autonomous shuttleMalayjerdi, Mohsen; Goss, Quentin A.; Akbas, Mustafa Ilhan; Sell, Raivo; Bellone, MauroIEEE Access2023 / p. 89124−89137 https://doi.org/10.1109/ACCESS.2023.3306602 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Scenario-based validation of safety and performance of an autonomous vehicle by a software in loop simulation method = Autonoomse sõiduki ohutuse ja jõudluse stsenaariumipõhine valideerimine tsüklisimulatsiooni meetodi abil

1738

book article EST / book article ENG

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1739

book article EST / book article ENG

Type-theoretic constructions of the final coalgebra of the finite powerset functorVeltri, Niccolo41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 22:1-22:18 https://doi.org/10.4230/LIPIcs.FSCD.2021.22 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1740

journal article EST / journal article ENG

UAV and SWIPT assisted disaster aware clustering and associationHassan, Ali; Ahmad, Rizwan; Ahmed, Waqas; Magarini, Maurizio; Alam, Muhammad MahtabIEEE Access2020 / p. 204791−204803 https://doi.org/10.1109/ACCESS.2020.3035959 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1741

journal article EST / journal article ENG

Ultra-high step-up DC-DC converters based on center-tapped inductorsTarzamni, Hadi; Vosoughi Kurdkandi, Naser; Gohari, Homayon Soltani; Lehtonen, Matti; Husev, Oleksandr; Blaabjerg, FredeIEEE Access2021 / p. 136373-136383 : ill https://doi.org/10.1109/ACCESS.2021.3117856 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1742

journal article EST / journal article ENG

An ultra-scalable blockchain platform for universal asset tokenization : design and implementationBuldas, Ahto; Draheim, Dirk; Gault, Mike; Laanoja, Risto; Nagumo, Takehiko; Saarepera, Märt; Shah, Syed Attique; Simm, Joosep; Steiner, Jamie; Tammet, Tanel; Truu, AhtoIEEE Access2022 / p. 77284-77322 : ill https://doi.org/10.1109/ACCESS.2022.3192837 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1743

journal article EST / journal article ENG

Uncertainty in automated ontology matching: lessons from an empirical evaluationOsman, Inès; Pileggi, Salvatore Flavio; Ben Yahia, SadokApplied Sciences (Switzerland)2024 / art. 4679, 19 p. : ill https://doi.org/10.3390/app14114679 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1744

book article EST / book article ENG

Understanding MPSoCs : exploiting memory microarchitectural vulnerabilities of high performance NoC-based MPSoCsSepulveda, Johanna; Azad, Siavoosh Payandeh; Niazmand, Behrad; Jervan, GertSAMOS '18 : Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 15-19, 20182018 / p. 162-166 https://doi.org/10.1145/3229631.3239367 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1745

journal article EST / journal article ENG

Understanding multidimensional verification : where functional meets non-functionalLai, Xinhui; Balakrishnan, Aneesh; Lange, Thomas; Jenihhin, Maksim; Ghasempouri, Tara; Raik, Jaan; Alexandrescu, DanMicroprocessors and microsystems2019 / art. 102867, 13 p. : ill https://doi.org/10.1016/j.micpro.2019.102867 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

1746

book article EST / book article ENG

Understanding the potential of telepresence robots in higher education learning : a case studyLeoste, Janika; Talisainen, Aleksei; Pöial, Jaanus; Kangur, Katrin; Kasuk, Tiina; Parts, JoosepAdvances in Information and Communication Proceedings of the 2024 Future of Information and Communication Conference (FICC), Volume 12024 / p. 694-704 https://doi.org/10.1007/978-3-031-53960-2_45 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1747

journal article EST / journal article ENG

Underwater confined space mapping by resource-constrained autonomous vehiclePreston, Victoria; Salumäe, Taavi; Kruusmaa, MaarjaJournal of field robotics2018 / p. 1122-1148 : ill https://doi.org/10.1002/rob.21806 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1748

journal article EST / journal article ENG

Underwater map-based localization using flow featuresMuhammad, Naveed; Toming, Gert; Tuhtan, Jeffrey A.; Musall, Mark; Kruusmaa, MaarjaAutonomous robots2017 / p. 417-436 : ill https://doi.org/10.1007/s10514-016-9558-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1749

book article EST / book article ENG

A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1750

book article EST / book article ENG

A Unique backoff algorithm in IEEE 802.15.6 WBANSaboor, Abdul; Ahmad, Rizwan; Ahmed, Waqas; Alam, Muhammad Mahtab2018 IEEE 88th Vehicular Technology Conference (VTC-Fall) :Chicago, IL, USA27 - 30 August 2018 : proceedings2018 / 5 p. : ill https://doi.org/10.1109/VTCFall.2018.8690812 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Arvutiteadus (category)

types of item

subject term 1