Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
semantika (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Kirjeid leitud
60
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(60)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
A Compositional approach to signal flow graphs
Sobocinski, Pawel Maria
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
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 programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
artikkel ajakirjas
3
artikkel kogumikus
A survey of Compositional signal flow theory
Bonchi, Filippo
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Advancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
2021
/
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 polymorphism
McDermott, Dylan
;
Morita, Yasuaki
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
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 programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
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 setting
Firsov, Denis
;
Uustalu, Tarmo
Proceedings 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, Jaak
Zentralblatt MATH
2020
/
1 p
https://zbmath.org/?q=an%3A1443.20085
artikkel ajakirjas
8
artikkel kogumikus
An ontology engineering case study for advanced digital forensic analysis
Chikul, Pavel
;
Bahsi, Hayretdin
;
Maennel, Olaf Manuel
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
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 correctness
Spitšakova, Margarita
;
Haav, Hele-Mai
Baltic journal of modern computing
2020
/
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 teemal
Mereste, Uno
Õiguskeel
1995
/
3, lk. 35-38
artikkel ajakirjas
11
dissertatsioon
Berkeley, mysteries, and meaning : a critique of the non-cognitivist interpretation
Jakapi, Roomet
2002
http://dspace.ut.ee/handle/10062/43434
dissertatsioon
12
artikkel ajakirjas
Bialgebraic foundations for the operational semantics of string diagrams
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Information and computation
2021
/
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 warehouse
Tomingas, Kalle
;
Järv, Priit
;
Tammet, Tanel
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers
2019
/
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 : Proceedings
2020
https://doi.org/10.1007/978-3-030-57672-1
raamat
15
artikkel kogumikus
Diagrammatic polyhedral algebra
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Sobocinski, Pawel Maria
41st 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, Jaak
Zentralblatt MATH
2020
/
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 instituutidele
Kure, Kristjan
1950
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 semantikad
Jürgenson, Aivo
2010
https://www.ester.ee/record=b2604924*est
dissertatsioon
19
artikkel kogumikus
Enhancing semantics-driven recommender systems with visual features
Advanced Information Systems Engineering 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings
2022
/
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 patterns
Lohk, Ahti
;
Orav, Heili
;
Vare, Kadri
;
Võhandu, Leo
Proceedings of the Eighth Global WordNet Conference : Bucharest, Romania, January 27-30, 2016
2016
/
p. 184-191 : ill
http://gwc2016.racai.ro/
artikkel kogumikus
21
artikkel kogumikus
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020
2020
/
p. 270–283
https://doi.org/10.1145/3372885.3373814
artikkel kogumikus
22
artikkel kogumikus
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 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 2020
2020
/
p. 270-283
https://doi.org/10.1145/3372885.3373814
artikkel kogumikus
23
artikkel ajakirjas
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
art. 57, p. 1–28
https://doi.org/10.1145/3434338
artikkel ajakirjas
24
raamat
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
Draheim, Dirk
2017
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 atribuutsemantika
Grigorenko, Pavel
2010
https://digi.lib.ttu.ee/i/?510
https://www.ester.ee/record=b2637394*est
dissertatsioon
Kirjeid leitud 60, kuvan
1 - 25
eelmine
1
2
3
järgmine
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT