Searching - TalTech Research Portal

display

sort

201

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

202

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

203

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

204

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

205

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

206

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

207

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

208

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

209

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

210

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

211

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

212

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

213

journal article EST / journal article ENG

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic 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

214

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

215

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

216

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

217

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

218

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

219

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

220

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

221

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

222

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

223

journal article EST / journal article ENG

Compact empirical model for droplet generation in a Lab-on-Chip cytometry systemPärnamets, Kaiser; Udal, Andres; Koel, Ants; Pardy, Tamas; Gyimah, Nafisat; Rang, ToomasIEEE Access2022 / p. 127708-127717 https://doi.org/10.1109/ACCESS.2022.3226623 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

224

journal article EST / journal article ENG

Comparative analysis of machine learning techniques for non-intrusive load monitoringShabbir, Noman; Vassiljeva, Kristina; Hokmabad, Hossein Nourollahi; Husev, Oleksandr; Petlenkov, Eduard; Belikov, JuriElectronics2024 / art. 1420 https://doi.org/10.3390/electronics13081420 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

Comparative analysis of telepresence robots’ video performance : evaluating camera capabilities for remote teaching and learningTalisainen, Aleksei; Leoste, Janika; Virkus, SirjeApplied Sciences (Switzerland)2024 / art. 233 https://doi.org/10.3390/app14010233 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Arvutiteadus (category)

types of item

subject term 1