Searching - TalTech Research Portal

display

sort

51

book article

Normalization by evaluation for lambda 2Altenkirch, Thorsten; Uustalu, TarmoFunctional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings2004 / p. [260]-275

book article

52

book article EST / book article ENG

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

53

book article EST / book article ENG

An ontology engineering case study for advanced digital forensic analysisChikul, Pavel; Bahsi, Hayretdin; Maennel, Olaf ManuelModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 67–74 https://doi.org/10.1007/978-3-030-78428-7_6 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

54

journal article EST / journal article ENG

Ontology merging using the weak unification of conceptsKuusik, Norman; Vain, JüriBig Data and Cognitive Computing2024 / art. 98 https://doi.org/10.3390/bdcc8090098 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

55

book article

Ontology-based development of location based servicesHaav, Hele-Mai; Kaljuvee, Aivi; Luts, Martin; Vajakas, ToivoDatabases and Information Systems : proceedings of the Ninth International Baltic Conference, Baltic DB&IS 2010 : Riga, Latvia, July 5-7, 20102010 / p. 11-26 : ill

book article

56

dissertation

Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb

dissertation

57

book article

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, Tarmo31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 40-43 https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf

book article

58

journal article EST / journal article ENG

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

59

book article

Personalized context-aware recommendations in SMARTMUSEUM : combining semantics with statisticsLiiv, Innar; Tammet, Tanel; Ruotsalo, Tuukka; Kuusik, AlarProceedings of the Third International Conference on Advances in Semantic Processing (SEMAPRO 2009) : Sliema, Malta, October 20092009 / p. 50-55 https://ieeexplore.ieee.org/document/5291537

book article

60

book article

Preserving semantics of the whole-part relationships in the object-relational databasesEessaar, ErkiAdvances in Information Systems development. New Methods and practice for the Networked Society. 22007 / p. 1-11

book article

61

book article

Preserving semantics of the whole-part relationships in the object-relational databasesEessaar, Erki15th International Conference on Information Systems Development : Budapest, Hungary, 31 August - 2 September 20062006 / ? p https://link.springer.com/chapter/10.1007/978-0-387-70802-7_1

book article

62

book article

Rakendusi reaal- ja humanitaarteaduste sümbioosistMeister, Einar; Penjam, Jaan; Tõugu, EnnTeadusmõte Eestis : tehnikateadused2002 / lk. 77-81 : ill

book article

63

book article

Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148

book article

64

book article

Reflective constraint writing : a symbolic viewpoint of modeling languagesDraheim, DirkTransactions on large-scale data- and knowledge-centered systems XXIV : special issue on database- and expert-systems applications2016 / p. 1-60 : ill http://dx.doi.org/10.1007/978-3-662-49214-7_1

book article

65

book article EST / book article ENG

Runners for interleaving algebraic effectsVoorneveld, NielsTheoretical 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

book article EST / book article ENG

66

journal article

SARI - a system for semantical information retrievalTaveter, KuldarERCIM news1998 / p. 14-15 https://www.ercim.eu/publication/Ercim_News/enw35/taveter.html

journal article

67

book article

Scene parsing using Fully Convolutional Network for Semantic SegmentationAli, Nisar; Ijaz, Ali Zeeshan; Ali, Raja Hashim; Abideen, Zain Ul; Bais, Abdul2023 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE), Regina, SK, Canada, 20232023 / p. 180-185 https://doi.org/10.1109/CCECE58730.2023.10288934

book article

68

book article

Semantic interoperability framework for Estonian public sector’s e-services integrationTomingas, Kalle; Luts, MartinORES-2010 : Ontology Repositories and Editors for the Semantic Web : Proceedings of the 1st Workshop on Ontology Repositories and Editors for the Semantic Web : Hersonissos, Crete, Greece, May 31st, 20102010 / [5] p

book article

69

book article

Semantic interoperability framework for Estonian public sector's e-services integrationTammet, Tanel; Tomingas, Kalle; Luts, MartinProceedings of the 11th European Conference on Knowledge Management : Universidade Lusíada de Vila Nova, de Famalicão, Portugal, 2-3 September2010 / p. 988-995

book article

70

book

Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semanticsDraheim, Dirk2017 https://doi.org/10.1007/978-3-642-55198-7 http://www.ester.ee/record=b4671951*est

book

71

book article

Semantics on mobile robot algorithms developmentSeiler, Sven; Sell, Raivo7th International Conference Mechatronics Systems and Materials MSM 2011 : Kaunas, Lithuania, 7-9 July, 2011 : abstracts book and full papers CD2011 / p. 52-53 https://www.academia.edu/14380281/Semantics_on_Mobile_Robot_Algorithms_Development

book article

72

journal article

Semantilise koosvõime arhitektuur riigi infosüsteemisHaav, Hele-Mai; Kalja, Ahto; Küngas, Peep; Luts, MartinA & A2008 / lk. 32-42 : ill https://artiklid.elnet.ee/record=b1022736*est

journal article

73

book article

Software architecture for modern telehome care systemsKuusik, Alar; Reilent, Enar; Lõõbas, Ivor; Parve, MarkoProceedings of the 6th International Conference on Networked Computing (INC 2010) : Gyeongju, Korea, May 11-13, 20102010 / p. 326-331 : ill https://ieeexplore.ieee.org/document/5484807

book article

74

book article EST / book article ENG

Specification and verification of a linear-time temporal logic for graph transformationGadducci, Fabio; Laretto, Andrea; Trotta, DavideGraph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings2023 / p. 22-42 : ill https://doi.org/10.1007/978-3-031-36709-0_2 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

75

journal article EST / journal article ENG

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 https://doi.org/10.1016/j.entcs.2015.12.024 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

semantika (subject term)

types of item

subject term 1