Searching - TalTech Research Portal

display

sort

501

book article EST / book article 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

book article EST / book article ENG

Seotud publikatsioonid 1

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

502

book article EST / book article 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

book article EST / book article ENG

503

journal article EST / journal article ENG

Forward and backward shifts of vector fields : towards the dual algebraic frameworkMullari, Tanel; Kotta, Ülle; Bartosiewicz, Zbigniew; Pawluszewicz, Ewa; Moog, ClaudeIEEE transactions on automatic control2017 / p. 3029-3033 https://doi.org/10.1109/TAC.2016.2608718 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

504

journal article EST / journal article ENG

Forward and backward walking : multifactorial characterization of gait parametersDonno, Lucia; Monoli, Cecilia; Frigo, Carlo Albino; Galli, ManuelaSensors2023 / art. 4671 https://doi.org/10.3390/s23104671 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

505

journal article EST / journal article ENG

Fractional order sliding mode controller based on supervised machine learning techniques for speed control of PMSMZahraoui, Younes; Zaihidee, Fardila M.; Kermadi, Mostefa; Mekhilef, Saad; Mubin, Marizan; Tang, Jing Rui; Zaihidee, Ezrinda M.Mathematics2023 / art. 1457 https://doi.org/10.3390/math11061457 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

506

journal article EST / journal article ENG

Fractional-order modeling and control of ionic polymer-metal composite actuatorTepljakov, Aleksei; Vunder, Veiko; Petlenkov, Eduard; Nakshatharan, S Sunjai; Punning, Andres; Kaparin, Vadim; Belikov, Juri; Aabloo, AlvoSmart materials and structures2019 / 12 p. : ill https://doi.org/10.1088/1361-665X/ab2c75 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

507

book article EST / book article 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

book article EST / book article ENG

508

journal article EST / journal article ENG

A framework for developing educational industry 4.0 activities and study materialsChristiansen, Lasse; Edvardsen Hvidsten, Tommy; Hemdrup Kristensen, Jesper; Gebhardt, Jonas; Mahmood, Kashif; Otto, Tauno; Heidemann Lassen, Astrid; Ditlev Brunoe, Thomas; Schou, Casper; Skov Laursen, EsbenEducation Sciences2022 / art. 659 https://doi.org/10.3390/educsci12100659 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

509

book article EST / book article ENG

A framework for improving web application user interfaces through immediate evaluationMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 283-296 : ill https://doi.org/10.3233/978-1-61499-714-6-283 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

510

book article EST / book article 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

book article EST / book article ENG

Seotud publikatsioonid 1

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

511

book article EST / book article ENG

A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of NigeriaAzogu, Irene; Norta, Alexander; Pappel, Ingrid; Longo, Justin; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 310–316 : ill https://doi.org/10.1145/3326365.3326405 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

512

book article EST / book article 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

book article EST / book article ENG

513

journal article EST / journal article 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

journal article EST / journal article ENG

Seotud publikatsioonid 2

514

book article EST / book article 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

book article EST / book article ENG

515

journal article EST / journal article ENG

Frictional wear and corrosion behavior of AlCoCrFeNi high-entropy alloy coatings synthesized by atmospheric plasma sprayingMu, Yongkun; Zhang, Liangbo; Xu, Long; Prashanth, Konda Gokuldoss; Zhang, Nizhen; Ma, Xindi; Jia, Yuefei; Xu, Yulai; Jia, Yandong; Wang, GangEntropy2020 / art. 740 https://doi.org/10.3390/e22070740 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

516

journal article EST / journal article ENG

From bench to bedsideArezzo, Alberto; Kruusmaa, Maarja; Mylonas, GeorgeIEEE Transactions on Medical Robotics and Bionics2022 / p. 297 - 299 https://doi.org/10.1109/TMRB.2022.3172013 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

517

journal article EST / journal article ENG

From customer-, to actor-, to stakeholder engagement: taking stock, conceptualization, and future directionsHollebeek, Linda Desiree; Kumar, Virender; Srivastava, Rajendra K.Journal of Service Research2022 / p. 328-343 https://doi.org/10.1177/1094670520977680 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

518

book article EST / book article ENG

From envelope to layout : buildings massing and layout generation for solar access in urban environmentsDe Luca, FrancescoShoCK! : Sharing of Computable Knowledge : proceedings of the 35th International Conference on Education and Research in Computer Aided Architectural Design in Europe : 20th-22nd September 2017, Rome, Italy. Volume 22017 / p. 431-440 : ill Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

519

book article EST / book article ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

520

book article EST / book article 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

book article EST / book article ENG

521

book article EST / book article ENG

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

522

journal article EST / journal article ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

523

book article EST / book article ENG

Future of governance for digital platform ecosystemsKitsing, Meelis; Vallistu, JohannaProceedings of Fifth International Congress on Information and Communication Technology : ICICT 2020, London ; 22021 / p. 334-341 https://doi.org/10.1007/978-981-15-5859-7_33 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

524

journal article EST / journal article ENG

Game on! How gamified loyalty programs boost customer engagement valueHollebeek, Linda Desiree; Das, Kallol; Shukla, YupalInternational journal of information management2021 / art. 102308, 10 p. : ill https://doi.org/10.1016/j.ijinfomgt.2021.102308 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

525

book article EST / book article ENG

Gamification model for developing e-learning in Libyan higher educationAl Ghawail, Entisar Alhadi; Ben Yahia, Sadok; Alrzini, Joma RajabSmart education and e-learning 20212022 / p. 97-110 : ill https://doi.org/10.1007/978-981-16-2834-4_9 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

Computer Science (category)

types of item

keyword 130

subject term 6

author 1