Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
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..
Tühista
Kirjeid leitud
89
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(89)
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
26
artikkel kogumikus EST
/
artikkel kogumikus ENG
Extended clusters of vertical polysemy : an explorative study of eleven wordnets
Lohk, Ahti
;
Vainik, Ene
;
Paulsen, Geda
;
Rebane, Martin
;
Bond, Francis
Eesti Rakenduslingvistika Ühingu aastaraamat 2021 = Estonian Papers in Applied Linguistics 2021
2021
/
p. 193-210 : ill
https://doi.org/10.5128/ERYa17.11
https://www.ester.ee/record=b2033361*est
Journal metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
27
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
28
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
29
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
https://doi.org/10.48550/arXiv.2007.02261
artikkel ajakirjas
30
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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, 28 p. : ill
https://doi.org/10.1145/3434338
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
31
raamat
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-319-69868-7
raamat
32
artikkel kogumikus
Higher-order attribute semantics of flat declarative languages
Grigorenko, Pavel
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
2008
/
p. 37-39 : ill
https://artiklid.elnet.ee/record=b1072901*est
artikkel kogumikus
33
artikkel kogumikus
Higher-order attribute semantics of flat languages
Grigorenko, Pavel
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 97-100 : ill
artikkel kogumikus
34
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
35
artikkel kogumikus
How the apriori algorithm can help to find semantic duplicates in ontology
Astrova, Irina
;
Koschel, Arne
;
Lee, Su Ling
Knowledge-Based Software Engineering: 2020 : Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020
2020
/
p. 178-191
https://doi.org/10.1007/978-3-030-53949-8_16
artikkel kogumikus
36
artikkel kogumikus EST
/
artikkel kogumikus ENG
Intelligent information technology for organizing swimming competitions
Hnatchuk, Yaroslav
;
Hnatchuk, Alina
;
Hlukhov, Ivan
;
Karatnyk, Ivan
;
Boyarchuk, Artem
IntelITSIS 2022 : Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security : Khmelnytskyi, Ukraine, March 23-25, 2022
2022
/
p. 294-304
https://ceur-ws.org/Vol-3156/paper22.pdf
https://ceur-ws.org/Vol-3156/
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
37
artikkel kogumikus
Kuidas me mõistame mõisteid?
Vainik, Ene
;
Kirt, Toomas
Eesti Rakenduslingvistika Ühingu aastaraamat. 4
2008
/
lk. 225-245 : ill
https://artiklid.elnet.ee/record=b2117016*est
artikkel kogumikus
38
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Let us investigate! Dynamic conjecture-making as the formal logic of abduction
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Journal of philosophical logic
2018
/
[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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
39
artikkel kogumikus
Loogikaprogrammi minimaalne semantika
Henno, Jaak
Тезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 1988
1988
/
с. 37-38
https://www.ester.ee/record=b1229448*est
artikkel kogumikus
40
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Meaning and affect in the placebo effect
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
;
Grecucci, Alessandro
The Journal of Medicine and Philosophy : A Forum for Bioethics and Philosophy of Medicine
2021
/
p. 313–329
https://doi.org/10.1093/jmp/jhab002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
41
artikkel kogumikus
Mechatronics modeling methodology and semantic orientated knowledge base
Sell, Raivo
;
Seiler, Sven
Annals 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, Austria
2009
/
p. 1723-1724 : ill
artikkel kogumikus
42
artikkel kogumikus EST
/
artikkel kogumikus ENG
Modal embeddings and calling paradigms
Espirito Santo, Jose
;
Pinto, Luis
;
Uustalu, Tarmo
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
2019
/
art. 18 ; 20 p. : ill
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
43
artikkel ajakirjas
Naatan Kvarki raamaturiiul
Agur, Ustus
Horisont
1975
/
lk. 34
https://www.ester.ee/record=b1072243*est
http://www.digar.ee/id/nlib-digar:291316
https://www.ester.ee/record=b1177613*est
artikkel ajakirjas
44
artikkel kogumikus
New polysemy structures in Wordnets induced by vertical polysemy
Lohk, Ahti
;
Orav, Heili
;
Vare, Kadri
;
Bond, Francis
;
Vaik, Rasmus
Proceedings of the 10th Global WordNet Conference : GWC 2019, July 23–27, 2019, Wroclaw, Poland
2019
/
p. 394-403
https://clarin-pl.eu/dspace/handle/11321/718
"scopus"
artikkel kogumikus
45
artikkel kogumikus EST
/
artikkel kogumikus ENG
Obstructions to compositionality
Puca, Caterina
;
Hadzihasanovic, Amar
;
Genovese, Fabrizio
;
Coecke, Bob
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 226-245
https://doi.org/10.4204/EPTCS.397.14
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
46
artikkel kogumikus EST
/
artikkel kogumikus ENG
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
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
47
artikkel kogumikus
Ontology-based development of location based services
Haav, Hele-Mai
;
Kaljuvee, Aivi
;
Luts, Martin
;
Vajakas, Toivo
Databases and Information Systems : proceedings of the Ninth International Baltic Conference, Baltic DB&IS 2010 : Riga, Latvia, July 5-7, 2010
2010
/
p. 11-26 : ill
artikkel kogumikus
48
dissertatsioon
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
2020
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
dissertatsioon
49
artikkel kogumikus
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 40-43
https://doi.org/10.23658/taltech.nwpt/2019
https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
artikkel kogumikus
50
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 89, kuvan
26 - 50
eelmine
1
2
3
4
järgmine
märksõna
1
1.
semantika
×
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