Otsing - TalTech teadusportaal

kuva

reasta

201

artikkel kogumikus EST / artikkel kogumikus ENG

Experience in an application of project-based learning to teaching of mechanical engineering and energy technology processes controlHõbesaar, Aleksei; Baraškova, Tatjana; Shirokova, VeroonikaEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 417-428 https://doi.org/10.1007/978-3-030-68198-2_39 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

202

artikkel kogumikus EST / artikkel kogumikus ENG

The experience of a selfassessment tool for enhancing XR technology adoption in SMEs and HEIs across EuropeKöse, Ahmet; Tepljakov, Aleksei; Alsaleh, Saleh Ragheb Saleh; Petlenkov, EduardExtended Reality: International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I2023 / p. 184-197 https://doi.org/10.1007/978-3-031-43401-3_12 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

203

artikkel kogumikus EST / artikkel kogumikus ENG

Experiences from maritime logistics distance learning courseHilmola, Olli-Pekka Kristian; Palu, Riina; Tolli, AndresEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 577-585 https://doi.org/10.1007/978-3-030-68198-2_53 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

204

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

205

artikkel kogumikus

An experimental pipeline for automated reasoning in natural language (short paper)Tammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkAutomated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings2023 / p. 509-521 https://doi.org/10.1007/978-3-031-38499-8_29 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus

206

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

207

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

208

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

209

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

210

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

211

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

212

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

213

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

214

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

215

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

216

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

217

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

218

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

219

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

220

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

221

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

222

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

223

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

224

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

225

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

Computer science. General computer science (kategooria)

teaviku laadid

võtmesõna 139

märksõna 6

autor 1