Searching - TalTech Research Portal

display

sort

326

journal article EST / journal article ENG

A two-layer elastic strip under transverse impact loading : analytical solution, finite element, and finite volume simulationsAdamek, Vítězslav; Berezovski, Arkadi; Mračko, Michal; Kolman, RadekMathematics and computers in simulation2021 / p. 126-140 https://doi.org/10.1016/j.matcom.2020.10.007 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

327

book article EST / book article ENG

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

328

book article EST / book article ENG

Unsatisfiability of comparison-based non-malleability for commitmentsFirsov, Denis; Laur, Sven; Zhuchko, EkaterinaTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 188–194 https://doi.org/10.1007/978-3-031-17715-6_13 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

329

book article EST / book article ENG

User interactions in Virtual Data ExplorerKullman, Kaur; Engel, DonAugmented Cognition : 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022. Virtual Event, June 26 - July 1, 2022, proceedings2022 / p. 333-347 https://doi.org/10.1007/978-3-031-05457-0_26 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

330

book article EST / book article ENG

Using mandatory concepts for knowledge discovery and data structuringElloumi, Samir; Ben Yahia, Sadok; Al Ja’am, JihadDatabase and Expert Systems Applications : 30th International Conference, DEXA 2019, Linz, Austria, August 26–29, 2019, Proceedings, Part II2019 / p. 362 - 375 https://doi.org/10.1007/978-3-030-27618-8_27 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

331

book article EST / book article ENG

Using market basket analysis to find semantic duplicates in ontologyAstrova, Irina; Koschel, Arne; Lee, Su LingComputational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV2020 / p. 197-211 https://doi.org/10.1007/978-3-030-58811-3_14 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

332

book article EST / book article ENG

Using the Estonian electronic identity card for authentication to a machineMorgan, Danielle; Parsovs, ArnisSecure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings2017 / p. 175-191 : ill https://doi.org/10.1007/978-3-319-70290-2_11 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

333

book article EST / book article ENG

The utilization of public-private partnership frameworks in the management of eID projectsMander, Stina; Lips, Silvia; Draheim, DirkElectronic Government and the Information Systems Perspective, 12th International Conference, EGOVIS 2023, Penang, Malaysia, August 28–30, 2023, Proceedings2023 / p. 17-32 https://doi.org/10.1007/978-3-031-39841-4_2 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

334

book article EST / book article ENG

Variable self-efficacy as a measurement for behaviors in cyber security operationsLugo, Ricardo Gregorio; Knox, Benjamin James; Josok, Oyvind; Sütterlin, StefanAugmented Cognition. Human Cognition and Behavior : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : proceedings, Part II2020 / p. 395-404 https://doi.org/10.1007/978-3-030-50439-7_27 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

335

book article EST / book article ENG

A variety theorem for relational universal algebraNester, Chad MitchellRelational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings2021 / p. 362–377 https://doi.org/10.1007/978-3-030-88701-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

336

book article EST / book article ENG

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

337

book article EST / book article ENG

Venn diagrams with “Most”: a natural logic approachLiu, Xinwen; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 264−268 : ill https://doi.org/10.1007/978-3-030-86062-2_27 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

338

book article EST / book article ENG

Verifiability experiences in government online voting systemsPuiggali, Jordi; Cucurull, Jordi; Guasch, Sandra; Krimmer, Robert JohannesElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 248-263 : ill https://doi.org/10.1007/978-3-319-68687-5_15 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

339

journal article EST / journal article ENG

Versatile direct and transpose matrix multiplication with chained operations : an optimized architecture using circulant matricesIakymchuk, Taras; Rosado-Munoz, Alfredo; Mompean, Manuel Bataller; Villora, Jose Vicente Frances; Osimiry, Emmanuel OvieIEEE Transactions on Computers2016 / p. 3470 - 3479 https://doi.org/10.1109/TC.2016.2538235 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

340

book article EST / book article ENG

What Are Rules for? A Carroll-Peirce ComparisonMoktefi, Amirouche; Bhattacharjee, ReetuDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 251–254 : ill https://doi.org/10.1007/978-3-030-86062-2_24 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

341

journal article EST / journal article ENG

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

342

book article EST / book article ENG

Why not to trust big data : discussing statistical paradoxesSharma, Rahul; Kaushik, Minakshi; Arakkal Peious, Sijo; Shahin, Mahtab; Vidyarthi, Ankit; Tiwari, Prayag; Draheim, DirkDatabase Systems for Advanced Applications : DASFAA 2022, International Workshops BDMS, BDQM, GDMA, IWBT, MATQTDS, and PMBD, Virtual Event, April 11–14, 2022 : proceedings2022 / p. 50-63 : ill https://doi.org/10.1007/978-3-031-11217-1_4 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

343

book article EST / book article ENG

Virtual reality meets intelligence in large scale architectureKöse, Ahmet; Petlenkov, Eduard; Tepljakov, Aleksei; Vassiljeva, KristinaAugmented Reality, Virtual Reality, and Computer Graphics : 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017 : proceedings. Part II2017 / p. 297-309 : ill https://doi.org/10.1007/978-3-319-60928-7_26 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

344

book article EST / book article ENG

Virtual reality visualization for photogrammetric 3d reconstructions of cultural heritageHerrmann, Heiko; Pastorelli, EmilianoAugmented and Virtual Reality First International Conference, AVR 2014, Lecce, Italy, September 17–20, 2014 : Revised Selected Papers2014 / p. 283-295 : ill https://doi.org/10.1007/978-3-319-13969-2_21 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

345

book article EST / book article ENG

Voting in e-participation : a set of requirements to support accountability and trust by electoral committeesParycek, Peter; Sachs, Michael; Virkar, Shefali; Krimmer, Robert JohannesElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 42-56 https://doi.org/10.1007/978-3-319-68687-5_3 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

346

book article EST / book article ENG

Vulnerability of state-provided electronic identification : the case of ROCA in EstoniaValtna-Dvorak, Astrid; Lips, Silvia; Tsap, Valentyna; Ottis, Rain; Priisalu, Jaan; Draheim, DirkElectronic Government and the Information Systems Perspective : 10th International Conference, EGOVIS 2021, Virtual Event, September 27–30, 2021 : proceedings2021 / p. 73–85 https://doi.org/10.1007/978-3-030-86611-2_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 2

347

book article EST / book article ENG

Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisDescriptional Complexity of Formal Systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings2022 / p. 184-196 : ill https://doi.org/10.1007/978-3-031-13257-5_14 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

348

journal article EST / journal article ENG

Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisTheoretical computer science2024 / art. 114581, 15 p. : ill https://doi.org/10.1016/j.tcs.2024.114581 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