Otsing - TalTech teadusportaal

kuva

reasta

226

artikkel kogumikus EST / artikkel kogumikus ENG

An experimental comparison of heuristic coloring algorithms in terms of found color classes on random graphsKumlander, Deniss; Kulitškov, AlekseiWCGO 2019: Optimization of Complex Systems: Theory, Models, Algorithms and Applications2020 / p. 365-375 https://doi.org/10.1007/978-3-030-21803-4_37 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

227

artikkel kogumikus EST / artikkel kogumikus ENG

Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

228

artikkel kogumikus EST / artikkel kogumikus ENG

Exploiting factory telemetry to support virtual reality simulation in robotics cellKuts, Vladimir; Modoni, Gianfranco E.; Terkaj, Walter; Tähemaa, Toivo; Sacco, Marco; Otto, TaunoAugmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12–15, 2017 : proceedings. Part I2017 / p. 212-221 : ill https://doi.org/10.1007/978-3-319-60922-5_16 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

229

artikkel kogumikus EST / artikkel kogumikus ENG

Exploratory analysis of collective intelligence projects developed within the EU-Horizon 2020 frameworkSuran, Shweta; Pattanaik, Vishwajeet; Ben Yahia, Sadok; Draheim, DirkComputational Collective Intelligence 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II2019 / p. 285-296 https://doi.org/10.1007/978-3-030-28374-2_25 Conference proceeding at Scopus Article at Scopus Confernce proceeding at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik

230

artikkel kogumikus EST / artikkel kogumikus ENG

Exploring e-services development in local government authorities by means of electronic document management systemsPappel, Ingrid; Tsap, Valentyna; Pappel, Ingmar; Draheim, DirkElectronic Governance and Open Society : Challenges in Eurasia 5th International Conference, EGOSE 2018, St. Petersburg, Russia, November 14–16, 2018 : Revised Selected Papers2019 / p. 223-234 . ill https://doi.org/10.1007/978-3-030-13283-5_17 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

231

artikkel ajakirjas EST / artikkel ajakirjas ENG

Exploring factors in a crossroad dataset using cluster-based association rule miningShahin, Mahtab; Heidari Iman, Mohammad Reza; Kaushik, Minakshi; Sharma, Rahul; Ghasempouri, Tara; Draheim, DirkProcedia computer science2022 / p. 231-238 : ill https://doi.org/10.1016/j.procs.2022.03.032 Conference proceeding at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs

232

artikkel ajakirjas EST / artikkel ajakirjas ENG

Extended ZVS-On/ZCS-Off range for CF-DAB converter under DCM operation for residential energy storage systemsCarvalho da Silva, Edivan Laercio; Cardoso, Rafael; Felipe, Carla Aparecida; Stein, Carlos Marcelo De Oliveira; Bellinaso, Lucas Vizzotto; Michels, Leandro; Vinnikov, DmitriIEEE Access2023 / p. 119231-119243 https://doi.org/10.1109/ACCESS.2023.3327219 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

233

artikkel kogumikus EST / artikkel kogumikus ENG

Extensions of Euler diagrams in Peirce's four manuscripts on logical graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings2016 / p. 139-154 : ill https://doi.org/10.1007/978-3-319-42333-3_11 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

234

artikkel kogumikus EST / artikkel kogumikus ENG

Factors affecting e-ID public acceptance : a literature reviewTsap, Valentyna; Pappel, Ingrid; Draheim, DirkElectronic Government and the Information Systems Perspective : 8th International Conference, EGOVIS 2019 : Linz, Austria, August 26–29, 2019 : proceedings2019 / p. 176-188 : tab https://doi.org/10.1007/978-3-030-27523-5_13 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju

235

artikkel kogumikus EST / artikkel kogumikus ENG

Factors of socially engineering citizens in critical situationsLorenz, Birgy; Kikkas, Kaido; Osula, KairiAdvances in Human Factors in Cybersecurity : proceedings of the AHFE 2018 : International Conference on Human Factors in Cybersecurity, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA2019 / p. 229-240 https://doi.org/10.1007/978-3-319-94782-2_23 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

236

artikkel kogumikus EST / artikkel kogumikus ENG

FARMUR: fair adversarial retraining to mitigate unfairness in robustnessMousavi, Seyed Ali; Mousavi, Hamid; Daneshtalab, MasoudAdvances in Databases and Information Systems: 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023 : proceedings2023 / p. 133-145 https://doi.org/10.1007/978-3-031-42914-9_10 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

237

artikkel ajakirjas EST / artikkel ajakirjas ENG

Fast and fair computation offloading management in a swarm of drones using a rating-based federated learning approachRahbari, Dadmehr; Alam, Muhammad Mahtab; Le Moullec, Yannick; Jenihhin, MaksimIEEE Access2021 / p. 113832-113849 https://doi.org/10.1109/ACCESS.2021.3104117 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

238

artikkel ajakirjas EST / artikkel ajakirjas ENG

Fault management techniques to enhance the reliability of power electronic converters : an overviewRahimpour, Saeed; Husev, Oleksandr; Vinnikov, Dmitri; Vosoughi Kurdkandi, Naser; Tarzamni, HadiIEEE Access2023 / p. 13432-13446 https://doi.org/10.1109/ACCESS.2023.3242918 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Common-ground energy router structure with enhanced reliability and protection = Ühise nulljuhtmega suurendatud töökindluse ja kaitsega energiaruuter

239

artikkel ajakirjas EST / artikkel ajakirjas ENG

Feedback linearization and lattice theoryKotta, Ülle; Tõnso, Maris; Shumsky, Alexey Ye.; Zhirabok, Alexey N.Systems & control letters2013 / p. 248-255 https://doi.org/10.1016/j.sysconle.2012.11.014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

240

artikkel ajakirjas EST / artikkel ajakirjas ENG

Finite determination of accessibility and singular points of nonlinear systems: an algebraic approachSarafrazi, Mohammad Amin; Kotta, Ülle; Bartosiewicz, ZbigniewSystems & control letters2020 / art. 104600, p. 1−7 https://doi.org/10.1016/j.sysconle.2019.104600 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

241

artikkel kogumikus EST / artikkel kogumikus ENG

First order logic and commonsense reasoning : a path less travelledTammet, Tanel; Draheim, Dirk; Järv, Priit; Verrev, MartinICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 20222022 / art. 182197 https://ceur-ws.org/Vol-3193/short5GDE.pdf Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

242

artikkel kogumikus EST / artikkel kogumikus ENG

Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

243

artikkel kogumikus EST / artikkel kogumikus ENG

Floor selection proposal for automated travel with smart elevatorReinsalu, Uljana; Robal, Tarmo; Leier, MairoDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 https://doi.org/10.1007/978-3-030-57672-1_4 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

244

artikkel kogumikus EST / artikkel kogumikus ENG

FoREnSiC– an automatic debugging environment for C programsBloem, Roderick; Raik, Jaan; Repinski, UrmasEighth Haifa Verification Conference : HVC 2012 : November 6-8, Haifa, Israel : [proceedings]2013 / p. 260-265 : ill https://doi.org/10.1007/978-3-642-39611-3_24 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

245

artikkel ajakirjas EST / artikkel ajakirjas ENG

A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

246

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

247

artikkel kogumikus EST / artikkel kogumikus ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

248

artikkel kogumikus EST / artikkel kogumikus ENG

Forward and backward compatibility design techniques applying the HL7 FHIR standardBossenko, Igor; Piho, Gunnar; Ross, PeeterHEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 20222022 / p. 1-14 https://ceur-ws.org/Vol-3264/HEDA22_paper_14.pdf Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel

249

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

250

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

Arvutiteadus. Üldine arvutiteadus (kategooria)

teaviku laadid

märksõna 2