Searching - TalTech Research Portal

display

sort

151

book article EST / book article ENG

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

152

journal article EST / journal article ENG

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

153

book article EST / book article ENG

Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

154

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

155

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

156

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

157

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

Seotud publikatsioonid 1

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

158

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

159

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

160

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

161

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

162

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

163

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

164

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

Seotud publikatsioonid 1

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

165

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

166

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

167

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

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

168

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

169

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

170

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

171

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

172

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

173

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; Moullec, Yannick Le; 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

174

journal article EST / journal article ENG

Realization of nonlinear input-output equations in controller canonical formKaldmäe, Arvo; Kotta, ÜlleKybernetika2018 / p. 736-747 https://doi.org/10.14736/kyb-2018-4-0736 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

175

book article EST / book article ENG

Real-time localization and visualization of a sound source for virtual reality applicationKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 20172017 / p 219-224 : ill https://doi.org/10.23919/SOFTCOM.2017.8115577 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Arvutiteadus. Tarkvara (category)

types of item

subject term 90

keyword 1