Searching - TalTech Research Portal

display

sort

101

book article EST / book article ENG

Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 402-418 https://doi.org/10.1007/978-3-030-54249-8_32 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

102

book article EST / book article ENG

A comprehensive approach for designing business-intelligence solutions with multi-agent systems in distributed environmentsQayumi, Karima; Norta, AlexanderTransactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII2018 / p. 113-150 https://doi.org/10.1007/978-3-662-57932-9_4 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

book article EST / book article ENG

103

book article EST / book article ENG

Comprehensive blended learning concept for teaching micro controller technology utilising HomeLab kits and remote labs in a virtual web environmentSeiler, Sven; Sell, RaivoTransactions on Edutainment. X2013 / p. 161-177 : ill https://doi.org/10.1007/978-3-642-37919-2_9 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

104

journal article EST / journal article ENG

A comprehensive survey on revolutionizing connectivity through artificial intelligence-enabled digital twin network in 6GSheraz, Muhammad; Chuah, Teong Chee; Lee, Ying Loong; Alam, Muhammad Mahtab; Al-Habashna, Ala'a; Han, ZhuIEEE Access2024 / p. 49184-49215 https://doi.org/10.1109/ACCESS.2024.3384272 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

105

book article EST / book article ENG

Computational intelligence methods based design of closed-loop systemBelikov, Juri; Petlenkov, Eduard; Vassiljeva, Kristina; Nõmm, SvenNeural information processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings. Part I2013 / p. 215-224 : ill https://doi.org/10.1007/978-3-642-42054-2_28 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

106

book article EST / book article ENG

Computing data lineage and business semantics for data warehouseTomingas, Kalle; Järv, Priit; Tammet, TanelKnowledge Discovery, Knowledge Engineering and Knowledge Management :8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers2019 / p. 101-124 https://doi.org/10.1007/978-3-319-99701-8_5 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

107

journal article EST / journal article ENG

Concept drift and cross-device behavior : challenges and implications for effective android malware detectionGuerra Manzanares, Alejandro; Luckner, Marcin; Bahsi, HayretdinComputers & Security2022 / art. 102757, 20 p. : ill https://doi.org/10.1016/j.cose.2022.102757 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Machine learning-based detection and characterization of evolving threats in mobile and IoT Systems = Masinõppepõhine arenevate ohtude tuvastamine ning kirjeldamine mobiilseadmete ja värkvõrkude jaoks

108

book article EST / book article ENG

Concept of Estonian government cloud and data embassiesKotka, Taavi; Liiv, InnarElectronic Government and the Information Systems Perspective : 4th International Conference, EGOVIS 2015, Valencia, Spain, September 1-3, 2015 : proceedings2015 / p. 149-162 : ill https://doi.org/10.1007/978-3-319-22389-6_11 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

109

journal article EST / journal article ENG

Concept of wireless low-voltage DC socket for the residential house applicationShevchenko, Viktor; Husev, Oleksandr; Pakhaliuk, Bohdan; Vinnikov, Dmitri; Strzelecki, RyszardIEEE Access2024 / p. 143226-143236 https://doi.org/10.1109/ACCESS.2024.3471691 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

110

book article EST / book article ENG

A conceptual nationwide cyber situational awareness framework for critical infrastructuresBahsi, Hayretdin; Maennel, Olaf ManuelSecure IT systems : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings2015 / p. 3-10 : ill https://doi.org/10.1007/978-3-319-26502-5_1 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

111

book article EST / book article ENG

Conceptualising micro-credentials in the higher education research landscape. A literature reviewCartis, Alexandru; Leoste, Janika; Iucu, Romiță; Kikkas, Kaido; Tammemäe, Kalle; Männik, KatrinPolyphonic construction of smart learning ecosystems : proceedings of the 7th Conference on Smart Learning Ecosystems and Regional Development2023 / p. 191-203 https://doi.org/10.1007/978-981-19-5240-1_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

112

journal article EST / journal article ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 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

113

book article EST / book article ENG

Confidences for commonsense reasoning.Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings2021 / p. 507–524 https://doi.org/10.1007/978-3-030-79876-5_29 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

114

journal article EST / journal article ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

115

book article EST / book article ENG

Container combinatorics : monads and lax monoidal functorsUustalu, TarmoTopics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings2017 / p. 91-105 : ill https://doi.org/10.1007/978-3-319-68953-1_8 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

116

book article EST / book article ENG

Contextual equivalence for signal flow graphsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioFoundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings2020 / p. 77-96 https://doi.org/10.1007/978-3-030-45231-5_5 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

117

book article EST / book article ENG

Continuity, connectivity and regularity in spatial diagrams for N termsMoktefi, Amirouche; Bellucci, Francesco; Pietarinen, Ahti-VeikkoDLAC 2013 : Diagrams, Logic and Cognition : proceedings of the First International Workshop on Diagrams, Logic and Cognition : Kolkata, India, October 28-29, 20132013 / p. 31-35 : ill https://ceur-ws.org/Vol-1132/paper5.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

118

book article EST / book article ENG

Contractive signatures with recursive types, type parameters, and abstract typesIm, Hyeonseung; Nakata, Keiko; Park, SungwooAutomata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II2013 / p. 299 - 311 https://doi.org/10.1007/978-3-642-39212-2_28 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

119

book article EST / book article ENG

Convolutional neural networks for false positive reduction of automatically detected cilia in low magnification TEM imagesGupta, Anindya; Suveer, Amit; Lindblad, Joakim; Dragomir, Anca; Sintorn, Ida-Maria; Sladoje, NatašaImage Analysis, 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017 : proceedings, Part I2017 / p. 407-418 : ill https://doi.org/10.1007/978-3-319-59126-1_34 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

120

journal article EST / journal article ENG

Corrections to “Opportunities and Challenges of Utilizing Additive Manufacturing Approaches in Thermal Management of Electrical Machines”
Shams Ghahfarokhi, Payam; Podgornovs, Andrejs; Kallaste, Ants; Marques Cardoso, Antonio J.; Belahcen, Anouar; Vaimann, Toomas; Tiismus, Hans; Asad, BilalIEEE Access2021 / p. 62532 https://doi.org/10.1109/ACCESS.2021.3074827 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

121

journal article EST / journal article ENG

Corrigendum to Concept drift and cross-device behavior: Challenges and implications for effective android malware detection Computers & Security, Volume 120, 102757 (Computers & Security (2022) 120, (S0167404822001523), (10.1016/j.cose.2022.102757))Guerra-Manzanares, Alejandro; Luckner, Marcin; Bahsi, HayretdinComputers and Security2023 / art. 102998 https://doi.org/10.1016/j.cose.2022.102998 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

122

book article EST / book article ENG

Course implementation : value-added modeKukk, VelloLearning Technology for Education in Cloud : The Changing Face of Education : 5th International Workshop, LTEC 2016, Hagen, Germany, July 25-28, 2016 : proceedings2016 / p. 265-273 : ill https://doi.org/10.1007/978-3-319-42147-6_22 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

123

book article EST / book article ENG

Covering concept lattices with concept chainsTorim, Ants; Mets, Marko; Raun, KristoGraph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019 : Marburg, Germany, July 1–4, 2019 : proceedings2019 / p. 190-203 : ill https://doi.org/10.1007/978-3-030-23182-8_14 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

124

journal article EST / journal article ENG

Create your own MUSE : a method for updating security level evaluation instrumentsSeeba, Mari; Affia, Abasi-amefon Obot; Mäses, Sten; Matulevičius, RaimundasComputer Standards and Interface2024 / art. 103776 https://doi.org/10.1016/j.csi.2023.103776 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

125

book article EST / book article ENG

Creating and detecting IPv6 transition mechanism-based information exfiltration covert channelsBlumbergs, Bernhards; Pihelgas, Mauno; Kont, Markus; Maennel, Olaf Manuel; Vaarandi, RistoSecure IT Systems : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings2016 / p. 85-100 : ill https://doi.org/10.1007/978-3-319-47560-8_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Arvutiteadus. Üldine arvutiteadus (category)

types of item

subject term 2