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
Mathematics. Theoretical computer science (category)
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
180
Look more..
(2/18)
Export
export all inquiry results
(180)
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
101
book article EST
/
book article 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
book article EST
/
book article ENG
102
book article EST
/
book article 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
book article EST
/
book article ENG
103
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
104
book article EST
/
book article 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
book article EST
/
book article ENG
105
book article EST
/
book article 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
book article EST
/
book article ENG
Seotud publikatsioonid
1
Generalized association rule mining – dimensional unsupervised learning = Üldistatud assotsiatsioonireeglite kaevandamine – dimensiooniline juhendamata õpe
106
book article EST
/
book article 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
book article EST
/
book article ENG
107
book article EST
/
book article 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
book article EST
/
book article ENG
108
book article EST
/
book article 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
book article EST
/
book article ENG
109
book article EST
/
book article 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
book article EST
/
book article ENG
110
book article EST
/
book article 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
book article EST
/
book article ENG
111
book article EST
/
book article 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
book article EST
/
book article ENG
112
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
113
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
114
book article EST
/
book article 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
book article EST
/
book article ENG
115
book article EST
/
book article 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
book article EST
/
book article ENG
116
book article EST
/
book article 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
book article EST
/
book article ENG
117
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
118
book article EST
/
book article 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
book article EST
/
book article 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
book article EST
/
book article 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
book article EST
/
book article ENG
120
book article EST
/
book article 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
book article EST
/
book article ENG
121
book article EST
/
book article 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
book article EST
/
book article ENG
122
book article EST
/
book article 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
book article EST
/
book article ENG
123
book article EST
/
book article 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
book article EST
/
book article ENG
124
book article EST
/
book article 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
book article EST
/
book article ENG
125
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 180, displaying
101 - 125
previous
1
2
3
4
5
6
7
8
next
keyword
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
subject term
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
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