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
81
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(81)
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
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
27
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
28
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
29
raamat
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-319-69868-7
raamat
30
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
31
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
32
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
33
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
34
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
35
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
36
artikkel kogumikus
Loogikaprogrammi minimaalne semantika
Henno, Jaak
Тезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 1988
1988
/
с. 37-38
https://www.ester.ee/record=b1229448*est
artikkel kogumikus
37
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
38
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
39
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 Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
40
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
41
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
42
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
43
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
44
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
45
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
46
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
47
artikkel kogumikus
Personalized context-aware recommendations in SMARTMUSEUM : combining semantics with statistics
Liiv, Innar
;
Tammet, Tanel
;
Ruotsalo, Tuukka
;
Kuusik, Alar
Proceedings of the Third International Conference on Advances in Semantic Processing (SEMAPRO 2009) : Sliema, Malta, October 2009
2009
/
p. 50-55
https://ieeexplore.ieee.org/document/5291537
artikkel kogumikus
48
artikkel kogumikus
Preserving semantics of the whole-part relationships in the object-relational databases
Eessaar, Erki
15th International Conference on Information Systems Development : Budapest, Hungary, 31 August - 2 September 2006
2006
/
? p
https://link.springer.com/chapter/10.1007/978-0-387-70802-7_1
artikkel kogumikus
49
artikkel kogumikus
Preserving semantics of the whole-part relationships in the object-relational databases
Eessaar, Erki
Advances in Information Systems development. New Methods and practice for the Networked Society. 2
2007
/
p. 1-11
artikkel kogumikus
50
artikkel kogumikus
Rakendusi reaal- ja humanitaarteaduste sümbioosist
Meister, Einar
;
Penjam, Jaan
;
Tõugu, Enn
Teadusmõte Eestis : tehnikateadused
2002
/
lk. 77-81 : ill
artikkel kogumikus
Kirjeid leitud 81, 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