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
Mathematics. Theoretical computer science (kategooria)
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
194
Vaata veel..
(2/19)
Ekspordi
ekspordi kõik päringu tulemused
(194)
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
126
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
127
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
128
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
129
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
130
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
131
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
132
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
133
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Pietarinen, Ahti-Veikko
;
Chapman, Peter
;
Bosveld-de Smet, Leonie
Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. v - vi
https://doi.org/10.1007/978-3-030-54249-8
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
134
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Fischer, Bernd
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings
2018
/
p. V-VI
https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf
https://www.ester.ee/record=b5174218*est
https://doi.org/10.1007/978-3-030-02508-3
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
135
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
136
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
137
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
138
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
139
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
140
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
141
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Theoretical Computer Science
2022
/
p. 33-45
https://doi.org/10.1016/j.tcs.2022.02.023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
142
artikkel kogumikus EST
/
artikkel kogumikus ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
2020
/
p. 443-455
https://doi.org/10.1007/978-3-030-54997-8_28
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
143
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Realization of nonlinear input-output equations in controller canonical form
Kaldmäe, Arvo
;
Kotta, Ülle
Kybernetika
2018
/
p. 736-747
https://doi.org/10.14736/kyb-2018-4-0736
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
144
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Reconstruction of an order of derivative and a source term in a fractional diffusion equation from final measurements
Janno, Jaan
;
Kinash, Nataliia
Inverse problems
2018
/
art. 025007, 19 p. : ill
https://doi.org/10.1088/1361-6420/aaa0f0
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
145
artikkel kogumikus EST
/
artikkel kogumikus ENG
Residuation in existential graphs
Haydon, Nathan Joseph
;
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 229−237
https://doi.org/10.1007/978-3-030-86062-2_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
146
artikkel kogumikus EST
/
artikkel kogumikus ENG
Revisiting Peirce’s rules of transformation for Euler-Venn diagrams
Bhattacharjee, Reetu
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 166–182 : ill
https://doi.org/10.1007/978-3-030-86062-2_14
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
147
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A roadside unit deployment framework for enhancing transportation services in Maghrebian cities
Chaabene, Seif Ben
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
Concurrency and Computation: Practice and Experience
2021
/
art. e5611
https://doi.org/10.1002/cpe.5611
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
148
artikkel kogumikus EST
/
artikkel kogumikus ENG
The role of digital transformation in fostering transparency : an e-court system case study
Ahmed, Rozha Kamal
;
Ahmed, Omer
;
Pappel, Ingrid
;
Reitsakas, Aleksander
;
Draheim, Dirk
The Role of Digital Technologies in Shaping the Post-Pandemic World : 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022 : proceedings
2022
/
p. 219–230
https://doi.org/10.1007/978-3-031-15342-6_17
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Digital transformation of court processes : driving forces, success factors, regulations and technology acceptance = Kohtuprotsesside digitaalne ümberkujundamine : liikumapanevad jõud, edu tegurid, regulatsioonid ja tehnoloogia vastuvõtmine
149
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Rule algebras for adhesive categories
Behr, Nicolas
;
Sobocinski, Pawel Maria
Logical methods in computer science
2020
/
p. 2:1−2:38
https://doi.org/10.23638/LMCS-16(3:2)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
150
artikkel kogumikus EST
/
artikkel kogumikus ENG
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
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 194, kuvan
126 - 150
eelmine
1
2
3
4
5
6
7
8
järgmine
võtmesõna
18
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
Cognitive Mathematics
6.
foundations of mathematics
7.
Husserl and Peirce and the goals of mathematics
8.
mathematics
9.
mathematics and computing
10.
mathematics students learning habits
11.
matrix (mathematics)
12.
philosophy of mathematics
13.
univalent mathematics
14.
theoretical analysis
15.
theoretical framework
16.
theoretical models
17.
theoretical perspectives
18.
theoretical rigor
märksõna
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
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