Searching - TalTech Research Portal

display

sort

101

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

102

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

103

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

104

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

105

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

106

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

107

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

108

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

109

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

110

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

111

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

112

journal article EST / journal article ENG

Corrections to “Opportunities and Challenges of Utilizing Additive Manufacturing Approaches in Thermal Management of Electrical Machines”
Ghahfarokhi, Payam Shams; 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

113

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

114

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

115

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

116

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

117

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

118

book article EST / book article ENG

Crisis year 2020 : analysis of Finnish manufacturing companies’ Twitter activityLähdeaho, Oskari; Hilmola, Olli-Pekka KristianHuman Centred Intelligent Systems : Proceedings of KES-HCIS 2021 Conference2021 / p. 36–45 https://doi.org/10.1007/978-981-16-3264-8_4 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

119

book article EST / book article ENG

Cross-disciplinary remote course for mixed group of students and professionalsLähdeaho, Oskari; Hilmola, Olli-Pekka KristianEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 3-12 https://doi.org/10.1007/978-3-030-68198-2_1 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

120

book article EST / book article ENG

Cyber hygiene : the big pictureMaennel, Kaie; Mäses, Sten; Maennel, Olaf ManuelSecure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings2018 / p. 291-305 : ill https://doi.org/10.1007/978-3-030-03638-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

121

book article EST / book article ENG

CyberPin - Challenges on recognizing youngest cyber talentsLorenz, Birgy; Kikkas, Kaido; Talisainen, Aleksei; Eomäe, TaaviHCI for Cybersecurity, Privacy and Trust : Third International Conference, HCI-CPT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings2021 / p. 326-336 https://doi.org/10.1007/978-3-030-77392-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Aricle at WOS

book article EST / book article ENG

122

book article EST / book article ENG

Cybersecurity within the curricula of informatics : the Estonian perspectiveLorenz, Birgy; Kikkas, Kaido; Sõmer, Tiia; Laugasson, EdmundInformatics in Schools. New Ideas in School Informatics :12th International Conference on Informatics in Schools : Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019 : proceedings2019 / p. 159-171 https://doi.org/10.1007/978-3-030-33759-9_13 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

123

journal article EST / journal article ENG

DADS : decentralized attestation for device swarmsWedaj, Samuel; Paul, Kolin; Ribeiro, Vinay J.ACM Transactions on Privacy and Security2019 / Art. 19 https://doi.org/10.1145/3325822 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

124

book article EST / book article ENG

Data augmentation and teacher-student training for LF-MMI based robust speech recognitionUllah, Asad; Alumäe, TanelText, Speech, and Dialogue : 21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018 : proceedings2018 / p. 403-410 https://doi.org/10.1007/978-3-030-00794-2_43 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

125

book article EST / book article ENG

Data driven ecosystem - perspectives and problemsJaakkola, Hannu; Henno, Jaak; Soini, JariProceedings of the 4th Workshop of Software Quality, Analysis, Monitoring, Improvement, and Applications (SQAMIA 2015) : Maribor, Slovenia, 8.-10.6.20152015 / p. 17-26 : ill https://www.academia.edu/72389682/Data_Driven_Ecosystem_Perspectives_and_Problems?uc-sb-sw=31216477 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Computer science. General computer science (category)

types of item

keyword 148

subject term 6

TalTech department 3

author 1