Searching - TalTech Research Portal

display

sort

776

journal article EST / journal article ENG

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

777

journal article EST / journal article ENG

Home energy management systems: A review of the concept, architecture, and scheduling strategiesHan, Binghui; Zahraoui, Younes; Mubin, Marizan; Mekhilef, Saad; Seyedmahmoudian, Mehdi; Stojcevski, AlexIEEE Access2023 / p. 19999-20025 https://doi.org/10.1109/ACCESS.2023.3248502 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

778

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

book article EST / book article ENG

779

journal article EST / journal article ENG

How can agents help in designing complex systems?Taveter, Kuldar; Meriste, MerikJournal of telecommunication, electronic and computer engineering2017 / p. 1-8 : ill http://journal.utem.edu.my/index.php/jtec/issue/view/140 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

780

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

book article EST / book article ENG

781

book article EST / book article ENG

How do NATO members define cyber operations?Arik, MarkoHCI International 2023 – Late Breaking Posters |b 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I2024 / p. 8-14 https://doi.org/10.1007/978-3-031-49212-9_2 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

The Planning, Development and Execution of Cyberspace Operations in the Digital Information Environment = Küberoperatsioonide planeerimine, arendamine ja läbiviimine digitaalses infokeskkonnas

782

journal article EST / journal article ENG

How does context influence music preferences : a user-based study of the effects of contextual information on users’ preferred musicBen Sassi, Imen; Ben Yahia, SadokMultimedia Systems2021 / p. 143–160 https://doi.org/10.1007/s00530-020-00717-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

783

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

book article EST / book article ENG

784

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

book article EST / book article ENG

785

journal article EST / journal article ENG

How to select and weight context dimensions conditions for context-aware recommendation?Zammali, Saloua; Ben Yahia, SadokExpert Systems with Applications2021 / art. 115176 https://doi.org/10.1016/j.eswa.2021.115176 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

786

journal article EST / journal article ENG

Human resource management in crisis situations : a systematic literature reviewEdvardsson, Ingi Runar; Durst, SusanneSustainability2021 / art. 12406, 17 p https://doi.org/10.3390/su132212406 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

787

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

book article EST / book article ENG

788

journal article EST / journal article ENG

Hybrid protection of digital FIR filtersAksoy, Levent; Nguyen, Quang-Linh; Almeida, Felipe; Raik, Jaan; Flottes, Marie-Lise; Dupuis, Sophie; Pagliarini, Samuel NascimentoIEEE transactions on Very Large Scale Integration (VLSI) Systems2023 / p. 812-825 : ill https://doi.org/10.1109/TVLSI.2023.3253641 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Advanced Hardware Protection Mechanisms : A Study on Logic Locking and Circuit Obfuscation Techniques [Võrguteavik] = Täiustatud riistvara kaitsemehhanismid : uuring loogikalukustamise ja hägustamise tehnikate kohta

789

journal article EST / journal article ENG

Hydroacoustic and pressure turbulence analysis for the assessment of fish presence and behavior upstream of a vertical trash rack at a run-of-river hydropower plantSchmidt, Marc B.; Tuhtan, Jeffrey Andrew; Schletterer, MartinApplied sciences2018 / art. 1723, 20 p. : ill https://doi.org/10.3390/app8101723 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

790

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

book article EST / book article ENG

791

book article EST / book article ENG

Hygrothermal criteria for design of cross-laminated timber external wallsKukk, Villu; Kers, Jaan; Kalamees, Targo; Wang, Lin; Ge, HuaProceedings of the 5th international conference on building energy and environment2023 / p. 811-815 https://doi.org/10.1007/978-981-19-9822-5_87 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

792

journal article EST / journal article ENG

Hysteresis current control with distributed shoot-through states for impedance source invertersHusev, Oleksandr; Chub, Andrii; Romero-Cadaval, Enrique; Roncero-Clemente, Carlos; Vinnikov, DmitriInternational journal of circuit theory and applications2016 / p. 783-797 : ill https://doi.org/10.1002/cta.2106 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

793

journal article EST / journal article ENG

Hysteresis measurements and numerical losses segregation of additively manufactured silicon steel for 3D printing electrical machinesTiismus, Hans; Kallaste, Ants; Belahcen, Anouar; Vaimann, Toomas; Rassõlkin, Anton; Lukichev, DmitryApplied sciences2020 / art. 6515, 15 p https://doi.org/10.3390/app10186515 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

794

journal article EST / journal article ENG

Identification and location of PD defects in medium voltage underground power cables using high frequency current transformerShafiq, Muhammad; Kiitam, Ivar; Taklaja, Paul; Kütt, Lauri; Kauhaniemi, Kimmo; Palu, IvoIEEE Access2019 / art. 8771171, p. 103608 - 103618 : ill https://doi.org/10.1109/ACCESS.2019.2930704 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

795

book article EST / book article ENG

Identification of seismic signals at the output of large ring laser gyroscopeTari, J.B.; Eno, N.AEarth Observing Systems XXIII, 21-23 August 2018, San Diego, California, United States2018 / art. 107641M, 11 p. : ill https://doi.org/10.1117/12.2320614 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

796

journal article EST / journal article ENG

Identifying and solving a vulnerability in the Estonian internet voting process: subverting ballot integrity without detectionTreier, Tarvo; Duuna, KristjanIEEE Access2024 / p. 197766-197782 : ill https://doi.org/10.1109/ACCESS.2024.3521337 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

797

book article EST / book article ENG

Identifying building blocks of Internet voting : preliminary findingsKrimmer, Robert Johannes44. Jahrestagung der Gesellschaft für Informatik : INFORMATIK 2014 : Big Data - Komplexität meistern : 22.-26. September 2014 in Stuttgart, Deutschland2014 / p. 1381-1389 : ill https://subs.emis.de/LNI/Proceedings/Proceedings232/1381.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

798

book article EST / book article ENG

Identifying design principles for proactive services through systematically understanding the reactivity-proactivity spectrumErlenheim, Regina; Draheim, Dirk; Taveter, KuldarProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 452–458 https://doi.org/10.1145/3428502.3428572 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

799

book article EST / book article ENG

Identifying eGovernment success factors: An analysis of selected national governance models and their experiences in digitising service deliveryMeyerhoff Nielsen, MortenEGOSE '14: Proceedings of the 2014 Conference on Electronic Governance and Open Society: Challenges in Eurasia, 18-20 November 2014 : proceedings2014 / p. 19-25 : ill https://doi.org/10.1145/2729104.2729111 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

800

book article EST / book article ENG

Identifying factors that influence the transition towards a smarter sustainable city : preliminary findings of the case study of Porto Alegre, BrazilSchuch de Azambuja, LuizaOngoing Research, Practitioners, Posters, Workshops, and Projects of the International Conference EGOV-CeDEM-ePart 20222022 / code 193901 https://ceur-ws.org/Vol-3399/paper28.pdf Conference Proceeding at Scopus Article at Scopus

book article EST / book article ENG

Computer Science (category)

types of item

keyword 152

subject term 6

TalTech department 3

author 1