Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
semantika (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
94
Look more..
(1/1)
Export
export all inquiry results
(94)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
A semantic method of automatic composition of e-government services
Maigre, Riina
;
Grigorenko, Pavel
;
Haav, Hele-Mai
;
Kalja, Ahto
Databases and information systems : tenth international Baltic conference on databases and information systems : local proceedings, materials of doctoral consortium : Vilnius, Lithuania, July 8-11, 2012
2012
/
p. 182
book article
2
journal article EST
/
journal article ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
3
book article
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
book article
4
journal article
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
journal article
5
journal article EST
/
journal article ENG
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
Journal Metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
6
journal article
Arvamus sõnade omand ja omandus semantikast ning rakendatavusest : Eesti Keele Instituudi ekspertarvamuse teemal
Mereste, Uno
Õiguskeel
1995
/
3, lk. 35-38
journal article
7
book article
Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Teadusmõte Küberneetika Instituudis
2010
/
lk. 86-90 : portr
book article
8
journal article
Arvutamine on loodusteadus : vastab Tarmo Uustalu
Uustalu, Tarmo
Horisont
2006
/
lk. 15-17 : portr
https://artiklid.elnet.ee/record=b2039570*est
journal article
9
dissertation
Berkeley, mysteries, and meaning : a critique of the non-cognitivist interpretation
Jakapi, Roomet
2002
http://dspace.ut.ee/handle/10062/43434
dissertation
10
journal article EST
/
journal article ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
11
book article
Build, augment and destroy, universally
Ghani, Neil
;
Uustalu, Tarmo
;
Vene, Varmo
Programming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings
2004
/
p. 327-347
https://www.researchgate.net/publication/221323363_Build_Augment_and_Destroy_Universally
book article
12
book article EST
/
book article ENG
Combining semantic parsing frameworks for automated knowledge base construction
Verrev, Martin
AI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence
2022
https://ceur-ws.org/Vol-3354/paper1.pdf
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
13
book article
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
book article
14
book article EST
/
book article ENG
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
https://doi.org/10.1007/978-3-319-99701-8_5
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
15
book article
Contextual semantic : a context-aware approach for semantic web based data extraction from scientific articles
Kumlander, Deniss
Innovations in computing sciences and software engineering
2010
/
p. 241-244
book article
16
book article EST
/
book article ENG
Data structures for topologically sound higher-dimensional diagram rewriting
Hadzihasanovic, Amar
;
Kessler, Diana
5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 2022
2023
/
p. 111-127 : ill
https://doi.org/10.4204/EPTCS.380.7
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
17
book
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
book
18
book article EST
/
book article ENG
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
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
19
book article EST
/
book article ENG
Digital health data capture with a controlled natural language
Kankainen, Kristian Juha Ismo
;
Listenmaa, Inari
;
Piho, Gunnar
;
Ross, Peeter
Caring is sharing – exploiting the value in data for health and innovation : proceedings of MIE 2023
2023
/
p. 829 - 830
https://doi.org/10.3233/SHTI230280
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
20
journal article
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
journal article
21
book article
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
book article
22
book
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
book
23
book article
Eesti Wordnet'i struktuuri analüüsist
Lohk, Ahti
;
Võhandu, Leo
Eesti Rakenduslingvistika Ühingu aastaraamat 2012 = Estonian papers in applied linguistics 2012
2012
/
lk. 139-151 : ill
https://www.ester.ee/record=b2033361*est
book article
24
dissertation
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
dissertation
25
book article
Emergence of language : hidden states and local environments
Henno, Jaak
Information modelling and knowledge bases XIX
2008
/
p. 170-181
https://ebooks.iospress.nl/volumearticle/3990
book article
Number of records 94, displaying
1 - 25
previous
1
2
3
4
next
subject term
1
1.
semantika
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT