Searching - TalTech Research Portal

display

sort

1

journal article EST / journal article ENG

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

2

journal article EST / journal article ENG

Achieving of Magnus effect with Agros SuiteLukin, Aleksandr; Demidova, Galina; Rassõlkin, AntonPeriodica polytechnica electrical engineering and computer science2021 / p. 131-137 : ill https://doi.org/10.3311/PPee.17743 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

3

book article EST / book article ENG

Addressing scalability issues in semantics-driven recommender systemsBendouch, Mounir M.; Frasincar, Flavius; Robal, TarmoWI-IAT '21: IEEE/WIC/ACM International Conference on Web Intelligence2021 / p. 56-63 https://doi.org/10.1145/3486622.3493963 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

4

book article EST / book article ENG

Administrative burden reduction over time : literature review, trends and gap analysisMeyerhoff Nielsen, Morten; Goncalves Veiga, Linda; Carvalho, Nuno Ramos; Barbosa, Luis SoaresICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 140-148 https://doi.org/10.1145/3047273.3047334 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

5

book article EST / book article ENG

Analysis of keyword spotting performance across IARPA Babel languagesHartmann, William; Karakos, Damianos; Hsiao, Roger; Zhang, Le; Alumäe, Tanel; Tsakalidis, Stavros; Schwartz, Richard2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 5765-5769 : ill https://doi.org/10.1109/ICASSP.2017.7953261 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

6

journal article EST / journal article ENG

Anomaly detection, classification and identification Tool (ADCIT)Asefi, Sajjad; Mitrovic, Mile; Cetenovic, Dragan; Levi, Victor; Gryazina, Elena; Terzija, VladimirSoftware impacts2023 / art. 100465, 3 p. : ill https://doi.org/10.1016/j.simpa.2023.100465 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

7

journal article EST / journal article ENG

Anti-money laundering powered by graph machine learning: 'Show me your friends and I will tell you who you are'Astrova, IrinaIntelligent decision technologies2023 / p. 243-261 https://doi.org/10.3233/IDT-220193 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

8

journal article EST / journal article ENG

Audiovisual emotion recognition in wildAvots, Egils; Sapinski, Tomasz; Bachmann, Maie; Kaminska, DorotaMachine Vision and Applications2019 / p. 975–985 : ill https://doi.org/10.1007/s00138-018-0960-9 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

9

journal article EST / journal article ENG

Augmented reality based on Apollo lunar imagery : searching for stars and adding virtual objectsPustõnski, Vladislav-VenjaminPresence : virtual and augmented reality2022 / p. 203-227 https://doi.org/10.1162/pres_a_00393 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

10

journal article EST / journal article ENG

An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

11

journal article EST / journal article ENG

Automatic calibration toolbox for SWMM5Vassiljev, Anatoli; Suits, Kristjan; Kaur, Katrin; Kändler, Nils; Truu, Murel; Annus, IvarAdvances in engineering software2023 / art. 103528 https://doi.org/10.1016/j.advengsoft.2023.103528 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

12

journal article EST / journal article ENG

Backstepping-based output feedback boundary control for coupled fractional reaction-diffusion systemsZhuang, Bo; Cui, Bao-Tong; Lou, Xu-Yang; Chen, JuanZidonghua Xuebao/Acta Automatica Sinica2022 / p. 2729 - 2743 https://doi.org/10.16383/j.aas.c190389 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

13

book article EST / book article ENG

Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

14

book article EST / book article ENG

Big data analytics in association rule mining : a systematic literature reviewShahin, Mahtab; Arakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Ben Yahia, Sadok; Shah, Syed Attique; Draheim, DirkBDET 2021: 2021 the 3rd International Conference on Big Data Engineering and Technology (BDET) : proceedings2021 / p. 40-49 https://doi.org/10.1145/3474944.3474951 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs

15

book article EST / book article ENG

Boolean automata and atoms of regular languagesTamm, Hellis46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings2021 / art. 86, p. 86:1–86:13 https://doi.org/10.4230/LIPIcs.MFCS.2021.86 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

16

book article EST / book article ENG

Bringing innovation towards efficient policy-making in ICT-enabled service provision for senior citizensLiutkevicius, Merilin; Gelashvili, Teona; Pappel, IngridProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece2022 / p. 97-103 https://doi.org/10.1145/3494193.3494207 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

17

journal article EST / journal article ENG

Building global societies on collective intelligence : challenges and opportunitiesSuran, Shweta; Pattanaik, Vishwajeet; Kurvers, Ralf; Hallin, Carina Antonia; De Liddo, Anna; Krimmer, Robert Johannes; Draheim, DirkDigital government : research and practice2022 / art. 31, p. 1-6 https://doi.org/10.1145/3568169 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

18

journal article EST / journal article ENG

A cache-based approach toward improved scheduling in fog computingKhan, Osama Amir; Malik, Saif Ur Rehman; Baig, Faizan M.; Islam, Saif Ul; Pervaiz, Haris; Malik, Hassan; Ahmed, Syed HassanSoftware - Practice and Experience2021 / p. 2360 - 2372 https://doi.org/10.1002/spe.2824 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

19

journal article EST / journal article ENG

Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDsJürimägi, Lembit; Ubar, Raimund-Johannes; Jenihhin, Maksim; Raik, JaanMicroprocessors and microsystems2020 / art. 103117, 12 p https://doi.org/10.1016/j.micpro.2020.103117 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

20

book article EST / book article ENG

Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

21

book article EST / book article ENG

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

22

book article EST / book article ENG

A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

23

journal article EST / journal article ENG

Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

24

book article EST / book article ENG

Citizen-oriented digital transformation in the public sectorMergel, Ines; Kattel, Rainer; Lember, Veiko; McBride, Keegan David Braundg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / art. 122, 3 p https://doi.org/10.1145/3209281.3209294 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

25

book article EST / book article ENG

Citizens' readiness for proactive public services : a case study from AzerbaijanKhasmammadli, Gasim; Erlenheim, ReginaICEGOV '22 : proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 408-415 : ill https://doi.org/10.1145/3560107.3560170 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Arvutiteadus. Tarkvara (category)

types of item

subject term 93

keyword 1