Searching - TalTech Research Portal

display

sort

3151

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

3152

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

3153

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

3154

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

3155

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

3156

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

3157

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

3158

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

3159

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

3160

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

3161

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

3162

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

3163

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

3164

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

3165

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

3166

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

3167

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

3168

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

3169

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

3170

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

3171

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

3172

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

3173

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

3174

book article EST / book article ENG

Universal interlinking converter for prosumer DC buildings : Operation with different DC grid typesCarvalho, Edivan Laercio; Mandrioli, Riccardo; Pittala, Lohith Kumar; Blinov, Andrei; Chub, Andrii; Vinnikov, Dmitri2025 IEEE Seventh International Conference on DC Microgrids (ICDCM)2025 / 5 p https://doi.org/10.1109/ICDCM63994.2025.11144648 Conference at Scopus

book article EST / book article ENG

3175

book article EST / book article ENG

Universal reconfigurable circuit for interfacing AC and DC gridsBlinov, Andrei; Chub, Andrii; Vinnikov, Dmitri2025 IEEE 66th International Scientific Conference on Power and Electrical Engineering of Riga Technical University (RTUCON)2025 / 5 p https://doi.org/10.1109/RTUCON67996.2025.11415060

book article EST / book article ENG

3.1 (classifier)

types of item

classifier 1