Otsing - TalTech Publikatsioonid

semantika (märksõna)

—

Lisa tingimus Liitotsing

Tühista

teaviku laadid

raamat

artikkel ajakirjas

artikkel ajalehes

artikkel kogumikus

dissertatsioon

Open Access

Teaduspublikatsioon

aasta

ekspordi kõik päringu tulemused (59)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

A Compositional approach to signal flow graphsSobocinski, Pawel Maria31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 2 https://doi.org/10.23658/taltech.nwpt/2019

artikkel kogumikus
2

artikkel ajakirjas

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

artikkel ajakirjas
3

artikkel kogumikus

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

artikkel kogumikus
4

artikkel kogumikus

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305–323 https://doi.org/10.1007/978-3-031-17715-6_20

artikkel kogumikus
5

artikkel ajakirjas

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill http://dx.doi.org/10.1016/j.jlamp.2016.07.001

artikkel ajakirjas
6

artikkel kogumikus

Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

artikkel kogumikus
7

artikkel ajakirjas

Almeida, Jorge; Klíma, Ondřej. Representations of relatively free profinite semigroups, irreducibility, and order primitivity : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an%3A1443.20085

artikkel ajakirjas
8

artikkel kogumikus

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

artikkel kogumikus
9

artikkel ajakirjas

Application of machine learning for assessment of HS code correctnessSpitšakova, Margarita; Haav, Hele-MaiBaltic journal of modern computing2020 / p. 698-718 https://doi.org/10.22364/bjmc.2020.8.4.13

artikkel ajakirjas
10

artikkel ajakirjas

Arvamus sõnade omand ja omandus semantikast ning rakendatavusest : Eesti Keele Instituudi ekspertarvamuse teemalMereste, UnoÕiguskeel1995 / 3, lk. 35-38

artikkel ajakirjas
11

dissertatsioon

Berkeley, mysteries, and meaning : a critique of the non-cognitivist interpretationJakapi, Roomet2002 http://dspace.ut.ee/handle/10062/43434

dissertatsioon
12

artikkel ajakirjas

Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / art. 104767, 22 p https://doi.org/10.1016/j.ic.2021.104767

artikkel ajakirjas
13

artikkel kogumikus

Computing data lineage and business semantics for data warehouseTomingas, Kalle; Järv, Priit; Tammet, TanelKnowledge Discovery, Knowledge Engineering and Knowledge Management : 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers2019 / p. 101-124 http://doi.org/10.1007/978-3-319-99701-8_5

artikkel kogumikus
14

raamat

Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 https://doi.org/10.1007/978-3-030-57672-1

raamat
15

artikkel kogumikus

Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40

artikkel kogumikus
16

artikkel ajakirjas

Dong, L.; Guo, Q.; Wu, W.; Satpute, M. N. A semantic relatedness preserved subset extraction method for language corpora based on pseudo-Boolean optimization : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://www.zbmath.org/?q=an:07239083

artikkel ajakirjas
17

raamat

Eesti keele grammatika : süntaksi II osa ja semasioloogia : keskkooli X klassile, õpetajate seminaridele ja õpetajate instituutideleKure, Kristjan1950 https://www.ester.ee/record=b1453273*est

raamat
18

dissertatsioon

Efficient semantics of parallel and serial models of attack trees = Ründepuude paralleel- ja jadamudelite efektiivsed semantikadJürgenson, Aivo2010 https://www.ester.ee/record=b2604924*est

dissertatsioon
19

artikkel kogumikus

Enhancing semantics-driven recommender systems with visual featuresAdvanced Information Systems Engineering 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings2022 / p. 443–459 https://doi.org/10.1007/978-3-031-07472-1_26

artikkel kogumikus
20

artikkel kogumikus

Experiences of lexicographers and computer scientists in validating Estonian Wordnet with test patternsLohk, Ahti; Orav, Heili; Vare, Kadri; Võhandu, LeoProceedings of the Eighth Global WordNet Conference : Bucharest, Romania, January 27-30, 20162016 / p. 184-191 : ill http://gwc2016.racai.ro/

artikkel kogumikus
21

artikkel kogumikus

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

artikkel kogumikus
22

artikkel kogumikus

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

artikkel kogumikus
23

artikkel ajakirjas

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, p. 1–28 https://doi.org/10.1145/3434338

artikkel ajakirjas
24

raamat

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

raamat
25

dissertatsioon

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

dissertatsioon

Kirjeid leitud 59, kuvan 1 - 25