Searching - TalTech Research Portal

display

sort

276

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

277

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

278

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

279

book article EST / book article ENG

The beauty of graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 9-12 https://doi.org/10.1007/978-3-319-91376-6_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

280

book article EST / book article ENG

The data quality framework for the Estonian public sector and its evaluation : establishing a systematic process-oriented viewpoint on cross-organizational data qualityTepandi, Jaak; Lauk, Mihkel; Linros, Janar; Raspel, Priit; Piho, Gunnar; Pappel, Ingrid; Draheim, DirkTransactions on large-scale data- and knowledge-centered systems XXXV2017 / p. 1-26 : ill https://doi.org/10.1007/978-3-662-56121-8_1 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

281

book article EST / book article ENG

The digital archiving process in Estonia - assessment and future perspectivesPappel, Ingrid; Oolu, Karin; Saarevet, Koit; Lauk, Mihkel; Draheim, DirkFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 472-481 : ill https://doi.org/10.1007/978-3-319-70004-5_34 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

282

book article EST / book article ENG

The future of the once-only principle in EuropeKrimmer, Robert Johannes; Prentza, Andriana; Mamrot, Szymon; Schmidt, Carsten; Cepilovs, AleksandrsThe once-only principle : The TOOP project2021 / p. 225–236 https://doi.org/10.1007/978-3-030-79851-2_12 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

book article EST / book article ENG

283

book article EST / book article ENG

The potential of the Estonian e-Governance infrastructure in supporting displaced Estonian residentsThurnay, Lörinc; Klasche, Benjamin; Nyman-Metcalf, Katrin Merike; Pappel, Ingrid; Draheim, DirkElectronic Government and the Information Systems Perspective : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017 : proceedings2017 / p. 236-250 https://doi.org/10.1007/978-3-319-64248-2_17 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

284

book article EST / book article ENG

The technical challenges in OOP application across the European Union and the TOOP OOP architectureTepandi, Jaak; Rotuna, Carmen; Sellitto, Giovanni Paolo; Fieten, Sander; Prentza, AndrianaThe once-only principle : The TOOP project2021 / p. 141−163 https://doi.org/10.1007/978-3-030-79851-2_8 Collection metrics at Scopus Article at Scopus Collection metrics at WOS Article at WOS

book article EST / book article ENG

285

book article EST / book article ENG

Theoretical aspects of symbolic automataTamm, Hellis; Veanes, MargusSOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings2018 / p. 428-441 https://doi.org/10.1007/978-3-319-73117-9_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

286

journal article EST / journal article ENG

Theory of átomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill https://doi.org/10.1016/j.tcs.2014.04.016 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

287

book article EST / book article ENG

3DLaneNAS : neural architecture search for accurate and light-weight 3D lane detectionZoljodi, Ali; Loni, Mohammad; Abadijou, Sadegh; Alibeigi, Mina; Daneshtalab, MasoudArtificial Neural Networks and Machine Learning - ICANN 2022 : proceedings. Part I2022 / p. 404-415 https://doi.org/10.1007/978-3-031-15919-0_34 Conference Proceedings at scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

288

journal article EST / journal article ENG

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

289

book article EST / book article ENG

To i-vote or not to i-vote: drivers and barriers to the implementation of internet votingLicht, Nathan; Duena Cid, David; Krivonosova, Iuliia; Krimmer, Robert JohannesElectronic voting : 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5–8, 2021, Proceedings2021 / p. 91-105 : ill https://doi.org/10.1007/978-3-030-86942-7_7 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

290

book article EST / book article ENG

A tool for design-time usability evaluation of web user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoAdvances in databases and information systems 21st European Conference, ADBIS 2017 Nicosia, Cyprus, September 24-27, 2017 : proceedings2017 / p. 394-407 : ill https://doi.org/10.1007/978-3-319-66917-5_26 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

291

book article EST / book article ENG

TOOP trust architectureBoldrin, Luca; Sellitto, Giovanni Paolo; Tepandi, JaakThe once-only principle : The TOOP project2021 / p. 126–140 https://doi.org/10.1007/978-3-030-79851-2_7 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS Article at WOS

book article EST / book article ENG

292

book article EST / book article ENG

Top-K formal concepts for identifying positively and negatively correlated biclustersHouari, Amina; Ben Yahia, SadokModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 156-172 https://doi.org/10.1007/978-3-030-78428-7_13 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

293

book article EST / book article ENG

Towards an architecture for e-learning infrastructures on a national level : a case study of AfgRENSaay, Mohammad Salim; Norta, Alexander; Laanpere, MartCurrent Developments in Web Based Learning : ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015 : revised selected papers2016 / p. 98-107 : ill https://doi.org/10.1007/978-3-319-32865-2_11 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

294

book article EST / book article ENG

Towards assessment of behavioral patterns in a virtual reality environmentKöse, Ahmet; Tepljakov, Aleksei; Abel, Mihkel; Petlenkov, EduardAugmented Reality, Virtual Reality, and Computer Graphics : 6th International Conference, AVR 2019 :Santa Maria al Bagno, Italy, June 24–27, 2019 : Proceedings. Part I2019 / p. 237–253 : ill https://doi.org/10.1007/978-3-030-25965-5_18 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

295

book article EST / book article ENG

Towards assisting interactive reality : interactive reality for education, data analysis and industryKöse, Ahmet; Tepljakov, Aleksei; Petlenkov, EduardAugmented Reality, Virtual Reality, and Computer Graphics : 5th International Conference : AVR 2018, Otranto, Italy, June 24–27, 2018 : proceedings, Part I2018 / p. 569-588 https://doi.org/10.1007/978-3-319-95282-6_41 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

296

book article EST / book article ENG

Towards establishing relationships between human arousal level and motion massNõmm, Sven; Kõnnusaar, Tiit; Toomela, AaroNeural Information Processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings. Part 12014 / p. 19-26 : ill https://doi.org/10.1007/978-3-319-12637-1_3 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

297

book article EST / book article ENG

Towards modeling of finger motions in virtual reality environmentNõmm, Sven; Toomela, Aaro; Kulikov, JaroslavAugmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017 : proceedings. Part I2017 / p. 106-115 : ill https://doi.org/10.1007/978-3-319-60922-5_8 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

298

book article EST / book article ENG

Towards the notion of average trajectory of the repeating motion of human limbsNõmm, Sven; Toomela, Aaro; Gaichenja, IliaIntelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings. Part II2017 / p. 582-591 : ill https://doi.org/10.1007/978-3-319-54430-4_56 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

299

book article EST / book article ENG

Towards unification of statistical reasoning, OLAP and association rule mining : semantics and pragmaticsSharma, Rahul; Kaushik, Minakshi; Arakkal Peious, Sijo; Shahin, Mahtab; Draheim, DirkDatabase Systems for Advanced Applications : 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022 : proceedings. Part I2022 / p. 596–603 https://doi.org/10.1007/978-3-031-00123-9_48 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Uniﬁcation of decision support techniques : mitigating statistical paradoxes for enabling trustworthy decision making = Otsuste toetamise tehnikate ühtlustamine : statistiliste paradokside mõju maandamine usaldusväärsete otsuste tegemise võimaldamiseks

300

journal article EST / journal article ENG

Transformation of nonlinear state equations into the observer form : necessary and sufficient conditions in terms of one-formsKaparin, Vadim; Kotta, ÜlleKybernetika2015 / p. 36-58 https://doi.org/10.14736/kyb-2015-1-0036 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Matemaatika. Teoreetiline arvutiteadus (category)

types of item

subject term 7