Searching - TalTech Research Portal

display

sort

201

journal article EST / journal article ENG

Optimal control of automatic manipulator for elimination of galvanic line load oscillationAutsou, Siarhei; Rassõlkin, Anton; Vaimann, Toomas; Demidova, Galina; Saroka, Viktor; Karpovich, Dzmitry; Kallaste, AntsPeriodica polytechnica electrical engineering and computer science2021 / 15 p. : ill https://doi.org/10.3311/PPee.15893 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

202

book article EST / book article ENG

Optimization of address-based data sorting unit with external memory supportMihhailov, Dmitri; Rjabov, Artjom; Sklyarov, Valery; Skliarova, Iouliia; Sudnitsõn, AleksanderCompSysTech'13 : proceedings of the 14th International Conference on Computer Systems and Technologies2013 / p. 83-90 : ill https://doi.org/10.1145/2516775.2516807 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

203

journal article EST / journal article ENG

Optimization of pump efficiencies with different pumps characteristics working in parallel modeKoor, Margus; Vassiljev, Anatoli; Koppel, TiitAdvances in engineering software2016 / p. 69-76 : ill https://doi.org/10.1016/j.advengsoft.2015.10.010 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

204

journal article EST / journal article ENG

Optimized vibro-acoustic design of suspended glass panelsAiello, Robert; Auriemma, FabioStructural and multidisciplinary optimization2018 / p. 2253–2268 : ill https://doi.org/10.1007/s00158-018-2014-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

205

journal article EST / journal article ENG

Orthophoto classification for UGV pth planning using heterogeneous computingHudjakov, Robert; Tamre, MartInternational journal of advanced robotic systems2013 / [7] p. : ill https://doi.org/10.5772/56545 https://www.researchgate.net/publication/269785081_Orthophoto_Classification_for_UGV_Path_Planning_using_Heterogeneous_Computing Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

206

book article EST / book article ENG

Overcoming challenges in the silver economy by connecting services in the Silver Hub : the tool to provide the basis for the innovative solutionsKangilaski, Taivo; Butt, Sidra Azmat; Pappel, Ingrid; Kangilaski, ErikProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece2021 / p. 231-237 : ill https://doi.org/10.1145/3494193.3494225 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

A Digital collaborative platform to facilitate innovative solutions for the silver economy = Digitaalne koostööplatvorm hõlbustamaks uuenduslikke lahendusi hõbemajanduses

207

journal article EST / journal article ENG

Parkinson's disease diagnostics based on the analysis of digital sentence writing testNetšunajev, Aleksei; Nõmm, Sven; Toomela, Aaro; Medijainen, Kadri; Taba, PilleVietnam journal of computer science2021 / p. 493-512 https://doi.org/10.1142/S2196888821500238 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

208

book article EST / book article ENG

Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

209

journal article EST / journal article ENG

Physics based compressive sensing to enable digital twins of additive manufacturing processesLu, Yanglong; Ševtšenko, Eduard; Wang, YanJournal of computing and information science in engineering2021 / 031009, 30 p https://doi.org/10.1115/1.4050377 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

210

book article EST / book article ENG

Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case studySarv, Lill; Soe, Ralf-MartinICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 475-482 https://doi.org/10.1145/3560107.3560179 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

211

journal article EST / journal article ENG

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

212

book article EST / book article ENG

Policy and legal environment analysis for e-Government services migration to the public cloudKotka, Taavi; Kask, Laura; Raudsepp, Karoliina; Storch, Tyson; Radloff, Rebecca; Liiv, InnarICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 20162016 / p. 103-108 : ill https://doi.org/10.1145/2910019.2910056 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

213

book article EST / book article ENG

A pragmatic methodology for blind hardware trojan insertion in finalized layoutsHepp, Alexander; Perez, Tiago Diadami; Pagliarini, Samuel Nascimento; Sigl, GeorgICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design2022 / art. 69, p. 1-9 : ill https://doi.org/10.1145/3508352.3549452 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees

214

journal article EST / journal article ENG

Predicting fuel properties using chemometrics : a review and an extension to temperature dependent physical properties by using infrared spectroscopy to predict densityBaird, Zachariah Steven; Oja, VahurChemometrics and intelligent laboratory systems2016 / p. 41-47 : ill https://doi.org/10.1016/j.chemolab.2016.08.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

215

journal article EST / journal article ENG

PrefaceMatthes, Ralph; Uustalu, TarmoRAIRO - Theoretical Informatics and Applications2013 / p. 1-2 https://doi.org/10.1051/ita/2012026 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

216

book article EST / book article ENG

A privacy-protecting data-exchange wallet with ownership- and monetization capabilitiesNorta, Alexander; Hawthorne, Daniel; Engel, Serafin L.2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4121-4128 : ill https://doi.org/10.1109/IJCNN.2018.8489551 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

217

book article EST / book article ENG

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

218

book article EST / book article ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

219

book article EST / book article ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

220

book article EST / book article ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

221

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

222

journal article EST / journal article ENG

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

223

book article EST / book article ENG

Public acceptance of advanced identity documentsKalvet, Tarmo; Tiits, Marek; Laas-Mikko, KatrinICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 429-432 https://doi.org/10.1145/3209415.3209456 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

224

journal article EST / journal article ENG

Quadratic/linear rational spline histopolationHallik, Helle; Oja, PeeterBIT numerical mathematics2017 / p. 629-648 : ill https://doi.org/10.1007/s10543-017-0645-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

225

journal article EST / journal article ENG

Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexingMalik, Hassan; Alam, Muhammad Mahtab; Pervaiz, Haris; Le Moullec, Yannick; Al-Dulaimi, Anwer; Pärand, Sven; Reggiani, LucaIEEE Network2020 / Art. nr. 8839971 https://doi.org/10.1109/MNET.001.1900087 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Arvutiteadus. Tarkvara (category)

types of item

subject term 96

keyword 1