Searching - TalTech Research Portal

display

sort

151

book article EST / book article ENG

Revisiting Peirce’s rules of transformation for Euler-Venn diagramsBhattacharjee, Reetu; Moktefi, AmiroucheDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 166–182 : ill https://doi.org/10.1007/978-3-030-86062-2_14 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

152

journal article EST / journal article ENG

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

153

book article EST / book article ENG

The role of digital transformation in fostering transparency : an e-court system case studyAhmed, Rozha Kamal; Ahmed, Omer; Pappel, Ingrid; Reitsakas, Aleksander; Draheim, DirkThe Role of Digital Technologies in Shaping the Post-Pandemic World : 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022 : proceedings2022 / p. 219–230 https://doi.org/10.1007/978-3-031-15342-6_17 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Digital transformation of court processes : driving forces, success factors, regulations and technology acceptance = Kohtuprotsesside digitaalne ümberkujundamine : liikumapanevad jõud, edu tegurid, regulatsioonid ja tehnoloogia vastuvõtmine

154

journal article EST / journal article ENG

Rule algebras for adhesive categoriesBehr, Nicolas; Sobocinski, Pawel MariaLogical methods in computer science2020 / p. 2:1−2:38 https://doi.org/10.23638/LMCS-16(3:2)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

155

book article EST / book article ENG

Runners for interleaving algebraic effectsVoorneveld, NielsTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 407-424 https://doi.org/10.1007/978-3-031-17715-6_26 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

156

book article EST / book article ENG

Selection of a green logical data warehouse schema by anti-monotonicity constraintGhabri, Issam; Bellatreche, Ladjel; Ben Yahia, SadokSOFSEM 2020: Theory and Practice of Computer Science : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020 : Proceedings2020 / p. 350-361 https://doi.org/10.1007/978-3-030-38919-2_29 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

157

book article EST / book article ENG

Self assessment tool to bridge the gap between XR Technology, SMEs, and HEIsKöse, Ahmet; Tepljakov, Aleksei; Alsaleh, Saleh Ragheb Saleh; Petlenkov, EduardExtended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part I2022 / p. 296–311 : ill https://doi.org/10.1007/978-3-031-15546-8_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at Scopus

book article EST / book article ENG

158

book article EST / book article ENG

Semi-parametric approach to random forests for high-dimensional bayesian optimisationKuzmanovski, Vladimir; Hollmén, JaakkoDiscovery Science : 25th International Conference, DS 2022, Montpellier, France, October 10–12, 2022, Proceedings2022 / p. 418 - 428 https://doi.org/10.1007/978-3-031-18840-4_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

159

book article EST / book article ENG

Sentence writing test for Parkinson disease modeling: comparing predictive ability of classifiersNetšunajev, Aleksei; Nõmm, Sven; Toomela, Aaro; Medijainen, Kadri; Taba, PilleIntelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020 : proceedings, Part I2020 / p. 345-357 https://doi.org/10.1007/978-3-030-41964-6_30 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

160

journal article EST / journal article ENG

Sentiment analysis for hotel reviews : a systematic literature reviewAmeur, Asma; Hamdi, Sana; Ben Yahia, SadokACM Computing Survey2023 / art. 51 https://doi.org/10.1145/3605152 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

161

journal article EST / journal article ENG

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

162

book article EST / book article ENG

Server-supported decryption for mobile devicesKirss, Johanna Maria; Laud, Peeter; Snetkov, Nikita; Vakarjuk, JelizavetaSecurity and Trust Management : 18th International Workshop, STM 2022 Copenhagen, Denmark, September 29, 2022 : proceedings2023 / p. 71-81 https://doi.org/10.1007/978-3-031-29504-1_4 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

163

book article EST / book article ENG

Situational states influence on team workload demands in cyber defense exerciseAsk, Torvald F.; Sütterlin, Stefan; Knox, Benjamin J.; Lugo, Ricardo G.HCI International 2021 - late breaking papers : cognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings2021 / p. 3-20 : ill https://doi.org/10.1007/978-3-030-90328-2_1 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

164

book article EST / book article ENG

A Software Prototype for Multidimensional Design of Data Warehouses Using OntologiesZekri, Manel; Ben Yahia, Sadok; Hilali-Jaghdam, InesComputational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019 : proceedings, part II2019 / p. 273-284 : ill https://doi.org/10.1007/978-3-030-28374-2_24 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

165

book article EST / book article ENG

Stenmap : framework for evaluating cybersecurity-related skills based on computer simulationsMäses, Sten; Randmann, Liina; Maennel, Olaf Manuel; Lorenz, BirgyLearning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II2018 / p. 492-504 https://doi.org/10.1007/978-3-319-91152-6_38 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

166

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

167

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

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

168

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

169

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

170

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

171

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

172

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

173

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

174

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

175

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

Matemaatika. Teoreetiline arvutiteadus (category)

types of item

subject term 6