Searching - TalTech Research Portal

display

sort

1726

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

1727

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

1728

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

1729

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

1730

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

1731

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

1732

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

1733

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

1734

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

1735

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

1736

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

1737

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

1738

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

1739

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

1740

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

1741

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

1742

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

1743

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

1744

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

1745

journal article EST / journal article ENG

Unique determination of a planar screen in electromagnetic inverse scatteringOla, Petri; Päivärinta, Lassi Juhani; Sadique, SadiaMathematics2023 / art. 4655 https://doi.org/10.3390/math11224655 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Inverse scattering of acoustic and electromagnetic waves from flat screens and properties of integral transforms on a half axis = Akustiliste ja elektromagnetlainete pöördhajumine lameekraanilt ja integraalteisenduste omadused poolteljel

1746

journal article EST / journal article ENG

Unique determination of the shape of a scattering screen from a passive measurementBlasten, Emilia; Päivärinta, Lassi Juhani; Sadique, SadiaMathematics2020 / art. 1156, 15 p https://doi.org/10.3390/math8071156 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Inverse scattering of acoustic and electromagnetic waves from flat screens and properties of integral transforms on a half axis = Akustiliste ja elektromagnetlainete pöördhajumine lameekraanilt ja integraalteisenduste omadused poolteljel

1747

book article EST / book article ENG

University ecosystem for student startups : a 'platform of trust' perspectiveAinamo, Antti; Pikas, Ergo; Mikkelä, K.Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 22021 / p. 269–276 https://doi.org/10.1007/978-3-030-68201-9_28 https://acris.aalto.fi/ws/portalfiles/portal/86345674/ENG_Ainamo_et_al_University_ecosystem_for_student_startups_ICL2020.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1748

journal article EST / journal article ENG

Unpacking algorithms as technologies of power : Syrian refugees and data experts on algorithmic governanceKasapoglu, Tayfun; Masso, Anu; Calzati, StefanoDigital Geography and Society2021 / art. 100016 https://doi.org/10.1016/j.diggeo.2021.100016 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1749

book article EST / book article ENG

Unraveling the social-technical complexity of dashboards for transformationLemke, Florian; Janssen, Marijn; Draheim, DirkElectronic Governance and Open Society: Challenges in Eurasia : 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24–25, 2021 : proceedings2022 / p. 21-34 https://doi.org/10.1007/978-3-031-04238-6_3 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1750

book article EST / book article ENG

Unsatisfiability of comparison-based non-malleability for commitmentsFirsov, Denis; Laur, Sven; Zhuchko, EkaterinaTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 188–194 https://doi.org/10.1007/978-3-031-17715-6_13 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

Arvutiteadus (category)

types of item

subject term 1