Searching - TalTech Research Portal

display

sort

26

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814

book article

27

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

book article

28

journal article

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

journal article

29

journal article EST / journal article ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

30

book

Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalizationDraheim, Dirk2017 https://doi.org/10.1007/978-3-319-69868-7

book

31

book article

Higher-order attribute semantics of flat declarative languagesGrigorenko, Pavel20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 37-39 : ill https://artiklid.elnet.ee/record=b1072901*est

book article

32

book article

Higher-order attribute semantics of flat languagesGrigorenko, PavelInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 97-100 : ill

book article

33

dissertation

Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantikaGrigorenko, Pavel2010 https://digi.lib.ttu.ee/i/?510 https://www.ester.ee/record=b2637394*est

dissertation

34

book article

How the apriori algorithm can help to find semantic duplicates in ontologyAstrova, Irina; Koschel, Arne; Lee, Su LingKnowledge-Based Software Engineering: 2020 : Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 20202020 / p. 178-191 https://doi.org/10.1007/978-3-030-53949-8_16

book article

35

book article EST / book article ENG

Intelligent information technology for organizing swimming competitionsHnatchuk, Yaroslav; Hnatchuk, Alina; Hlukhov, Ivan; Karatnyk, Ivan; Boyarchuk, ArtemIntelITSIS 2022 : Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 23-25, 20222022 / p. 294-304 https://ceur-ws.org/Vol-3156/paper22.pdf https://ceur-ws.org/Vol-3156/ Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

36

book article

Kuidas me mõistame mõisteid?Vainik, Ene; Kirt, ToomasEesti Rakenduslingvistika Ühingu aastaraamat. 42008 / lk. 225-245 : ill https://artiklid.elnet.ee/record=b2117016*est

book article

37

journal article EST / journal article ENG

Let us investigate! Dynamic conjecture-making as the formal logic of abductionMa, Minghui; Pietarinen, Ahti-VeikkoJournal of philosophical logic2018 / [33] p. : ill https://doi.org/10.1007/s10992-017-9454-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

38

book article

Loogikaprogrammi minimaalne semantikaHenno, JaakТезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 19881988 / с. 37-38 https://www.ester.ee/record=b1229448*est

book article

39

journal article EST / journal article ENG

Meaning and affect in the placebo effectChiffi, Daniele; Pietarinen, Ahti-Veikko; Grecucci, AlessandroThe Journal of Medicine and Philosophy : A Forum for Bioethics and Philosophy of Medicine2021 / p. 313–329 https://doi.org/10.1093/jmp/jhab002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

40

book article

Mechatronics modeling methodology and semantic orientated knowledge baseSell, Raivo; Seiler, SvenAnnals of DAAAM for 2009 & proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation : Focus on Theory, Practice and Education" : 25-28th November 2009, Vienna, Austria2009 / p. 1723-1724 : ill

book article

41

book article EST / book article ENG

Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

42

journal article

Naatan Kvarki raamaturiiulAgur, UstusHorisont1975 / lk. 34 https://www.ester.ee/record=b1072243*est http://www.digar.ee/id/nlib-digar:291316 https://www.ester.ee/record=b1177613*est

journal article

43

book article

New polysemy structures in Wordnets induced by vertical polysemyLohk, Ahti; Orav, Heili; Vare, Kadri; Bond, Francis; Vaik, RasmusProceedings of the 10th Global WordNet Conference : GWC 2019, July 23–27, 2019, Wroclaw, Poland2019 / p. 394-403 https://clarin-pl.eu/dspace/handle/11321/718 "scopus"

book article

44

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

45

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

46

dissertation

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

dissertation

47

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

48

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

49

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

50

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

semantika (subject term)

types of item

subject term 1