Otsing - TalTech teadusportaal

kuva

reasta

101

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

102

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

103

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

104

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

105

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

106

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

107

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

108

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

109

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

110

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

111

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

112

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

113

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

114

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

115

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

116

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

117

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

118

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

119

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

120

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

121

artikkel kogumikus EST / artikkel kogumikus ENG

Data exchange for digital government: Where are we heading? ADBIS2021 KeynoteDraheim, DirkAdvances in Databases and Information Systems : 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021 : proceedings2021 / p. 7-12 https://doi.org/10.1007/978-3-030-82472-3_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

122

artikkel kogumikus EST / artikkel kogumikus ENG

Data-based energy provision for smart citiesSoe, Ralf-MartinDigital Transformation and Global Society : Second International Conference, DTGS 2017, St. Petersburg, Russia, June 21-23, 2017 : revised selected papers2017 / p. 319-328 https://doi.org/10.1007/978-3-319-69784-0_27 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

123

artikkel kogumikus EST / artikkel kogumikus ENG

A data-centric algorithm for identifying use casesEessaar, ErkiSoftware Engineering Perspectives and Application in Intelligent Systems : proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 22016 / p. 303-316 https://doi.org/10.1007/978-3-319-33622-0_28 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

124

artikkel ajakirjas EST / artikkel ajakirjas ENG

DC integration of residential photovoltaic systems : a surveyAbdelrahim Abdelghafour, Omar Mohamed; Chub, Andrii; Vinnikov, Dmitri; Blinov, AndreiIEEE Access2022 / p. 66974-66991 https://doi.org/10.1109/ACCESS.2022.3185788 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

125

artikkel kogumikus EST / artikkel kogumikus ENG

Dealing with data streams: Complex event processing vs. data stream miningLange, Moritz; Koschel, Arne; Astrova, IrinaComputational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV2020 / p. 3-14 https://doi.org/10.1007/978-3-030-58811-3_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Arvutiteadus. Üldine arvutiteadus (kategooria)

teaviku laadid

märksõna 2