Searching - TalTech Research Portal

display

sort

1276

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

1277

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

1278

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

1279

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

1280

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

1281

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

1282

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

1283

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

1284

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

1285

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

1286

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

1287

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

1288

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

1289

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

1290

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

1291

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

1292

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

1293

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

1294

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

1295

journal article EST / journal article ENG

Q-Learning based joint energy-spectral efficiency optimization in multi-hop device-to-device communicationKhan, Muhidul Islam; Reggiani, Luca; Alam, Muhammad Mahtab; Le Moullec, Yannick; Sharma, Navuday; Yaacoub, Elias; Magarini, MaurizioSensors2020 / art. 6692, 23 p.: ill https://doi.org/10.3390/s20226692 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1296

journal article EST / journal article ENG

A QoS optimization approach in cognitive body area networks for healthcare applicationsAhmed, Tauseef; Le Moullec, YannickSensors2017 / art. 780, p. 1-23 : ill https://doi.org/10.3390/s17040780 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

QoT assessment of the optical spectrum as a service in disaggregated network scenariosKaeval, Kaida; Fehenberger, Tobias; Zou, Jim; Jansen, Sander Lars; Grobe, Klaus; Griesser, Helmut; Elbers, Jörg-Peter; Tikas, Marko; Jervan, GertJournal of Optical Communications and Networking2021 / art. 9436771, p. E1-E12 https://doi.org/10.1364/JOCN.423530 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Optical spectrum services in Open Disaggregated Transport Networks = Optilise spektri teenused avatud lainepikkustihendus võrkudes

1298

journal article EST / journal article ENG

Quadratic/linear rational spline histopolationHallik, Helle; Oja, PeeterBIT numerical mathematics2017 / p. 629-648 : ill https://doi.org/10.1007/s10543-017-0645-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1299

journal article EST / journal article ENG

Quantification of hydrodynamic model sea level bias utilizing deep learning and synergistic integration of data sourcesJahanmard, Vahidreza; Hordoir, Robinson; Delpeche-Ellmann, Nicole Camille; Ellmann, ArtuOcean modelling2023 / art. 102286 : ill., map https://doi.org/10.1016/j.ocemod.2023.102286 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Developments towards deriving realistic dynamic topography by synergizing high-resolution geoid with sea level data = Merepinna realistliku dünaamilise topograafia saavutamine täppisgeoidi ja meretaseme andmestike kooskasutamisel

1300

journal article EST / journal article ENG

Quantitative carbon emission prediction model to limit embodied carbon from major building materials in multi-story buildingsXie, Qimiao; Jiang, Qidi; Kurnitski, Jarek; Yang, Jiahang; Lin, Zihao; Ye, ShiqiSustainability2024 / art. 5575 https://doi.org/10.3390/su16135575 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Computer Science (category)

types of item

keyword 148

subject term 6

TalTech department 3

author 1