Otsing - TalTech teadusportaal

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

semantika (märksõna)

teaviku laadid