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
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
57
Vaata veel..
(2/2)
Ekspordi
ekspordi kõik päringu tulemused
(57)
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
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
26
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
27
artikkel kogumikus
Intelligent information technology for organizing swimming competitions
Hnatchuk, Yaroslav
;
Hnatchuk, Alina
;
Hlukhov, Ivan
;
Karatnyk, Ivan
;
Boyarchuk, Artem
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/
artikkel kogumikus
28
artikkel ajakirjas
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
artikkel ajakirjas
29
artikkel kogumikus
Loogikaprogrammi minimaalne semantika
Henno, Jaak
Тезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 1988
1988
/
с. 37-38
https://www.ester.ee/record=b1229448*est
artikkel kogumikus
30
artikkel ajakirjas
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
artikkel ajakirjas
31
artikkel kogumikus
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
artikkel kogumikus
32
artikkel ajakirjas
Naatan Kvarki raamaturiiul
Agur, Ustus
Horisont
1975
/
lk. 34
https://www.ester.ee/record=b1072243*est
https://www.ester.ee/record=b1177613*est
http://www.digar.ee/id/nlib-digar:291316
artikkel ajakirjas
33
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
34
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
35
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
36
artikkel ajakirjas
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
artikkel ajakirjas
37
artikkel kogumikus
Reasoning about correctness of transactional memory with operational semantics
Saar, Andri
;
Uustalu, Tarmo
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
lk. 145-148
artikkel kogumikus
38
artikkel kogumikus
Reflective constraint writing : a symbolic viewpoint of modeling languages
Draheim, Dirk
Transactions on large-scale data- and knowledge-centered systems XXIV : special issue on database- and expert-systems applications
2016
/
p. 1-60 : ill
http://dx.doi.org/10.1007/978-3-662-49214-7_1
artikkel kogumikus
39
artikkel kogumikus
Runners for interleaving algebraic effects
Voorneveld, Niels
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 407–424
https://doi.org/10.1007/978-3-031-17715-6_26
artikkel kogumikus
40
raamat
Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-642-55198-7
http://www.ester.ee/record=b4671951*est
raamat
41
artikkel ajakirjas
Stateful runners of effectful computations
Uustalu, Tarmo
Electronic notes in theoretical computer science
2015
/
p. 403-421
http://dx.doi.org/10.1016/j.entcs.2015.12.024
artikkel ajakirjas
42
artikkel kogumikus
The early π-calculus in ticked cubical type theory
Veltri, Niccolo
;
Vezzosi, Andrea
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 77-80
https://doi.org/10.23658/taltech.nwpt/2019
artikkel kogumikus
43
artikkel kogumikus
The role of semantic ties in cloze-type item-solving strategy
Kokkota, Valmar
III Regional Seminar "Theoretical Problems of Language Testing", Tallinn, February 16-17, 1988 : summaries
1988
/
p. 54-56
https://www.ester.ee/record=b1238663*est
artikkel kogumikus
44
artikkel kogumikus
The role of semantic ties in reading comprehension
Kokkota, Valmar
AILA World Congress Publications
1990
/
p. 561-562
artikkel kogumikus
45
raamat
2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings
Uustalu, Tarmo
;
Saabas, Ando
2004
https://www.ester.ee/record=b1893488*est
raamat
46
artikkel ajakirjas
Towards user-centered and legally relevant smart-contract development : a systematic literature review
Dixit, Abhishek
;
Deval, Vipin
;
Dwivedi, Vimal Kumar
;
Draheim, Dirk
Journal of industrial information integration
2022
/
art. 100314 ; 18 p
https://doi.org/10.1016/j.jii.2021.100314
artikkel ajakirjas
47
artikkel kogumikus
Using machine learning for automated assessment of misclassification of goods for fraud detection
Spitšakova, Margarita
;
Haav, Hele-Mai
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
/
p. 144-158
https://doi.org/10.1007/978-3-030-57672-1_12
artikkel kogumikus
48
artikkel ajakirjas
Абстрактные атрибутные грамматики
Vooglaid, Aare
;
Meriste, Merik
Программирование
1982
/
с. 17-27
https://www.ester.ee/record=b2150732*est
artikkel ajakirjas
49
artikkel kogumikus
Исследование роли семантических связей в понимании текста
Kokkota, Valmar
Парадигматические и синтагматические исследования германских языков = Paradigmatic and syntagmatic investigations in germanic languages = Paradigmatik und Syntagmatik in den Germanischen Sprachen : тезисы докладов республиканской научной конференции, Вильнюс, 11-15 мая 1989 г.
1989
/
с. 152-154
artikkel kogumikus
50
artikkel kogumikus
Метод задания абстрактных типов данных
Pungar, Peeter
Тезисы конференции "Теоретические и прикладные вопросы математики" : 11-12 сентября 1980
1980
/
с. 47-48
https://www.ester.ee/record=b1275697*est
artikkel kogumikus
Kirjeid leitud 57, kuvan
26 - 50
eelmine
1
2
3
järgmine
pealkiri
1
1.
Loogikaprogrammi minimaalne semantika
märksõna
1
1.
semantika