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
Liitotsing
Valitud kirjed
0
semantika (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
93
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(93)
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 ajalehes
Euroopa rakendussemantika Mustpeade Majas : [14.-16. apr. 2004 toimus TTÜ Küberneetika Instituudi korraldatud rahvusvaheline workshop APPSEM'04 programmikeelte semantikast ja selle rakendustest]
Uustalu, Tarmo
Mente et Manu
2004
/
13. mai, lk. 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
27
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
28
artikkel kogumikus
An experiment : finding parents for parentless synsets by means of CILI
Lohk, Ahti
;
Rebane, Martin
;
Orav, Heili
GWC 2023 : proceedings of the 12th Global Wordnet Conference, 23–27 Jan, 2023, Donostia-San Sebastian, Basque Country
2023
/
p. 295–302
https://aclanthology.org/2023.gwc-1.36
artikkel kogumikus
29
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
30
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
31
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
32
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
33
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
34
raamat
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-319-69868-7
raamat
35
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
36
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
37
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
38
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
39
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
40
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
41
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
42
artikkel kogumikus
Loogikaprogrammi minimaalne semantika
Henno, Jaak
Тезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 1988
1988
/
с. 37-38
https://www.ester.ee/record=b1229448*est
artikkel kogumikus
43
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
44
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
45
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
46
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
47
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
48
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
49
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
50
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
Kirjeid leitud 93, 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