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
Mathematics. Theoretical computer science (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
180
Vaata veel..
(2/18)
Ekspordi
ekspordi kõik päringu tulemused
(180)
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
101
artikkel kogumikus EST
/
artikkel kogumikus ENG
A New approach to constructing digital dignature schemes
Buldas, Ahto
;
Frisov, Denis
;
Laanoja, Risto
;
Lakk, Henri
;
Truu, Ahto
Advances in Information and Computer Security : 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019 : proceedings
2019
/
p. 363-373
https://doi.org/10.1007/978-3-030-26834-3_21
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
102
artikkel kogumikus EST
/
artikkel kogumikus ENG
A new test suite reduction approach based on hypergraph minimal transversal mining
Trabelsi, Shaima
;
Bennani, Mohamed Taha
;
Ben Yahia, Sadok
Future Data and Security Engineering : 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27–29, 2019, Proceedings
2019
/
p. 15-30
https://doi.org/10.1007/978-3-030-35653-8_2
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
103
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A novel imbalanced data classification approach for suicidal ideation detection on social media
Ben Hassine, Mohamed Ali
;
Abdellatif, Safa
;
Ben Yahia, Sadok
Computing
2022
/
p. 741-765 : ill
https://doi.org/10.1007/s00607-021-00984-0
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
104
artikkel kogumikus EST
/
artikkel kogumikus ENG
Obfuscating the hierarchy of a digital IP
Basiashvili, Giorgi
;
Abideen, Zain Ul
;
Pagliarini, Samuel Nascimento
Embedded Computer Systems : Architectures, Modeling, and Simulation :22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022 : proceedings
2022
/
p. 303-314
https://doi.org/10.1007/978-3-031-15074-6_28
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
105
artikkel kogumikus EST
/
artikkel kogumikus ENG
An analysis of human perception of partitions of numerical factor domains
Kaushik, Minakshi
;
Sharma, Rahul
;
Shahin, Mahtab
;
Peious, Sijo Arakkal
;
Draheim, Dirk
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Vol. 13635 LNCS
2022
/
p. 137-144
https://doi.org/10.1007/978-3-031-21047-1_13
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Generalized association rule mining – dimensional unsupervised learning = Üldistatud assotsiatsioonireeglite kaevandamine – dimensiooniline juhendamata õpe
106
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
107
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
108
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
109
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
110
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
111
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
112
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
113
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
114
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
115
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
116
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
117
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
118
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
119
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
120
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
121
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
122
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
123
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
124
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
125
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
Kirjeid leitud 180, kuvan
101 - 125
eelmine
1
2
3
4
5
6
7
8
järgmine
võtmesõna
17
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.
philosophy of mathematics
12.
univalent mathematics
13.
theoretical analysis
14.
theoretical framework
15.
theoretical models
16.
theoretical perspectives
17.
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