Searching - TalTech Research Portal

display

sort

526

book article EST / book article ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

527

book article EST / book article ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

528

book article EST / book article ENG

Student’s behavior in free learning environment and formal education systemKukk, VelloLearning technology for education in Cloud : MOOC and Big Data : third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014 : proceedings2014 / p. 187-194 https://doi.org/10.1007/978-3-319-10671-7_19 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

529

journal article EST / journal article ENG

A study into elevator passenger in-cabin behaviour on a smart-elevator platformRobal, Tarmo; Basov, Kevin; Reinsalu, Uljana; Leier, MairoBaltic Journal of Modern Computing2022 / p. 665-688 : ill https://doi.org/10.22364/bjmc.2022.10.4.05 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

530

book article EST / book article ENG

A study on immediate automatic usability evaluation of web application user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 257-271 : ill https://doi.org/10.1007/978-3-319-40180-5_18 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

531

book article EST / book article ENG

Success and success factors of the Estonian E-Residency from the state and entrepreneur perspectiveSallam, Mohammed Saber H. A.; Lips, Silvia; Draheim, DirkElectronic Governance and Open Society: Challenges in Eurasia : 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24-25, 2021 : proceedings2022 / p. 291-304 https://doi.org/10.1007/978-3-031-04238-6_22 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik

532

book article EST / book article ENG

Success in eVoting - success in eDemocracy? The Estonian paradoxToots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings2016 / p. 55-66 : ill https://doi.org/10.1007/978-3-319-45074-2_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

533

journal article EST / journal article ENG

Super twisting sliding mode control strategy for input series output parallel convertersGuler, Naki; Bayhan, Sertac; Fesli, Ugur; Blinov, Andrei; Vinnikov, DmitriIEEE Access2023 / p. 107394-107403 https://doi.org/10.1109/ACCESS.2023.3320178 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

534

journal article EST / journal article ENG

Supply chain and ICT issues of Estonia: survey findingsKiisler, Ain; Solakivi, Tomi; Hilmola, Olli-Pekka KristianProcedia computer science2020 / p. 828-837 https://doi.org/10.1016/j.procs.2020.09.078 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

535

journal article EST / journal article ENG

Surjective cellular automata far from the Garden of EdenCapobianco, Silvio; Guillon, Pierre; Kari, JarkkoDiscrete mathematics and theoretical computer science2013 / p. 41-60 : ill https://www.researchgate.net/publication/264932675_Surjective_cellular_automata_far_from_the_Garden_of_Eden https://doi.org/10.46298/dmtcs.618 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

536

journal article EST / journal article ENG

Survey on architectural attacks : a unified classification and attack modelGhasempouri, Tara; Raik, Jaan; Reinbrecht, Cezar; Hamdioui, Said; Hamdioui, SaidACM Computing Surveys2023 / art. 42 https://doi.org/10.1145/3604803 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

537

journal article EST / journal article ENG

A survey on split manufacturing : attacks, defenses, and challengesPerez, Tiago Diadami; Pagliarini, Samuel NascimentoIEEE Access2020 / p. 184013-184035 https://doi.org/10.1109/ACCESS.2020.3029339 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees

538

journal article EST / journal article ENG

A survey on the roles of communication technologies in IoT-based personalized healthcare applicationsAlam, Muhammad Mahtab; Malik, Hassan; Khan, Muhidul Islam; Pardy, Tamas; Kuusik, Alar; Le Moullec, YannickIEEE Access2018 / p. 36611-36631 : ill https://doi.org/10.1109/ACCESS.2018.2853148 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

539

book article EST / book article ENG

Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

540

book article EST / book article ENG

Synthesis of implementations for divide-and-conquer specificationsBortin, MaksymFormal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings2022 / p. 73-88 https://doi.org/10.1007/978-3-031-22476-8_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

541

book article EST / book article ENG

System for determination of legal responsibility/penalty for a cybersecurity breachHovorushchenko, Tetiana; Herts, Alla; Boyarchuk, Artem; Pavlova, OlgaITTAP 2022 - Proceedings of the 2nd International Workshop on Information Technologies: Theoretical and Applied Problems2022 / p. 233-240 https://ceur-ws.org/Vol-3309/short9.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

542

book article EST / book article ENG

A systematic approach to define requirements and engineer the ontology for semantically merging data sets for personal-Centric healthcare systemsKormiltsõn, AleksandrCAiSE 2018 Doctoral Consortium2018 / p. 91 - 99 https://ceur-ws.org/Vol-2114/paper11.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

543

journal article EST / journal article ENG

A systematic assessment of numerical association rule mining methodsKaushik, Minakshi; Sharma, Rahul; Arakkal Peious, Sijo; Shahin, Mahtab; Ben Yahia, Sadok; Draheim, DirkSN Computer Science2021 / art. 348 https://doi.org/10.1007/s42979-021-00725-2 Journal metrics at Scopus Article at scopus

journal article EST / journal article ENG

Related publications 1

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

544

book article EST / book article ENG

Systematic digital signing in Estonian e-Government processes : influencing factors, technologies, change managementPappel, Ingrid; Pappel, Ingmar; Tepandi, Jaak; Draheim, DirkTransactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering2017 / p. 31-51 : ill https://doi.org/10.1007/978-3-662-56266-6_2 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

545

book article EST / book article ENG

Systematic literature review of methods for maintaining data integrityKask, Marten; Piho, Gunnar; Ross, PeeterAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 259–268 https://doi.org/10.1007/978-3-030-87657-9_20 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

546

journal article EST / journal article ENG

A systematic literature review on hardware reliability assessment methods for deep neural networksAhmadilivani, Mohammad Hasan; Taheri, Mahdi; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimACM Computing Surveys2024 / art. 141, 39 p. : ill https://doi.org/10.1145/3638242 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

547

book article EST / book article ENG

Taking updates seriouslyAhman, Danel; Uustalu, Tarmo6th International Workshop on Bidirectional Transformations, BX 2017 : Uppsala, Sweden, 29 April 20172017 / p. 59-73 : ill http://ceur-ws.org/Vol-1827/paper11.pdf Journal metrics at Scopus Article at Scopus

book article EST / book article ENG

548

book article EST / book article ENG

Task-based mobile learning ISC-system: built-in Coronavirus immunity confirmedUdal, Andres; Jaanus, Martin; Piho, GunnarEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 22021 / p. 604-616 https://doi.org/10.1007/978-3-030-68201-9_59 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

549

book article EST / book article ENG

Teaching and promoting smart internet of things solutions using the serious-game approachÕunapuu, EnnFusion of smart, multimedia and computer gaming technologies : research, systems and perspectives2015 / p. 73-90 : ill https://doi.org/10.1007/978-3-319-14645-4_4 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

550

book article EST / book article ENG

Teaching project risk management in a BIM-enabled learning environmentWitt, Emlyn David Qivitoq; Olowa, Theophilus Oluwarotimi Olatunde; Lill, IreneEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 162-173 https://doi.org/10.1007/978-3-030-68198-2_14 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Facilitating BIM-enabled learning in construction education = BIM’i kasutamine ehitusinseneride koolituses

Arvutiteadus. Üldine arvutiteadus (category)

types of item

subject term 2