Searching - TalTech Research Portal

display

sort

976

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

977

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

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

978

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

979

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

980

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

981

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

982

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

Seotud publikatsioonid 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

983

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

984

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

985

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

986

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

987

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

988

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

989

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

990

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

991

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

992

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

Seotud publikatsioonid 1

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

993

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

994

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

Seotud publikatsioonid 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

995

journal article EST / journal article ENG

Quasi-Z source T-type power converter for PV based commercial and industrial nanogrids with active functions strategyBarrero-Gonzalez, Fermin; Roncero-Clemente, Carlos; Milanes-Montero, Maria Isabel; Gonzalez-Romera, Eva; Romero-Cadaval, Enrique; Husev, OleksandrElectronics2020 / art. 1233, 18 p. : ill https://doi.org/10.3390/electronics9081233 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

996

journal article EST / journal article ENG

Query learning-based scheme for pertinent resource lookup in Mobile P2P networkYeferny, Taoufik; Hamad, Sofian; Ben Yahia, SadokIEEE Access2019 / art. 6287639, p. 49059-49068 https://doi.org/10.1109/ACCESS.2019.2910117 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

997

journal article EST / journal article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

998

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

journal article EST / journal article ENG

999

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

book article EST / book article ENG

1000

journal article EST / journal article ENG

Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexingMalik, Hassan; Alam, Muhammad Mahtab; Pervaiz, Haris; Moullec, Yannick Le; Al-Dulaimi, Anwer; Pärand, Sven; Reggiani, LucaIEEE Network2020 / Art. nr. 8839971 https://doi.org/10.1109/MNET.001.1900087 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 130

subject term 6

author 1