Otsing - TalTech teadusportaal

kuva

reasta

251

artikkel kogumikus EST / artikkel kogumikus ENG

Purely functional incremental computingFirsov, Denis; Jeltsch, WolfgangProgramming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings2016 / p. 62-77 : ill https://doi.org/10.1007/978-3-319-45279-1_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

252

artikkel kogumikus EST / artikkel kogumikus ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

253

artikkel ajakirjas EST / artikkel ajakirjas ENG

Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

254

artikkel kogumikus EST / artikkel kogumikus ENG

Quotients and atoms of reversible languagesTamm, HellisFormal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II2020 / p. 443-455 https://doi.org/10.1007/978-3-030-54997-8_28 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

255

artikkel kogumikus EST / artikkel kogumikus ENG

Random forests hydrodynamic flow classification in a vertical slot fishway using a bioinspired artificial lateral line probeFukuda, Shinji; Tuhtan, Jeffrey Andrew; Fuentes-Pérez, Juan Francisco; Schletterer, Martin; Kruusmaa, MaarjaIntelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016 : proceedings. Part II2016 / P. 297-307 : ill https://doi.org/10.1007/978-3-319-43518-3_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

256

artikkel ajakirjas EST / artikkel ajakirjas ENG

Realization of nonlinear input-output equations in controller canonical formKaldmäe, Arvo; Kotta, ÜlleKybernetika2018 / p. 736-747 https://doi.org/10.14736/kyb-2018-4-0736 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

257

artikkel ajakirjas EST / artikkel ajakirjas ENG

Reconstruction of an order of derivative and a source term in a fractional diffusion equation from final measurementsJanno, Jaan; Kinash, NataliiaInverse problems2018 / art. 025007, 19 p. : ill https://doi.org/10.1088/1361-6420/aaa0f0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

258

artikkel kogumikus EST / artikkel kogumikus ENG

Regex decision procedures in extended RE#Varatalu, Ian Erik; Veanes, Margus; Zhuchko, Ekaterina; Ernits, Juhan-PeepComputer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III2025 / p. 106-129 : ill https://link.springer.com/chapter/10.1007/978-3-031-98682-6_7 https://doi.org/10.1007/978-3-031-98682-6_7 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

259

artikkel ajakirjas EST / artikkel ajakirjas ENG

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

260

artikkel kogumikus EST / artikkel kogumikus ENG

Representing uncertainty with expanded ueberweg diagramsMoktefi, Amirouche; Bhattacharjee, Reetu; Lemanski, JensDiagrammatic Representation and Inference : 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024 : proceedings2024 / p. 207-214 https://doi.org/10.1007/978-3-031-71291-3_17 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

261

artikkel kogumikus EST / artikkel kogumikus ENG

Residuation in existential graphsHaydon, Nathan Joseph; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 229−237 https://doi.org/10.1007/978-3-030-86062-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

262

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

263

artikkel kogumikus EST / artikkel kogumikus ENG

Re-voting Under Surveillance: National eID Transaction Logs as a Threat to Coercion Resistance in Estonian Internet VotingTreier, TarvoElectronic Voting : 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025 : Proceedings2025 / p. 191–207 https://doi.org/10.1007/978-3-032-05036-6_12 Conference proceedings at Scopus Article at Scopus Congerence proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

264

artikkel kogumikus EST / artikkel kogumikus ENG

Rewriting for Traced Monoidal Closed CategoriesDi Giorgio, Alessandro; Ghica, Dan R.; Zanasi, FabioGraph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings2025 / p. 24–43 : ill https://doi.org/10.1007/978-3-031-94706-3_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

265

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

266

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus 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

267

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

268

artikkel kogumikus EST / artikkel kogumikus ENG

Runners for interleaving algebraic effectsVoorneveld, Niels Frits WillemTheoretical 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

artikkel kogumikus EST / artikkel kogumikus ENG

269

artikkel kogumikus EST / artikkel kogumikus ENG

Scalable medical viewer for virtual reality environmentsRicciardi, Francesco; Pastorelli, Emiliano; De Paolis, Lucio Tommaso; Herrmann, HeikoAugmented and Virtual Reality : second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015 : proceedings2015 / p. 233-243 : ill https://doi.org/10.1007/978-3-319-22888-4_17 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

270

artikkel ajakirjas EST / artikkel ajakirjas ENG

SCARF : securing chips with a robust framework against fabrication-time hardware trojansEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoIEEE Transactions on Computers2024 / p. 2761-2775 https://doi.org/10.1109/TC.2024.3449082 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprint

271

artikkel kogumikus EST / artikkel kogumikus ENG

Security proofs for hash tree time-stamping using hash functions with small output sizeBuldas, Ahto; Laanoja, RistoInformation security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013 : proceedings2013 / p. 235-250 : ill https://doi.org/10.1007/978-3-642-39059-3_16 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

272

artikkel kogumikus EST / artikkel kogumikus ENG

Security risk management in the aviation turnaround sectorMatulevičius, Raimundas; Norta, Alexander; Udokwu, Chibuzor; Nõukas, ReinFuture Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings2016 / p. 119-140 : ill https://doi.org/10.1007/978-3-319-48057-2_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

273

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

274

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

275

artikkel kogumikus EST / artikkel kogumikus ENG

Semi-automated generation of DSL meta models from formal domain ontologiesOjamaa, Andres; Haav, Hele-Mai; Penjam, JaanModel and Data Engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings2015 / p. 3-15 https://doi.org/10.1007/978-3-319-23781-7_1 Conference Proceedings at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Matemaatika. Teoreetiline arvutiteadus (kategooria)

teaviku laadid

märksõna 7