Otsing - TalTech teadusportaal

kuva

reasta

101

artikkel kogumikus EST / artikkel kogumikus ENG

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

102

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 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

A framework for data-driven public service co-productionToots, Maarja; McBride, Keegan David Braun; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Government : 16th IFIP WG 8.5 International Conference : EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings2017 / p. 264-275 : ill https://doi.org/10.1007/978-3-319-64677-0_22 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

104

artikkel kogumikus EST / artikkel kogumikus ENG

Framework for peer-to-peer data sharing over Web browsersPattanaik, Vishwajeet; Sharvadze, Ioane; Draheim, DirkFuture Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings2019 / p. 207-225 : ill https://doi.org/10.1007/978-3-030-35653-8_14 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks

105

artikkel kogumikus EST / artikkel kogumikus ENG

A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of NigeriaAkaba, Temofe Isaac; Norta, Alexander; Udokwu, Chibuzor; Draheim, DirkResponsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I2020 https://doi.org/10.1007/978-3-030-44999-5_1 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

106

artikkel ajakirjas EST / artikkel ajakirjas ENG

Frameworks for collective intelligence : a systematic literature reviewSuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkACM computing surveys2020 / art. 14, p. 1−36 https://doi.org/10.1145/3368986 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 2

107

artikkel kogumikus EST / artikkel kogumikus ENG

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / p. 3-11 https://doi.org/10.1007/978-3-030-03192-3_1 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

108

artikkel kogumikus EST / artikkel kogumikus ENG

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / p. 3-19 https://doi.org/10.1007/978-3-030-59003-1_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

109

artikkel kogumikus EST / artikkel kogumikus ENG

Future opportunities for systematic AI support in healthcareBertl, Markus; Piho, Gunnar; Draheim, Dirk; Ross, Peeter; Pechmann, Ludwig; Bucciarelli, Nicholas; Sharma, RahulBridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers2024 / p. 203 - 224 https://doi.org/10.1007/978-3-031-73741-1_13 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

110

artikkel kogumikus EST / artikkel kogumikus ENG

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / p. 300-309 https://doi.org/10.1007/978-3-031-10769-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

111

artikkel kogumikus EST / artikkel kogumikus ENG

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / p. 538-549 https://doi.org/10.1007/978-3-030-29436-6_32 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

112

artikkel kogumikus EST / artikkel kogumikus ENG

Grand reports : a tool for generalizing association rule mining to numeric target valuesArakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Shah, Syed Attique; Ben Yahia, SadokBig Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : Proceedings2020 / p. 28-37 https://doi.org/10.1007/978-3-030-59065-9_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

113

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editorial : implementation issues in system-on-chipEllervee, Peeter; Nurmi, JariJournal of signal processing systems2017 / p. 269-270 https://doi.org/10.1007/s11265-017-1242-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

114

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

115

artikkel ajakirjas EST / artikkel ajakirjas ENG

High-performance information processing in distributed computing systemsSklyarov, Valery; Rjabov, Artjom; Skliarova, Iouliia; Sudnitsõn, AleksanderInternational journal of innovative computing, information and control2016 / p. 139-160 : ill https://www.researchgate.net/publication/297047447_High-performance_information_processing_in_distributed_computing_systems Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

116

artikkel kogumikus EST / artikkel kogumikus ENG

Historio-GraphyMoktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 511-514 https://doi.org/10.1007/978-3-030-54249-8_46 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

117

artikkel kogumikus EST / artikkel kogumikus ENG

The how and why to Internet voting an attempt to explain E-StoniaVinkel, Priit; Krimmer, Robert JohannesElectronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings2017 / p. 178-191 : ill https://doi.org/10.1007/978-3-319-52240-1_11 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

118

artikkel kogumikus EST / artikkel kogumikus ENG

How could Snowden attack an election?Wikström, Douglas; Barrat, Jordi; Heiberg, Sven; Krimmer, Robert Johannes; Schürmann, CarstenElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 280-291 https://doi.org/10.1007/978-3-319-68687-5_17 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

119

artikkel kogumikus EST / artikkel kogumikus ENG

How domain engineering can help to raise adoption rates of artificial intelligence in healthcareBertl, Markus; Klementi, Toomas; Piho, Gunnar; Ross, Peeter; Draheim, DirkInformation Integration and Web Intelligence, 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023 : proceedings2023 / p. 490-504 https://doi.org/10.1007/978-3-031-48316-5_1 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

120

artikkel kogumikus EST / artikkel kogumikus ENG

How much does an e-Vote cost? Cost comparison per vote in multichannel elections in EstoniaKrimmer, Robert Johannes; Duenas Cid, David; Krivonosova, Iuliia; Vinkel, Priit; Koitmäe, ArneElectronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2–5, 2018 : proceedings2018 / p. 117-131 https://doi.org/10.1007/978-3-030-00419-4_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

121

artikkel kogumikus EST / artikkel kogumikus ENG

Human-human communication in cyber threat situations: a systematic reviewAsk, Torvald F.; Lugo, Ricardo Gregorio; Knox, Benjamin James; Sütterlin, StefanHCI International 2021 - late breaking papers : cognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings2021 / p. 21-43 : ill https://doi.org/10.1007/978-3-030-90328-2_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

Hydromast : a bioinspired flow sensor with accelerometersRistolainen, Asko; Tuhtan, Jeffrey Andrew; Kuusik, Alar; Kruusmaa, MaarjaBiomimetic and biohybrid systems : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings2016 / p. 510-517 : ill https://doi.org/10.1007/978-3-319-42417-0_55 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

123

artikkel kogumikus EST / artikkel kogumikus ENG

Imagine a round squareMoktefi, Amirouche; Družinina, JelenaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 539-543 https://doi.org/10.1007/978-3-030-54249-8_52 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

124

artikkel kogumikus EST / artikkel kogumikus ENG

Impact-driven discretization of numerical factors : case of two- and three-partitioningKaushik, Minakshi; Sharma, Rahul; Arakkal Peious, Sijo; Draheim, DirkBig Data Analytics. BDA 2021 : 9th International Conference, BDA 2021, Virtual Event, December 15-18, 2021 : proceedings2021 / p. 244–260 https://doi.org/10.1007/978-3-030-93620-4_18 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Generalized association rule mining – dimensional unsupervised learning = Üldistatud assotsiatsioonireeglite kaevandamine – dimensiooniline juhendamata õpe

125

artikkel kogumikus EST / artikkel kogumikus ENG

Implementation of information security in the EU information systems : an Estonian case studyJärvsoo, Maris; Norta, Alexander; Tsap, Valentyna; Pappel, Ingrid; Draheim, DirkChallenges and Opportunities in the Digital Era : 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society : I3E 2018, Kuwait City, Kuwait, October 30 - November 1, 2018 : proceedings2018 / p. 150-163 https://doi.org/10.1007/978-3-030-02131-3_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Mathematics. Theoretical computer science (kategooria)

teaviku laadid

võtmesõna 22

märksõna 1