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
Matemaatika. Teoreetiline arvutiteadus (kategooria)
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
295
Vaata veel..
(1/7)
Ekspordi
ekspordi kõik päringu tulemused
(295)
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
176
artikkel kogumikus EST
/
artikkel kogumikus ENG
On state-level architecture of digital government ecosystems : from ICT-driven to data-centric
Draheim, Dirk
;
Krimmer, Robert Johannes
;
Tammet, Tanel
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII
2021
/
p. 165–195
https://doi.org/10.1007/978-3-662-63519-3_8
Journal metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
177
artikkel kogumikus EST
/
artikkel kogumikus ENG
On the shoulders of giants : colourful argument trees for academic writing
Kruusmaa, Maarja
;
Moktefi, Amirouche
;
Tuhtan, Jeffrey Andrew
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 520-524
https://doi.org/10.1007/978-3-030-54249-8_48
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
178
artikkel kogumikus EST
/
artikkel kogumikus ENG
The once-only principle : a matter of trust
Krimmer, Robert Johannes
;
Prentza, Andriana
;
Mamrot, Szymon
;
Schmidt, Carsten
The once-only principle : The TOOP project
2021
/
p. 1-8
https://doi.org/10.1007/978-3-030-79851-2_1
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
179
artikkel kogumikus EST
/
artikkel kogumikus ENG
An ontological approach to knowledge building by data integration
Pileggi, Salvatore Flavio
;
Crain, Hayden
;
Ben Yahia, Sadok
Computational Science and Its Applications – ICCSA 2020 : 20th international conference, Amsterdam, The Netherlands, June 3–5, 2020, proceedings, part VII (2020)
2020
/
p. 479 - 493
https://doi.org/10.1007/978-3-030-50436-6_35
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
180
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
181
artikkel kogumikus EST
/
artikkel kogumikus ENG
Open government data driven co-creation : moving towards citizen-government collaboration
McBride, Keegan David Braun
;
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
Electronic Government : 17th IFIP WG 8.5 International Conference : EGOV 2018, Krems, Austria, September 3–5, 2018 : proceedings
2018
/
p. 184-195 : ill
https://doi.org/10.1007/978-3-319-98690-6_16
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
182
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
183
artikkel kogumikus EST
/
artikkel kogumikus ENG
An overview of digital signing and the influencing factors in Estonian local governments
Felt, Sigrid
;
Pappel, Ingmar
;
Pappel, Ingrid
Future Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings
2016
/
p. 371-384 : ill
https://doi.org/10.1007/978-3-319-48057-2_26
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
184
artikkel kogumikus EST
/
artikkel kogumikus ENG
Partiality and container monads
Uustalu, Tarmo
;
Veltri, Niccolo
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings
2017
/
p. 406-425 : ill
https://doi.org/10.1007/978-3-319-71237-6_20
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
185
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Pavement defect segmentation in orthoframes with a pipeline of three convolutional neural networks
Lõuk, Roland
;
Riid, Andri
;
Pihlak, Rene
;
Tepljakov, Aleksei
Algorithms
2020
/
art. 198, 27 p. : ill
https://doi.org/10.3390/a13080198
Journal metrics at scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
186
artikkel kogumikus EST
/
artikkel kogumikus ENG
Peirce’s diagrammatic solutions to ‘Peirce’s Puzzle’
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 246–250 : ill
https://doi.org/10.1007/978-3-030-86062-2_23
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
187
artikkel kogumikus EST
/
artikkel kogumikus ENG
Peirce's complex diagrams
Bhattacharjee, Reetu
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : Proceedings
2022
/
p. 347-355
https://doi.org/10.1007/978-3-031-15146-0_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
188
artikkel kogumikus EST
/
artikkel kogumikus ENG
Peirce's inclusion diagrams, with application to syllogisms
Bhattacharjee, Reetu
;
Moktefi, Amirouche
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 530-533
https://doi.org/10.1007/978-3-030-54249-8_50
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
189
artikkel kogumikus EST
/
artikkel kogumikus ENG
Peirce's sequent proofs of distributivity
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
2017
/
p. 168-182
https://doi.org/10.1007/978-3-662-54069-5_13
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
190
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
191
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Positive-energy D-bar method for acoustic tomography : a computational study
de Hoop, M. V.
;
Lassas, Matti
;
Santacesaria, M.
;
Siltanen, Samuli
;
Tamminen, Janne Pertti Olavi
Inverse problems
2016
/
art, 025003, p. 1-35 : ill
https://doi.org/10.1088/0266-5611/32/2/025003
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
192
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Post-surjectivity and balancedness of cellular automata over groups
Capobianco, Silvio
;
Kari, Jarkko
;
Taati, Siamak
Discrete mathematics and theoretical computer science
2017
/
art. 3918, p. 1-16 : ill
https://doi.org/10.23638/DMTCS-19-3-4
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
193
artikkel kogumikus EST
/
artikkel kogumikus ENG
Predicting psychiatric diseases using autoAI : a performance analysis based on health insurance billing data
Bertl, Markus
;
Ross, Peeter
;
Draheim, Dirk
Database and Expert Systems Applications : 32nd International Conference, DEXA 2021, Virtual Event, September 27-30, 2021 : proceedings. Part I
2021
/
p. 104-111
https://doi.org/10.1007/978-3-030-86472-9_9
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Systematic AI support for psychiatry : a framework on how to implement decision support systems = Tehisintellekti süstemaatiline kasutamine psühhiaatrias : otsustustoe rakendamist toetav raamistik
194
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Attiogbe, Christian
;
Ben Yahia, Sadok
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. v-vi
https://doi.org/10.1007/978-3-030-78428-7
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
195
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Krimmer, Robert
;
Volkamer, Melanie
Electronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
2020
/
p. v
https://link.springer.com/content/pdf/bfm:978-3-030-60347-2/1?pdf=chapter%20toc
Conference Proceedings metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
196
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Krimmer, Robert
;
Prentza, Andriana
;
Mamrot, Szymon
The once-only principle : The TOOP project
2021
/
1 p
https://link.springer.com/book/10.1007/978-3-030-79851-2
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
197
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Chapman, Peter
;
Stapleton, Gem
;
Moktefi, Amirouche
;
Chapman, Peter
;
Stapleton, Gem
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018 Edinburgh, UK, June 18–22, 2018 Proceedings
2018
/
p. V - VI
https://link.springer.com/content/pdf/bfm:978-3-319-91376-6/1?pdf=chapter%20toc
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
198
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Krimmer, Robert Johannes
;
Volkamer, Melanie
;
Cortier, Véronique
;
Beckert, Bernhard
;
Küsters, Ralf
;
Serdült, Uwe
;
Duenas Cid, David
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
2019
/
p. v
https://link.springer.com/book/10.1007/978-3-030-30625-0
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
199
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Krimmer, Robert Johannes
;
Volkamer, Melanie
;
Cortier, Véronique
;
Goré, Rajeev
;
Hapsara, Manik
;
Serdült, Uwe
;
Duenas Cid, David
Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
2018
/
p. i-iv
https://link.springer.com/book/10.1007/978-3-030-00419-4
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
200
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Kupferman, Orna
;
Sobocinski, Pawel Maria
Foundations of Software Science and Computation Structures, 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
2023
/
p. vii
https://doi.org/10.1007/978-3-031-30829-1
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 295, kuvan
176 - 200
eelmine
3
4
5
6
7
8
9
10
11
12
järgmine
märksõna
7
1.
arvutiteadus
2.
teoreetiline bioloogia
3.
teoreetiline füüsika
4.
teoreetiline geograafia
5.
teoreetiline keemia
6.
teoreetiline mehaanika
7.
teoreetiline mõistus
×
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