Searching - TalTech Research Portal

display

sort

1276

book article EST / book article ENG

Problem-based learning contribution to Master’s Studies in logistics and supply chain managementJanno, Jelizaveta; Kõrbe Kaare, KatiMobility for Smart Cities and Regional Development - Challenges for Higher Education : proceedings of the 24th International Conference on Interactive Collaborative Learning (ICL2021), Vol. 12022 / p. 492-503 https://doi.org/10.1007/978-3-030-93904-5_49 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1277

journal article EST / journal article ENG

Process-aware security monitoring in industrial control systems: A systematic review and future directionsRehman, Muaan Ur; Bahsi, HayretdinInternational journal of critical infrastructure protection2024 / art. 100719, 19 p. : ill https://doi.org/10.1016/j.ijcip.2024.100719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1278

journal article EST / journal article ENG

Production intralogistics automation based on 3D simulation analysisMahmood, Kashif; Karjust, Kristo; Raamets, TõnisJournal of machine engineering2021 / p. 102-115 : ill https://doi.org/10.36897/jme/137081 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1279

book article EST / book article ENG

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1280

book article EST / book article ENG

Professional skills for developing supportive learning environmentsRüütmann, Tiia; Läänemets, Urve; Kiilu, Kristi; Kalamees-Ruubel, KatrinEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 22021 / p. 473-484 https://doi.org/10.1007/978-3-030-68201-9_8 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1281

journal article EST / journal article ENG

Profunctor optics: a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioCompositionality2024 / 39 p. : ill https://doi.org/10.32408/compositionality-6-1 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1282

journal article EST / journal article ENG

Progress in sustainable recycling and circular economy of tungsten carbide hard metal scraps for industry 5.0 and onwardsKumar, Rahul, 1993-; Kariminejad, Arash; Antonov, Maksim; Goljandin, Dmitri; Klimczyk, Piotr; Hussainova, IrinaSustainability2023 / art. 12249 https://doi.org/10.3390/su151612249 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1283

book article EST / book article ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

1284

book article EST / book article ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1285

book article EST / book article ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

1286

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1287

journal article EST / journal article ENG

Propagation of bankruptcy risk over scale-free economic networksAndria, Joseph; di Tollo, Giacomo; Kalda, JaanEntropy2022 / art. 1713 https://doi.org/10.3390/e24121713 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1288

journal article EST / journal article ENG

The proposal of countermeasures for deepfake voices on social media considering waveform and text embeddingYanagi, Yuta; Orihara, Ryohei; Tahara, Yasuyuki; Sei, Yuichi; Alumäe, Tanel; Ohsuga, AkihikoAnnals of emerging technologies in computing2024 / p. 15-31 ill https://doi.org/10.33166/AETiC.2024.02.002 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1289

journal article EST / journal article ENG

ProSe direct discovery : experimental characterization and context-aware heuristic approach to extend public safety networks lifetimeMasood, Ali; Alam, Muhammad Mahtab; Le Moullec, Yannick; Reggiani, Luca; Scazzoli, Davide; Magarini, Maurizio; Ahmad, RizwanIEEE Access2021 / p. 130055 −130071 https://doi.org/10.1109/ACCESS.2021.3112751 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Implementation and demonstration of a device-to-device communication system for emergency and critical scenarios = Seadmetevahelise sidesüsteemi rakendamine ja demonstreerimine hädaolukorra ja kriitiliste juhtumite jaoks

1290

book article EST / book article ENG

The prospect of inclusive pedagogy in efficiency-centric governance paradigm : business and entrepreneurship teachers’ perspectivesNiine, Tarvo; Küttim, Merle; Semm, KristinLearning in the Age of Digital and Green Transition : Proceedings of the 25th International Conference on Interactive Collaborative Learning (ICL2022), Volume 22023 / p. 684-694 https://doi.org/10.1007/978-3-031-26190-9_72 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1291

book article EST / book article ENG

Prospective research topics towards preserving electronic health records in decentralised content-addressable storage networksKlementi, Toomas; Kankainen, Kristian Juha Ismo; Piho, Gunnar; Ross, PeeterHEDA 2022 : The International Health Data Workshop HEDA 20222022 / code 184051 https://ceur-ws.org/Vol-3264/HEDA22_paper_7.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1292

journal article EST / journal article ENG

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

1293

book article EST / book article ENG

Provably correct test development for timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 20142014 / p. 289-302 : ill https://doi.org/10.3233/978-1-61499-458-9-289 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1294

journal article EST / journal article ENG

The provenance of Apple Health data : a timeline of update historyJennings, Luke; Sorell, Matthew; Espinosa, Hugo G.Forensic Science International: Digital Investigation2024 / art. no. 301804; 9 p. https://doi.org/10.1016/j.fsidi.2024.301804 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1295

book article EST / book article ENG

Public acceptance of advanced identity documentsKalvet, Tarmo; Tiits, Marek; Laas-Mikko, KatrinICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 429-432 https://doi.org/10.1145/3209415.3209456 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1296

journal article EST / journal article ENG

A public dataset for synchronous motor electrical faults diagnosis with CNN and LSTM reference classifiersSun, Zhenglong; Machlev, Ram; Wang, Qianchao; Belikov, Juri; Levron, Yoash; Baimel, DmitryEnergy and AI2023 / art. 100274, 17 p https://doi.org/10.1016/j.egyai.2023.100274 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1297

journal article EST / journal article ENG

Public information as a commons : the case of the ERT and the peer-to-peer prospectKostakis, Vasileios; Giotitsas, ChristosInternational journal of electronic governance2013 / p. 209-217 https://doi.org/10.1504/IJEG.2013.058408 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1298

book article EST / book article ENG

A public, blockchain-based distributed smart-contract platform enabling mobile lite wallets using a proof-of-stake consensus algorithmNorta, Alexander; Dai, Patrick; Mahi, Neil; Earls, JordanBusiness Information Systems Workshops : BIS 2018 : International Workshops, Berlin, Germany, July 18–20, 2018 : Revised Papers2019 / p. 368-380 https://doi.org/10.1007/978-3-030-04849-5_33 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1299

book article EST / book article 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

book article EST / book article ENG

1300

journal article EST / journal article ENG

PV-battery assisted three-level T-Type inverter for AC residential nanogrid realized with small-scale HIL unitsGutierrez-Escalona, Javier; Roncero-Clemente, Carlos; Gonzalez-Romera, Eva; Milanes-Montero, Maria Isabel; Husev, Oleksandr; Romero-Cadaval, EnriqueIEEE Access2023 / p. 48007 - 48021 https://doi.org/10.1109/ACCESS.2023.3276235 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Arvutiteadus (category)

types of item

subject term 1