Searching - TalTech Research Portal

display

sort

51

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

52

dissertation

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

dissertation

53

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

54

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

55

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

56

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

57

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

58

book article

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

book article

59

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

60

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

61

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

62

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

63

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

64

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

65

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

66

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

67

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

68

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

69

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

70

journal article

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 http://dx.doi.org/10.1016/j.entcs.2015.12.024

journal article

71

book article EST / book article ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

72

book article EST / book article ENG

A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / p. 29–56 https://doi.org/10.1007/978-3-030-81701-5_2 Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

73

book article

The role of semantic ties in cloze-type item-solving strategyKokkota, ValmarIII Regional Seminar "Theoretical Problems of Language Testing", Tallinn, February 16-17, 1988 : summaries1988 / p. 54-56 https://www.ester.ee/record=b1238663*est

book article

74

book article

The role of semantic ties in reading comprehensionKokkota, ValmarAILA World Congress Publications1990 / p. 561-562

book article

75

book

2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est

book

semantika (subject term)

types of item

subject term 1