Searching - TalTech Research Portal

display

sort

1651

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

1652

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

1653

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

1654

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

1655

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

1656

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

1657

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

1658

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

1659

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

1660

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

1661

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

1662

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

1663

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

1664

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

1665

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

1666

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

1667

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

1668

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

1669

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

1670

journal article EST / journal article ENG

Untangling the mystery of absorptive capacity: A process or a set of success factors?Stulova, Valeria; Rungi, MaitJournal of high technology management research2017 / p. 110-123 : ill https://doi.org/10.1016/j.hitech.2017.04.008 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1671

journal article EST / journal article ENG

The unwanted paradoxes of the right to be forgottenVardanyan, Lusine; Kocharyan, Hovsep; Hamulak, Ondrej; Mesarčik, Matuš; Kerikmäe, Tanel; Kookmaa, TeaMasaryk University journal of law and technology2023 / p. 87-109 https://doi.org/10.5817/MUJLT2023-1-3 https://journals.muni.cz/mujlt/article/view/21127 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1672

book article EST / book article ENG

Update monads: Cointerpreting directed containersAhman, Danel; Uustalu, Tarmo19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 1-23 : ill https://doi.org/10.4230/LIPIcs.TYPES.2013.1 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

1673

book article EST / book article ENG

Updated curriculum for engineering pedagogical continuing in-service educationRüütmann, Tiia; Annus, Ivar; Kübarsepp, Jakob; Läänemets, Urve; Umborg, JaakMobility for Smart Cities and Regional Development - Challenges for Higher Education : proceedings of the 24th International Conference on Interactive Collaborative Learning (ICL2021), Volume 22022 / p. 556-567 https://doi.org/10.1007/978-3-030-93907-6_59 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1674

journal article EST / journal article ENG

Urban open platform for borderless smart citiesSoe, Ralf-Martin; Ruohomäki, Timo; Patzig, HenryApplied sciences2022 / art. 700 https://doi.org/10.3390/app12020700 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1675

book article EST / book article ENG

Urban Shaderade. Building space analysis method for energy and sunlight consideration in urban environmentsDe Luca, Francesco; Sepulveda Luque, AbelComputer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries. CAAD Futures 2023 : 20th International Conference, Delft, The Netherlands, July 5–7, 2023 : Selected Papers2023 / p. 317-332 https://doi.org/10.1007/978-3-031-37189-9_21 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Arvutiteadus (category)

types of item

subject term 1