Searching - TalTech Research Portal

display

sort

226

book article EST / book article ENG

A coalgebraic view of bar recursion and bar inductionCapretta, Venanzio; Uustalu, TarmoFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings2016 / p. 91-106 https://doi.org/10.1007/978-3-662-49630-5_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

227

book article EST / book article ENG

Code development of a DSP-FPGA based control platform for power electronics applicationsMinambres-Marcos, Victor; Roasto, Indrek; Szczepankowski, P.; Romero-Cadaval, Enrique; Vinnikov, Dmitri; Barrero-Gonzalez, Fermin2015 IEEE International Conference on Industrial Technology (ICIT 2015) : Seville, Spain, 17-19 March 20152015 / p. 2890-2895 : ill https://doi.org/10.1109/ICIT.2015.7125524 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

228

journal article EST / journal article ENG

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

229

journal article EST / journal article ENG

Coding the smart city : prefaceVainio, Teija; Hodson, Elise; Sayún, Michel Nader; Soe, Ralf-MartinInteraction design and architecture(s)2021 / p. 59-62 https://ixdea.org/wp-content/uploads/IxDEA_art/50/50_P_fs2.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

230

journal article EST / journal article ENG

Coends of higher arityLoregian, Fosco; de Oliveira Santos, TheoApplied categorical structures2022 / p. 173-221 https://doi.org/10.1007/s10485-021-09653-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

231

journal article EST / journal article ENG

Cogni-e-SpinDB 1.0 : open dataset of electrospinning parameter configurations and resultant nanofiber morphologiesMahdian, Mehrab; Stummer, Tamas; Sepsik, Norman; Ender, Ferenc; Balogh-Weiser, Diana; Pardy, Tamastechrxiv.org2025 / 14 p https://doi.org/10.36227/techrxiv.176462976.65995032/v1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

232

journal article EST / journal article ENG

Cogniflow-drop : integrated modular system for automated generation of droplets in microfluidic applicationsJõemaa, Rauno; Gyimah, Nafisat; Ashraf, Kanwal; Pärnamets, Kaiser; Zaft, Alexander; Scheler, Ott; Rang, Toomas; Pardy, TamasIEEE Access2023 / p. 104905-104929 https://doi.org/10.1109/ACCESS.2023.3316726 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 3

233

book article EST / book article ENG

Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

234

book article EST / book article ENG

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

235

book article EST / book article ENG

Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

236

journal article EST / journal article ENG

Collaboration Between Industrial, Collaborative, Humanoid Robots and HumansKekšin, Vjatšeslav; Ponomar, Sergei; Sarkans, Martinš; Kuts, Vladimir; Pavlov, SergeiJournal of Machine Engineering2025 / p. 100-110 : ill https://doi.org/10.36897/jme/203790 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

237

book article EST / book article ENG

Collaborative project management framework for partner network initiation in machining domain [Online resource]Ševtšenko, Eduard; Polyantchikov, Igor; Mahmood, Kashif; Kangilaski, Taivo; Norta, Alexander; Karaulova, Tatjana; Perm, ArdoProceedings of the 18th Online World Conference on Soft Computing in Industrial Applications (WSC18)2018 / p. 215-233 : ill https://doi.org/10.1007/978-3-030-00612-9_19 https://link.springer.com/content/pdf/bfm%3A978-3-030-00612-9%2F1.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

238

book article EST / book article ENG

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 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

239

book article EST / book article ENG

A combined method for error and complexity reduction in fuzzy rule-based classificationRiid, Andri; Preden, Jürgo-SörenIEEE International Conference on Fuzzy Systems : August 2-5, 2015, Istanbul, Turkey2015 / [6] p. : ill https://doi.org/10.1109/FUZZ-IEEE.2015.7337806 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

240

journal article EST / journal article ENG

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, Niels Frits WillemElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

241

book article EST / book article ENG

Combining fuzzy and probabilistic reasoning for crowd-sourced categorization and taggingTammet, Tanel; Luberg, AgoWeb Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings2014 / p. 247-248 https://link.springer.com/book/10.1007/978-3-319-11113-1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

242

book article EST / book article ENG

Combining semantic parsing frameworks for automated knowledge base constructionVerrev, MartinAI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence2022 https://ceur-ws.org/Vol-3354/paper1.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

243

book article EST / book article ENG

Combining Syntactic and Semantic Information in Knowledge Extraction PipelineVerrev, Martin; Tammet, Tanel; Järv, PriitAdvancements in Machine Learning and Natural Language Processing: Innovations and Applications : 3rd International Conference on Language Processing and Knowledge Management (LPKM’2024) : conference proceedings2025 / p. 3–12 https://doi.org/10.1007/978-3-031-85067-7_1 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

244

journal article EST / journal article ENG

Comments on 'A new kind of nonlinear disturbance observer for nonlinear systemswith applications to cruise control of air-breathing hypersonic vehicles'Kaldmäe, Arvo; Kotta, ÜlleInternational journal of control2020 / p. 1725 https://doi.org/10.1080/00207179.2018.1529436 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

245

book article EST / book article ENG

Commercial property tokenizing with smart contractsNorta, Alexander; Fernandez, Chad; Hickmott, Stefan2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4801-4808 https://doi.org/10.1109/IJCNN.2018.8489534 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

246

journal article EST / journal article ENG

Common-mode voltage analysis and reduction for the quasi-Z-source inverter with a split inductorLiu, Wenjie; Yang, Yongheng; Kerekes, Tamas; Liivik, Elizaveta; Vinnikov, Dmitri; Blaabjerg, FredeApplied sciences2020 / art. 8713, 13 p. : ill https://doi.org/10.3390/app10238713 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

247

journal article EST / journal article ENG

Commons-based peer production and digital fabrication : the case of a RepRap-based, Lego-built 3D printing-milling machineKostakis, Vasileios; Papachristou, MariosTelematics and informatics2014 / p. 434-443 : ill https://doi.org/10.1016/j.tele.2013.09.006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

248

journal article EST / journal article ENG

Communication challenges in on-body and body-to-body wearable wireless networks - a connectivity perspectiveBen Arbia, Dhafer; Alam, Muhammad Mahtab; Le Moullec, Yannick; Hamida, Elyes BenTechnologies2017 / art. 43, p.1-18 : ill https://doi.org/10.3390/technologies5030043 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

249

book article EST / book article ENG

Communication channel choice between enterprises and governmentKindel, Kristiina; Venesaar, Urve; Reidolf, MerliDatabases and Information Systems VII : selected papers from the tenth International Baltic Conference, DB&IS 20122013 / p. 218-231 https://www.researchgate.net/publication/288761200_Communication_channel_choice_between_enterprises_and_government https://doi.org/10.3233/978-1-61499-161-8-218 Article collection metrics at Scoopus Article at Scopus Article at WOS

book article EST / book article ENG

250

book article EST / book article ENG

CommunityCare : tackling mental health issues with the help of communitySuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkiiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]2020 / art. 3429114, p. 377-382 https://doi.org/10.1145/3428757.3429114 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik

Computer Science (category)

types of item

keyword 155

subject term 6

TalTech department 3

author 1