Searching - TalTech Research Portal

display

sort

3276

book article EST / book article ENG

Two set-based implementations of quotients in type theoryVeltri, Niccolo14th 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

3277

journal article EST / journal article ENG

2D computational-numerical hardness comparison between fe-based hardfaces with WC-Co reinforcements for integral-differential modelling
Casesnoves, FranciscoKey engineering materials2018 / p. 330 - 338 https://doi.org/10.4028/www.scientific.net/KEM.762.330 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

3278

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

3279

book article

A two-phase metamorphic approach for testing industrial control systemsSudheerbabu, Gaadha; Ahmad, Tanwir; Sebek, Filip; Truscan, Dragos; Vain, Jüri; Porres, Ivan2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings2022 / 4 p https://doi.org/10.1109/ETFA52439.2022.9921439

book article

3280

book article

Two-phase Path Planning for Fuel-Efficient Safe NavigationBen Lahbib, Hiba; Vain, Jüri; Taha Bennani, Mohamed; Truscan, Dragos; Sudherbaabu, Gaadha; Mughees, Abdullah; Khan, Shehroz; Yaseen, Aqsa5th European Workshop on Maritime Systems Resilience and Security (MARESEC 2025) : proceedings2025 / 6 p. : ill https://doi.org//10.5281/zenodo.17120607

book article

3281

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

3282

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

3283

book article EST / book article ENG

The Ukrainization of Odes(s)a? on the languages of Odesa and their use (Chapter 10)Polese, AbelCosmopolitan Spaces in Odesa : A Case Study of an Urban Context2023 / p. 252-272 https://doi.org/10.1515/9798887192574-013

book article EST / book article ENG

3284

book article

ULTRA : a data-driven approach for recommending team formation in response to proposal callsSrivastava, Biplav; Koppel, Tarmo; Paladi, Sai Teja; Valluru, Siva Likitha; Sharma, Rohit; Bond, Owen22nd IEEE International Conference on Data Mining Workshops, 28 November–1, December 2022, Orlando, Florida : proceedings2022 / p. 1002-1009 https://doi.org/10.1109/ICDMW58026.2022.00130

book article

3285

book article EST / book article ENG

Ultrafine cemented carbides with cobalt and iron binders prepared via reactive in situ sinteringTarraste, Marek; Kübarsepp, Jakob; Mere, Arvo; Juhani, Kristjan; Kolnes, Märt; Viljus, MartSolid state phenomena ; 3202021 / p. 176-180 https://doi.org/10.4028/www.scientific.net/SSP.320.176 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

3286

book article

Ultra-High gain modified SCLN based DC-DC converter with reduced device current stressSahoo, Gyana Manjari; Banavath, Satish Naik; Chub, Andrii; Vinnikov, Dmitri2022 IEEE 63th International Scientific Conference on Power and Electrical Engineering of Riga Technical University (RTUCON): conference proceedings2022 https://doi.org/10.1109/RTUCON56726.2022.9978808

book article

3287

book article EST / book article ENG

Ultrasound assisted mixing of zinc active mass with conductive ceramic additives for Ni-Zn batteryPetrova, V.; Stoyanova-Ivanova, Angelina; Lilov, P.; Petkov, O.; Ivanova, B.; Karamanova, B.; Stoyanova, A.; Mikli, ValdekECS transactions2019 / p. 227-234 https://iopscience.iop.org/article/10.1149/09501.0227ecst https://doi.org/10.1149/09501.0227ecst Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

3288

book article

Underground hydrogen storage in the Baltic Countries : future outlook for Latvia and EstoniaŠogenov, Kazbulat; Šogenova, Alla; Šliaupa, Saulius83rd EAGE Annual Conference & Exhibition, Jun 20222022 / p. 1-5 https://doi.org/10.3997/2214-4609.202210772

book article

3289

book article

Underground hydrogen storage in the Baltic Countries : future outlook for LithuaniaŠogenov, Kazbulat; Šogenova, Alla; Šliaupa, Saulius83rd EAGE Annual Conference & Exhibition, Jun 20222022 / p. 1-5 https://doi.org/10.3997/2214-4609.202210707

book article

3290

journal article EST / journal article ENG

Understanding and control of stress at Si-SiO2 interfaceKropman, Daniel; Seeman, Viktor; Medvids, Arturs; Onufrijevs, Pavels; Vitusevich, Svetlana; Mikli, ValdekKey engineering materials2020 / p. 291−296 https://doi.org/10.4028/www.scientific.net/KEM.850.291 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

3291

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

3292

book article EST / book article ENG

Understanding space vulnerabilities : developing technical and legal frameworks for AI and cybersecurity in the spatial fieldCarlo, Antonio; Pelin Manti, Nebile; A.S.W.A.M., Bintang; Casamassima, Francesca; Boschetti, Nicolo; Breda, Paola; Rahloff, TobiasIAC 2022 congress proceedings2022 / art. 70406 https://dl.iafastro.directory/event/IAC-2022/paper/70406/ Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

3293

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

3294

journal article EST / journal article ENG

Underwater experiments and a theoretical model – case study in Tallinn BayErm, Ants; Buschmann, Fred; Listak, Madis; Rebane, Jaan; Toming, GertJournal of coastal research2013 / p. 1521-1526 : ill https://doi.org/10.2112/SI65-257 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

3295

book article EST / book article ENG

Underwater Noise Measurement Intercalibration Practices ExperienceBasan, Fritjof; Fischer, Jens-Georg; Lalander, Emilia; Andersson, Mathias; Linné, Markus; Tougaard, Jakob; Griffiths, Emily T.; Ladegaard, Michael; Klauson, Aleksander; Mustonen, MirkoThe Effects of Noise on Aquatic Life IV2026 / p. 1-18 https://link.springer.com/rwe/10.1007/978-3-031-94229-7_166-1 https://doi.org/10.1007/978-3-031-94229-7_166-1

book article EST / book article ENG

3296

book article EST / book article ENG

Underwater Soft Fin Flapping Motion with Deep Neural Network Based Surrogate ModelHamamatsu, Yuya; Kupyn, Pavlo; Gkliva, Roza; Ristolainen, Asko; Kruusmaa, Maarja2025 IEEE 8th International Conference on Soft Robotics (RoboSoft)2025 / 6 p. : ill https://doi.org/10.1109/RoboSoft63089.2025.11020964 Article at Scopus Article at WOS

book article EST / book article ENG

3297

book article

A unified hierarchical digital twin platform for synergistic management of low-voltage electrical network componentsNourollahi Hokmabad, Hossein; Lekhel, Cheikh Elekbir Sidi; Hemmati Shahsavar, Tala; Vergara, Pedro P.; Husev, Oleksandr; Belikov, Juri2025 IEEE Innovative Smart Grid Technologies, Europe (ISGT Europe), Valletta, Malta, October 20-23, 20252025 / 5 p. https://doi.org/10.1109/ISGTEurope64741.2025.11305379 Article at Scopus Article at WOS

book article

3298

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

3299

book article

Uninterruptible power supply: an optimal passivity-based control schemeBakeer, Abualkasim Ahmed Ali; Alhasheem, Mohammed; Elhelw, Hadi M.2023 IEEE Power and Energy Society Innovative Smart Grid Technologies Conference, ISGT 20232023 / art. 187411 https://doi.org/10.1109/ISGT51731.2023.10066406

book article

3300

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

3.1 (classifier)

types of item

classifier 1